https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78305
--- Comment #6 from Richard Biener ---
Author: rguenth
Date: Thu Nov 17 08:39:33 2016
New Revision: 242536
URL: https://gcc.gnu.org/viewcvs?rev=242536&root=gcc&view=rev
Log:
2016-11-17 Richard Biener
PR middle-end/78305
* fol
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78305
--- Comment #5 from Richard Biener ---
So it's negating a * -1073741824 via
case MULT_EXPR:
if (TYPE_UNSIGNED (type))
break;
/* INT_MIN/n * n doesn't overflow while negating one operand it does
if n is a power of
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78305
Richard Biener changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78305
--- Comment #3 from Richard Biener ---
Huh, didn't I fix that ... ah no, I only fixed sth related (negating of x).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78305
Marc Glisse changed:
What|Removed |Added
Keywords||wrong-code
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78305
--- Comment #1 from Andrew Pinski ---
>-0x4000 * a
int a = 2;
Does that not overflow?
