diff options
| author | Jan Hubicka <jh@suse.cz> | 2012-01-05 20:25:14 +0100 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2012-01-05 19:25:14 +0000 |
| commit | 56494762bed42418501591de5c4d6e959feff017 (patch) | |
| tree | c37a75fb7f091174552a67e58c1b9f3c0fff0deb /gcc/cfgloopmanip.c | |
| parent | 10d12a3eebd9ea1022ed56131ed80ab7b67aaa88 (diff) | |
| download | gcc-56494762bed42418501591de5c4d6e959feff017.zip gcc-56494762bed42418501591de5c4d6e959feff017.tar.gz gcc-56494762bed42418501591de5c4d6e959feff017.tar.bz2 | |
re PR rtl-optimization/49710 (segfault)
PR middle-end/49710
* cfgloopmanip.c (remove_path): Walk loop hiearchy upwards when
unlooping loops.
From-SVN: r182919
Diffstat (limited to 'gcc/cfgloopmanip.c')
| -rw-r--r-- | gcc/cfgloopmanip.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/cfgloopmanip.c b/gcc/cfgloopmanip.c index 9675417..33bcf4b 100644 --- a/gcc/cfgloopmanip.c +++ b/gcc/cfgloopmanip.c @@ -291,6 +291,7 @@ remove_path (edge e) sbitmap seen; bool irred_invalidated = false; edge_iterator ei; + struct loop *l, *f; if (!can_remove_branch_p (e)) return false; @@ -314,10 +315,12 @@ remove_path (edge e) we belong to. In this case first unloop the loops, then proceed normally. We may assume that e->dest is not a header of any loop, as it now has exactly one predecessor. */ - while (loop_outer (e->src->loop_father) - && dominated_by_p (CDI_DOMINATORS, - e->src->loop_father->latch, e->dest)) - unloop (e->src->loop_father, &irred_invalidated); + for (l = e->src->loop_father; loop_outer (l); l = f) + { + f = loop_outer (l); + if (dominated_by_p (CDI_DOMINATORS, l->latch, e->dest)) + unloop (l, &irred_invalidated); + } /* Identify the path. */ nrem = find_path (e, &rem_bbs); |