tree-ssa-threadupdate.c (determine_bb_domination_status): Always check if BB is a...

	* 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 85485ce3047a81f40692a3b752dfd61eb78cbdf6..55df32d659c596f87f12cd95e318a81232499625 100644 (file)
--- 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 fdb8601a9fe2994e1bfc53ff2a3cdfd37ab72abc..40669eb810173a38b94bfba3941938f434fe3b7b 100644 (file)
--- 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;