* jump.c (delete_insn): Don't delete user labels at -O0.

From-SVN: r31885

gcc/ChangeLog

+2000-02-09  Richard Henderson  <rth@cygnus.com>
+
+	* jump.c (delete_insn): Don't delete user labels at -O0.
+
 2000-02-09  Robert Lipe  <robertl@sco.com>
 
 	* Makefile.in (gen-protos): Don't depend on HOST_LIBDEPS.

gcc/jump.c

@@ -4223,16 +4223,20 @@ delete_insn (insn)
   if (was_code_label)
     remove_node_from_expr_list (insn, &nonlocal_goto_handler_labels);
 
-  /* Don't delete user-declared labels.  Convert them to special NOTEs
-     instead.  */
-  if (was_code_label && LABEL_NAME (insn) != 0
-      && optimize && ! dont_really_delete)
+  /* Don't delete user-declared labels.  When optimizing, convert them
+     to special NOTEs instead.  When not optimizing, leave them alone.  */
+  if (was_code_label && LABEL_NAME (insn) != 0)
+    {
+      if (! optimize)
+	dont_really_delete = 1;
+      else if (! dont_really_delete)
 	{
 	  PUT_CODE (insn, NOTE);
 	  NOTE_LINE_NUMBER (insn) = NOTE_INSN_DELETED_LABEL;
 	  NOTE_SOURCE_FILE (insn) = 0;
 	  dont_really_delete = 1;
 	}
+    }
   else
     /* Mark this insn as deleted.  */
     INSN_DELETED_P (insn) = 1;