tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores match.

2004-06-09  Daniel Berlin <dberlin@dberlin.org>

	* tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores
	match.

From-SVN: r82883

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b375ff2..fb6cce7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-06-09  Daniel Berlin <dberlin@dberlin.org>
+
+       * tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores 
+       match.
+
 2004-06-09  Roger Sayle  <roger@eyesopen.com>
 
        * fold-const.c (fold_not_const): New function.

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 99e2cb6..f6eb1fd 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -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);