summaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-pre.c
diff options
context:
space:
mode:
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>2014-05-19 14:33:31 +0000
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>2014-05-19 14:33:31 +0000
commit22499a394f2e3f244a0a32fbe40e10ad5dc984d8 (patch)
treee67c419dec0c9e20aaf8ed809ff91af44ab50f25 /gcc/tree-ssa-pre.c
parent85ba79cb538bd4e640dd9e8d855c02b609281c75 (diff)
downloadgcc-22499a394f2e3f244a0a32fbe40e10ad5dc984d8.tar.gz
2014-05-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/61221 * tree-ssa-pre.c (eliminate_dom_walker::before_dom_children): Do nothing for unreachable blocks. * tree-ssa-sccvn.c (cond_dom_walker::before_dom_children): Improve unreachability detection. * gcc.dg/torture/pr61221.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@210614 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa-pre.c')
-rw-r--r--gcc/tree-ssa-pre.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c
index f634f5efd29..e487d283c28 100644
--- a/gcc/tree-ssa-pre.c
+++ b/gcc/tree-ssa-pre.c
@@ -4010,6 +4010,15 @@ eliminate_dom_walker::before_dom_children (basic_block b)
/* Mark new bb. */
el_avail_stack.safe_push (NULL_TREE);
+ /* If this block is not reachable do nothing. */
+ edge_iterator ei;
+ edge e;
+ FOR_EACH_EDGE (e, ei, b->preds)
+ if (e->flags & EDGE_EXECUTABLE)
+ break;
+ if (!e)
+ return;
+
for (gsi = gsi_start_phis (b); !gsi_end_p (gsi);)
{
gimple stmt, phi = gsi_stmt (gsi);