This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH]: Add another verify_ssa check
- From: Daniel Berlin <dberlin at dberlin dot org>
- To: gcc-patches at gcc dot gnu dot org
- Date: Wed, 9 Jun 2004 19:14:06 -0400 (EDT)
- Subject: [PATCH]: Add another verify_ssa check
bootstrapped on i686-pc-linux-gnu
2004-06-09 Daniel Berlin <dberlin@dberlin.org>
* tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores
match.
Index: tree-ssa.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-ssa.c,v
retrieving revision 2.4
diff -u -3 -p -r2.4 tree-ssa.c
--- tree-ssa.c 2 Jun 2004 18:56:53 -0000 2.4
+++ tree-ssa.c 9 Jun 2004 23:08:58 -0000
@@ -322,6 +322,9 @@ verify_ssa (void)
get_stmt_operands (stmt);
vdefs = VDEF_OPS (ann);
+ if (ann->makes_aliased_stores && NUM_VDEFS (vdefs) == 0)
+ error ("Makes aliased stores, but no VDEFS");
+
for (j = 0; j < NUM_VDEFS (vdefs); j++)
{
tree op = VDEF_RESULT (vdefs, j);
@@ -387,7 +390,7 @@ verify_ssa (void)
vdef_optype vdefs;
use_optype uses;
- vuses = VUSE_OPS (ann);
+ vuses = VUSE_OPS (ann);
for (j = 0; j < NUM_VUSES (vuses); j++)
{
tree op = VUSE_OP (vuses, j);