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 f46c34b01b1e71d855b3750642e624c9ec7aa9ed..d94b75d394467a81a8a4a435a81dbf5112e9836f 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 056775d2e561a8be8af0298f49fc3d9c66ffd552..5dfa8c7142232db83471ed79600c9e4abc8c4b95 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),