From 2ca19d5e9ebf19b404d6ce94f6c4035049e5f93e Mon Sep 17 00:00:00 2001 From: Jason Eckhardt Date: Wed, 15 Mar 2000 20:24:35 +0000 Subject: [PATCH] * flow.c (verify_flow_info): Check for unconditional return. From-SVN: r32565 --- gcc/ChangeLog | 4 ++++ gcc/flow.c | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 47287d795cc..2b324f0505f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +Wed Mar 15 14:28:54 2000 Jason Eckhardt + + * flow.c (verify_flow_info): Check for unconditional return. + Wed Mar 15 11:34:27 2000 Jim Wilson * config/ia64/ia64.md (restore_stack_nonlocal): New. diff --git a/gcc/flow.c b/gcc/flow.c index 9fda6bd2bf1..b446d3adc01 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); -- 2.30.2