aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog4
-rw-r--r--gcc/flow.c2
2 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 47287d7..2b324f0 100644
--- 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 9fda6bd..b446d3a 100644
--- 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);