aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-ssa.c15
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))
{