On 21-02-2020 15:54, Tom Tromey wrote:
>>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes:
> 
> Tom> +if { [exec_contains_debug_info_string $binfile \
> Tom> +	  "DW_AT_name.*: main.Foo.N6_main.T"] } {
> 
> Is there a way to get this information from gdb itself?
> 

I managed using maintenance print symbols.

OK for trunk like this?

Thanks,
- Tom