This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH 0/2 v3] Demangler crash handler
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Gary Benson <gbenson at redhat dot com>
- Cc: gdb-patches at sourceware dot org, aburgess at broadcom dot com, xdje42 at gmail dot com, fw at deneb dot enyo dot de, mark dot kettenis at xs4all dot nl, palves at redhat dot com, tromey at redhat dot com
- Date: Wed, 04 Jun 2014 16:49:19 +0300
- Subject: Re: [PATCH 0/2 v3] Demangler crash handler
- Authentication-results: sourceware.org; auth=none
- References: <20140604100755 dot GA7570 at blade dot nx> <8338fl7z67 dot fsf at gnu dot org> <20140604134055 dot GD10121 at blade dot nx>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> 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.