https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68067
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Yep. Btw, what happens is that we see if (tem - 1 != 2147483647) and that is obviously always true unless tem - 1 wraps from -2147483648 to 2147483647 which would invoke undefined behavior.