[PATCH 0/2 v3] Demangler crash handler

[Gary Benson]

Eli Zaretskii wrote:
> > Date: Wed, 4 Jun 2014 14:40:55 +0100
> > From: Gary Benson <gbenson@redhat.com>
> > Cc: gdb-patches@sourceware.org, aburgess@broadcom.com, xdje42@gmail.com,
> >         fw@deneb.enyo.de, mark.kettenis@xs4all.nl, palves@redhat.com,
> >         tromey@redhat.com
> > 
> > > The above is too detailed for NEWS.  Do not just copy the text
> > > from the manual, but instead provide a very short (preferably a
> > > single-sentence) summary of the new option.
> > 
> > How about these?
> > 
> >   maint set catch-demangler-crashes (on|off)
> >   maint show catch-demangler-crashes
> >     Control whether GDB should attempt to catch crashes in the
> >     symbol name demangler.
> >   
> >   maint set demangler-warning quit (yes|no|ask)
> >     Control whether GDB should exit if it catches a crash in the
> >     symbol name demangler.
> 
> Perfect, thanks.
> 
> > I don't know I could shorten "maint demangler-warning"'s entry any
> > more without it becoming meaningless.
> 
> It is already short enough.

Awesome.  Thanks for the speedy review!

Cheers,
Gary

-- 
http://gbenson.net/