diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2004-10-05 13:57:06 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@gcc.gnu.org> | 2004-10-05 13:57:06 +0000 |
| commit | af16db699d865a4324173656b33fa1abd27c8aa0 (patch) | |
| tree | 1bbbc089162b201e4346c19a838fed85a7a4d594 /gcc/tree-ssa.c | |
| parent | 29cb3c21e8702b3ef62181bf3a377ad30a2b149c (diff) | |
| download | gcc-af16db699d865a4324173656b33fa1abd27c8aa0.zip gcc-af16db699d865a4324173656b33fa1abd27c8aa0.tar.gz gcc-af16db699d865a4324173656b33fa1abd27c8aa0.tar.bz2 | |
tree-ssa.c (verify_ssa): Verify phi arguments only contain renamed names.
2004-10-05 Daniel Berlin <dberlin@dberlin.org>
* tree-ssa.c (verify_ssa): Verify phi arguments only
contain renamed names.
From-SVN: r88554
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 1ddaf7d..4b79989 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -541,9 +541,22 @@ verify_ssa (void) block_stmt_iterator bsi; for (phi = phi_nodes (bb); phi; phi = PHI_CHAIN (phi)) - if (verify_def (bb, definition_block, PHI_RESULT (phi), phi, + { + int i; + if (verify_def (bb, definition_block, PHI_RESULT (phi), phi, !is_gimple_reg (PHI_RESULT (phi)))) goto err; + for (i = 0; i < PHI_NUM_ARGS (phi); i++) + { + tree def = PHI_ARG_DEF (phi, i); + if (TREE_CODE (def) != SSA_NAME && !is_gimple_min_invariant (def)) + { + error ("PHI argument is not SSA_NAME, or invariant"); + print_generic_stmt (stderr, phi, TDF_VOPS); + goto err; + } + } + } for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi)) { |