From: Andreas Schwab <schwab@suse.de>
Date: Fri, 12 Dec 2008 12:28:39 +0000 (+0000)
Subject: (rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on
X-Git-Tag: releases/gcc-4.4.0~1239
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b8153009d83b45c491f2b2cca75d4d1ea6eb3af8;p=thirdparty%2Fgcc.git

(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 74072c8c7125..9e7513bb4954 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 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),