OSDN Git Service

(delete_insn): When deleting after label, delete a BARRIER as well.
authorkenner <kenner@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 14 Apr 1995 22:42:15 +0000 (22:42 +0000)
committerkenner <kenner@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 14 Apr 1995 22:42:15 +0000 (22:42 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@9383 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/jump.c

index ff26729..c150964 100644 (file)
@@ -3504,7 +3504,7 @@ delete_insn (insn)
       register RTX_CODE code;
       while (next != 0
             && (GET_RTX_CLASS (code = GET_CODE (next)) == 'i'
-                || code == NOTE
+                || code == NOTE || code == BARRIER
                 || (code == CODE_LABEL && INSN_DELETED_P (next))))
        {
          if (code == NOTE