[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 via Gcc-bugs]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Btw, there's also a stray incoming abnormal edge into bb2 here (as seen in
other bugs I've meanwhile fixed).  We've elided a call to zero() there but
failed
to eliminate the incoming abnormal edge.  CDDCE1 does this.