From: Jeff Law Date: Tue, 5 Apr 2011 21:30:54 +0000 (-0600) Subject: tree-ssa-threadupdate.c (determine_bb_domination_status): Always check if BB is a... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=277a9aa5a1aebd2ccf58ca130ab8ecd450e2d089;p=gcc.git 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 --- 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;