From 277a9aa5a1aebd2ccf58ca130ab8ecd450e2d089 Mon Sep 17 00:00:00 2001 From: Jeff Law Date: Tue, 5 Apr 2011 15:30:54 -0600 Subject: [PATCH] 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 --- gcc/ChangeLog | 6 ++++++ gcc/tree-ssa-threadupdate.c | 2 -- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 85485ce3047..55df32d659c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-04-05 Jeff Law + + * 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 * cprop.c (struct reg_use): Remove. 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; -- 2.30.2