junparser added a comment. I've hit this issue in Jumpthreading pass. Maybe we should add one parameter for LVI::solve Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D106056/new/ https://reviews.llvm.org/D106056