tree-ssa.c (verify_ssa): SSA_OP_ALL_USES should be SSA_OP_ALL_USES | SSA_OP_ALL_KILLS...

2004-11-22 Daniel Berlin  <dberlin@dberlin.org>

        * tree-ssa.c (verify_ssa): SSA_OP_ALL_USES should be
	SSA_OP_ALL_USES | SSA_OP_ALL_KILLS for verification purposes.

From-SVN: r91026

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f46c34b..d94b75d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-22 Daniel Berlin  <dberlin@dberlin.org>
+
+        * tree-ssa.c (verify_ssa): SSA_OP_ALL_USES should be
+       SSA_OP_ALL_USES | SSA_OP_ALL_KILLS for verification purposes.
+
 2004-11-22  David Edelsohn  <edelsohn@gnu.org>
            Fariborz Jahanian  <fjahanian@apple.com>
 

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 056775d..5dfa8c7 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -655,7 +655,7 @@ verify_ssa (void)
                  goto err;
                }
 
-         FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_ALL_USES)
+         FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_ALL_USES | SSA_OP_ALL_KILLS)
            {
              if (verify_use (bb, definition_block[SSA_NAME_VERSION (op)],
                              op, stmt, false, !is_gimple_reg (op),