Hardcode84 wrote: I don't remember the int range analysis details from the top of my head but can we just return uninitialized state in this case instead of falling back to conservative full range immediately? https://github.com/llvm/llvm-project/pull/173716