diff options
| author | Richard Biener <rguenther@suse.de> | 2015-03-24 09:31:48 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-03-24 09:31:48 +0000 |
| commit | bdb3744886f71ac1aab86a30bc25a8ca9c8119a2 (patch) | |
| tree | 3ec560b47477b38428c3227a38849cec3ac5efc9 /gcc/tree-cfg.c | |
| parent | f9addac7825df87c80c95db7070f1ce60b6700a9 (diff) | |
| download | gcc-bdb3744886f71ac1aab86a30bc25a8ca9c8119a2.zip gcc-bdb3744886f71ac1aab86a30bc25a8ca9c8119a2.tar.gz gcc-bdb3744886f71ac1aab86a30bc25a8ca9c8119a2.tar.bz2 | |
re PR middle-end/65517 (ICE: in get_loop_body, at cfgloop.c:856)
2015-03-24 Richard Biener <rguenther@suse.de>
PR middle-end/65517
* tree-cfg.c (remove_edge_and_dominated_blocks): Mark loops
for fixup if necessary.
* gcc.dg/torture/pr65517.c: New testcase.
From-SVN: r221619
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 0f5e428..98d6ba4 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -7824,6 +7824,13 @@ remove_edge_and_dominated_blocks (edge e) basic_block bb, dbb; bitmap_iterator bi; + /* If we are removing a path inside a non-root loop that may change + loop ownership of blocks or remove loops. Mark loops for fixup. */ + if (current_loops + && loop_outer (e->src->loop_father) != NULL + && e->src->loop_father == e->dest->loop_father) + loops_state_set (LOOPS_NEED_FIXUP); + if (!dom_info_available_p (CDI_DOMINATORS)) { remove_edge (e); |