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.