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 (file)
--- 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 (file)
--- 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);
     }