From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from rock.gnat.com (rock.gnat.com [IPv6:2620:20:4000:0:a9e:1ff:fe9b:1d1]) by sourceware.org (Postfix) with ESMTP id EE8C43833014 for ; Thu, 10 Dec 2020 16:38:28 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org EE8C43833014 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tromey@adacore.com Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id CB1D81168CF; Thu, 10 Dec 2020 11:38:28 -0500 (EST) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id OeM7hddjojRg; Thu, 10 Dec 2020 11:38:28 -0500 (EST) Received: from murgatroyd.Home (97-122-89-243.hlrn.qwest.net [97.122.89.243]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPSA id 87E841167BC; Thu, 10 Dec 2020 11:38:28 -0500 (EST) From: Tom Tromey To: gdb-patches@sourceware.org Cc: Tom Tromey Subject: [PATCH] Be more careful when rewriting thick pointer array type Date: Thu, 10 Dec 2020 09:38:23 -0700 Message-Id: <20201210163823.215492-1-tromey@adacore.com> X-Mailer: git-send-email 2.26.2 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-14.1 required=5.0 tests=BAYES_00, GIT_PATCH_0, KAM_DMARC_STATUS, KAM_SHORT, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 10 Dec 2020 16:38:30 -0000 To handle thick pointers with -fgnat-encodings=minimal, gdb will rewrite the underlying array type to remove the bounds. However, if the same DWARF type is used both for a thick pointer and for an ordinary array, this will have the side effect of removing the bounds from the array. This breaks the printing of objects of this type. This patch fixes the problem by copying the array type, its range, and its bounds. gdb/ChangeLog 2020-12-10 Tom Tromey * dwarf2/read.c (rewrite_array_type): New function. (quirk_ada_thick_pointer_struct): Use rewrite_array_type. gdb/testsuite/ChangeLog 2020-12-10 Tom Tromey * gdb.dwarf2/ada-thick-pointer.exp: New file. --- gdb/ChangeLog | 5 + gdb/dwarf2/read.c | 71 +++++++++++--- gdb/testsuite/ChangeLog | 4 + .../gdb.dwarf2/ada-thick-pointer.exp | 95 +++++++++++++++++++ 4 files changed, 162 insertions(+), 13 deletions(-) create mode 100644 gdb/testsuite/gdb.dwarf2/ada-thick-pointer.exp diff --git a/gdb/dwarf2/read.c b/gdb/dwarf2/read.c index 2bf14535f05..9d47e20c8de 100644 --- a/gdb/dwarf2/read.c +++ b/gdb/dwarf2/read.c @@ -15898,6 +15898,55 @@ quirk_gcc_member_function_pointer (struct type *type, struct objfile *objfile) smash_to_methodptr_type (type, new_type); } +/* Helper for quirk_ada_thick_pointer. If TYPE is an array type that + requires rewriting, then copy it and return the updated copy. + Otherwise return nullptr. */ + +static struct type * +rewrite_array_type (struct type *type) +{ + if (type->code () != TYPE_CODE_ARRAY) + return nullptr; + + struct type *index_type = type->index_type (); + range_bounds *current_bounds = index_type->bounds (); + + /* Handle multi-dimensional arrays. */ + struct type *new_target = rewrite_array_type (TYPE_TARGET_TYPE (type)); + if (new_target == nullptr) + { + /* Maybe we don't need to rewrite this array. */ + if (current_bounds->low.kind () == PROP_CONST + && current_bounds->high.kind () == PROP_CONST) + return nullptr; + } + + /* Either the target type was rewritten, or the bounds have to be + updated. Either way we want to copy the type and update + everything. */ + struct type *copy = copy_type (type); + int nfields = copy->num_fields (); + field *new_fields + = ((struct field *) TYPE_ZALLOC (copy, + nfields * sizeof (struct field))); + memcpy (new_fields, copy->fields (), nfields * sizeof (struct field)); + copy->set_fields (new_fields); + if (new_target != nullptr) + TYPE_TARGET_TYPE (copy) = new_target; + + struct type *index_copy = copy_type (index_type); + range_bounds *bounds + = (struct range_bounds *) TYPE_ZALLOC (index_copy, + sizeof (range_bounds)); + *bounds = *current_bounds; + bounds->low.set_const_val (1); + bounds->high.set_const_val (0); + index_copy->set_bounds (bounds); + copy->set_index_type (index_copy); + + return copy; +} + /* While some versions of GCC will generate complicated DWARF for an array (see quirk_ada_thick_pointer), more recent versions were modified to emit an explicit thick pointer structure. However, in @@ -15924,20 +15973,16 @@ quirk_ada_thick_pointer_struct (struct die_info *die, struct dwarf2_cu *cu, /* Make sure we're looking at a pointer to an array. */ if (type->field (0).type ()->code () != TYPE_CODE_PTR) return; - struct type *ary_type = TYPE_TARGET_TYPE (type->field (0).type ()); - - while (ary_type->code () == TYPE_CODE_ARRAY) - { - /* The Ada code already knows how to handle these types, so all - that we need to do is turn the bounds into static bounds. */ - struct type *index_type = ary_type->index_type (); - index_type->bounds ()->low.set_const_val (1); - index_type->bounds ()->high.set_const_val (0); - - /* Handle multi-dimensional arrays. */ - ary_type = TYPE_TARGET_TYPE (ary_type); - } + /* The Ada code already knows how to handle these types, so all that + we need to do is turn the bounds into static bounds. However, we + don't want to rewrite existing array or index types in-place, + because those may be referenced in other contexts where this + rewriting is undesirable. */ + struct type *new_ary_type + = rewrite_array_type (TYPE_TARGET_TYPE (type->field (0).type ())); + if (new_ary_type != nullptr) + type->field (0).set_type (lookup_pointer_type (new_ary_type)); } /* If the DIE has a DW_AT_alignment attribute, return its value, doing diff --git a/gdb/testsuite/gdb.dwarf2/ada-thick-pointer.exp b/gdb/testsuite/gdb.dwarf2/ada-thick-pointer.exp new file mode 100644 index 00000000000..7077b4c76f1 --- /dev/null +++ b/gdb/testsuite/gdb.dwarf2/ada-thick-pointer.exp @@ -0,0 +1,95 @@ +# 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 . + +# Test that handling of Ada thick pointers does not rewrite other +# similar types. + +load_lib dwarf.exp + +# This test can only be run on targets which support DWARF-2 and use gas. +if {![dwarf2_support]} { + return 0 +} + +standard_testfile main.c -debug.S + +# Set up the DWARF for the test. + +set asm_file [standard_output_file $srcfile2] +Dwarf::assemble $asm_file { + global srcdir subdir srcfile + + cu {} { + DW_TAG_compile_unit { + {DW_AT_language @DW_LANG_Ada95} + {DW_AT_name $srcfile} + } { + declare_labels integer array array_pointer bounds_pointer + + integer: DW_TAG_base_type { + {DW_AT_byte_size 8 DW_FORM_sdata} + {DW_AT_encoding @DW_ATE_signed} + {DW_AT_name integer} + } + + array: DW_TAG_array_type { + {DW_AT_name array_type} + {DW_AT_type :$integer} + } { + DW_TAG_subrange_type { + {DW_AT_type :$integer} + {DW_AT_lower_bound 1 DW_FORM_data1} + {DW_AT_upper_bound 7 DW_FORM_data1} + } + } + + array_pointer: DW_TAG_pointer_type { + {DW_AT_type :$array} + {DW_AT_byte_size 8 DW_FORM_sdata} + } + + # This isn't exactly what GNAT emits, but it doesn't + # matter. + bounds_pointer: DW_TAG_pointer_type { + {DW_AT_type :$integer} + {DW_AT_byte_size 8 DW_FORM_sdata} + } + + DW_TAG_structure_type { + {DW_AT_name thick_pointer_type} + {DW_AT_byte_size 8 DW_FORM_sdata} + } { + DW_TAG_member { + {DW_AT_name P_ARRAY} + {DW_AT_type :$array_pointer} + {DW_AT_data_member_location 0 DW_FORM_sdata} + } + DW_TAG_member { + {DW_AT_name P_BOUNDS} + {DW_AT_type :$bounds_pointer} + {DW_AT_data_member_location 8 DW_FORM_sdata} + } + } + } + } +} + +if { [prepare_for_testing "failed to prepare" ${testfile} \ + [list $srcfile $asm_file] {nodebug}] } { + return -1 +} + +gdb_test_no_output "set language ada" +gdb_test "ptype array_type" "type = array \\(1 \\.\\. 7\\) of integer" -- 2.26.2