http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43852
--- Comment #19 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-08-27 17:18:34 UTC --- I finally got time to work on this and have posted an updated patch to http://gcc.gnu.org/ml/gcc-patches/2012-08/msg01879.html I went with your original idea of disabling the "verbose" default rather than enabling a "quiet" alternative. On reflection I thought your name was better as it's consistent with the verbose terminate handler. Sorry this took so long to deal with!