[Bug tree-optimization/101151] [11/12 Regression] ICE at -O1 and above on x86_64-linux-gnu: verify_ssa failed since r11-3705-gdae673abd37d4004

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
The

                      /* If the blocks are possibly within the same irreducible
                         cycle the above check breaks down.  */

check is incomplete.  Testing fix.