* flow.c (life_analysis): Delete broken reg_label check.

From-SVN: r53746

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d88f8bbf14dd62db60b7d50397a19e082f1c7d62..f8ccdae5f0061d41876e23a332728022b30f140c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2002-05-22  Richard Henderson  <rth@redhat.com>
+
+       * flow.c (life_analysis): Delete broken reg_label check.
+
 2002-05-22  Richard Henderson  <rth@redhat.com>
 
        * fixinc/inclhack.def (thread_keyword): Allow as any prototype arg.

diff --git a/gcc/flow.c b/gcc/flow.c
index c284273a4aeba62c9dd3b387c4b0e359813d7733..b2d4f0e4ae017fc6e1100aae6fc15bfa8e7fed1e 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -485,20 +485,6 @@ life_analysis (f, file, flags)
 
   free_basic_block_vars (1);
 
-#ifdef ENABLE_CHECKING
-  {
-    rtx insn;
-
-    /* Search for any REG_LABEL notes which reference deleted labels.  */
-    for (insn = get_insns (); insn; insn = NEXT_INSN (insn))
-      {
-       rtx inote = find_reg_note (insn, REG_LABEL, NULL_RTX);
-       if (inote && GET_CODE (XEXP (inote, 0)) != CODE_LABEL)
-         abort ();
-      }
-  }
-#endif
-
   /* Removing dead insns should've made jumptables really dead.  */
   delete_dead_jumptables ();
 }
@@ -1556,11 +1542,7 @@ propagate_block_delete_insn (insn)
      INSN may reference a deleted label, particularly when a jump
      table has been optimized into a direct jump.  There's no
      real good way to fix up the reference to the deleted label
-     when the label is deleted, so we just allow it here.
-
-     After dead code elimination is complete, we do search for
-     any REG_LABEL notes which reference deleted labels as a
-     sanity check.  */
+     when the label is deleted, so we just allow it here.  */
 
   if (inote && GET_CODE (inote) == CODE_LABEL)
     {