OpenE2K
/
binutils-gdb
12
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Handle DW_TAG_variant_part and DW_TAG_variant 

This changes dwarf2read to understand DW_TAG_variant_part and
DW_TAG_variant.

Note that DW_AT_discr_list is not handled.  I did not need this for
Rust.  I imagine this should not be too hard to add later, should
someone need it.  Meanwhile I have gdb emit a complaint if it is seen.

There is a lurking issue concerning the placement of the discriminant
in the DWARF.  For Rust, I ended up following the letter of the
standard and having the discriminant be a child of the
DW_TAG_variant_part.  However, GCC's Ada support does not do this.
Pierre-Marie filed this with the DWARF committee:

    http://dwarfstd.org/ShowIssue.php?issue=180123.1

However as that is read-only, if you have comments you might consider
adding them to the GCC bug:

    https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83935

Finally, there is a DWARF extension lurking in here.  In Rust, a
univariant enum will not have a discriminant.  However, in order to
unify the representation of all data-carrying enums, I've made LLVM
(and my forthcoming rustc patch) emit a univariant enum using a
DW_TAG_variant with a single variant part and without DW_AT_discr.
The lack of this DW_AT_discr is the extension.  I will submit an issue
on dwarfstd.org about this.

2018-02-26  Tom Tromey  <tom@tromey.com>

	* dwarf2read.c (struct variant_field): New.
	(struct nextfield) <variant>: New field.
	(dwarf2_add_field): Handle DW_TAG_variant_part.
	(dwarf2_attach_fields_to_type): Attach a discriminant_info to a
	discriminated union.
	(read_structure_type): Handle DW_TAG_variant_part.
	(handle_struct_member_die): New function, extracted from
	process_structure_scope.  Handle DW_TAG_variant.
	(process_structure_scope): Handle discriminated unions.  Call
	handle_struct_member_die.

2018-02-26  Tom Tromey  <tom@tromey.com>

	* gdb.dwarf2/variant.c: New file.
	* gdb.dwarf2/variant.exp: New file.
This commit is contained in:
Tom Tromey 2018-01-10 13:53:18 -07:00
parent c9317f214b
commit 2ddeaf8a7d
5 changed files with 470 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gdb/ChangeLog
View File

@ -1,3 +1,16 @@
2018-02-26 Tom Tromey <tom@tromey.com>
* dwarf2read.c (struct variant_field): New.
(struct nextfield) <variant>: New field.
(dwarf2_add_field): Handle DW_TAG_variant_part.
(dwarf2_attach_fields_to_type): Attach a discriminant_info to a
discriminated union.
(read_structure_type): Handle DW_TAG_variant_part.
(handle_struct_member_die): New function, extracted from
process_structure_scope. Handle DW_TAG_variant.
(process_structure_scope): Handle discriminated unions. Call
handle_struct_member_die.
2018-02-26 Tom Tromey <tom@tromey.com>
* rust-lang.h (rust_last_path_segment): Declare.

218
gdb/dwarf2read.c
View File

@ -1705,11 +1705,30 @@ struct dwarf_block
and friends. */
static int bits_per_byte = 8;
/* When reading a variant or variant part, we track a bit more
information about the field, and store it in an object of this
type. */
struct variant_field
{
/* If we see a DW_TAG_variant, then this will be the discriminant
value. */
ULONGEST discriminant_value;
/* If we see a DW_TAG_variant, then this will be set if this is the
default branch. */
bool default_branch;
/* While reading a DW_TAG_variant_part, this will be set if this
field is the discriminant. */
bool is_discriminant;
};
struct nextfield
{
struct nextfield *next;
int accessibility;
int virtuality;
/* Extra information to describe a variant or variant part. */
struct variant_field variant;
struct field field;
};
@ -15644,6 +15663,20 @@ dwarf2_add_field (struct field_info *fip, struct die_info *die,
FIELD_NAME (*fp) = type_name_no_tag (fp->type);
fip->nbaseclasses++;
}
else if (die->tag == DW_TAG_variant_part)
{
/* process_structure_scope will treat this DIE as a union. */
process_structure_scope (die, cu);
/* The variant part is relative to the start of the enclosing
structure. */
SET_FIELD_BITPOS (*fp, 0);
fp->type = get_die_type (die, cu);
fp->artificial = 1;
fp->name = "<<variant>>";
}
else
gdb_assert_not_reached ("missing case in dwarf2_add_field");
}
/* Can the type given by DIE define another type? */
@ -15769,6 +15802,27 @@ dwarf2_attach_fields_to_type (struct field_info *fip, struct type *type,
TYPE_N_BASECLASSES (type) = fip->nbaseclasses;
}
if (TYPE_FLAG_DISCRIMINATED_UNION (type))
{
struct discriminant_info *di = alloc_discriminant_info (type, -1, -1);
int index = nfields - 1;
struct nextfield *field = fip->fields;
while (index >= 0)
{
if (field->variant.is_discriminant)
di->discriminant_index = index;
else if (field->variant.default_branch)
di->default_index = index;
else
di->discriminants[index] = field->variant.discriminant_value;
--index;
field = field->next;
}
}
/* Copy the saved-up fields into the field vector. Start from the head of
the list, adding to the tail of the field array, so that they end up in
the same order in the array in which they were added to the list. */
@ -16230,6 +16284,11 @@ read_structure_type (struct die_info *die, struct dwarf2_cu *cu)
{
TYPE_CODE (type) = TYPE_CODE_UNION;
}
else if (die->tag == DW_TAG_variant_part)
{
TYPE_CODE (type) = TYPE_CODE_UNION;
TYPE_FLAG_DISCRIMINATED_UNION (type) = 1;
}
else
{
TYPE_CODE (type) = TYPE_CODE_STRUCT;
@ -16289,6 +16348,92 @@ read_structure_type (struct die_info *die, struct dwarf2_cu *cu)
return type;
}
/* A helper for process_structure_scope that handles a single member
DIE. */
static void
handle_struct_member_die (struct die_info *child_die, struct type *type,
struct field_info *fi,
std::vector<struct symbol *> *template_args,
struct dwarf2_cu *cu)
{
if (child_die->tag == DW_TAG_member
|| child_die->tag == DW_TAG_variable
|| child_die->tag == DW_TAG_variant_part)
{
/* NOTE: carlton/2002-11-05: A C++ static data member
should be a DW_TAG_member that is a declaration, but
all versions of G++ as of this writing (so through at
least 3.2.1) incorrectly generate DW_TAG_variable
tags for them instead. */
dwarf2_add_field (fi, child_die, cu);
}
else if (child_die->tag == DW_TAG_subprogram)
{
/* Rust doesn't have member functions in the C++ sense.
However, it does emit ordinary functions as children
of a struct DIE. */
if (cu->language == language_rust)
read_func_scope (child_die, cu);
else
{
/* C++ member function. */
dwarf2_add_member_fn (fi, child_die, type, cu);
}
}
else if (child_die->tag == DW_TAG_inheritance)
{
/* C++ base class field. */
dwarf2_add_field (fi, child_die, cu);
}
else if (type_can_define_types (child_die))
dwarf2_add_type_defn (fi, child_die, cu);
else if (child_die->tag == DW_TAG_template_type_param
|| child_die->tag == DW_TAG_template_value_param)
{
struct symbol *arg = new_symbol (child_die, NULL, cu);
if (arg != NULL)
template_args->push_back (arg);
}
else if (child_die->tag == DW_TAG_variant)
{
/* In a variant we want to get the discriminant and also add a
field for our sole member child. */
struct attribute *discr = dwarf2_attr (child_die, DW_AT_discr_value, cu);
for (struct die_info *variant_child = child_die->child;
variant_child != NULL;
variant_child = sibling_die (variant_child))
{
if (variant_child->tag == DW_TAG_member)
{
handle_struct_member_die (variant_child, type, fi,
template_args, cu);
/* Only handle the one. */
break;
}
}
/* We don't handle this but we might as well report it if we see
it. */
if (dwarf2_attr (child_die, DW_AT_discr_list, cu) != nullptr)
complaint (&symfile_complaints,
_("DW_AT_discr_list is not supported yet"
" - DIE at %s [in module %s]"),
sect_offset_str (child_die->sect_off),
objfile_name (cu->per_cu->dwarf2_per_objfile->objfile));
/* The first field was just added, so we can stash the
discriminant there. */
gdb_assert (fi->fields != NULL);
if (discr == NULL)
fi->fields->variant.default_branch = true;
else
fi->fields->variant.discriminant_value = DW_UNSND (discr);
}
}
/* Finish creating a structure or union type, including filling in
its members and creating a symbol for it. */
@ -16303,6 +16448,39 @@ process_structure_scope (struct die_info *die, struct dwarf2_cu *cu)
if (type == NULL)
type = read_structure_type (die, cu);
/* When reading a DW_TAG_variant_part, we need to notice when we
read the discriminant member, so we can record it later in the
discriminant_info. */
bool is_variant_part = TYPE_FLAG_DISCRIMINATED_UNION (type);
sect_offset discr_offset;
if (is_variant_part)
{
struct attribute *discr = dwarf2_attr (die, DW_AT_discr, cu);
if (discr == NULL)
{
/* Maybe it's a univariant form, an extension we support.
In this case arrange not to check the offset. */
is_variant_part = false;
}
else if (attr_form_is_ref (discr))
{
struct dwarf2_cu *target_cu = cu;
struct die_info *target_die = follow_die_ref (die, discr, &target_cu);
discr_offset = target_die->sect_off;
}
else
{
complaint (&symfile_complaints,
_("DW_AT_discr does not have DIE reference form"
" - DIE at %s [in module %s]"),
sect_offset_str (die->sect_off),
objfile_name (cu->per_cu->dwarf2_per_objfile->objfile));
is_variant_part = false;
}
}
if (die->child != NULL && ! die_is_declaration (die, cu))
{
struct field_info fi;
@ -16315,44 +16493,10 @@ process_structure_scope (struct die_info *die, struct dwarf2_cu *cu)
while (child_die && child_die->tag)
{
if (child_die->tag == DW_TAG_member
|| child_die->tag == DW_TAG_variable)
{
/* NOTE: carlton/2002-11-05: A C++ static data member
should be a DW_TAG_member that is a declaration, but
all versions of G++ as of this writing (so through at
least 3.2.1) incorrectly generate DW_TAG_variable
tags for them instead. */
dwarf2_add_field (&fi, child_die, cu);
}
else if (child_die->tag == DW_TAG_subprogram)
{
/* Rust doesn't have member functions in the C++ sense.
However, it does emit ordinary functions as children
of a struct DIE. */
if (cu->language == language_rust)
read_func_scope (child_die, cu);
else
{
/* C++ member function. */
dwarf2_add_member_fn (&fi, child_die, type, cu);
}
}
else if (child_die->tag == DW_TAG_inheritance)
{
/* C++ base class field. */
dwarf2_add_field (&fi, child_die, cu);
}
else if (type_can_define_types (child_die))
dwarf2_add_type_defn (&fi, child_die, cu);
else if (child_die->tag == DW_TAG_template_type_param
|| child_die->tag == DW_TAG_template_value_param)
{
struct symbol *arg = new_symbol (child_die, NULL, cu);
handle_struct_member_die (child_die, type, &fi, &template_args, cu);
if (arg != NULL)
template_args.push_back (arg);
}
if (is_variant_part && discr_offset == child_die->sect_off)
fi.fields->variant.is_discriminant = true;
child_die = sibling_die (child_die);
}

5
gdb/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2018-02-26 Tom Tromey <tom@tromey.com>
* gdb.dwarf2/variant.c: New file.
* gdb.dwarf2/variant.exp: New file.
2018-02-26 Tom Tromey <tom@tromey.com>
* gdb.rust/simple.exp: Accept more possible results in enum test.

47
gdb/testsuite/gdb.dwarf2/variant.c Normal file
View File

@ -0,0 +1,47 @@
/* Copyright 2018 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/>. */
unsigned char buffer[8];
unsigned char buffer2[8];
static void
func (void)
{
}
int
main (void)
{
/* Write the expected values into the buffer. */
unsigned int x = 23;
if (*(char *) &x)
{
/* Little endian. */
buffer[0] = 23;
buffer[4] = 23;
buffer2[0] = 255;
buffer2[4] = 23;
}
else
{
buffer[3] = 23;
buffer[7] = 23;
buffer2[0] = 255;
buffer2[7] = 23;
}
func ();
return 0;
}

224
gdb/testsuite/gdb.dwarf2/variant.exp Normal file
View File

@ -0,0 +1,224 @@
# Copyright 2018 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/>.
# Test DW_TAG_variant_part and DW_TAG_variant.
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 .c variant.S
# Make some DWARF for the test.
set asm_file [standard_output_file $srcfile2]
Dwarf::assemble $asm_file {
upvar cu_lang cu_lang
declare_labels uinteger_label float_label int8_label
declare_labels discr_1_label discr_2_label discr_3_label
declare_labels one_label two_label
# Creating a CU with 4-byte addresses lets this test link on
# both 32- and 64-bit machines.
cu { addr_size 4 } {
compile_unit {
{name file1.txt}
{language @DW_LANG_Rust}
} {
uinteger_label: DW_TAG_base_type {
{DW_AT_byte_size 4 DW_FORM_sdata}
{DW_AT_encoding @DW_ATE_unsigned}
{DW_AT_name {unsigned integer}}
}
int8_label: DW_TAG_base_type {
{DW_AT_byte_size 1 DW_FORM_sdata}
{DW_AT_encoding @DW_ATE_signed}
{DW_AT_name i8}
}
float_label: base_type {
{name float}
{encoding @DW_ATE_float}
{byte_size 4 DW_FORM_sdata}
}
one_label: structure_type {
{name One}
{byte_size 4 DW_FORM_sdata}
} {
member {
{name __0}
{type :$uinteger_label}
{data_member_location 0 data1}
}
}
two_label: structure_type {
{name Two}
{byte_size 4 DW_FORM_sdata}
} {
member {
{name __0}
{type :$float_label}
{data_member_location 0 data1}
}
}
structure_type {
{name Simple}
{byte_size 8 DW_FORM_sdata}
} {
variant_part {
{discr :$discr_1_label DW_FORM_ref4}
} {
discr_1_label: member {
{type :$uinteger_label}
{data_member_location 0 data1}
}
variant {
{discr_value 23 udata}
} {
member {
{type :$one_label}
{data_member_location 4 data1}
}
}
variant {
{discr_value 1 udata}
} {
member {
{type :$two_label}
{data_member_location 4 data1}
}
}
}
}
structure_type {
{name Defaulted}
{byte_size 8 DW_FORM_sdata}
} {
variant_part {
{discr :$discr_2_label DW_FORM_ref4}
} {
discr_2_label: member {
{type :$uinteger_label}
{data_member_location 0 data1}
}
variant {
} {
member {
{type :$one_label}
{data_member_location 4 data1}
}
}
variant {
{discr_value 1 udata}
} {
member {
{type :$two_label}
{data_member_location 4 data1}
}
}
}
}
structure_type {
{name Univariant}
{byte_size 8 DW_FORM_sdata}
} {
variant_part {
} {
variant {
} {
member {
{type :$one_label}
{data_member_location 4 data1}
}
}
}
}
# Rust won't emit a negative discriminant like this, but
# we want to test the code path anyway.
structure_type {
{name Negative}
{byte_size 8 DW_FORM_sdata}
} {
variant_part {
{discr :$discr_3_label DW_FORM_ref4}
} {
discr_3_label: member {
{type :$int8_label}
{data_member_location 0 data1}
}
variant {
{discr_value -1 sdata}
} {
member {
{type :$one_label}
{data_member_location 4 data1}
}
}
# Make this the default value so we'll see an
# incorrect result if we mishandle signed
# discriminants.
variant {
} {
member {
{type :$two_label}
{data_member_location 4 data1}
}
}
}
}
}
}
}
if { [prepare_for_testing "failed to prepare" ${testfile} \
[list $srcfile $asm_file] debug] } {
return -1
}
if ![runto func] {
return -1
}
# Get the values into history so we can use it from Rust.
gdb_test "print (void *) buffer" "\\\$1 = .void .. $hex .buffer."
gdb_test "print (void *) buffer2" "\\\$2 = .void .. $hex .buffer2."
gdb_test "set language rust"
gdb_test "print *(\$1 as *mut Simple)" " = One\\(23\\)" \
"print as Simple"
gdb_test "print *(\$1 as *mut Defaulted)" " = One\\(23\\)" \
"print as Defaulted"
gdb_test "print *(\$1 as *mut Univariant)" " = One\\(23\\)" \
"print as Univariant"
gdb_test "print *(\$2 as *mut Negative)" " = One\\(23\\)" \
"print as Negative"