[Bug tree-optimization/124052] niter analysis does not handle & or | merged exit conditions

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |107690
           Severity|normal                      |enhancement
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2026-02-10
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |missed-optimization

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Separately analyzing the merged conditions and then merging the niter analysis
result appropriately would be the way to mitigate this.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107690
[Bug 107690] [13/14/15/16 Regression] vectorization fails for
std::ranges::transform due to IR changes since r12-3903-g0288527f47cec669