(find_and_verify_loops): When moving exit blocks out of the loop,

verify that the target of P is within the current loop.

From-SVN: r10364

diff --git a/gcc/loop.c b/gcc/loop.c
index f48a42a0930270cda29f5b3734254f9a90c24d1c..6f21104abaef265c2588bbce2ec4883dce60c198 100644 (file)
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -2366,6 +2366,12 @@ find_and_verify_loops (f)
                  }
              }
 
+           /* Make sure that the target of P is within the current loop.  */
+
+           if (JUMP_LABEL (p)
+               && uid_loop_num[INSN_UID (JUMP_LABEL (p))] != this_loop_num)
+             outer_loop = this_loop_num;
+
            /* If we stopped on a JUMP_INSN to the next insn after INSN,
               we have a block of code to try to move.