[Bug middle-end/53695] [4.8 Regression] ICE: in dfs_enumerate_from, at cfganal.c:1221 with -O2 -ftracer and labels/gotos

[rguenth at gcc dot gnu.org]

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



--- Comment #23 from Richard Biener <rguenth at gcc dot gnu.org> 2012-10-29 
14:25:32 UTC ---

Author: rguenth

Date: Mon Oct 29 14:25:22 2012

New Revision: 192943



URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192943

Log:

2012-10-29  Richard Guenther  <rguent...@suse.de>



    PR middle-end/53695

    * tracer.c (tracer): Fixup loop structure.

    * cfgloopmanip.c (force_single_succ_latches): Add assert.

    (fix_loop_structure): Re-compute loop latches and disambiguate

    loops with multiple latches if required.



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



Added:

    trunk/gcc/testsuite/gcc.dg/torture/pr53695.c

Modified:

    trunk/gcc/ChangeLog

    trunk/gcc/cfgloopmanip.c

    trunk/gcc/testsuite/ChangeLog

    trunk/gcc/tracer.c