[llvm] [InstCombine] Support gep nuw in icmp folds (PR #118472)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Dec 17 03:02:02 PST 2024


nikic wrote:

> Could -Wtautological-compare catch some of these (like the `Check` example above)?

Yeah, I think this is a good idea.

> Could UBSan flag pointer arithmetic overflows?

UBSan should already flag this.

> Could ASan flag comparisons of invalid pointers?

Not sure what exactly you have in mind here.

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


More information about the llvm-commits mailing list