diff options
| author | Richard Henderson <rth@redhat.com> | 2002-05-22 13:30:31 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2002-05-22 13:30:31 -0700 |
| commit | 19f71cd70f56591f6971f9d592d1f883f4dd7ac4 (patch) | |
| tree | f8da8df164464f81b1a48ab8dbc81ce8421ae657 | |
| parent | d5bcfcce1de864ef89864826caee97412f1aa482 (diff) | |
| download | gcc-19f71cd70f56591f6971f9d592d1f883f4dd7ac4.zip gcc-19f71cd70f56591f6971f9d592d1f883f4dd7ac4.tar.gz gcc-19f71cd70f56591f6971f9d592d1f883f4dd7ac4.tar.bz2 | |
* flow.c (life_analysis): Delete broken reg_label check.
From-SVN: r53746
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/flow.c | 20 |
2 files changed, 5 insertions, 19 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d88f8bb..f8ccdae 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 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. * fixinc/fixincl.x, fixinc/tests/base/pthread.h: Rebuild. @@ -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) { |