diff options
author | Andreas Schwab <schwab@suse.de> | 2008-12-12 12:28:39 +0000 |
---|---|---|
committer | Andreas Schwab <schwab@gcc.gnu.org> | 2008-12-12 12:28:39 +0000 |
commit | b8153009d83b45c491f2b2cca75d4d1ea6eb3af8 (patch) | |
tree | deaff397b4f0caeae594767c792e581c82aea429 /gcc/cfgrtl.c | |
parent | 2d07fd8ae20bc07a289862079d0949993f18ecef (diff) | |
download | gcc-b8153009d83b45c491f2b2cca75d4d1ea6eb3af8.tar.gz |
(rtl_verify_flow_info_1): Don't apply BLOCK_FOR_INSN on
a BARRIER insn.
From-SVN: r142708
Diffstat (limited to 'gcc/cfgrtl.c')
-rw-r--r-- | gcc/cfgrtl.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index a7dc5076865..0e1bb0a3d91 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), |