(rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on
authorschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 12 Dec 2008 12:28:39 +0000 (12:28 +0000)
committerschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 12 Dec 2008 12:28:39 +0000 (12:28 +0000)
a BARRIER insn.

git-svn-id: svn://gcc.gnu.org/svn/gcc/trunk@142708 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/cfgrtl.c

index 74072c8..9e7513b 100644 (file)
@@ -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.
index a7dc507..0e1bb0a 100644 (file)
@@ -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),