diff options
| author | Richard Stallman <rms@gnu.org> | 1992-08-12 07:28:49 +0000 |
|---|---|---|
| committer | Richard Stallman <rms@gnu.org> | 1992-08-12 07:28:49 +0000 |
| commit | e92b33f50827f1f18db368670f855afeede8ef47 (patch) | |
| tree | 064176e88e48f83c445a0040d7946f1f2a4d1a37 | |
| parent | b428127320b1753f078713497276120114df6028 (diff) | |
| download | gcc-e92b33f50827f1f18db368670f855afeede8ef47.zip gcc-e92b33f50827f1f18db368670f855afeede8ef47.tar.gz gcc-e92b33f50827f1f18db368670f855afeede8ef47.tar.bz2 | |
(final_scan_insn): Call dwarfout_begin_block and
dwarfout_end_block even for -g1.
From-SVN: r1806
| -rw-r--r-- | gcc/final.c | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/gcc/final.c b/gcc/final.c index b7c0cb4..7f4581a4 100644 --- a/gcc/final.c +++ b/gcc/final.c @@ -980,7 +980,12 @@ final_scan_insn (insn, file, optimize, prescan, nopeepholes) } if (NOTE_LINE_NUMBER (insn) == NOTE_INSN_BLOCK_BEG && (debug_info_level == DINFO_LEVEL_NORMAL - || debug_info_level == DINFO_LEVEL_VERBOSE)) + || debug_info_level == DINFO_LEVEL_VERBOSE +#ifdef DWARF_DEBUGGING_INFO + || write_symbols == DWARF_DEBUG +#endif + ) + ) { /* Beginning of a symbol-block. Assign it a sequence number and push the number onto the stack PENDING_BLOCKS. */ @@ -1018,7 +1023,12 @@ final_scan_insn (insn, file, optimize, prescan, nopeepholes) } else if (NOTE_LINE_NUMBER (insn) == NOTE_INSN_BLOCK_END && (debug_info_level == DINFO_LEVEL_NORMAL - || debug_info_level == DINFO_LEVEL_VERBOSE)) + || debug_info_level == DINFO_LEVEL_VERBOSE +#ifdef DWARF_DEBUGGING_INFO + || write_symbols == DWARF_DEBUG +#endif + ) + ) { /* End of a symbol-block. Pop its sequence number off PENDING_BLOCKS and output debugging info based on that. */ |