Make blockvector a little more self-contained

This patch changes blockvector to be a little more self-contained.

The idea here is that code outside of blockvector shouldn't really
know how it operates.  After this patch, this still doesn't fully
happen -- a couple spots check the result of map() and make decisions
based on that -- but this is a step toward making that happen.  The
longer term idea here is that this is needed to enable lazier CU
expansion.

Meanwhile, this patch seems like a simple cleanup.  Relocation is now
handled by the blockvector itself and the non-const map() method can
be removed.

There wasn't a great spot to move the section_offsets typedef.  I
chose defs.h.  I've also updated the comment there as it has been out
of date for a long time.  I've also removed an obsolete comment from
the symbol-relocation code.

Regression tested on x86-64 Fedora 40.

Approved-By: Simon Marchi <simon.marchi@efficios.com>

diff --git a/gdb/block.c b/gdb/block.c
index 9fb04635975e370a01cbf85c7e2439715b9e91f9..4d7f2124f39b06b2680d9edb47fb51c9187e2865 100644 (file)
--- a/gdb/block.c
+++ b/gdb/block.c
@@ -366,6 +366,26 @@ block::static_link () const
   return (struct dynamic_prop *) objfile_lookup_static_link (objfile, this);
 }
 
+/* See block.h.  */
+
+void
+block::relocate (struct objfile *objfile, const section_offsets &offsets)
+{
+  int block_line_section = SECT_OFF_TEXT (objfile);
+
+  set_start (start () + offsets[block_line_section]);
+  set_end (end () + offsets[block_line_section]);
+
+  for (blockrange &r : ranges ())
+    {
+      r.set_start (r.start () + offsets[block_line_section]);
+      r.set_end (r.end () + offsets[block_line_section]);
+    }
+
+  for (struct symbol *sym : multidict_symbols ())
+    sym->relocate (offsets);
+}
+
 /* Initialize a block iterator, either to iterate over a single block,
    or, for static and global blocks, all the included symtabs as
    well.  */
@@ -865,6 +885,21 @@ blockvector::~blockvector ()
     mdict_free (bl->multidict ());
 }
 
+/* See block.h.  */
+
+void
+blockvector::relocate (struct objfile *objfile,
+                      const section_offsets &offsets)
+{
+  int block_line_section = SECT_OFF_TEXT (objfile);
+
+  if (m_map != nullptr)
+    m_map->relocate (offsets[block_line_section]);
+
+  for (struct block *b : m_blocks)
+    b->relocate (objfile, offsets);
+}
+
 /* Implement 'maint info blocks' command.  If passed an argument then
    print a list of all blocks at the given address.  With no arguments
    then list all blocks at the current address of the current inferior.  */

diff --git a/gdb/block.h b/gdb/block.h
index df03231ca4cae4b67c20d8297da1c0bff509554a..ceff97d79e303c45f08219dcaac0459eb99a31a9 100644 (file)
--- a/gdb/block.h
+++ b/gdb/block.h
@@ -315,6 +315,11 @@ struct block : public allocate_on_obstack<block>
 
   bool contains (const struct block *a, bool allow_nested = false) const;
 
+  /* Relocate this block and all contained blocks.  OBJFILE is the
+     objfile holding this block, and OFFSETS is the relocation offsets
+     to use.  */
+  void relocate (struct objfile *objfile, const section_offsets &offsets);
+
 private:
 
   /* Return the default entry-pc of this block.  The default is the address
@@ -482,10 +487,6 @@ struct blockvector
   const struct block *static_block () const
   { return this->block (STATIC_BLOCK); }
 
-  /* Return the address -> block map of this blockvector.  */
-  addrmap_fixed *map ()
-  { return m_map; }
-
   /* Const version of the above.  */
   const addrmap_fixed *map () const
   { return m_map; }
@@ -513,6 +514,11 @@ struct blockvector
      for ADDR are considered.  */
   struct symbol *symbol_at_address (CORE_ADDR addr) const;
 
+  /* Relocate this blockvector and all contained blocks.  OBJFILE is
+     the objfile holding this blockvector, and OFFSETS is the
+     relocation offsets to use.  */
+  void relocate (struct objfile *objfile, const section_offsets &offsets);
+
 private:
   /* An address map mapping addresses to blocks in this blockvector.
      This pointer is zero if the blocks' start and end addresses are

diff --git a/gdb/defs.h b/gdb/defs.h
index 8bf9d3dcbda875e56da1c1b09ca4a18582f92f85..bb047d9cb4ce3456d36768b839565fe3e60c9f88 100644 (file)
--- a/gdb/defs.h
+++ b/gdb/defs.h
@@ -411,4 +411,8 @@ DEF_ENUM_FLAGS_TYPE (enum user_selected_what_flag, user_selected_what);
   extern void _initialize_ ## NAME (); \
   void _initialize_ ## NAME ()
 
+/* How to relocate the symbols from each section in a symbol file.
+   This is indexed by section numbers.  */
+typedef std::vector<CORE_ADDR> section_offsets;
+
 #endif /* GDB_DEFS_H */

diff --git a/gdb/objfiles.c b/gdb/objfiles.c
index f131bab1dd524e76d25b34d3ed4d61145835b51a..658b01e5955c3d20ec64e7d5bfb0bd6cff12832a 100644 (file)
--- a/gdb/objfiles.c
+++ b/gdb/objfiles.c
@@ -508,24 +508,6 @@ objfile::~objfile ()
 }
 
 \f
-/* A helper function for objfile_relocate1 that relocates a single
-   symbol.  */
-
-static void
-relocate_one_symbol (struct symbol *sym, struct objfile *objfile,
-                    const section_offsets &delta)
-{
-  /* The RS6000 code from which this was taken skipped
-     any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
-     But I'm leaving out that test, on the theory that
-     they can't possibly pass the tests below.  */
-  if ((sym->loc_class () == LOC_LABEL
-       || sym->loc_class () == LOC_STATIC)
-      && sym->section_index () >= 0)
-    sym->set_value_address (sym->value_address ()
-                           + delta[sym->section_index ()]);
-}
-
 /* Relocate OBJFILE to NEW_OFFSETS.  There should be OBJFILE->NUM_SECTIONS
    entries in new_offsets.  SEPARATE_DEBUG_OBJFILE is not touched here.
    Return non-zero iff any change happened.  */
@@ -549,34 +531,11 @@ objfile_relocate1 (struct objfile *objfile,
 
   /* OK, get all the symtabs.  */
   for (compunit_symtab &cust : objfile->compunits ())
-    {
-      struct blockvector *bv = cust.blockvector ();
-      int block_line_section = SECT_OFF_TEXT (objfile);
-
-      if (bv->map () != nullptr)
-       bv->map ()->relocate (delta[block_line_section]);
-
-      for (block *b : bv->blocks ())
-       {
-         b->set_start (b->start () + delta[block_line_section]);
-         b->set_end (b->end () + delta[block_line_section]);
-
-         for (blockrange &r : b->ranges ())
-           {
-             r.set_start (r.start () + delta[block_line_section]);
-             r.set_end (r.end () + delta[block_line_section]);
-           }
-
-         /* We only want to iterate over the local symbols, not any
-            symbols in included symtabs.  */
-         for (struct symbol *sym : b->multidict_symbols ())
-           relocate_one_symbol (sym, objfile, delta);
-       }
-    }
+    cust.blockvector ()->relocate (objfile, delta);
 
   /* Relocate isolated symbols.  */
   for (symbol *iter = objfile->template_symbols; iter; iter = iter->hash_next)
-    relocate_one_symbol (iter, objfile, delta);
+    iter->relocate (delta);
 
   for (int i = 0; i < objfile->section_offsets.size (); ++i)
     objfile->section_offsets[i] = new_offsets[i];

diff --git a/gdb/symtab.c b/gdb/symtab.c
index cc6dbcf7aabf0e3bff9dc36c2f4b5279d1f9bf26..0100bc4704c510b504c2f9a2df6dfe2fdffe3ef6 100644 (file)
--- a/gdb/symtab.c
+++ b/gdb/symtab.c
@@ -6610,6 +6610,16 @@ symbol::value_block () const
 
 /* See symtab.h.  */
 
+void
+symbol::relocate (const section_offsets &delta)
+{
+  if ((loc_class () == LOC_LABEL || loc_class () == LOC_STATIC)
+      && section_index () >= 0)
+    set_value_address (value_address () + delta[section_index ()]);
+}
+
+/* See symtab.h.  */
+
 CORE_ADDR
 minimal_symbol::get_maybe_copied_address (objfile *objf) const
 {

diff --git a/gdb/symtab.h b/gdb/symtab.h
index 845c49e057db19a7afd8cbe09028092802ae5cf6..708eaf2c329cf8b45d986a3e042131acbd246ae3 100644 (file)
--- a/gdb/symtab.h
+++ b/gdb/symtab.h
@@ -1458,6 +1458,10 @@ struct symbol : public general_symbol_info, public allocate_on_obstack<symbol>
 
   void set_symtab (struct symtab *symtab);
 
+  /* Relocate this symbol.  OFFSETS is the relocation offsets to use.  */
+
+  void relocate (const section_offsets &offsets);
+
   /* Data type of value */
 
   struct type *m_type = nullptr;
@@ -1675,13 +1679,6 @@ struct linetable
   struct linetable_entry item[1];
 };
 
-/* How to relocate the symbols from each section in a symbol file.
-   The ordering and meaning of the offsets is file-type-dependent;
-   typically it is indexed by section numbers or symbol types or
-   something like that.  */
-
-typedef std::vector<CORE_ADDR> section_offsets;
-
 /* Each source file or header is represented by a struct symtab.
    The name "symtab" is historical, another name for it is "filetab".
    These objects are chained through the `next' field.  */