(delete_insn): Don't change labels to NOTEs if we would not really have

deleted them. From-SVN: r2184

(delete_insn): Don't change labels to NOTEs if we would not really have
deleted them. From-SVN: r2184
9571f079 · Richard Kenner · 8cfef35a · 9571f079
Commit 9571f079 authored Sep 19, 1992 by Richard Kenner
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletions

gcc/jump.c
+2 -1

No files found.
--- a/gcc/jump.c
+++ b/gcc/jump.c
@@ -2964,7 +2964,8 @@ delete_insn (insn)
  /* Don't delete user-declared labels.  Convert them to special NOTEs
     instead.  */
-  if (was_code_label && LABEL_NAME (insn) != 0)
+  if (was_code_label && LABEL_NAME (insn) != 0
+      && optimize && ! dont_really_delete)
    {
      PUT_CODE (insn, NOTE);
      NOTE_LINE_NUMBER (insn) = NOTE_INSN_DELETED_LABEL;