projects
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8cfef35
)
(delete_insn): Don't change labels to NOTEs if we would not really have
author
Richard Kenner
<kenner@gcc.gnu.org>
Sat, 19 Sep 1992 19:54:32 +0000
(15:54 -0400)
committer
Richard Kenner
<kenner@gcc.gnu.org>
Sat, 19 Sep 1992 19:54:32 +0000
(15:54 -0400)
deleted them.
From-SVN: r2184
gcc/jump.c
patch
|
blob
|
history
diff --git
a/gcc/jump.c
b/gcc/jump.c
index db1e5ef086fc205162daa165e635530f4f879479..99833401b46afb5d3ca94bf41ca5242f2bd8832f 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;