[PATCH v3] Introduce gdb::unique_ptr

[Pedro Alves]

On 10/14/2016 05:07 PM, Simon Marchi wrote:
> On 2016-10-14 08:50, Pedro Alves wrote:
>> +struct unique_ptr_nullptr_t
>> +{
>> +private:
>> +  struct private_type;
>> +public:
>> +  /* Since null_type is private, the only way to construct this class
> 
> null_type, or private_type?

Whoops, yes, private_type.  Used to be called null_type, but then
I renamed it thinking that it'd be clearer.

Thanks,
Pedro Alves