[llvm-commits] [llvm] r89915 - /llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp

[Duncan Sands]

>> what if this wraps around the entire address space and lands back on top of
>> the original pointer?
> 
> Then that's undefined behavior.

I thought it was only undefined for inbounds GEP?  I'm a bit worried about this
because I have a testcase in which the optimizers changed increments by -4 into
increments by 2^32 - 4, which would mean that they are creating undefined
behaviour where there was none before (PR5282).

Ciao,

Duncan.