From 8ca1c40ee1951a585d1fce1d78709979872acf81 Mon Sep 17 00:00:00 2001 From: Ulrich Weigand Date: Thu, 11 Sep 2008 14:19:44 +0000 Subject: [PATCH] * ada-valprint.c: Include "objfiles.h". (ada_val_print_1): Use the gdbarch associated with the objfile whether a System.Address type is defined to retrieve the proper pointer type to use to print it. --- gdb/ChangeLog | 7 +++++++ gdb/ada-valprint.c | 16 +++++++++++++--- 2 files changed, 20 insertions(+), 3 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 06a4a8d5..9fbca08 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,12 @@ 2008-09-11 Ulrich Weigand + * ada-valprint.c: Include "objfiles.h". + (ada_val_print_1): Use the gdbarch associated with the objfile whether + a System.Address type is defined to retrieve the proper pointer type + to use to print it. + +2008-09-11 Ulrich Weigand + * ada-lang.c (value_pos_atr): Add TYPE argument. Use it as result type instead of builtin_type_int. (value_subscript_packed): Use pos_atr instead of value_pos_atr. diff --git a/gdb/ada-valprint.c b/gdb/ada-valprint.c index dbce8d3..0972367 100644 --- a/gdb/ada-valprint.c +++ b/gdb/ada-valprint.c @@ -33,6 +33,7 @@ #include "c-lang.h" #include "infcall.h" #include "exceptions.h" +#include "objfiles.h" /* Encapsulates arguments to ada_val_print. */ struct ada_val_print_args @@ -792,18 +793,27 @@ ada_val_print_1 (struct type *type, const gdb_byte *valaddr0, { print_scalar_formatted (valaddr, type, format, 0, stream); } - else if (ada_is_system_address_type (type)) + else if (ada_is_system_address_type (type) + && TYPE_OBJFILE (type) != NULL) { /* FIXME: We want to print System.Address variables using the same format as for any access type. But for some reason GNAT encodes the System.Address type as an int, so we have to work-around this deficiency by handling - System.Address values as a special case. */ + System.Address values as a special case. + + We do this only for System.Address types defined in an + objfile. For the built-in version of System.Address we + have installed the proper type to begin with. */ + + struct gdbarch *gdbarch = get_objfile_arch (TYPE_OBJFILE (type)); + struct type *ptr_type = builtin_type (gdbarch)->builtin_data_ptr; + fprintf_filtered (stream, "("); type_print (type, "", stream, -1); fprintf_filtered (stream, ") "); fputs_filtered (paddress (extract_typed_address - (valaddr, builtin_type_void_data_ptr)), + (valaddr, ptr_type)), stream); } else -- 2.7.4