aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-dom.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/tree-ssa-dom.c')
-rw-r--r--gcc/tree-ssa-dom.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index a8b7038..d940816 100644
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -1843,6 +1843,12 @@ optimize_stmt (basic_block bb, gimple_stmt_iterator si,
/* Delete threads that start at BB. */
remove_jump_threads_starting_at (bb);
+ /* If BB is in a loop, then removing an outgoing edge from BB
+ may cause BB to move outside the loop, changes in the
+ loop exit edges, etc. So note that loops need fixing. */
+ if (bb_loop_depth (bb) > 0)
+ loops_state_set (LOOPS_NEED_FIXUP);
+
/* Now clean up the control statement at the end of
BB and remove unexecutable edges. */
remove_ctrl_stmt_and_useless_edges (bb, taken_edge->dest);