aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDiego Novillo <dnovillo@redhat.com>2005-02-01 20:26:25 +0000
committerDiego Novillo <dnovillo@gcc.gnu.org>2005-02-01 15:26:25 -0500
commit28a3618fb707d32cf24e2d63ed6812cbf4054d14 (patch)
treeed45bc1a8753f91121d3bb185bcf05fe23f2bb50
parent61d2e0eb0779deb4d28e791fcbe7d45320188a5d (diff)
downloadgcc-28a3618fb707d32cf24e2d63ed6812cbf4054d14.zip
gcc-28a3618fb707d32cf24e2d63ed6812cbf4054d14.tar.gz
gcc-28a3618fb707d32cf24e2d63ed6812cbf4054d14.tar.bz2
re PR tree-optimization/19670 (testsuite failure: gcc.c-torture/execute/builtins/strlen-3.c compilation, -O1)
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
-rw-r--r--gcc/ChangeLog7
-rw-r--r--gcc/tree-ssa.c3
2 files changed, 8 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b039610..7633a7e 100644
--- 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 d7fa593..88493b7 100644
--- 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)