diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cfgrtl.c | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 74072c8c712..9e7513bb495 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2008-12-12 Andreas Schwab <schwab@suse.de> + + * cfgrtl.c (rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on + a BARRIER insn. + 2008-12-12 Uros Bizjak <ubizjak@gmail.com> * config/alpha/sync.md (memory_barrier): Remove mem:BLK from operands. 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), |