https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80426
Marc Glisse <glisse at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |wrong-code
Status|UNCONFIRMED |NEW
Last reconfirmed| |2017-04-14
Summary|Wrong constant folding |[7 Regression] Wrong
| |constant folding
Ever confirmed|0 |1
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
VRP2:
_3: [0, 1]
b.1_4: VARYING
_5: [b.1_4 + -2147483648, b.1_4 + -2147483648]
Folding predicate _3 != _5 to 1
but the code was b.1_16 - -2147483648, not +.
