[llvm] [BasicAA] Use nuw attribute of GEPs (PR #98608)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

I don't think the approach here is quite right. Consider this case: https://alive2.llvm.org/ce/z/TvPTRV

Your current implementation will say that the pointers don't alias, but they may. We need to be careful about how the GEP subtraction affects whether NUW still holds afterwards.

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