[Bug tree-optimization/100061] [10/11 Regression] Comparison guarding undefined behaviour disappears

[rguenth at gcc dot gnu.org]

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.