Re: [PATCH] Add gnu::unique_ptr

2017-10-13 Thread Pedro Alves
On 10/13/2017 10:26 AM, Richard Biener wrote: > On Fri, Oct 13, 2017 at 2:40 AM, David Malcolm wrote: >> From: Trevor Saunders >> >> I had a go at updating Trevor's unique_ptr patch from July >> (

Re: [PATCH] Add gnu::unique_ptr

2017-10-13 Thread Richard Biener
On Fri, Oct 13, 2017 at 2:40 AM, David Malcolm wrote: > From: Trevor Saunders > > I had a go at updating Trevor's unique_ptr patch from July > ( https://gcc.gnu.org/ml/gcc-patches/2017-07/msg02084.html ) > > One of the sticking points was what to

[PATCH] Add gnu::unique_ptr

2017-10-12 Thread David Malcolm
From: Trevor Saunders I had a go at updating Trevor's unique_ptr patch from July ( https://gcc.gnu.org/ml/gcc-patches/2017-07/msg02084.html ) One of the sticking points was what to call the namespace; there was wariness about using "gtl" as the name. Richi proposed