https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96397
Andrew Pinski changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96397
--- Comment #2 from Andrew Macleod ---
if I read this right, the basic premise is:
x = p1 - 4, so if x + 8 doesn't overflow, then p1 - 4 couldn't have
underflowed, and therefore x must be > p1
which is a little more complicated than just back p
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96397
Aldy Hernandez changed:
What|Removed |Added
CC||aldyh at gcc dot gnu.org,
