diff options
Diffstat (limited to 'gcc/insn-notes.def')
-rw-r--r-- | gcc/insn-notes.def | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/insn-notes.def b/gcc/insn-notes.def index 2ea673f05e6..c1d621a1d16 100644 --- a/gcc/insn-notes.def +++ b/gcc/insn-notes.def @@ -36,6 +36,10 @@ INSN_NOTE (DELETED) /* Generated in place of user-declared labels when they are deleted. */ INSN_NOTE (DELETED_LABEL) +/* Similarly, but for labels that have been present in debug stmts + earlier and thus will only appear with -g. These must use different + label namespace. */ +INSN_NOTE (DELETED_DEBUG_LABEL) /* These are used to mark the beginning and end of a lexical block. See NOTE_BLOCK and reorder_blocks. */ |