diff options
author | Scott Snyder <snyder@fnal.gov> | 2003-02-28 15:57:50 -0800 |
---|---|---|
committer | Richard Henderson <rth@gcc.gnu.org> | 2003-02-28 15:57:50 -0800 |
commit | 73c68f614dcd037a892768ace3481d45d8280436 (patch) | |
tree | 7110cbf93c9b18e15a06019a2d41460bedc046c3 /gcc/flags.h | |
parent | d8fad4ea49a49a7787891d1a6e7dbb81e2a09572 (diff) | |
download | gcc-73c68f614dcd037a892768ace3481d45d8280436.zip gcc-73c68f614dcd037a892768ace3481d45d8280436.tar.gz gcc-73c68f614dcd037a892768ace3481d45d8280436.tar.bz2 |
flags.h: Add flag_eliminate_unused_debug_types.
* flags.h: Add flag_eliminate_unused_debug_types.
* toplev.c: Add flag_eliminate_unused_debug_types.
(f_options): Add -feliminate-unused-debug-types.
* dwarf2out.c (struct file_table): Add emitted member.
(splice_child_die): Fix the parent pointer for the child being
spliced.
(lookup_filename): Maintain file_table.emitted array. Don't
output .file directive here.
(maybe_emit_file): (new)
(init_file_table): Set up file_table.emitted.
(dwarf2out_source_line): Use maybe_emit_file.
(dwarf2out_start_source_file): Use maybe_emit_file.
(dwarf2out_init): Use maybe_emit_file.
(prune_unused_types_walk_attribs): (new)
(prune_unused_types_mark): (new)
(prune_unused_types_walk): (new)
(prune_unused_types_prune): (new)
(prune_unused_types): (new)
(dwarf2out_finish): Call prune_unused_types if
flag_eliminate_unused_debug_types is set.
* doc/invoke.texi (Option Summary): Add
-feliminate-unused-debug-types.
(Debugging Options): Likewise.
From-SVN: r63588
Diffstat (limited to 'gcc/flags.h')
-rw-r--r-- | gcc/flags.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index 4a80689..032edb6 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -641,6 +641,10 @@ extern int flag_gcse_sm; extern int flag_eliminate_dwarf2_dups; +/* Nonzero means we should do unused type elimination. */ + +extern int flag_eliminate_unused_debug_types; + /* Nonzero means to collect statistics which might be expensive and to print them when we are done. */ extern int flag_detailed_statistics; |