[Bug tree-optimization/107447] [13 Regression] ICE: verify_flow_info failed (error: returns_twice call is not first in basic block 2)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Last reconfirmed|                            |2022-10-28
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |ASSIGNED
           Keywords|                            |ice-checking
     Ever confirmed|0                           |1
   Target Milestone|---                         |13.0

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  Let me fix this.  Note we are moving an entry to an irreducible
sub-region of the loop here, so doing this will create an outer loop and make
the inner loop have multiple latches.  All this is likely not worth handling
(code-gen wise it's simple to fix, but I'll look for the fallout).

The checking is new, thus a "regression"