diff options
author | Tom Tromey <tromey@adacore.com> | 2020-04-24 13:40:31 -0600 |
---|---|---|
committer | Tom Tromey <tromey@adacore.com> | 2020-04-24 13:40:32 -0600 |
commit | f8e89861cfb6acbfa097814f5864afd5563a3011 (patch) | |
tree | 06d2310f45105e61d5541755b596e29ca5241dba /gdb/testsuite | |
parent | 9c6a1327ad9a92b8584f0501dd25bf8ba9e84ac6 (diff) | |
download | fsf-binutils-gdb-f8e89861cfb6acbfa097814f5864afd5563a3011.zip fsf-binutils-gdb-f8e89861cfb6acbfa097814f5864afd5563a3011.tar.gz fsf-binutils-gdb-f8e89861cfb6acbfa097814f5864afd5563a3011.tar.bz2 |
Add support for dynamic type lengths
In Ada, a type with variant parts can have a variable length. This
patch adds support for this to gdb, by integrating the length
computation into the dynamic type resolution code.
gdb/ChangeLog
2020-04-24 Tom Tromey <tromey@adacore.com>
* dwarf2/read.c (read_structure_type): Handle dynamic length.
* gdbtypes.c (is_dynamic_type_internal): Check
TYPE_HAS_DYNAMIC_LENGTH.
(resolve_dynamic_type_internal): Use TYPE_DYNAMIC_LENGTH.
* gdbtypes.h (TYPE_HAS_DYNAMIC_LENGTH, TYPE_DYNAMIC_LENGTH):
New macros.
(enum dynamic_prop_node_kind) <DYN_PROP_BYTE_SIZE>: New
constant.
gdb/testsuite/ChangeLog
2020-04-24 Tom Tromey <tromey@adacore.com>
* gdb.ada/variant.exp: New file
* gdb.ada/variant/pkg.adb: New file
* gdb.ada/variant/pck.adb: New file
Diffstat (limited to 'gdb/testsuite')
-rw-r--r-- | gdb/testsuite/ChangeLog | 6 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/variant.exp | 40 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/variant/pck.ads | 37 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/variant/pkg.adb | 30 |
4 files changed, 113 insertions, 0 deletions
diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 7426bdd..6664700 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2020-04-24 Tom Tromey <tromey@adacore.com> + + * gdb.ada/variant.exp: New file + * gdb.ada/variant/pkg.adb: New file + * gdb.ada/variant/pck.adb: New file + 2020-04-24 Tom de Vries <tdevries@suse.de> * lib/gdb.exp (clean_restart): Reset errcnt and warncnt. diff --git a/gdb/testsuite/gdb.ada/variant.exp b/gdb/testsuite/gdb.ada/variant.exp new file mode 100644 index 0000000..b68bf60 --- /dev/null +++ b/gdb/testsuite/gdb.ada/variant.exp @@ -0,0 +1,40 @@ +# Copyright 2020 Free Software Foundation, Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. + +load_lib "ada.exp" + +standard_ada_testfile pkg + +foreach_with_prefix scenario {none all minimal} { + set flags {debug} + if {$scenario != "none"} { + lappend flags additional_flags=-fgnat-encodings=$scenario + } + + if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} { + return -1 + } + + clean_restart ${testfile} + + set bp_location [gdb_get_line_number "STOP" ${testdir}/pkg.adb] + runto "pkg.adb:$bp_location" + + gdb_test "print r" "= \\(c => 100 'd'\\)" + gdb_test "print q" " = \\(c => 0 '\\\[\"00\"\\\]', x_first => 27\\)" + + gdb_test "print st1" " = \\(i => -4, one => 1, x => 2\\)" + gdb_test "print st2" " = \\(i => 99, one => 1, y => 77\\)" +} diff --git a/gdb/testsuite/gdb.ada/variant/pck.ads b/gdb/testsuite/gdb.ada/variant/pck.ads new file mode 100644 index 0000000..41b6efd --- /dev/null +++ b/gdb/testsuite/gdb.ada/variant/pck.ads @@ -0,0 +1,37 @@ +-- Copyright 2020 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see <http://www.gnu.org/licenses/>. + +package Pck is + + type Rec_Type (C : Character := 'd') is record + case C is + when Character'First => X_First : Integer; + when Character'Val (127) => X_127 : Integer; + when Character'Val (128) => X_128 : Integer; + when Character'Last => X_Last : Integer; + when others => null; + end case; + end record; + + type Second_Type (I : Integer) is record + One: Integer; + case I is + when -5 .. 5 => + X : Integer; + when others => + Y : Integer; + end case; + end record; +end Pck; diff --git a/gdb/testsuite/gdb.ada/variant/pkg.adb b/gdb/testsuite/gdb.ada/variant/pkg.adb new file mode 100644 index 0000000..0cc38f5 --- /dev/null +++ b/gdb/testsuite/gdb.ada/variant/pkg.adb @@ -0,0 +1,30 @@ +-- Copyright 2020 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see <http://www.gnu.org/licenses/>. + +with Pck; use Pck; + +procedure Pkg is + + R, Q : Rec_Type; + + ST1 : constant Second_Type := (I => -4, One => 1, X => 2); + ST2 : constant Second_Type := (I => 99, One => 1, Y => 77); + +begin + R := (C => 'd'); + Q := (C => Character'First, X_First => 27); + + null; -- STOP +end Pkg; |