Add a new gdbarch hook to report additional signal information.
authorJohn Baldwin <jhb@FreeBSD.org>
Wed, 22 Jul 2020 00:28:16 +0000 (17:28 -0700)
committerJohn Baldwin <jhb@FreeBSD.org>
Wed, 22 Jul 2020 00:28:16 +0000 (17:28 -0700)
commit272bb05cc59ccfbb15f9e496d4d2ec243e08473c
tree9ee0e68b116b3ddc274dc9c2f01ab593d4df703b
parent98f5f7740a4bb7c09e4e3f934f8fd8be47bfbbc8
Add a new gdbarch hook to report additional signal information.

This is a more general version of the existing handle_segmentation_fault
hook that is able to report information for an arbitrary signal, not
just SIGSEGV.

gdb/ChangeLog:

* gdbarch.c: Regenerate.
* gdbarch.h: Regenerate.
* gdbarch.sh (report_signal_info): New method.
* infrun.c (print_signal_received_reason): Invoke gdbarch
report_signal_info hook if present.
gdb/ChangeLog
gdb/gdbarch.c
gdb/gdbarch.h
gdb/gdbarch.sh
gdb/infrun.c