diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-threadupdate.c | 2 |
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; |