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

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

+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.

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;