https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67005
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2015-07-27 Known to work| |4.9.3 Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Target Milestone|--- |5.3 Summary|ICE: in |[5/6 Regression] ICE: in |verify_loop_structure, at |verify_loop_structure, at |cfgloop.c:1647 (loop with |cfgloop.c:1647 (loop with |header n not in loop tree) |header n not in loop tree) Ever confirmed|0 |1 Known to fail| |5.2.0, 6.0 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed. The loop "appears" after CDDCE1 where a loop with multiple entries becomes one with a single entry. DCE expects cleanup-cfg to fix things but that doesn't do anything and thus doesn't end up fixing up loops. Mine.