krzysz00 wrote: > Fly-by: double-check that the lattice can only move in one direction, otherwise there is a risk of non-convergence. Can confirm - the join operation is range union, making things less specific. https://github.com/llvm/llvm-project/pull/193546