From: Daniel Berlin <dberlin@dberlin.org>
Date: Tue, 5 Oct 2004 13:57:06 +0000 (+0000)
Subject: tree-ssa.c (verify_ssa): Verify phi arguments only contain renamed names.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=af16db699d865a4324173656b33fa1abd27c8aa0;p=gcc.git

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0887fe276e9..63c93cedd23 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 1ddaf7d3e66..4b79989d502 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))
 	{