[Bug rtl-optimization/56181] [4.8 Regression] ICE in verify_loop_structure, at cfgloop.c:1581 with -ftracer

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56181

--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-08 11:00:34 UTC ---
Author: rguenth
Date: Fri Feb  8 11:00:26 2013
New Revision: 195879

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195879
Log:
2013-02-08  Richard Biener  <rguenther@suse.de>

    PR middle-end/56181
    * cfgloop.h (flow_loops_find): Adjust.
    (bb_loop_header_p): Declare.
    * cfgloop.c (bb_loop_header_p): New function split out from ...
    (flow_loops_find): ... here.  Adjust function signature,
    support incremental loop structure update.
    (verify_loop_structure): Cleanup.  Verify a loop is a loop.
    * cfgloopmanip.c (fix_loop_structure): Move ...
    * loop-init.c (fix_loop_structure): ... here.
    (apply_loop_flags): Split out from ...
    (loop_optimizer_init): ... here.
    (fix_loop_structure): Use apply_loop_flags.  Use flow_loops_find
    in incremental mode, only remove dead loops here.

    * gcc.dg/torture/pr56181.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr56181.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgloop.c
    trunk/gcc/cfgloop.h
    trunk/gcc/cfgloopmanip.c
    trunk/gcc/loop-init.c
    trunk/gcc/testsuite/ChangeLog