[llvm] [Analysis] Bail out for negative offsets in isDereferenceableAndAlignedInLoop (PR #99490)

[Florian Hahn via llvm-commits]

fhahn wrote:

Thanks for splitting this off!

I think https://llvm.godbolt.org/z/boYbjenvq may serve as a test case; it is using a pointer width of 16 (via the data layout and an alloca that's spanning more than half the available address space) and the GEP computing the address for the conditional load must wrap I think, which would make the `inbounds` GEP poison, so we shouldn't execute this unconditionally.

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