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 <rguent...@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
