gimple-ssa-evrp.c (evrp_dom_walker::before_dom_children): Do not set BB_VISITED here.

	* gimple-ssa-evrp.c (evrp_dom_walker::before_dom_children): Do not
	set BB_VISITED here.
	(evrp_range_analyzer::enter): Set BB_VISITED here instead.

From-SVN: r254960

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index adba88722611b912add3605e488283b9ee494c8d..dacc9d03b7a0dec689872ca07d4bd2edfcefaeff 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-11-20  Jeff Law  <law@redhat.com>
+
+       * gimple-ssa-evrp.c (evrp_dom_walker::before_dom_children): Do not
+       set BB_VISITED here.
+       (evrp_range_analyzer::enter): Set BB_VISITED here instead.
+
 2017-11-20  Bin Cheng  <bin.cheng@arm.com>
 
        * tree-predcom.c: Add general comment on Store-Store chains.

diff --git a/gcc/gimple-ssa-evrp.c b/gcc/gimple-ssa-evrp.c
index 76eeb13c63e8a9d75fdd2b908489898a9206d41d..8afec31e76bf2678dcc1c01a9f106184e36a68fa 100644 (file)
--- a/gcc/gimple-ssa-evrp.c
+++ b/gcc/gimple-ssa-evrp.c
@@ -160,6 +160,7 @@ evrp_range_analyzer::enter (basic_block bb)
   stack.safe_push (std::make_pair (NULL_TREE, (value_range *)NULL));
   record_ranges_from_incoming_edge (bb);
   record_ranges_from_phis (bb);
+  bb->flags |= BB_VISITED;
 }
 
 /* Find new range for NAME such that (OP CODE LIMIT) is true.  */
@@ -530,8 +531,6 @@ evrp_dom_walker::before_dom_children (basic_block bb)
        }
     }
  
-  bb->flags |= BB_VISITED;
-
   return taken_edge;
 }