re PR tree-optimization/19670 (testsuite failure: gcc.c-torture/execute/builtins...

	PR tree-optimization/19670
	* tree-ssa.c (verify_ssa_name): Don't set TREE_VISITED
	here...
	(verify_use): ... set it here, instead.

From-SVN: r94557

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b039610beefaa300d198416d9c7a0ad18d2c52b5..7633a7ee5840a3bcb0cd83fb73e0404160a291b2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2005-02-01  Diego Novillo  <dnovillo@redhat.com>
+
+       PR tree-optimization/19670
+       * tree-ssa.c (verify_ssa_name): Don't set TREE_VISITED
+       here...
+       (verify_use): ... set it here, instead.
+
 2005-02-01  Janis Johnson  <janis187@us.ibm.com>
 
        * doc/sourcebuild.texi (Test directives): Fix formatting.

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index d7fa593dc2900b407d2cf25341e33f9c07693985..88493b72644f022b6a45a564358436e9dca22270 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -108,8 +108,6 @@ flush_pending_stmts (edge e)
 static bool
 verify_ssa_name (tree ssa_name, bool is_virtual)
 {
-  TREE_VISITED (ssa_name) = 1;
-
   if (TREE_CODE (ssa_name) != SSA_NAME)
     {
       error ("Expected an SSA_NAME object");
@@ -219,6 +217,7 @@ verify_use (basic_block bb, basic_block def_bb, tree ssa_name,
   bool err = false;
 
   err = verify_ssa_name (ssa_name, is_virtual);
+  TREE_VISITED (ssa_name) = 1;
 
   if (IS_EMPTY_STMT (SSA_NAME_DEF_STMT (ssa_name))
       && var_ann (SSA_NAME_VAR (ssa_name))->default_def == ssa_name)