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

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100061

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-04-13
          Component|c                           |tree-optimization
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |wrong-code

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  It's ifcombine doing

optimizing two comparisons to _1 < a_6(D)
optimizing two comparisons to _2 < b_7(D)

combining b > c && b > c + 1 to b > c + 1