[Mlir-commits] [mlir] [mlir][affine][Analysis] Add conservative bounds for semi-affine mods (PR #93576)

[Kunwar Grover]

================
@@ -71,6 +73,11 @@ ScalableValueBoundsConstraintSet::computeScalableBound(
     return p.first != scalableCstr.getVscaleValue() && !isStartingPoint;
   };
   scalableCstr.projectOut(projectOutFn);
+  // Also project out local variables (these are not tracked by the
+  // ValueBoundsConstraintSet).
+  for (unsigned i = 0; i < scalableCstr.cstr.getNumLocalVars(); ++i) {
----------------
Groverkss wrote:

nit: `unsigned i = 0, e = ...; i < e; ++i)`

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