(rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on

a BARRIER insn.

From-SVN: r142708

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 74072c8c712592e55b115044ac3036a2f6a77aa5..9e7513bb4954722ef86efcedfa5c9ac16f8e9df3 100644 (file)
--- 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 a7dc5076865fdc0d76a4f5e3223256ef334d8366..0e1bb0a3d91e499384160b8aefae89243357dc35 100644 (file)
--- 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),