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 >> ( https://gcc.gnu.org/ml/gcc-patches/2017-07/msg02084.html ) >> >> One of the sticking points was what

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 call the namespace; there was > wariness about usi