diff options
-rw-r--r-- | gdb/gdbtypes.c | 1 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/dyn-range.exp | 33 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/dyn-range/dyn.adb | 24 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/dyn-range/pck.adb | 26 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/dyn-range/pck.ads | 20 |
5 files changed, 104 insertions, 0 deletions
diff --git a/gdb/gdbtypes.c b/gdb/gdbtypes.c index b25b0ce..44b0692 100644 --- a/gdb/gdbtypes.c +++ b/gdb/gdbtypes.c @@ -2230,6 +2230,7 @@ resolve_dynamic_range (struct type *dyn_range_type, static_range_type = create_range_type_with_stride (alloc, static_target_type, &low_bound, &high_bound, bias, &stride, byte_stride_p); + static_range_type->set_name (dyn_range_type->name ()); static_range_type->bounds ()->flag_bound_evaluated = 1; return static_range_type; } diff --git a/gdb/testsuite/gdb.ada/dyn-range.exp b/gdb/testsuite/gdb.ada/dyn-range.exp new file mode 100644 index 0000000..be217d1 --- /dev/null +++ b/gdb/testsuite/gdb.ada/dyn-range.exp @@ -0,0 +1,33 @@ +# Copyright 2023 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" + +require allow_ada_tests + +standard_ada_testfile dyn + +if {[gdb_compile_ada "${srcfile}" "${binfile}" executable {debug}] != ""} { + return -1 +} + +clean_restart ${testfile} + +set bp_location [gdb_get_line_number "STOP" ${testdir}/dyn.adb] +if {![runto "dyn.adb:$bp_location"]} { + return -1 +} + +gdb_test "whatis d" "type = dyn.dyn_range" diff --git a/gdb/testsuite/gdb.ada/dyn-range/dyn.adb b/gdb/testsuite/gdb.ada/dyn-range/dyn.adb new file mode 100644 index 0000000..d071bf9 --- /dev/null +++ b/gdb/testsuite/gdb.ada/dyn-range/dyn.adb @@ -0,0 +1,24 @@ +-- Copyright 2023 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 Dyn is + type Dyn_Range is new Integer range Ident (1) .. Ident (100); + + D : Dyn_Range := 45; +begin + Do_Nothing (D'Address); -- STOP +end Dyn; diff --git a/gdb/testsuite/gdb.ada/dyn-range/pck.adb b/gdb/testsuite/gdb.ada/dyn-range/pck.adb new file mode 100644 index 0000000..91fef4e --- /dev/null +++ b/gdb/testsuite/gdb.ada/dyn-range/pck.adb @@ -0,0 +1,26 @@ +-- Copyright 2023 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 body Pck is + function Ident (I : Integer) return Integer is + begin + return I; + end Ident; + + procedure Do_Nothing (A : System.Address) is + begin + null; + end Do_Nothing; +end Pck; diff --git a/gdb/testsuite/gdb.ada/dyn-range/pck.ads b/gdb/testsuite/gdb.ada/dyn-range/pck.ads new file mode 100644 index 0000000..c96f9d4 --- /dev/null +++ b/gdb/testsuite/gdb.ada/dyn-range/pck.ads @@ -0,0 +1,20 @@ +-- Copyright 2023 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 System; +package Pck is + function Ident (I : Integer) return Integer; + procedure Do_Nothing (A : System.Address); +end Pck; |