https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109943
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2023-08-21 Status|UNCONFIRMED |NEW --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- For the testcase in comment #0, fre3 is able to optmize it away (in GCC 12.3.0): Applying pattern match.pd:636, gimple-match.cc:47124 Match-and-simplified _10 % _8 to 0 That is because we figure out that _10 is the same as _8 somehow. Confirmed.