From fce66145a8cdde580c01a973f9db87556ce71771 Mon Sep 17 00:00:00 2001 From: Daniel Berlin Date: Thu, 10 Jun 2004 03:04:07 +0000 Subject: [PATCH] tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores match. 2004-06-09 Daniel Berlin * tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores match. From-SVN: r82883 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa.c | 5 ++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b375ff2..fb6cce7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-06-09 Daniel Berlin + + * tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores + match. + 2004-06-09 Roger Sayle * fold-const.c (fold_not_const): New function. diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 99e2cb6..f6eb1fd 100644 --- 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); -- 2.7.4