diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 12dfd42cfa28..1ebf450045fe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-11-17 Kazu Hirata + + * 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 * tree-cfg.c (edge_to_cases): Renamed from edge_to_case_leader. diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index 8b11cf375317..47f533032db7 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -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);