diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-29 14:25:22 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-29 14:25:22 +0000 |
| commit | 8ca4cf5bf454f84e5b0bed541e0085ed14163b10 (patch) | |
| tree | cbaaa6dbd01c991e9f8bb98fafc21b063fcdcc02 /gcc/tracer.c | |
| parent | a2ce3d11abaf346519f7864362f999323c4c628c (diff) | |
| download | gcc-8ca4cf5bf454f84e5b0bed541e0085ed14163b10.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192943 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tracer.c')
| -rw-r--r-- | gcc/tracer.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/tracer.c b/gcc/tracer.c index 9b1d724085c..7264ad2589b 100644 --- a/gcc/tracer.c +++ b/gcc/tracer.c @@ -379,7 +379,12 @@ tracer (void) /* Trace formation is done on the fly inside tail_duplicate */ changed = tail_duplicate (); if (changed) - free_dominance_info (CDI_DOMINATORS); + { + free_dominance_info (CDI_DOMINATORS); + calculate_dominance_info (CDI_DOMINATORS); + if (current_loops) + fix_loop_structure (NULL); + } if (dump_file) brief_dump_cfg (dump_file, dump_flags); |