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
[ 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