[Bug ada/58239] [4.9 regression] pretty-print.c:789: undefined reference to `operator delete(void*)'

[gdr at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58239

--- Comment #1 from Gabriel Dos Reis <gdr at gcc dot gnu.org> ---
Here is the definition of pretty_printer::~pretty_printer ()
at the location indicated:

pretty_printer::~pretty_printer ()
{
  buffer->~output_buffer ();
  XDELETE (buffer);
}


The macro XDELETE is defined in include/libiberty.h

as:

    #define XDELETE(P)              free ((void*) ℗)


So, I do not see use of any 'operator delete' from
that code.

Is someone trying to #define XDELETE to something else?

-- Gaby