[Bug tree-optimization/71595] [7 Regression] ICE on valid code at -O2 and -O3 on x86_64-linux-gnu: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:704

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
The real reason is probably that after

      if (changed)
        {
          unsigned i;

          unloop_loops (loop_closed_ssa_invalidated, &irred_invalidated);

the loop tree is hosed.  The following into-loop-closed-SSA rewrite cannot
be possibly successful then.