flow.c (propagate_block): When we delete an ADDR_VEC, also delete the BARRIER following it if there is one.

* flow.c (propagate_block): When we delete an ADDR_VEC,
also delete the BARRIER following it if there is one.

From-SVN: r32733

1 files changed, 8 insertions, 0 deletions

diff --git a/gcc/flow.c b/gcc/flow.c
index cbf4a0e..69de658 100644
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -3328,6 +3328,14 @@ propagate_block (bb, old, significant, flags)
 			  PUT_CODE (next, NOTE);
 			  NOTE_LINE_NUMBER (next) = NOTE_INSN_DELETED;
 			  NOTE_SOURCE_FILE (next) = 0;
+
+			  if ((next = next_nonnote_insn (label)) != NULL
+			      && GET_CODE (next) == BARRIER)
+			    {
+			      PUT_CODE (next, NOTE);
+			      NOTE_LINE_NUMBER (next) = NOTE_INSN_DELETED;
+			      NOTE_SOURCE_FILE (next) = 0;
+			    }
 			}
 		    }
 		}