diff options
Diffstat (limited to 'gcc/cfgrtl.c')
-rw-r--r-- | gcc/cfgrtl.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index a7dc5076865..0e1bb0a3d91 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -1731,7 +1731,8 @@ rtl_verify_flow_info_1 (void) } FOR_BB_INSNS (bb, insn) - if (BLOCK_FOR_INSN (insn) != bb) + if (!BARRIER_P (insn) + && BLOCK_FOR_INSN (insn) != bb) { error ("insn %d basic block pointer is %d, should be %d", INSN_UID (insn), |