https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121557
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- _11 = _9 * 1000; _12 = _10 + _11; _13 = _9 * -999; _14 = _10 + _13; to: _12 = _10 + _11; slsr_234 = _9 * 1999; _14 = _12 - slsr_234; So yes this is another of the same SLSR introducing an overflow.