* flow.c (verify_flow_info): Check for unconditional return.

From-SVN: r32565

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 47287d795cc520772a8d58f588f03442f97ecc95..2b324f0505f045bed5a2b01ba1ceede75e0a6cfa 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+Wed Mar 15 14:28:54 2000  Jason Eckhardt  <jle@cygnus.com>
+
+       * flow.c (verify_flow_info): Check for unconditional return.
+
 Wed Mar 15 11:34:27 2000  Jim Wilson  <wilson@cygnus.com>
 
        * config/ia64/ia64.md (restore_stack_nonlocal): New.

diff --git a/gcc/flow.c b/gcc/flow.c
index 9fda6bd2bf1f31c52b3a863e904e5eac1cbcc3c5..b446d3adc01916edec633546fd06704803e37bd7 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -5991,7 +5991,7 @@ verify_flow_info ()
 
       if (GET_RTX_CLASS (GET_CODE (x)) == 'i'
          && GET_CODE (x) == JUMP_INSN
-         && returnjump_p (x)
+         && returnjump_p (x) && ! condjump_p (x)
          && ! (NEXT_INSN (x) && GET_CODE (NEXT_INSN (x)) == BARRIER))
            fatal_insn ("Return not followed by barrier", x);