Re: [RFA 2/2] Remove free_splay_tree cleanup

[Tom Tromey <tom at tromey dot com>]

>>>>> "Simon" == Simon Marchi <simark@simark.ca> writes:

>> +struct gdb_splay_tree_deleter
>> +{
>> +  void operator() (splay_tree tree) const
>> +  {
>> +    splay_tree_delete (tree);
>> +  }
>> +};

Simon> Instead of adding the gdb_ prefix, what about putting it in the gdb
Simon> namespace (gdb::splay_tree_deleter)?

I can make the change, but I was just copying all the other deleters
that exist.

You may want to go change all of those as well.

Simon> Out of curiosity, is there still a reason to use splay_tree
Simon> instead of std::map?

I don't know.

Tom