This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH]: Fix recent ssa verification regression
- From: Daniel Berlin <dberlin at dberlin dot org>
- To: gcc-patches at gcc dot gnu dot org
- Date: Mon, 22 Nov 2004 12:56:13 -0500 (EST)
- Subject: [PATCH]: Fix recent ssa verification regression
This fixes the problem noted here (that we no longer verify that the kill
operands are correct) by adding back the kills to the list of things that
are verified:
http://gcc.gnu.org/ml/gcc-patches/2004-11/msg01727.html
I will apply as obvious after bootstrap and regression test finishes.
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.
Index: tree-ssa.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-ssa.c,v
retrieving revision 2.60
diff -u -p -r2.60 tree-ssa.c
--- tree-ssa.c 22 Nov 2004 03:45:15 -0000 2.60
+++ tree-ssa.c 22 Nov 2004 17:53:38 -0000
@@ -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),