diff options
author | Daniel Berlin <dberlin@dberlin.org> | 2004-06-10 03:04:07 +0000 |
---|---|---|
committer | Daniel Berlin <dberlin@gcc.gnu.org> | 2004-06-10 03:04:07 +0000 |
commit | fce66145a8cdde580c01a973f9db87556ce71771 (patch) | |
tree | cb701d7b7cc2eb0eb3fe404a4776cc9a44b0056b /gcc/tree-ssa.c | |
parent | b152aee5c740cd65bdab7c0093dfd3d06dc27b55 (diff) | |
download | gcc-fce66145a8cdde580c01a973f9db87556ce71771.zip gcc-fce66145a8cdde580c01a973f9db87556ce71771.tar.gz gcc-fce66145a8cdde580c01a973f9db87556ce71771.tar.bz2 |
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
Diffstat (limited to 'gcc/tree-ssa.c')
-rw-r--r-- | gcc/tree-ssa.c | 5 |
1 files changed, 4 insertions, 1 deletions
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); |