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

[Matthias Springer]

================
@@ -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.
----------------
matthias-springer wrote:

Isn't this already verified by the `ViewLikeOpInterface` verifier?

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