diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d88f8bbf14d..f8ccdae5f00 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2002-05-22 Richard Henderson + + * flow.c (life_analysis): Delete broken reg_label check. + 2002-05-22 Richard Henderson * fixinc/inclhack.def (thread_keyword): Allow as any prototype arg. diff --git a/gcc/flow.c b/gcc/flow.c index c284273a4ae..b2d4f0e4ae0 100644 --- 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) {