aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJeff Law <law@redhat.com>2011-04-05 15:30:54 -0600
committerJeff Law <law@gcc.gnu.org>2011-04-05 15:30:54 -0600
commit277a9aa5a1aebd2ccf58ca130ab8ecd450e2d089 (patch)
treeb94c2e7140ff4011abcc330ac4bf14bdeb38b127 /gcc
parent49fd1b338cb12f6bc6fd90233784fad339d436b6 (diff)
downloadgcc-277a9aa5a1aebd2ccf58ca130ab8ecd450e2d089.zip
gcc-277a9aa5a1aebd2ccf58ca130ab8ecd450e2d089.tar.gz
gcc-277a9aa5a1aebd2ccf58ca130ab8ecd450e2d089.tar.bz2
tree-ssa-threadupdate.c (determine_bb_domination_status): Always check if BB is a successor of LOOP->header and return NONDOMINATING if...
* 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. From-SVN: r172004
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/tree-ssa-threadupdate.c2
2 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 85485ce..55df32d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2011-04-05 Jeff Law <law@redhat.com>
+
+ * 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.
+
2011-04-05 Steven Bosscher <steven@gcc.gnu.org>
* cprop.c (struct reg_use): Remove.
diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c
index fdb8601..40669eb 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;