[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  <rguenther@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