Nikita Popov e3cec17b2d [InstSimplify] Remove incorrect icmp of gep fold (PR52429) ...

As described in https://bugs.llvm.org/show_bug.cgi?id=52429 this
fold is incorrect, because inbounds only guarantees that the
pointers don't wrap in the unsigned space: It is possible that
the sign boundary is crossed by an object.

I'm dropping the fold entirely rather than adjusting it, because
computePointerICmp() fully subsumes it (just with correct predicate
handling).

Differential Revision: https://reviews.llvm.org/D113343

2021-11-06 21:03:21 +01:00

238 KiB

Raw Blame History

View Raw