[Mlir-commits] [mlir] [mlir][dataflow] Drop the firstIndex argument of visitNonControlFlowArguments (PR #175210)

[Matthias Springer]

================
@@ -139,7 +139,7 @@ LogicalResult IntegerRangeAnalysis::visitOperation(
 
 void IntegerRangeAnalysis::visitNonControlFlowArguments(
     Operation *op, const RegionSuccessor &successor, ValueRange successorInputs,
-    ArrayRef<IntegerValueRangeLattice *> argLattices, unsigned firstIndex) {
+    ArrayRef<IntegerValueRangeLattice *> nonSuccessorInputLattices) {
   if (auto inferrable = dyn_cast<InferIntRangeInterface>(op)) {
----------------
matthias-springer wrote:

Can you add this to the beginning of the function: `assert(nonSuccessorInputs.size() == nonSuccessorInputLattices.size() && "size mismatch");`


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