cfgrtl.c (rtl_verify_flow_info): Don't use INSN_P when checking if an unconditional return is followed by a barrier.

* cfgrtl.c (rtl_verify_flow_info): Don't use INSN_P when
	checking if an unconditional return is followed by a barrier.

From-SVN: r90819
This commit is contained in:
Kazu Hirata 2004-11-17 21:55:07 +00:00 committed by Kazu Hirata
parent d6be0d7f2d
commit 26cae194f7
2 changed files with 6 additions and 2 deletions

View File

@ -1,3 +1,8 @@
2004-11-17 Kazu Hirata <kazu@cs.umass.edu>
* cfgrtl.c (rtl_verify_flow_info): Don't use INSN_P when
checking if an unconditional return is followed by a barrier.
2004-11-17 Jeff Law <law@redhat.com>
* tree-cfg.c (edge_to_cases): Renamed from edge_to_case_leader.

View File

@ -2256,8 +2256,7 @@ rtl_verify_flow_info (void)
}
}
if (INSN_P (x)
&& JUMP_P (x)
if (JUMP_P (x)
&& returnjump_p (x) && ! condjump_p (x)
&& ! (NEXT_INSN (x) && BARRIER_P (NEXT_INSN (x))))
fatal_insn ("return not followed by barrier", x);