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

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

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

gcc/ChangeLog

+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>
 

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),