[Mlir-commits] [mlir] [mlir][IntegerRangeAnalysis] Don't unsoundly update constant lattice (PR #193546)

[Oleksandr Alex Zinenko]

ftynse wrote:

> because the integer range analysis can go from "constant" to "not a constant" once more control edges are analyzed

Fly-by: double-check that the lattice can only move in one direction, otherwise there is a risk of non-convergence.

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