diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/tree-ssa.c | 15 |
2 files changed, 19 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0887fe2..63c93ce 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-10-05 Daniel Berlin <dberlin@dberlin.org> + + * tree-ssa.c (verify_ssa): Verify phi arguments only + contain renamed names. + 2004-10-05 Alan Modra <amodra@bigpond.net.au> * config/rs6000/linux.h: Formatting, whitespace. 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)) { |