https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119005
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|FIXED |INVALID --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- `i + 1 >= 3` Still shows up in the IR. As you are incrementing i and you might get an overflow still for the same reason as I mentioned in comment #1 .