diff options
| author | Hans-Peter Nilsson <hp@bitrange.com> | 2004-10-18 01:56:03 +0000 |
|---|---|---|
| committer | Hans-Peter Nilsson <hp@bitrange.com> | 2004-10-18 01:56:03 +0000 |
| commit | d742d6f4c4c84ef5dd92ee4dd2a95a628682e248 (patch) | |
| tree | bbebfb96d0d97a29670e84dd15e52b3e6c0e9e7c /gcc/cfgrtl.c | |
| parent | dbbaea6d92f05a75432d895f1bcc7cf1498da69c (diff) | |
* cfgrtl.c (rtl_verify_flow_info_1): When checking insns in a bb,
handle barriers in a bb by checking that it points to a NULL bb.
* emit-rtl.c (emit_barrier_before): Set BLOCK_FOR_INSN to NULL.
(emit_barrier_after, emit_barrier): Ditto.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@89193 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cfgrtl.c')
| -rw-r--r-- | gcc/cfgrtl.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index 67b55f4b79a..ee0b468385e 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -2073,7 +2073,10 @@ rtl_verify_flow_info_1 (void) } for (x = BB_HEAD (bb); x != NEXT_INSN (BB_END (bb)); x = NEXT_INSN (x)) - if (BLOCK_FOR_INSN (x) != bb) + /* We may have a barrier inside a basic block before dead code + elimination. They always have a NULL BLOCK_FOR_INSN. */ + if (BLOCK_FOR_INSN (x) != bb + && !(BARRIER_P (x) && BLOCK_FOR_INSN (x) == NULL)) { debug_rtx (x); if (! BLOCK_FOR_INSN (x)) |