aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Schwab <schwab@suse.de>2008-12-12 12:28:39 +0000
committerAndreas Schwab <schwab@gcc.gnu.org>2008-12-12 12:28:39 +0000
commitb8153009d83b45c491f2b2cca75d4d1ea6eb3af8 (patch)
treedeaff397b4f0caeae594767c792e581c82aea429
parent2d07fd8ae20bc07a289862079d0949993f18ecef (diff)
downloadgcc-b8153009d83b45c491f2b2cca75d4d1ea6eb3af8.zip
gcc-b8153009d83b45c491f2b2cca75d4d1ea6eb3af8.tar.gz
gcc-b8153009d83b45c491f2b2cca75d4d1ea6eb3af8.tar.bz2
(rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on
a BARRIER insn. From-SVN: r142708
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/cfgrtl.c3
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 74072c8..9e7513b 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 a7dc507..0e1bb0a 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),