Re: [PATCH 3/3 v5] Demangler crash handler

Gary Benson
2014-06-09T18:25:05Z

Eli Zaretskii wrote:
> > Date: Mon, 9 Jun 2014 16:24:34 +0100
> > From: Gary Benson <gbenson@redhat.com>
> > Cc: Andrew Burgess <aburgess@broadcom.com>, Doug Evans <xdje42@gmail.com>,
> > Eli Zaretskii <eliz@gnu.org>, Florian Weimer <fw@deneb.enyo.de>,
> > Mark Kettenis <mark.kettenis@xs4all.nl>,
> > Pedro Alves <palves@redhat.com>, Tom Tromey <tromey@redhat.com>
> >
> > This patch wraps calls to the demangler with a segmentation fault
> > handler. The first time a segmentation fault is caught a core file
> > is generated and the user is prompted to file a bug and offered the
> > choice to exit or to continue their GDB session. A maintainence
> > option is provided to allow the user to disable the crash handler
> > if required.
>
> OK for the documentation part.

Thanks Eli.

Cheers,
Gary

--