https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90087
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2019-04-14 Ever confirmed|0 |1 Severity|normal |enhancement --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- This is partly because GCC converts x^INT_MIN to x - INT_MIN but maybe it should be the opposite way around. Also it can't figure out that when x >= 0, then x^INT_MIN is just x.