https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111383
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- -fwrapv also allows causes the correct code to happen. The difference with/without -fwrapv is: _7 = _6 + -1625040257; if (_7 <= 6) vs if (_6 <= 1625040263)