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

gcc/ChangeLog

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

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