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.