(jump_optimize, can_reach_end determination): A barrier can

follow the return insn.

From-SVN: r9564

diff --git a/gcc/jump.c b/gcc/jump.c
index c1509647e1704ec0afed875d20dbc0609bd558ad..4483c720fea32bbc13f0fd6d16d4f5fdeda0e7c3 100644 (file)
--- a/gcc/jump.c
+++ b/gcc/jump.c
@@ -265,6 +265,8 @@ jump_optimize (f, cross_jump, noop_moves, after_regscan)
                      then one of them follows the note.  */
                   || (GET_CODE (insn) == JUMP_INSN
                       && GET_CODE (PATTERN (insn)) == RETURN)
+                  /* A barrier can follow the return insn.  */
+                  || GET_CODE (insn) == BARRIER
                   /* Other kinds of notes can follow also.  */
                   || (GET_CODE (insn) == NOTE
                       && NOTE_LINE_NUMBER (insn) != NOTE_INSN_FUNCTION_END)))
@@ -2093,6 +2095,8 @@ jump_optimize (f, cross_jump, noop_moves, after_regscan)
                  then one of them follows the note.  */
               || (GET_CODE (insn) == JUMP_INSN
                   && GET_CODE (PATTERN (insn)) == RETURN)
+              /* A barrier can follow the return insn.  */
+              || GET_CODE (insn) == BARRIER
               /* Other kinds of notes can follow also.  */
               || (GET_CODE (insn) == NOTE
                   && NOTE_LINE_NUMBER (insn) != NOTE_INSN_FUNCTION_END)))