(rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on

a BARRIER insn. From-SVN: r142708

(rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on
a BARRIER insn. From-SVN: r142708
b8153009 · Andreas Schwab · Andreas Schwab · 2d07fd8a · b8153009 · b8153009
Commit b8153009 authored Dec 12, 2008 by Andreas Schwab Committed by Andreas Schwab Dec 12, 2008
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 1 deletions

gcc/ChangeLog
+5 -0

gcc/cfgrtl.c
+2 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+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.
--- 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),