summaryrefslogtreecommitdiff
path: root/gcc/cfgrtl.c
diff options
context:
space:
mode:
authorschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>2008-12-12 21:16:09 +0000
committerschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>2008-12-12 21:16:09 +0000
commite734eb610c3e2f770945f48e2412082182522ee2 (patch)
tree31cb18d79af5a9b508616601628713ecbfa57db1 /gcc/cfgrtl.c
parenta587a07d50456fb10cf1aa4a576ecbc85bca818e (diff)
downloadgcc-e734eb610c3e2f770945f48e2412082182522ee2.tar.gz
Revert:
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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@142721 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cfgrtl.c')
-rw-r--r--gcc/cfgrtl.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index 0e1bb0a3d91..a7dc5076865 100644
--- a/gcc/cfgrtl.c
+++ b/gcc/cfgrtl.c
@@ -1731,8 +1731,7 @@ rtl_verify_flow_info_1 (void)
}
FOR_BB_INSNS (bb, insn)
- if (!BARRIER_P (insn)
- && BLOCK_FOR_INSN (insn) != bb)
+ if (BLOCK_FOR_INSN (insn) != bb)
{
error ("insn %d basic block pointer is %d, should be %d",
INSN_UID (insn),