[Mlir-commits] [mlir] [MemRef] Verify subiew offset, size & stride (PR #167043)

[Thomas Preud'homme]

================
@@ -3113,6 +3113,39 @@ LogicalResult SubViewOp::verify() {
   ArrayRef<int64_t> staticSizes = getStaticSizes();
   ArrayRef<int64_t> staticStrides = getStaticStrides();
 
+  // Check number of static offsets, sizes and strides match source rank.
----------------
RoboTux wrote:

Err yes indeed, and I was not hitting it because the issue I had was just before the Subview is created. I thought this patch was catching the issue but I confused the output for an assert. My bad.

https://github.com/llvm/llvm-project/pull/167043