[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);
 
     // Check low >= baseLow
     auto geLow = builder.createOrFold<arith::CmpIOp>(
         loc, arith::CmpIPredicate::sge, low, baseLow);
 
-    // Check high <= baseHigh
+    // Check high < baseHigh
----------------
matthias-springer wrote:

Class comment is outdated.

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