https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95433
Marc Glisse <glisse at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2020-05-30
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
It is 2*x==-2 that we fail to simplify. match.pd has code for x*2==y*2 or
x*2==0 or even x*2.==-2. for floats, but apparently not for the special case of
other constants for integers.