On 09/29/2017 02:39 AM, Tom Tromey wrote: >>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: > > Pedro> IMO, it'd be even better to build the std::string directly > Pedro> instead of building an obstack and then dupping the string. > > Here's the new patch. OK, please push. Thanks for doing this. Thanks, Pedro Alves