matthias-springer wrote: It is currently not possible to trigger this bug. New columns are always added to the constraint set as symbols. Only the first added SSA value (for which we compute a bound) is added as a dimension. There is currently no API to compute a bounds for an "AffineMap + operands" combination. (But in anticipation of adding such an API in the future and for consistency reasons, I had already added an `isSymbol` argument to all `ValueBoundsConstraintSet::insert` overloads.) I have a PR in preparation that extends the API and will require this fix here.
https://github.com/llvm/llvm-project/pull/87976 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
