[Bug middle-end/67005] [5/6 Regression] ICE: in verify_loop_structure, at cfgloop.c:1647 (loop with header n not in loop tree)

[rguenth at gcc dot gnu.org]

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.