[Mlir-commits] [mlir] [MLIR] Incorrect result for RuntimeVerifiableOpInterface on MemRef::R… (PR #96580)

[Matthias Springer]

================
@@ -221,15 +254,15 @@ struct ReinterpretCastOpInterface
     auto [baseLow, baseHigh] = computeLinearBounds(builder, loc, baseMemref);
 
     // Compute the linear bounds of the resulting memref
-    auto [low, high] = computeLinearBounds(builder, loc, resultMemref);
+    auto [low, high] = computeLinearInclusiveBounds(builder, loc, resultMemref);
----------------
matthias-springer wrote:

I don't understand yet why this is necessary. Why use `computeLinearInclusiveBounds` for the result memref but not for the base memref?

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