From: Jeff Law <law@redhat.com>
Date: Fri, 19 Nov 2004 16:56:14 +0000 (-0700)
Subject: tree-ssa.c (verify_ssa): Remove redundant checking of PHI arguments.
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=075523c69fec880d83efa91c773fb5a602968a6c;p=platform%2Fupstream%2Fgcc.git

tree-ssa.c (verify_ssa): Remove redundant checking of PHI arguments.

        * tree-ssa.c (verify_ssa): Remove redundant checking of PHI
        arguments.

From-SVN: r90924
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 93484e0..25f3d05 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-19  Jeff Law  <law@redhat.com>
+
+	* tree-ssa.c (verify_ssa): Remove redundant checking of PHI
+	arguments.
+
 2004-11-19  Paul Brook  <paul@codesourcery.com>
 
 	PR target/17735
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 4cb8cc2..054ef87 100644
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -715,24 +715,6 @@ verify_ssa (void)
 	    }
 	}
 
-      /* Verify the uses in arguments of PHI nodes at the exits from the
-	 block.  */
-      FOR_EACH_EDGE (e, ei, bb->succs)
-	{
-	  for (phi = phi_nodes (e->dest); phi; phi = PHI_CHAIN (phi))
-	    {
-	      bool virtual = !is_gimple_reg (PHI_RESULT (phi));
-	      op = PHI_ARG_DEF_FROM_EDGE (phi, e);
-	      if (TREE_CODE (op) != SSA_NAME)
-		continue;
-
-	      if (verify_use (bb, definition_block[SSA_NAME_VERSION (op)],
-			      op, phi, false, virtual,
-			      names_defined_in_bb))
-		goto err;
-	    }
-	}
-
       bitmap_clear (names_defined_in_bb);
     }