Re: [PATCH][debug] Add -gdescriptive-dies

2018-08-24 Thread Richard Biener
On Wed, 22 Aug 2018, Tom de Vries wrote: > [ was: Re: [PATCH][debug] Add -gforce-named-dies ] > > On 08/22/2018 11:46 AM, Tom de Vries wrote: > > On 08/22/2018 08:56 AM, Tom de Vries wrote: > >> This is an undocumented developer-only option, because using this option > >> may > >> change behavio

[PATCH][debug] Add -gdescriptive-dies

2018-08-22 Thread Tom de Vries
[ was: Re: [PATCH][debug] Add -gforce-named-dies ] On 08/22/2018 11:46 AM, Tom de Vries wrote: > On 08/22/2018 08:56 AM, Tom de Vries wrote: >> This is an undocumented developer-only option, because using this option may >> change behaviour of dwarf consumers, f.i., gdb shows the artificial >> va