From: Jason Merrill Date: Fri, 4 Apr 2003 01:22:47 +0000 (-0500) Subject: re PR c/10175 (-Wunreachable-code doesn't work for single lines) X-Git-Tag: releases/gcc-3.2.3~35 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3e22acbe1705b70b7ba4416f2de122dc14c91462;p=thirdparty%2Fgcc.git re PR c/10175 (-Wunreachable-code doesn't work for single lines) PR c/10175 * jump.c (never_reached_warning): Look backwards for a line note. From-SVN: r65228 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d0a6e3adce54..da14be421045 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,7 +1,12 @@ +2003-04-03 Jason Merrill + + PR c/10175 + * jump.c (never_reached_warning): Look backwards for a line note. + 2003-04-02 Richard Henderson - * dwarf2out.c (output_call_frame_info): Ignore fde->nothrow as an - optimization when flag_exceptions not enabled. + * dwarf2out.c (output_call_frame_info): Ignore fde->nothrow as an + optimization when flag_exceptions not enabled. 2003-03-30 Kaveh R. Ghazi diff --git a/gcc/jump.c b/gcc/jump.c index 92806fcaa4bf..9d272e8bc5cd 100644 --- a/gcc/jump.c +++ b/gcc/jump.c @@ -1954,10 +1954,20 @@ never_reached_warning (avoided_insn, finish) if (!warn_notreached) return; + /* Back up to the first of any NOTEs preceding avoided_insn; flow passes + us the head of a block, a NOTE_INSN_BASIC_BLOCK, which often follows + the line note. */ + for (insn = PREV_INSN (avoided_insn); ; insn = PREV_INSN (insn)) + if (GET_CODE (insn) != NOTE) + { + insn = NEXT_INSN (insn); + break; + } + /* Scan forwards, looking at LINE_NUMBER notes, until we hit a LABEL in case FINISH is NULL, otherwise until we run out of insns. */ - for (insn = avoided_insn; insn != NULL; insn = NEXT_INSN (insn)) + for (; insn != NULL; insn = NEXT_INSN (insn)) { if ((finish == NULL && GET_CODE (insn) == CODE_LABEL) || GET_CODE (insn) == BARRIER)