]> git.ipfire.org Git - thirdparty/binutils-gdb.git/commit
Print non-Ada unions without crashing
authorTom Tromey <tromey@adacore.com>
Tue, 9 Apr 2019 13:46:39 +0000 (07:46 -0600)
committerTom Tromey <tromey@adacore.com>
Fri, 19 Apr 2019 19:23:05 +0000 (13:23 -0600)
commit8ecb59f8567956c1520b491ea31396363efcb1ef
treef0e0de7b531df940914dadf2d8a9df74fd079498
parent62160ec9547cdd21ac7334d9a378ca2930aac61c
Print non-Ada unions without crashing

ada-lang.c is a bit too eager trying to decode unions in the Ada style
-- looking for discriminants and such.  This causes crashes when
printing a non-Ada union in Ada mode, something that can easily happen
when printing a value from history or certain registers on AArch64.

This patch fixes the bug by changing ada-lang.c to only apply special
Ada treatment to types coming from an Ada CU.  This in turn required a
couple of surprising changes.

First, some of the Ada code was already using HAVE_GNAT_AUX_INFO to
decide whether a type had already been fixed -- such types had
INIT_CPLUS_SPECIFIC called on them.  This patch changes these spots to
use the "none" identifier instead.

This then required changing value_rtti_type to avoid changing the
language-specific object attached to an Ada type, which seems like a
good change regardless.

Tested on x86-64 Fedora 29.

gdb/ChangeLog
2019-04-19  Tom Tromey  <tromey@adacore.com>

* ada-lang.c (ada_is_variant_part, ada_to_fixed_type_1):
Check ADA_TYPE_P.
(empty_record, ada_template_to_fixed_record_type_1)
(template_to_static_fixed_type)
(to_record_with_fixed_variant_part): Use INIT_NONE_SPECIFIC.
* cp-abi.c (value_rtti_type): Check HAVE_CPLUS_STRUCT.
* gdbtypes.h (INIT_NONE_SPECIFIC, ADA_TYPE_P): New
macros.

gdb/testsuite/ChangeLog
2019-04-19  Tom Tromey  <tromey@adacore.com>

* gdb.ada/ptype_union.c: New file.
* gdb.ada/ptype_union.exp: New file.
gdb/ChangeLog
gdb/ada-lang.c
gdb/cp-abi.c
gdb/gdbtypes.h
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.ada/ptype_union.c [new file with mode: 0644]
gdb/testsuite/gdb.ada/ptype_union.exp [new file with mode: 0644]