[Bug ada/29335] [gdb/ada, debug-types] FAIL: gdb.ada/local-enum.exp: print v1 element

["vries at gcc dot gnu.org" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=29335

--- Comment #3 from Tom de Vries <vries at gcc dot gnu.org> ---
With gnatmake-11:
...
$ readelf -WS leap-15-4/build/gdb/testsuite/outputs/gdb.ada/local-enum/local |
grep debug | sed 's/.*\.//' | awk '{print $1}'
debug_aranges
debug_info
debug_abbrev
debug_line
debug_str
debug_loc
debug_ranges
debug_types
...

With gnatmake-12:
...
$ readelf -WS leap-15-4/build/gdb/testsuite/outputs/gdb.ada/local-enum/local |
grep debug | sed 's/.*\.//' | awk '{print $1}'
debug_aranges
debug_info
debug_abbrev
debug_line
debug_str
debug_loc
debug_ranges
...

So, the test-case passes with gnatmake-12 because .debug_types is no longer
generated.

I wrote some C program that has an enum:
...
$ cat test.c
enum a {
  b, c ,d
};

enum a
foo (enum a e)
{
  return e;
}

int
main (void)
{
  foo (b);
  return 0;
}
...
and tried:
...
$ gcc-11 test.c -g -fdebug-types-section; readelf -S -W a.out | grep -c
debug_types
1
$ gcc-12 test.c -g -fdebug-types-section; readelf -S -W a.out | grep -c
debug_types
1
...
so it's not that support for fdebug-types-section disappeared.

It's just that the ada compiler no longer generates the .debug_types section
for a DW_TAG_type_unit which is used here:
...
 <1><15f2>: Abbrev Number: 19 (DW_TAG_array_type)
    <15f3>   DW_AT_name        : (indirect string, offset: 0x1e5a): local__a2
    <15f7>   DW_AT_GNAT_descriptive_type: signature: 0x76b135b6e23e0b79
    <15ff>   DW_AT_type        : <0x15ce>
...
referenced using a DW_AT_GNAT_descriptive_type.

The FAIL is back if we add additional_flags=-fgnat-encodings=all.

-- 
You are receiving this mail because:
You are on the CC list for the bug.