annamthomas wrote: I was going to ask : Can't the same logic be used in `evaluatePtrAddRecAtMaxBTCWillNotWrap`? Looks like you have the MR for it. will review it :) https://github.com/llvm/llvm-project/pull/161255