[Bug tree-optimization/114937] [11 regression] -ftree-vrp optimizes out range check before conditional increment

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED
   Target Milestone|11.5                        |12.0
      Known to fail|                            |11.5.0

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Works in GCC 12.