verbose terminate() on by default

[Gabriel Dos Reis]

Daniel Jacobowitz <drow@mvista.com> writes:

| > It currenlty uses:
| > 
| >    * free() // to free the storage allocated by the demangler

I forgot to precise tha free(0 is already used in libsupc++.

| >    * abort() // which is already used in libsupc++
| >    * fprintf() // which might be effcienly replaced by write() or puts().
| 
| OK.  I suspect both I and Alex would be happier if this were replaced
| by a write () before putting it into libsupc++.

OK.  Phil, please, would you mind moving __verbose_terminate_handler()
definition to libstdc++/eh_terminate.cc and making its definition
static?

-- Gaby