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

From-SVN: r32565

* flow.c (verify_flow_info): Check for unconditional return.
From-SVN: r32565
2ca19d5e · Jason Eckhardt · Jason Eckhardt · 9525c690 · 2ca19d5e · 2ca19d5e
Commit 2ca19d5e authored Mar 15, 2000 by Jason Eckhardt Committed by Jason Eckhardt Mar 15, 2000
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 1 deletions

gcc/ChangeLog
+4 -0

gcc/flow.c
+1 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+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.

--- 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);