diff options
| author | Jason Eckhardt <jle@cygnus.com> | 2000-03-15 20:24:35 +0000 |
|---|---|---|
| committer | Jason Eckhardt <jle@gcc.gnu.org> | 2000-03-15 20:24:35 +0000 |
| commit | 2ca19d5e9ebf19b404d6ce94f6c4035049e5f93e (patch) | |
| tree | 29f4f458d07d4115b68264a36553bc5351f09298 | |
| parent | 9525c690037bfcfd1f6d5e5708122937140deb65 (diff) | |
| download | gcc-2ca19d5e9ebf19b404d6ce94f6c4035049e5f93e.zip gcc-2ca19d5e9ebf19b404d6ce94f6c4035049e5f93e.tar.gz gcc-2ca19d5e9ebf19b404d6ce94f6c4035049e5f93e.tar.bz2 | |
* flow.c (verify_flow_info): Check for unconditional return.
From-SVN: r32565
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/flow.c | 2 |
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. @@ -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); |