From 2e6fda7d06e4fa05ef3abdde96805a5cb3880f88 Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Wed, 29 Feb 2012 19:29:12 +0000 Subject: [PATCH] [Ada] whatis not printing array type name for value from history Consider the following declaration: type Full_Table is array (Color) of Integer; Full : Full_Table := (144, 233, 377, 610, 987); The debugger correctly prints the type name of variable "full": (gdb) whatis full type = pck.full_table But is unable to do so when using the value history: (gdb) print full $1 = (144, 233, 377, 610, 987) (gdb) whatis $ !!! -> type = array (black .. white) of integer This is because the evaluation creates a "fixed" version of the array type, and that "fixed" version is missing a type name. As a result, whatis falls back to describing the type (a la ptype) instead of printing the type name. gdb/ChangeLog: * ada-lang.c (to_fixed_array_type): Set result's type name. gdb/testsuite/ChangeLog: * gdb.ada/whatis_array_val: New testcase. --- gdb/ChangeLog | 4 ++ gdb/ada-lang.c | 5 +++ gdb/testsuite/ChangeLog | 4 ++ gdb/testsuite/gdb.ada/whatis_array_val.exp | 44 +++++++++++++++++++ .../gdb.ada/whatis_array_val/foo.adb | 25 +++++++++++ .../gdb.ada/whatis_array_val/pck.adb | 23 ++++++++++ .../gdb.ada/whatis_array_val/pck.ads | 19 ++++++++ 7 files changed, 124 insertions(+) create mode 100644 gdb/testsuite/gdb.ada/whatis_array_val.exp create mode 100644 gdb/testsuite/gdb.ada/whatis_array_val/foo.adb create mode 100644 gdb/testsuite/gdb.ada/whatis_array_val/pck.adb create mode 100644 gdb/testsuite/gdb.ada/whatis_array_val/pck.ads diff --git a/gdb/ChangeLog b/gdb/ChangeLog index aebc59fbd8..87567e9488 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2012-02-29 Joel Brobecker + + * ada-lang.c (to_fixed_array_type): Set result's type name. + 2012-02-29 Joel Brobecker * ada-lang.c (catch_ada_exception_command_split): Add new diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c index 216f703c13..7c13910e50 100644 --- a/gdb/ada-lang.c +++ b/gdb/ada-lang.c @@ -7826,6 +7826,11 @@ to_fixed_array_type (struct type *type0, struct value *dval, error (_("array type with dynamic size is larger than varsize-limit")); } + /* We want to preserve the type name. This can be useful when + trying to get the type name of a value that has already been + printed (for instance, if the user did "print VAR; whatis $". */ + TYPE_NAME (result) = TYPE_NAME (type0); + if (constrained_packed_array_p) { /* So far, the resulting type has been created as if the original diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index f8bd318fde..8a144bc9b8 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2012-02-29 Joel Brobecker + + * gdb.ada/whatis_array_val: New testcase. + 2012-02-29 Jan Kratochvil Fix disp-step-syscall.exp: fork: single step over fork. diff --git a/gdb/testsuite/gdb.ada/whatis_array_val.exp b/gdb/testsuite/gdb.ada/whatis_array_val.exp new file mode 100644 index 0000000000..e937f0a574 --- /dev/null +++ b/gdb/testsuite/gdb.ada/whatis_array_val.exp @@ -0,0 +1,44 @@ +# Copyright 2012 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 . + +load_lib "ada.exp" + +set testdir "whatis_array_val" +set testfile "${testdir}/foo" +set srcfile ${srcdir}/${subdir}/${testfile}.adb +set binfile ${objdir}/${subdir}/${testfile} + +file mkdir ${objdir}/${subdir}/${testdir} +if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug ]] != "" } { + return -1 +} + +clean_restart ${testfile} + +set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb] +if ![runto "foo.adb:$bp_location" ] then { + perror "Couldn't run ${testfile}" + return +} + +gdb_test "whatis full" \ + "type = foo\\.full_table" + +gdb_test "print full" \ + " = \\(144, 233, 377, 610, 987\\)" + +gdb_test "whatis $" \ + "type = foo\\.full_table" + diff --git a/gdb/testsuite/gdb.ada/whatis_array_val/foo.adb b/gdb/testsuite/gdb.ada/whatis_array_val/foo.adb new file mode 100644 index 0000000000..8fd6d76c8f --- /dev/null +++ b/gdb/testsuite/gdb.ada/whatis_array_val/foo.adb @@ -0,0 +1,25 @@ +-- Copyright 2012 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 . + +with Pck; use Pck; + +procedure Foo is + type Color is (Black, Red, Green, Blue, White); + type Full_Table is array (Color) of Integer; + Full : Full_Table := (144, 233, 377, 610, 987); +begin + Do_Nothing (Full'Address); -- STOP +end Foo; + diff --git a/gdb/testsuite/gdb.ada/whatis_array_val/pck.adb b/gdb/testsuite/gdb.ada/whatis_array_val/pck.adb new file mode 100644 index 0000000000..17f1ff754b --- /dev/null +++ b/gdb/testsuite/gdb.ada/whatis_array_val/pck.adb @@ -0,0 +1,23 @@ +-- Copyright 2011-2012 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 . + +package body Pck is + + procedure Do_Nothing (A : System.Address) is + begin + null; + end Do_Nothing; + +end Pck; diff --git a/gdb/testsuite/gdb.ada/whatis_array_val/pck.ads b/gdb/testsuite/gdb.ada/whatis_array_val/pck.ads new file mode 100644 index 0000000000..f99df3d19b --- /dev/null +++ b/gdb/testsuite/gdb.ada/whatis_array_val/pck.ads @@ -0,0 +1,19 @@ +-- Copyright 2011-2012 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 . + +with System; +package Pck is + procedure Do_Nothing (A : System.Address); +end Pck; -- 2.34.1