[Bug tree-optimization/120003] [12/13/14/15 Regression] missed optimization around a loop with a checker

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12/13/14/15/16 Regression] |[12/13/14/15 Regression]
                   |missed optimization around  |missed optimization around
                   |a loop with a checker       |a loop with a checker
      Known to work|                            |16.0
           Priority|P3                          |P2

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar, possibly applicable for GCC 15.2 but not earlier.