From 72e940d286a2ffee8fafa04431da540d9646622e Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Tue, 29 Apr 2003 16:25:11 -0400 Subject: [PATCH] re PR middle-end/10336 (ICE with -Wunreachable-code) PR middle-end/10336 * jump.c (never_reached_warning): Really stop looking if we reach the beginning of the function. From-SVN: r66249 --- gcc/ChangeLog | 6 ++++++ gcc/jump.c | 14 ++++++++------ 2 files changed, 14 insertions(+), 6 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c22b671de01..b7bb449594e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2003-04-29 Jason Merrill + + PR middle-end/10336 + * jump.c (never_reached_warning): Really stop looking if we reach + the beginning of the function. + 2003-04-29 Bob Wilson * config/xtensa/elf.h (SIZE_TYPE, PTRDIFF_TYPE, USER_LABEL_PREFIX): diff --git a/gcc/jump.c b/gcc/jump.c index 5563ee34581..5bed408fb5c 100644 --- a/gcc/jump.c +++ b/gcc/jump.c @@ -1912,13 +1912,15 @@ never_reached_warning (avoided_insn, finish) /* 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 - || NOTE_LINE_NUMBER (insn) == NOTE_INSN_FUNCTION_BEG) - { - insn = NEXT_INSN (insn); + insn = avoided_insn; + while (1) + { + rtx prev = PREV_INSN (insn); + if (prev == NULL_RTX + || GET_CODE (prev) != NOTE) break; - } + insn = prev; + } /* Scan forwards, looking at LINE_NUMBER notes, until we hit a LABEL in case FINISH is NULL, otherwise until we run out of insns. */ -- 2.30.2