aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-threadupdate.c
diff options
context:
space:
mode:
authorJeff Law <law@redhat.com>2011-04-05 21:30:54 +0000
committerJeff Law <law@redhat.com>2011-04-05 21:30:54 +0000
commit65e495b826e97fabe7250ede5e85f5b9d7024814 (patch)
treeb94c2e7140ff4011abcc330ac4bf14bdeb38b127 /gcc/tree-ssa-threadupdate.c
parent23f3737c3dbfb18602ba34792119f20241a7e49c (diff)
* tree-ssa-threadupdate.c (determine_bb_domination_status): Always
check if BB is a successor of LOOP->header and return NONDOMINATING if it is not, regardless of ENABLE_CHECKING. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@172004 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa-threadupdate.c')
-rw-r--r--gcc/tree-ssa-threadupdate.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c
index fdb8601a9fe..40669eb8101 100644
--- a/gcc/tree-ssa-threadupdate.c
+++ b/gcc/tree-ssa-threadupdate.c
@@ -665,7 +665,6 @@ determine_bb_domination_status (struct loop *loop, basic_block bb)
edge_iterator ei;
edge e;
-#ifdef ENABLE_CHECKING
/* This function assumes BB is a successor of LOOP->header.
If that is not the case return DOMST_NONDOMINATING which
is always safe. */
@@ -684,7 +683,6 @@ determine_bb_domination_status (struct loop *loop, basic_block bb)
if (!ok)
return DOMST_NONDOMINATING;
}
-#endif
if (bb == loop->latch)
return DOMST_DOMINATING;