https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100061
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|[10/11/12/13 Regression] |[10/11 Regression] |Comparison guarding |Comparison guarding |undefined behaviour |undefined behaviour |disappears |disappears Known to fail| |11.3.1 Known to work| |12.1.0, 13.0 --- Comment #14 from Richard Biener <rguenth at gcc dot gnu.org> --- Btw, eventually the refactoring done for PR105142 in r12-8012-gfc8d9e4497032d will help, at least the fixed problem is of similar nature. The original testcase seems fixed by this at least as we are no longer expanding the guarded c + 1.