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

2018-09-11 Thread Jason Merrill
On Sat, Sep 1, 2018 at 7:10 PM, Tom de Vries wrote: > On 08/31/2018 11:19 PM, Jason Merrill wrote: >> On Fri, Aug 24, 2018 at 11:38 AM, Tom de Vries wrote: >>> [ was: Re: [PATCH][debug] Add -gdescriptive-dies ] >>> On Fri, Aug 24, 2018 at 12:44:38PM +0200, Richard Biener wrote: On Wed, 22 Au

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

2018-09-01 Thread Tom de Vries
On 08/31/2018 11:19 PM, Jason Merrill wrote: > On Fri, Aug 24, 2018 at 11:38 AM, Tom de Vries wrote: >> [ was: Re: [PATCH][debug] Add -gdescriptive-dies ] >> On Fri, Aug 24, 2018 at 12:44:38PM +0200, Richard Biener wrote: >>> On Wed, 22 Aug 2018, Tom de Vries wrote: >>> [ was: Re: [PATCH][deb

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

2018-08-31 Thread Jason Merrill
On Fri, Aug 24, 2018 at 11:38 AM, Tom de Vries wrote: > [ was: Re: [PATCH][debug] Add -gdescriptive-dies ] > On Fri, Aug 24, 2018 at 12:44:38PM +0200, Richard Biener wrote: >> On Wed, 22 Aug 2018, Tom de Vries wrote: >> >> > [ was: Re: [PATCH][debug] Add -gforce-named-dies ] >> > >> > On 08/22/201