[Bug tree-optimization/120122] New: [14/15/16 Regression] wrong code due to VCE of bool being pulled out of loop

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

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

            Bug ID: 120122
           Summary: [14/15/16 Regression] wrong code due to VCE of bool
                    being pulled out of loop
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Created attachment 61327
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61327&action=edit
testcase

This is like PR 116098 but instead it is due to LIM not doing the rewriting.

Compile at -O1 to get the failure.