diff options
| author | rms <rms@138bc75d-0d04-0410-961f-82ee72b054a4> | 1992-07-05 03:31:52 +0000 |
|---|---|---|
| committer | rms <rms@138bc75d-0d04-0410-961f-82ee72b054a4> | 1992-07-05 03:31:52 +0000 |
| commit | 9cdc08c6b3857fbb229db2150e2a72cb93913424 (patch) | |
| tree | 0994c02c075abf221497d13574266f031e6dcb29 /gcc/final.c | |
| parent | cd42d9cef8984ef5e6cd0092a3972a520b114926 (diff) | |
| download | gcc-9cdc08c6b3857fbb229db2150e2a72cb93913424.tar.gz | |
*** empty log message ***
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@1438 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/final.c')
| -rw-r--r-- | gcc/final.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/final.c b/gcc/final.c index fed142f4bf9..2aa09f85221 100644 --- a/gcc/final.c +++ b/gcc/final.c @@ -1040,6 +1040,15 @@ final_scan_insn (insn, file, optimize, prescan, nopeepholes) dwarfout_end_block (pending_blocks[block_depth]); #endif } + else if (NOTE_LINE_NUMBER (insn) == NOTE_INSN_DELETED_LABEL + && (debug_info_level == DINFO_LEVEL_NORMAL + || debug_info_level == DINFO_LEVEL_VERBOSE)) + { +#ifdef DWARF_DEBUGGING_INFO + if (write_symbols == DWARF_DEBUG) + dwarfout_label (insn); +#endif + } else if (NOTE_LINE_NUMBER (insn) > 0) /* This note is a line-number. */ { |