diff options
| author | Richard Biener <rguenther@suse.de> | 2023-08-21 10:34:30 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-08-24 08:22:05 +0200 |
| commit | bd2c4d6d8fffd5a6dae5217d6076cc4190bab13d (patch) | |
| tree | 7b83f095ea0b81d2eec4dc7a677814261db2dcf9 /gcc | |
| parent | 0a888650303750fd72878fc083dfb30b62e30809 (diff) | |
| download | gcc-bd2c4d6d8fffd5a6dae5217d6076cc4190bab13d.zip gcc-bd2c4d6d8fffd5a6dae5217d6076cc4190bab13d.tar.gz gcc-bd2c4d6d8fffd5a6dae5217d6076cc4190bab13d.tar.bz2 | |
debug/111080 - avoid outputting debug info for unused restrict qualified type
The following applies some maintainance with respect to type qualifiers
and kinds added by later DWARF standards to prune_unused_types_walk.
The particular case in the bug is not handling (thus marking required)
all restrict qualified type DIEs. I've found more DW_TAG_*_type that
are unhandled, looked up the DWARF docs and added them as well based
on common sense.
PR debug/111080
* dwarf2out.cc (prune_unused_types_walk): Handle
DW_TAG_restrict_type, DW_TAG_shared_type, DW_TAG_atomic_type,
DW_TAG_immutable_type, DW_TAG_coarray_type, DW_TAG_unspecified_type
and DW_TAG_dynamic_type as to only output them when referenced.
* gcc.dg/debug/dwarf2/pr111080.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/dwarf2out.cc | 7 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/debug/dwarf2/pr111080.c | 18 |
2 files changed, 25 insertions, 0 deletions
diff --git a/gcc/dwarf2out.cc b/gcc/dwarf2out.cc index fa0fe4c..69018bd 100644 --- a/gcc/dwarf2out.cc +++ b/gcc/dwarf2out.cc @@ -30141,8 +30141,13 @@ prune_unused_types_walk (dw_die_ref die) case DW_TAG_reference_type: case DW_TAG_rvalue_reference_type: case DW_TAG_volatile_type: + case DW_TAG_restrict_type: + case DW_TAG_shared_type: + case DW_TAG_atomic_type: + case DW_TAG_immutable_type: case DW_TAG_typedef: case DW_TAG_array_type: + case DW_TAG_coarray_type: case DW_TAG_friend: case DW_TAG_enumeration_type: case DW_TAG_subroutine_type: @@ -30151,6 +30156,8 @@ prune_unused_types_walk (dw_die_ref die) case DW_TAG_subrange_type: case DW_TAG_ptr_to_member_type: case DW_TAG_file_type: + case DW_TAG_unspecified_type: + case DW_TAG_dynamic_type: /* Type nodes are useful only when other DIEs reference them --- don't mark them. */ /* FALLTHROUGH */ diff --git a/gcc/testsuite/gcc.dg/debug/dwarf2/pr111080.c b/gcc/testsuite/gcc.dg/debug/dwarf2/pr111080.c new file mode 100644 index 0000000..3949d7e --- /dev/null +++ b/gcc/testsuite/gcc.dg/debug/dwarf2/pr111080.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-save-temps -gdwarf-3 -dA" } */ + +struct foo { + int field_number_1; + int field_number_2; + int field_number_3; + int field_number_4; + int field_number_5; +}; + +typedef int fun_t(struct foo *restrict); + +int main() { + return 0; +} + +/* { dg-final { scan-assembler-not "DW_TAG_structure_type" } } */ |