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

deleted them.

From-SVN: r2184

diff --git a/gcc/jump.c b/gcc/jump.c
index db1e5ef..9983340 100644 (file)
--- 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;