From: Jason Merrill <jason@redhat.com>
Date: Tue, 29 Apr 2003 20:25:48 +0000 (-0400)
Subject: jump.c (never_reached_warning): Really stop looking if we reach the beginning of... 
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a54d7d791e3e999cb00e10919fcdafa6c862289;p=thirdparty%2Fgcc.git

jump.c (never_reached_warning): Really stop looking if we reach the beginning of the function.

        * jump.c (never_reached_warning): Really stop looking if we reach
        the beginning of the function.

From-SVN: r66250
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 76d7c35bbc3d..49adc796b62f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2003-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR middle-end/10336
+	* jump.c (never_reached_warning): Really stop looking if we reach 
+	the beginning of the function.
+
 2003-04-22  Release Manager
 
 	* GCC 3.2.3 Released.
diff --git a/gcc/jump.c b/gcc/jump.c
index c668374af879..3fac7a561d42 100644
--- a/gcc/jump.c
+++ b/gcc/jump.c
@@ -1957,13 +1957,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.  */