From: Simon Marchi <simon.marchi@efficios.com>
To: gdb-patches@sourceware.org
Cc: Simon Marchi <simon.marchi@efficios.com>
Subject: [PATCH 1/2] gdb/dwarf: pass unit length to dwarf2_per_cu_data constructor
Date: Wed, 26 Feb 2025 11:52:31 -0500 [thread overview]
Message-ID: <20250226165255.25737-1-simon.marchi@efficios.com> (raw)
Most of the time, the length of a unit is known when constructing a
dwarf2_per_cu_data or signatured_type. Add a construtor parameter for
it. In the few cases where it isn't, pass 0, which leaves it unset.
Change-Id: I0c8b9683164d3e3f3823ed995f71689a4d17fd96
---
gdb/dwarf2/read-gdb-index.c | 5 ++-
gdb/dwarf2/read.c | 66 ++++++++++++++++++-------------------
gdb/dwarf2/read.h | 13 +++++---
3 files changed, 46 insertions(+), 38 deletions(-)
diff --git a/gdb/dwarf2/read-gdb-index.c b/gdb/dwarf2/read-gdb-index.c
index ff60e9b862c6..80b2931cd606 100644
--- a/gdb/dwarf2/read-gdb-index.c
+++ b/gdb/dwarf2/read-gdb-index.c
@@ -1374,8 +1374,11 @@ create_signatured_type_table_from_gdb_index
= extract_unsigned_integer (bytes + 16, 8, BFD_ENDIAN_LITTLE);
bytes += 3 * 8;
+ /* The length of the type unit is unknown at this time. It gets
+ (presumably) set by a cutu_reader when it gets expanded later. */
signatured_type_up sig_type
- = per_bfd->allocate_signatured_type (section, sect_off, signature);
+ = per_bfd->allocate_signatured_type (section, sect_off, 0 /* length */,
+ signature);
sig_type->type_offset_in_tu = type_offset_in_tu;
sig_types_hash.emplace (sig_type.get ());
diff --git a/gdb/dwarf2/read.c b/gdb/dwarf2/read.c
index b4fd7e30cb7c..2b060959c36f 100644
--- a/gdb/dwarf2/read.c
+++ b/gdb/dwarf2/read.c
@@ -1819,10 +1819,10 @@ dw2_instantiate_symtab (dwarf2_per_cu_data *per_cu,
dwarf2_per_cu_data_up
dwarf2_per_bfd::allocate_per_cu (dwarf2_section_info *section,
- sect_offset sect_off)
+ sect_offset sect_off, unsigned int length)
{
dwarf2_per_cu_data_up result (new dwarf2_per_cu_data (this, section,
- sect_off));
+ sect_off, length));
result->index = all_units.size ();
return result;
}
@@ -1832,10 +1832,11 @@ dwarf2_per_bfd::allocate_per_cu (dwarf2_section_info *section,
signatured_type_up
dwarf2_per_bfd::allocate_signatured_type (dwarf2_section_info *section,
sect_offset sect_off,
+ unsigned int length,
ULONGEST signature)
{
- auto result
- = std::make_unique<signatured_type> (this, section, sect_off, signature);
+ auto result = std::make_unique<signatured_type> (this, section, sect_off,
+ length, signature);
result->index = all_units.size ();
tu_stats.nr_tus++;
return result;
@@ -1849,8 +1850,7 @@ create_cu_from_index_list (dwarf2_per_bfd *per_bfd,
int is_dwz,
sect_offset sect_off, ULONGEST length)
{
- dwarf2_per_cu_data_up the_cu = per_bfd->allocate_per_cu (section, sect_off);
- the_cu->set_length (length);
+ dwarf2_per_cu_data_up the_cu = per_bfd->allocate_per_cu (section, sect_off, length);
the_cu->is_dwz = is_dwz;
return the_cu;
}
@@ -2690,13 +2690,13 @@ create_debug_types_hash_table (dwarf2_per_objfile *per_objfile,
static signatured_type_set::iterator
add_type_unit (dwarf2_per_bfd *per_bfd, dwarf2_section_info *section,
- sect_offset sect_off, ULONGEST sig)
+ sect_offset sect_off, unsigned int length, ULONGEST sig)
{
if (per_bfd->all_units.size () == per_bfd->all_units.capacity ())
++per_bfd->tu_stats.nr_all_type_units_reallocs;
signatured_type_up sig_type_holder
- = per_bfd->allocate_signatured_type (section, sect_off, sig);
+ = per_bfd->allocate_signatured_type (section, sect_off, length, sig);
signatured_type *sig_type = sig_type_holder.get ();
per_bfd->all_units.emplace_back (sig_type_holder.release ());
@@ -2730,7 +2730,6 @@ fill_in_sig_entry_from_dwo_entry (dwarf2_per_objfile *per_objfile,
gdb_assert (sig_entry->dwo_unit == NULL
|| sig_entry->dwo_unit == dwo_entry);
- sig_entry->set_length (dwo_entry->length, false);
sig_entry->reading_dwo_directly = 1;
sig_entry->type_offset_in_tu = dwo_entry->type_offset_in_tu;
sig_entry->dwo_unit = dwo_entry;
@@ -2795,8 +2794,8 @@ lookup_dwo_signatured_type (struct dwarf2_cu *cu, ULONGEST sig)
/* If the global table doesn't have an entry for this TU, add one. */
if (sig_type_it == per_bfd->signatured_types.end ())
- sig_type_it
- = add_type_unit (per_bfd, dwo_entry->section, dwo_entry->sect_off, sig);
+ sig_type_it = add_type_unit (per_bfd, dwo_entry->section,
+ dwo_entry->sect_off, dwo_entry->length, sig);
if ((*sig_type_it)->dwo_unit == nullptr)
fill_in_sig_entry_from_dwo_entry (per_objfile, *sig_type_it, dwo_entry);
@@ -2836,8 +2835,8 @@ lookup_dwp_signatured_type (struct dwarf2_cu *cu, ULONGEST sig)
if (dwo_entry == NULL)
return NULL;
- sig_type_it
- = add_type_unit (per_bfd, dwo_entry->section, dwo_entry->sect_off, sig);
+ sig_type_it = add_type_unit (per_bfd, dwo_entry->section,
+ dwo_entry->sect_off, dwo_entry->length, sig);
fill_in_sig_entry_from_dwo_entry (per_objfile, *sig_type_it, dwo_entry);
return *sig_type_it;
@@ -4022,7 +4021,7 @@ process_skeletonless_type_unit (void **slot, void *info)
/* This does the job that create_all_units would have done for
this TU. */
sig_type_it = add_type_unit (per_bfd, dwo_unit->section, dwo_unit->sect_off,
- dwo_unit->signature);
+ dwo_unit->length, dwo_unit->signature);
fill_in_sig_entry_from_dwo_entry (per_objfile, *sig_type_it, dwo_unit);
/* This does the job that build_type_psymtabs would have done. */
@@ -4283,13 +4282,16 @@ read_comp_units_from_section (dwarf2_per_objfile *per_objfile,
abbrev_section, info_ptr,
section_kind);
+ unsigned int length = cu_header.get_length_with_initial ();
+
/* Save the compilation unit for later lookup. */
if (cu_header.unit_type != DW_UT_type)
- this_cu = per_objfile->per_bfd->allocate_per_cu (section, sect_off);
+ this_cu
+ = per_objfile->per_bfd->allocate_per_cu (section, sect_off, length);
else
{
auto sig_type = per_objfile->per_bfd->allocate_signatured_type
- (section, sect_off, cu_header.signature);
+ (section, sect_off, length, cu_header.signature);
signatured_type *sig_ptr = sig_type.get ();
sig_type->type_offset_in_tu = cu_header.type_cu_offset_in_tu;
this_cu.reset (sig_type.release ());
@@ -4304,7 +4306,6 @@ read_comp_units_from_section (dwarf2_per_objfile *per_objfile,
hex_string (sig_ptr->signature));
}
- this_cu->set_length (cu_header.get_length_with_initial ());
this_cu->is_dwz = is_dwz;
/* Init this asap, to avoid a data race in the set_version in
cutu_reader::cutu_reader (which may be run in parallel for the cooked
@@ -7065,10 +7066,11 @@ create_cus_hash_table (dwarf2_per_objfile *per_objfile,
void **slot;
sect_offset sect_off = (sect_offset) (info_ptr - section.buffer);
- dwarf2_per_cu_data per_cu (per_bfd, §ion, sect_off);
-
+ /* The length of the CU gets set by the cutu_reader just below. */
+ dwarf2_per_cu_data per_cu (per_bfd, §ion, sect_off, 0);
cutu_reader reader (&per_cu, per_objfile, language_minimal,
cu, &dwo_file);
+
if (!reader.dummy_p)
create_dwo_cu_reader (&reader, reader.info_ptr, reader.comp_unit_die,
&dwo_file, &read_unit);
@@ -20944,29 +20946,27 @@ namespace find_containing_comp_unit {
static void
run_test ()
{
- const auto create_dummy_per_cu = [] ()
+ const auto create_dummy_per_cu = [] (sect_offset sect_off, unsigned int length)
{
- return (dwarf2_per_cu_data_up
- (new dwarf2_per_cu_data (nullptr, nullptr, sect_offset {})));
+ return dwarf2_per_cu_data_up (new dwarf2_per_cu_data (nullptr, nullptr,
+ sect_off, length));
};
- dwarf2_per_cu_data_up one = create_dummy_per_cu ();
+ /* Units in the main file. */
+ dwarf2_per_cu_data_up one = create_dummy_per_cu (sect_offset (0), 5);
dwarf2_per_cu_data *one_ptr = one.get ();
- dwarf2_per_cu_data_up two = create_dummy_per_cu ();
+ dwarf2_per_cu_data_up two
+ = create_dummy_per_cu (sect_offset (one->length ()), 7);
dwarf2_per_cu_data *two_ptr = two.get ();
- dwarf2_per_cu_data_up three = create_dummy_per_cu ();
+
+ /* Units in the supplementary (dwz) file. */
+ dwarf2_per_cu_data_up three = create_dummy_per_cu (sect_offset (0), 5);
dwarf2_per_cu_data *three_ptr = three.get ();
- dwarf2_per_cu_data_up four = create_dummy_per_cu ();
+ dwarf2_per_cu_data_up four
+ = create_dummy_per_cu (sect_offset (three->length ()), 7);
dwarf2_per_cu_data *four_ptr = four.get ();
- one->set_length (5);
- two->sect_off = sect_offset (one->length ());
- two->set_length (7);
-
- three->set_length (5);
three->is_dwz = 1;
- four->sect_off = sect_offset (three->length ());
- four->set_length (7);
four->is_dwz = 1;
std::vector<dwarf2_per_cu_data_up> units;
diff --git a/gdb/dwarf2/read.h b/gdb/dwarf2/read.h
index e0c0e1fe3f0a..4463015d98d2 100644
--- a/gdb/dwarf2/read.h
+++ b/gdb/dwarf2/read.h
@@ -96,9 +96,12 @@ using dwarf2_per_cu_data_up
struct dwarf2_per_cu_data
{
+ /* LENGTH is the length of the unit. If the value is 0, it means it is not
+ known, and may be set later using the set_length method. */
dwarf2_per_cu_data (dwarf2_per_bfd *per_bfd, dwarf2_section_info *section,
- sect_offset sect_off)
+ sect_offset sect_off, unsigned int length)
: sect_off (sect_off),
+ m_length (length),
is_debug_types (false),
is_dwz (false),
reading_dwo_directly (false),
@@ -374,8 +377,8 @@ struct dwarf2_per_cu_data
struct signatured_type : public dwarf2_per_cu_data
{
signatured_type (dwarf2_per_bfd *per_bfd, dwarf2_section_info *section,
- sect_offset sect_off, ULONGEST signature)
- : dwarf2_per_cu_data (per_bfd, section, sect_off),
+ sect_offset sect_off, unsigned int length, ULONGEST signature)
+ : dwarf2_per_cu_data (per_bfd, section, sect_off, length),
signature (signature)
{
this->is_debug_types = true;
@@ -489,13 +492,15 @@ struct dwarf2_per_bfd
returned object has its "index" field set properly. The object
is allocated on the dwarf2_per_bfd obstack. */
dwarf2_per_cu_data_up allocate_per_cu (dwarf2_section_info *section,
- sect_offset sect_off);
+ sect_offset sect_off,
+ unsigned int length);
/* A convenience function to allocate a signatured_type. The
returned object has its "index" field set properly. The object
is allocated on the dwarf2_per_bfd obstack. */
signatured_type_up allocate_signatured_type (dwarf2_section_info *section,
sect_offset sect_off,
+ unsigned int length,
ULONGEST signature);
/* Map all the DWARF section data needed when scanning
base-commit: 227a52fbbd60325440af342e14076f75397187ed
--
2.48.1
next reply other threads:[~2025-02-26 16:53 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-02-26 16:52 Simon Marchi [this message]
2025-02-26 16:52 ` [PATCH 2/2] gdb/dwarf: fix failed assertion in dwarf2_find_containing_comp_unit selftest Simon Marchi
2025-02-27 13:12 ` Tom de Vries
2025-02-27 13:15 ` Tom de Vries
2025-02-27 15:18 ` Simon Marchi
2025-02-27 13:09 ` [PATCH 1/2] gdb/dwarf: pass unit length to dwarf2_per_cu_data constructor Tom de Vries
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20250226165255.25737-1-simon.marchi@efficios.com \
--to=simon.marchi@efficios.com \
--cc=gdb-patches@sourceware.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox