https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96695
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Status|UNCONFIRMED |NEW Last reconfirmed| |2020-08-25 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Hmm, so we can optimize 0 > y to false, likewise 0 <= y to true. I guess we already do that so VRP should handle if (x == 0) if (x > y) already.