From b8153009d83b45c491f2b2cca75d4d1ea6eb3af8 Mon Sep 17 00:00:00 2001 From: Andreas Schwab Date: Fri, 12 Dec 2008 12:28:39 +0000 Subject: [PATCH] (rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on a BARRIER insn. From-SVN: r142708 --- gcc/ChangeLog | 5 +++++ gcc/cfgrtl.c | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 74072c8c7125..9e7513bb4954 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2008-12-12 Andreas Schwab + + * cfgrtl.c (rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on + a BARRIER insn. + 2008-12-12 Uros Bizjak * config/alpha/sync.md (memory_barrier): Remove mem:BLK from operands. diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index a7dc5076865f..0e1bb0a3d91e 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), -- 2.47.3