1 /* GDB routines for manipulating objfiles.
3 Copyright (C) 1992-2023 Free Software Foundation, Inc.
5 Contributed by Cygnus Support, using pieces from other GDB modules.
7 This file is part of GDB.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
22 /* This file contains support routines for creating, manipulating, and
23 destroying objfile structures. */
26 #include "bfd.h" /* Binary File Description */
32 #include "expression.h"
33 #include "parser-defs.h"
35 #include <sys/types.h>
38 #include "gdbsupport/gdb_obstack.h"
41 #include "breakpoint.h"
43 #include "dictionary.h"
46 #include "arch-utils.h"
48 #include "observable.h"
49 #include "complaints.h"
54 #include "gdbsupport/pathstuff.h"
59 /* Externally visible variables that are owned by this module.
60 See declarations in objfile.h for more info. */
62 struct objfile_pspace_info
64 objfile_pspace_info () = default;
65 ~objfile_pspace_info ();
67 struct obj_section
**sections
= nullptr;
70 /* Nonzero if object files have been added since the section map
72 int new_objfiles_available
= 0;
74 /* Nonzero if the section map MUST be updated before use. */
75 int section_map_dirty
= 0;
77 /* Nonzero if section map updates should be inhibited if possible. */
78 int inhibit_updates
= 0;
81 /* Per-program-space data key. */
82 static const registry
<program_space
>::key
<objfile_pspace_info
>
85 objfile_pspace_info::~objfile_pspace_info ()
90 /* Get the current svr4 data. If none is found yet, add it now. This
91 function always returns a valid object. */
93 static struct objfile_pspace_info
*
94 get_objfile_pspace_data (struct program_space
*pspace
)
96 struct objfile_pspace_info
*info
;
98 info
= objfiles_pspace_data
.get (pspace
);
100 info
= objfiles_pspace_data
.emplace (pspace
);
107 /* Per-BFD data key. */
109 static const registry
<bfd
>::key
<objfile_per_bfd_storage
> objfiles_bfd_data
;
111 objfile_per_bfd_storage::~objfile_per_bfd_storage ()
115 /* Create the per-BFD storage object for OBJFILE. If ABFD is not
116 NULL, and it already has a per-BFD storage object, use that.
117 Otherwise, allocate a new per-BFD storage object. */
120 set_objfile_per_bfd (struct objfile
*objfile
)
122 bfd
*abfd
= objfile
->obfd
.get ();
123 struct objfile_per_bfd_storage
*storage
= NULL
;
126 storage
= objfiles_bfd_data
.get (abfd
);
130 storage
= new objfile_per_bfd_storage (abfd
);
131 /* If the object requires gdb to do relocations, we simply fall
132 back to not sharing data across users. These cases are rare
133 enough that this seems reasonable. */
134 if (abfd
!= NULL
&& !gdb_bfd_requires_relocations (abfd
))
135 objfiles_bfd_data
.set (abfd
, storage
);
137 objfile
->per_bfd_storage
.reset (storage
);
139 /* Look up the gdbarch associated with the BFD. */
141 storage
->gdbarch
= gdbarch_from_bfd (abfd
);
144 objfile
->per_bfd
= storage
;
147 /* Set the objfile's per-BFD notion of the "main" name and
151 set_objfile_main_name (struct objfile
*objfile
,
152 const char *name
, enum language lang
)
154 if (objfile
->per_bfd
->name_of_main
== NULL
155 || strcmp (objfile
->per_bfd
->name_of_main
, name
) != 0)
156 objfile
->per_bfd
->name_of_main
157 = obstack_strdup (&objfile
->per_bfd
->storage_obstack
, name
);
158 objfile
->per_bfd
->language_of_main
= lang
;
161 /* Helper structure to map blocks to static link properties in hash tables. */
163 struct static_link_htab_entry
165 const struct block
*block
;
166 const struct dynamic_prop
*static_link
;
169 /* Return a hash code for struct static_link_htab_entry *P. */
172 static_link_htab_entry_hash (const void *p
)
174 const struct static_link_htab_entry
*e
175 = (const struct static_link_htab_entry
*) p
;
177 return htab_hash_pointer (e
->block
);
180 /* Return whether P1 an P2 (pointers to struct static_link_htab_entry) are
181 mappings for the same block. */
184 static_link_htab_entry_eq (const void *p1
, const void *p2
)
186 const struct static_link_htab_entry
*e1
187 = (const struct static_link_htab_entry
*) p1
;
188 const struct static_link_htab_entry
*e2
189 = (const struct static_link_htab_entry
*) p2
;
191 return e1
->block
== e2
->block
;
194 /* Register STATIC_LINK as the static link for BLOCK, which is part of OBJFILE.
195 Must not be called more than once for each BLOCK. */
198 objfile_register_static_link (struct objfile
*objfile
,
199 const struct block
*block
,
200 const struct dynamic_prop
*static_link
)
203 struct static_link_htab_entry lookup_entry
;
204 struct static_link_htab_entry
*entry
;
206 if (objfile
->static_links
== NULL
)
207 objfile
->static_links
.reset (htab_create_alloc
208 (1, &static_link_htab_entry_hash
, static_link_htab_entry_eq
, NULL
,
211 /* Create a slot for the mapping, make sure it's the first mapping for this
212 block and then create the mapping itself. */
213 lookup_entry
.block
= block
;
214 slot
= htab_find_slot (objfile
->static_links
.get (), &lookup_entry
, INSERT
);
215 gdb_assert (*slot
== NULL
);
217 entry
= XOBNEW (&objfile
->objfile_obstack
, static_link_htab_entry
);
218 entry
->block
= block
;
219 entry
->static_link
= static_link
;
220 *slot
= (void *) entry
;
223 /* Look for a static link for BLOCK, which is part of OBJFILE. Return NULL if
226 const struct dynamic_prop
*
227 objfile_lookup_static_link (struct objfile
*objfile
,
228 const struct block
*block
)
230 struct static_link_htab_entry
*entry
;
231 struct static_link_htab_entry lookup_entry
;
233 if (objfile
->static_links
== NULL
)
235 lookup_entry
.block
= block
;
236 entry
= ((struct static_link_htab_entry
*)
237 htab_find (objfile
->static_links
.get (), &lookup_entry
));
241 gdb_assert (entry
->block
== block
);
242 return entry
->static_link
;
247 /* Build up the section table that the objfile references. The
248 objfile contains pointers to the start of the table
249 (objfile->sections) and to the first location after the end of the
250 table (objfile->sections_end). */
253 add_to_objfile_sections (struct bfd
*abfd
, struct bfd_section
*asect
,
254 struct objfile
*objfile
, int force
)
256 struct obj_section
*section
;
262 aflag
= bfd_section_flags (asect
);
263 if (!(aflag
& SEC_ALLOC
))
267 section
= &objfile
->sections_start
[gdb_bfd_section_index (abfd
, asect
)];
268 section
->objfile
= objfile
;
269 section
->the_bfd_section
= asect
;
270 section
->ovly_mapped
= 0;
273 /* Builds a section table for OBJFILE.
275 Note that the OFFSET and OVLY_MAPPED in each table entry are
276 initialized to zero. */
279 build_objfile_section_table (struct objfile
*objfile
)
281 int count
= gdb_bfd_count_sections (objfile
->obfd
.get ());
283 objfile
->sections_start
= OBSTACK_CALLOC (&objfile
->objfile_obstack
,
286 objfile
->sections_end
= (objfile
->sections_start
+ count
);
287 for (asection
*sect
: gdb_bfd_sections (objfile
->obfd
))
288 add_to_objfile_sections (objfile
->obfd
.get (), sect
, objfile
, 0);
290 /* See gdb_bfd_section_index. */
291 add_to_objfile_sections (objfile
->obfd
.get (), bfd_com_section_ptr
,
293 add_to_objfile_sections (objfile
->obfd
.get (), bfd_und_section_ptr
,
295 add_to_objfile_sections (objfile
->obfd
.get (), bfd_abs_section_ptr
,
297 add_to_objfile_sections (objfile
->obfd
.get (), bfd_ind_section_ptr
,
301 /* Given a pointer to an initialized bfd (ABFD) and some flag bits,
302 initialize the new objfile as best we can and link it into the list
303 of all known objfiles.
305 NAME should contain original non-canonicalized filename or other
306 identifier as entered by user. If there is no better source use
307 bfd_get_filename (ABFD). NAME may be NULL only if ABFD is NULL.
308 NAME content is copied into returned objfile.
310 The FLAGS word contains various bits (OBJF_*) that can be taken as
311 requests for specific operations. Other bits like OBJF_SHARED are
312 simply copied through to the new objfile flags member. */
314 objfile::objfile (gdb_bfd_ref_ptr bfd_
, const char *name
, objfile_flags flags_
)
316 pspace (current_program_space
),
317 obfd (std::move (bfd_
))
319 const char *expanded_name
;
321 std::string name_holder
;
324 gdb_assert (obfd
== nullptr);
325 gdb_assert ((flags
& OBJF_NOT_FILENAME
) != 0);
326 expanded_name
= "<<anonymous objfile>>";
328 else if ((flags
& OBJF_NOT_FILENAME
) != 0
329 || is_target_filename (name
))
330 expanded_name
= name
;
333 name_holder
= gdb_abspath (name
);
334 expanded_name
= name_holder
.c_str ();
336 original_name
= obstack_strdup (&objfile_obstack
, expanded_name
);
338 /* Update the per-objfile information that comes from the bfd, ensuring
339 that any data that is reference is saved in the per-objfile data
344 mtime
= bfd_get_mtime (obfd
.get ());
346 /* Build section table. */
347 build_objfile_section_table (this);
350 set_objfile_per_bfd (this);
353 /* If there is a valid and known entry point, function fills *ENTRY_P with it
354 and returns non-zero; otherwise it returns zero. */
357 entry_point_address_query (CORE_ADDR
*entry_p
)
359 objfile
*objf
= current_program_space
->symfile_object_file
;
360 if (objf
== NULL
|| !objf
->per_bfd
->ei
.entry_point_p
)
363 int idx
= objf
->per_bfd
->ei
.the_bfd_section_index
;
364 *entry_p
= objf
->per_bfd
->ei
.entry_point
+ objf
->section_offsets
[idx
];
369 /* Get current entry point address. Call error if it is not known. */
372 entry_point_address (void)
376 if (!entry_point_address_query (&retval
))
377 error (_("Entry point address is not known."));
382 separate_debug_iterator
&
383 separate_debug_iterator::operator++ ()
385 gdb_assert (m_objfile
!= nullptr);
389 /* If any, return the first child. */
390 res
= m_objfile
->separate_debug_objfile
;
397 /* Common case where there is no separate debug objfile. */
398 if (m_objfile
== m_parent
)
404 /* Return the brother if any. Note that we don't iterate on brothers of
406 res
= m_objfile
->separate_debug_objfile_link
;
413 for (res
= m_objfile
->separate_debug_objfile_backlink
;
415 res
= res
->separate_debug_objfile_backlink
)
417 gdb_assert (res
!= nullptr);
418 if (res
->separate_debug_objfile_link
!= nullptr)
420 m_objfile
= res
->separate_debug_objfile_link
;
428 /* Add OBJFILE as a separate debug objfile of PARENT. */
431 add_separate_debug_objfile (struct objfile
*objfile
, struct objfile
*parent
)
433 gdb_assert (objfile
&& parent
);
435 /* Must not be already in a list. */
436 gdb_assert (objfile
->separate_debug_objfile_backlink
== NULL
);
437 gdb_assert (objfile
->separate_debug_objfile_link
== NULL
);
438 gdb_assert (objfile
->separate_debug_objfile
== NULL
);
439 gdb_assert (parent
->separate_debug_objfile_backlink
== NULL
);
440 gdb_assert (parent
->separate_debug_objfile_link
== NULL
);
442 objfile
->separate_debug_objfile_backlink
= parent
;
443 objfile
->separate_debug_objfile_link
= parent
->separate_debug_objfile
;
444 parent
->separate_debug_objfile
= objfile
;
447 /* See objfiles.h. */
450 objfile::make (gdb_bfd_ref_ptr bfd_
, const char *name_
, objfile_flags flags_
,
453 objfile
*result
= new objfile (std::move (bfd_
), name_
, flags_
);
454 if (parent
!= nullptr)
455 add_separate_debug_objfile (result
, parent
);
457 current_program_space
->add_objfile (std::unique_ptr
<objfile
> (result
),
460 /* Rebuild section map next time we need it. */
461 get_objfile_pspace_data (current_program_space
)->new_objfiles_available
= 1;
466 /* See objfiles.h. */
471 current_program_space
->remove_objfile (this);
474 /* Free all separate debug objfile of OBJFILE, but don't free OBJFILE
478 free_objfile_separate_debug (struct objfile
*objfile
)
480 struct objfile
*child
;
482 for (child
= objfile
->separate_debug_objfile
; child
;)
484 struct objfile
*next_child
= child
->separate_debug_objfile_link
;
490 /* Destroy an objfile and all the symtabs and psymtabs under it. */
494 /* First notify observers that this objfile is about to be freed. */
495 gdb::observers::free_objfile
.notify (this);
497 /* Free all separate debug objfiles. */
498 free_objfile_separate_debug (this);
500 if (separate_debug_objfile_backlink
)
502 /* We freed the separate debug file, make sure the base objfile
503 doesn't reference it. */
504 struct objfile
*child
;
506 child
= separate_debug_objfile_backlink
->separate_debug_objfile
;
510 /* THIS is the first child. */
511 separate_debug_objfile_backlink
->separate_debug_objfile
=
512 separate_debug_objfile_link
;
516 /* Find THIS in the list. */
519 if (child
->separate_debug_objfile_link
== this)
521 child
->separate_debug_objfile_link
=
522 separate_debug_objfile_link
;
525 child
= child
->separate_debug_objfile_link
;
531 /* Remove any references to this objfile in the global value
533 preserve_values (this);
535 /* It still may reference data modules have associated with the objfile and
536 the symbol file data. */
537 forget_cached_source_info ();
539 breakpoint_free_objfile (this);
540 btrace_free_objfile (this);
542 /* First do any symbol file specific actions required when we are
543 finished with a particular symbol file. Note that if the objfile
544 is using reusable symbol information (via mmalloc) then each of
545 these routines is responsible for doing the correct thing, either
546 freeing things which are valid only during this particular gdb
547 execution, or leaving them to be reused during the next one. */
550 (*sf
->sym_finish
) (this);
552 /* Before the symbol table code was redone to make it easier to
553 selectively load and remove information particular to a specific
554 linkage unit, gdb used to do these things whenever the monolithic
555 symbol table was blown away. How much still needs to be done
556 is unknown, but we play it safe for now and keep each action until
557 it is shown to be no longer needed. */
559 /* Not all our callers call clear_symtab_users (objfile_purge_solibs,
560 for example), so we need to call this here. */
561 clear_pc_function_cache ();
563 /* Check to see if the current_source_symtab belongs to this objfile,
564 and if so, call clear_current_source_symtab_and_line. */
567 struct symtab_and_line cursal
= get_current_source_symtab_and_line ();
569 if (cursal
.symtab
&& cursal
.symtab
->compunit ()->objfile () == this)
570 clear_current_source_symtab_and_line ();
573 /* Rebuild section map next time we need it. */
574 get_objfile_pspace_data (pspace
)->section_map_dirty
= 1;
578 /* A helper function for objfile_relocate1 that relocates a single
582 relocate_one_symbol (struct symbol
*sym
, struct objfile
*objfile
,
583 const section_offsets
&delta
)
585 /* The RS6000 code from which this was taken skipped
586 any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
587 But I'm leaving out that test, on the theory that
588 they can't possibly pass the tests below. */
589 if ((sym
->aclass () == LOC_LABEL
590 || sym
->aclass () == LOC_STATIC
)
591 && sym
->section_index () >= 0)
592 sym
->set_value_address (sym
->value_address ()
593 + delta
[sym
->section_index ()]);
596 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
597 entries in new_offsets. SEPARATE_DEBUG_OBJFILE is not touched here.
598 Return non-zero iff any change happened. */
601 objfile_relocate1 (struct objfile
*objfile
,
602 const section_offsets
&new_offsets
)
604 section_offsets
delta (objfile
->section_offsets
.size ());
606 int something_changed
= 0;
608 for (int i
= 0; i
< objfile
->section_offsets
.size (); ++i
)
610 delta
[i
] = new_offsets
[i
] - objfile
->section_offsets
[i
];
612 something_changed
= 1;
614 if (!something_changed
)
617 /* OK, get all the symtabs. */
618 for (compunit_symtab
*cust
: objfile
->compunits ())
620 struct blockvector
*bv
= cust
->blockvector ();
621 int block_line_section
= SECT_OFF_TEXT (objfile
);
623 if (bv
->map () != nullptr)
624 bv
->map ()->relocate (delta
[block_line_section
]);
626 for (block
*b
: bv
->blocks ())
628 b
->set_start (b
->start () + delta
[block_line_section
]);
629 b
->set_end (b
->end () + delta
[block_line_section
]);
631 for (blockrange
&r
: b
->ranges ())
633 r
.set_start (r
.start () + delta
[block_line_section
]);
634 r
.set_end (r
.end () + delta
[block_line_section
]);
637 /* We only want to iterate over the local symbols, not any
638 symbols in included symtabs. */
639 for (struct symbol
*sym
: b
->multidict_symbols ())
640 relocate_one_symbol (sym
, objfile
, delta
);
644 /* Relocate isolated symbols. */
645 for (symbol
*iter
= objfile
->template_symbols
; iter
; iter
= iter
->hash_next
)
646 relocate_one_symbol (iter
, objfile
, delta
);
648 for (int i
= 0; i
< objfile
->section_offsets
.size (); ++i
)
649 objfile
->section_offsets
[i
] = new_offsets
[i
];
651 /* Rebuild section map next time we need it. */
652 get_objfile_pspace_data (objfile
->pspace
)->section_map_dirty
= 1;
654 /* Update the table in exec_ops, used to read memory. */
655 for (obj_section
*s
: objfile
->sections ())
657 int idx
= s
- objfile
->sections_start
;
659 exec_set_section_address (bfd_get_filename (objfile
->obfd
.get ()), idx
,
667 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
668 entries in new_offsets. Process also OBJFILE's SEPARATE_DEBUG_OBJFILEs.
670 The number and ordering of sections does differ between the two objfiles.
671 Only their names match. Also the file offsets will differ (objfile being
672 possibly prelinked but separate_debug_objfile is probably not prelinked) but
673 the in-memory absolute address as specified by NEW_OFFSETS must match both
677 objfile_relocate (struct objfile
*objfile
,
678 const section_offsets
&new_offsets
)
682 changed
|= objfile_relocate1 (objfile
, new_offsets
);
684 for (::objfile
*debug_objfile
: objfile
->separate_debug_objfiles ())
686 if (debug_objfile
== objfile
)
689 section_addr_info objfile_addrs
690 = build_section_addr_info_from_objfile (objfile
);
692 /* Here OBJFILE_ADDRS contain the correct absolute addresses, the
693 relative ones must be already created according to debug_objfile. */
695 addr_info_make_relative (&objfile_addrs
, debug_objfile
->obfd
.get ());
697 gdb_assert (debug_objfile
->section_offsets
.size ()
698 == gdb_bfd_count_sections (debug_objfile
->obfd
.get ()));
699 section_offsets new_debug_offsets
700 (debug_objfile
->section_offsets
.size ());
701 relative_addr_info_to_section_offsets (new_debug_offsets
, objfile_addrs
);
703 changed
|= objfile_relocate1 (debug_objfile
, new_debug_offsets
);
706 /* Relocate breakpoints as necessary, after things are relocated. */
708 breakpoint_re_set ();
711 /* Rebase (add to the offsets) OBJFILE by SLIDE. SEPARATE_DEBUG_OBJFILE is
713 Return non-zero iff any change happened. */
716 objfile_rebase1 (struct objfile
*objfile
, CORE_ADDR slide
)
718 section_offsets
new_offsets (objfile
->section_offsets
.size (), slide
);
719 return objfile_relocate1 (objfile
, new_offsets
);
722 /* Rebase (add to the offsets) OBJFILE by SLIDE. Process also OBJFILE's
723 SEPARATE_DEBUG_OBJFILEs. */
726 objfile_rebase (struct objfile
*objfile
, CORE_ADDR slide
)
730 for (::objfile
*debug_objfile
: objfile
->separate_debug_objfiles ())
731 changed
|= objfile_rebase1 (debug_objfile
, slide
);
733 /* Relocate breakpoints as necessary, after things are relocated. */
735 breakpoint_re_set ();
738 /* Return non-zero if OBJFILE has full symbols. */
741 objfile_has_full_symbols (struct objfile
*objfile
)
743 return objfile
->compunit_symtabs
!= NULL
;
746 /* Return non-zero if OBJFILE has full or partial symbols, either directly
747 or through a separate debug file. */
750 objfile_has_symbols (struct objfile
*objfile
)
752 for (::objfile
*o
: objfile
->separate_debug_objfiles ())
753 if (o
->has_partial_symbols () || objfile_has_full_symbols (o
))
759 /* Many places in gdb want to test just to see if we have any partial
760 symbols available. This function returns zero if none are currently
761 available, nonzero otherwise. */
764 have_partial_symbols (void)
766 for (objfile
*ofp
: current_program_space
->objfiles ())
768 if (ofp
->has_partial_symbols ())
774 /* Many places in gdb want to test just to see if we have any full
775 symbols available. This function returns zero if none are currently
776 available, nonzero otherwise. */
779 have_full_symbols (void)
781 for (objfile
*ofp
: current_program_space
->objfiles ())
783 if (objfile_has_full_symbols (ofp
))
790 /* This operations deletes all objfile entries that represent solibs that
791 weren't explicitly loaded by the user, via e.g., the add-symbol-file
795 objfile_purge_solibs (void)
797 for (objfile
*objf
: current_program_space
->objfiles_safe ())
799 /* We assume that the solib package has been purged already, or will
802 if (!(objf
->flags
& OBJF_USERLOADED
) && (objf
->flags
& OBJF_SHARED
))
808 /* Many places in gdb want to test just to see if we have any minimal
809 symbols available. This function returns zero if none are currently
810 available, nonzero otherwise. */
813 have_minimal_symbols (void)
815 for (objfile
*ofp
: current_program_space
->objfiles ())
817 if (ofp
->per_bfd
->minimal_symbol_count
> 0)
825 /* Qsort comparison function. */
828 sort_cmp (const struct obj_section
*sect1
, const obj_section
*sect2
)
830 const CORE_ADDR sect1_addr
= sect1
->addr ();
831 const CORE_ADDR sect2_addr
= sect2
->addr ();
833 if (sect1_addr
< sect2_addr
)
835 else if (sect1_addr
> sect2_addr
)
839 /* Sections are at the same address. This could happen if
840 A) we have an objfile and a separate debuginfo.
841 B) we are confused, and have added sections without proper relocation,
842 or something like that. */
844 const struct objfile
*const objfile1
= sect1
->objfile
;
845 const struct objfile
*const objfile2
= sect2
->objfile
;
847 if (objfile1
->separate_debug_objfile
== objfile2
848 || objfile2
->separate_debug_objfile
== objfile1
)
850 /* Case A. The ordering doesn't matter: separate debuginfo files
851 will be filtered out later. */
856 /* Case B. Maintain stable sort order, so bugs in GDB are easier to
857 triage. This section could be slow (since we iterate over all
858 objfiles in each call to sort_cmp), but this shouldn't happen
859 very often (GDB is already in a confused state; one hopes this
860 doesn't happen at all). If you discover that significant time is
861 spent in the loops below, do 'set complaints 100' and examine the
862 resulting complaints. */
863 if (objfile1
== objfile2
)
865 /* Both sections came from the same objfile. We are really
866 confused. Sort on sequence order of sections within the
867 objfile. The order of checks is important here, if we find a
868 match on SECT2 first then either SECT2 is before SECT1, or,
869 SECT2 == SECT1, in both cases we should return false. The
870 second case shouldn't occur during normal use, but std::sort
871 does check that '!(a < a)' when compiled in debug mode. */
873 for (const obj_section
*osect
: objfile1
->sections ())
876 else if (osect
== sect1
)
879 /* We should have found one of the sections before getting here. */
880 gdb_assert_not_reached ("section not found");
884 /* Sort on sequence number of the objfile in the chain. */
886 for (objfile
*objfile
: current_program_space
->objfiles ())
887 if (objfile
== objfile1
)
889 else if (objfile
== objfile2
)
892 /* We should have found one of the objfiles before getting here. */
893 gdb_assert_not_reached ("objfile not found");
898 gdb_assert_not_reached ("unexpected code path");
902 /* Select "better" obj_section to keep. We prefer the one that came from
903 the real object, rather than the one from separate debuginfo.
904 Most of the time the two sections are exactly identical, but with
905 prelinking the .rel.dyn section in the real object may have different
908 static struct obj_section
*
909 preferred_obj_section (struct obj_section
*a
, struct obj_section
*b
)
911 gdb_assert (a
->addr () == b
->addr ());
912 gdb_assert ((a
->objfile
->separate_debug_objfile
== b
->objfile
)
913 || (b
->objfile
->separate_debug_objfile
== a
->objfile
));
914 gdb_assert ((a
->objfile
->separate_debug_objfile_backlink
== b
->objfile
)
915 || (b
->objfile
->separate_debug_objfile_backlink
== a
->objfile
));
917 if (a
->objfile
->separate_debug_objfile
!= NULL
)
922 /* Return 1 if SECTION should be inserted into the section map.
923 We want to insert only non-overlay non-TLS non-empty sections. */
926 insert_section_p (const struct bfd
*abfd
,
927 const struct bfd_section
*section
)
929 const bfd_vma lma
= bfd_section_lma (section
);
931 if (overlay_debugging
&& lma
!= 0 && lma
!= bfd_section_vma (section
)
932 && (bfd_get_file_flags (abfd
) & BFD_IN_MEMORY
) == 0)
933 /* This is an overlay section. IN_MEMORY check is needed to avoid
934 discarding sections from the "system supplied DSO" (aka vdso)
935 on some Linux systems (e.g. Fedora 11). */
937 if ((bfd_section_flags (section
) & SEC_THREAD_LOCAL
) != 0)
938 /* This is a TLS section. */
940 if (bfd_section_size (section
) == 0)
942 /* This is an empty section. It has no PCs for find_pc_section (), so
943 there is no reason to insert it into the section map. */
950 /* Filter out overlapping sections where one section came from the real
951 objfile, and the other from a separate debuginfo file.
952 Return the size of table after redundant sections have been eliminated. */
955 filter_debuginfo_sections (struct obj_section
**map
, int map_size
)
959 for (i
= 0, j
= 0; i
< map_size
- 1; i
++)
961 struct obj_section
*const sect1
= map
[i
];
962 struct obj_section
*const sect2
= map
[i
+ 1];
963 const struct objfile
*const objfile1
= sect1
->objfile
;
964 const struct objfile
*const objfile2
= sect2
->objfile
;
965 const CORE_ADDR sect1_addr
= sect1
->addr ();
966 const CORE_ADDR sect2_addr
= sect2
->addr ();
968 if (sect1_addr
== sect2_addr
969 && (objfile1
->separate_debug_objfile
== objfile2
970 || objfile2
->separate_debug_objfile
== objfile1
))
972 map
[j
++] = preferred_obj_section (sect1
, sect2
);
981 gdb_assert (i
== map_size
- 1);
985 /* The map should not have shrunk to less than half the original size. */
986 gdb_assert (map_size
/ 2 <= j
);
991 /* Filter out overlapping sections, issuing a warning if any are found.
992 Overlapping sections could really be overlay sections which we didn't
993 classify as such in insert_section_p, or we could be dealing with a
997 filter_overlapping_sections (struct obj_section
**map
, int map_size
)
1001 for (i
= 0, j
= 0; i
< map_size
- 1; )
1006 for (k
= i
+ 1; k
< map_size
; k
++)
1008 struct obj_section
*const sect1
= map
[i
];
1009 struct obj_section
*const sect2
= map
[k
];
1010 const CORE_ADDR sect1_addr
= sect1
->addr ();
1011 const CORE_ADDR sect2_addr
= sect2
->addr ();
1012 const CORE_ADDR sect1_endaddr
= sect1
->endaddr ();
1014 gdb_assert (sect1_addr
<= sect2_addr
);
1016 if (sect1_endaddr
<= sect2_addr
)
1020 /* We have an overlap. Report it. */
1022 struct objfile
*const objf1
= sect1
->objfile
;
1023 struct objfile
*const objf2
= sect2
->objfile
;
1025 const struct bfd_section
*const bfds1
= sect1
->the_bfd_section
;
1026 const struct bfd_section
*const bfds2
= sect2
->the_bfd_section
;
1028 const CORE_ADDR sect2_endaddr
= sect2
->endaddr ();
1030 struct gdbarch
*const gdbarch
= objf1
->arch ();
1032 complaint (_("unexpected overlap between:\n"
1033 " (A) section `%s' from `%s' [%s, %s)\n"
1034 " (B) section `%s' from `%s' [%s, %s).\n"
1035 "Will ignore section B"),
1036 bfd_section_name (bfds1
), objfile_name (objf1
),
1037 paddress (gdbarch
, sect1_addr
),
1038 paddress (gdbarch
, sect1_endaddr
),
1039 bfd_section_name (bfds2
), objfile_name (objf2
),
1040 paddress (gdbarch
, sect2_addr
),
1041 paddress (gdbarch
, sect2_endaddr
));
1049 gdb_assert (i
== map_size
- 1);
1057 /* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
1058 TLS, overlay and overlapping sections. */
1061 update_section_map (struct program_space
*pspace
,
1062 struct obj_section
***pmap
, int *pmap_size
)
1064 struct objfile_pspace_info
*pspace_info
;
1065 int alloc_size
, map_size
, i
;
1066 struct obj_section
**map
;
1068 pspace_info
= get_objfile_pspace_data (pspace
);
1069 gdb_assert (pspace_info
->section_map_dirty
!= 0
1070 || pspace_info
->new_objfiles_available
!= 0);
1076 for (objfile
*objfile
: pspace
->objfiles ())
1077 for (obj_section
*s
: objfile
->sections ())
1078 if (insert_section_p (objfile
->obfd
.get (), s
->the_bfd_section
))
1081 /* This happens on detach/attach (e.g. in gdb.base/attach.exp). */
1082 if (alloc_size
== 0)
1089 map
= XNEWVEC (struct obj_section
*, alloc_size
);
1092 for (objfile
*objfile
: pspace
->objfiles ())
1093 for (obj_section
*s
: objfile
->sections ())
1094 if (insert_section_p (objfile
->obfd
.get (), s
->the_bfd_section
))
1097 std::sort (map
, map
+ alloc_size
, sort_cmp
);
1098 map_size
= filter_debuginfo_sections(map
, alloc_size
);
1099 map_size
= filter_overlapping_sections(map
, map_size
);
1101 if (map_size
< alloc_size
)
1102 /* Some sections were eliminated. Trim excess space. */
1103 map
= XRESIZEVEC (struct obj_section
*, map
, map_size
);
1105 gdb_assert (alloc_size
== map_size
);
1108 *pmap_size
= map_size
;
1111 /* Bsearch comparison function. */
1114 bsearch_cmp (const void *key
, const void *elt
)
1116 const CORE_ADDR pc
= *(CORE_ADDR
*) key
;
1117 const struct obj_section
*section
= *(const struct obj_section
**) elt
;
1119 if (pc
< section
->addr ())
1121 if (pc
< section
->endaddr ())
1126 /* Returns a section whose range includes PC or NULL if none found. */
1128 struct obj_section
*
1129 find_pc_section (CORE_ADDR pc
)
1131 struct objfile_pspace_info
*pspace_info
;
1132 struct obj_section
*s
, **sp
;
1134 /* Check for mapped overlay section first. */
1135 s
= find_pc_mapped_section (pc
);
1139 pspace_info
= get_objfile_pspace_data (current_program_space
);
1140 if (pspace_info
->section_map_dirty
1141 || (pspace_info
->new_objfiles_available
1142 && !pspace_info
->inhibit_updates
))
1144 update_section_map (current_program_space
,
1145 &pspace_info
->sections
,
1146 &pspace_info
->num_sections
);
1148 /* Don't need updates to section map until objfiles are added,
1149 removed or relocated. */
1150 pspace_info
->new_objfiles_available
= 0;
1151 pspace_info
->section_map_dirty
= 0;
1154 /* The C standard (ISO/IEC 9899:TC2) requires the BASE argument to
1155 bsearch be non-NULL. */
1156 if (pspace_info
->sections
== NULL
)
1158 gdb_assert (pspace_info
->num_sections
== 0);
1162 sp
= (struct obj_section
**) bsearch (&pc
,
1163 pspace_info
->sections
,
1164 pspace_info
->num_sections
,
1165 sizeof (*pspace_info
->sections
),
1173 /* Return non-zero if PC is in a section called NAME. */
1176 pc_in_section (CORE_ADDR pc
, const char *name
)
1178 struct obj_section
*s
= find_pc_section (pc
);
1179 return (s
!= nullptr
1180 && s
->the_bfd_section
->name
!= nullptr
1181 && strcmp (s
->the_bfd_section
->name
, name
) == 0);
1185 /* Set section_map_dirty so section map will be rebuilt next time it
1186 is used. Called by reread_symbols. */
1189 objfiles_changed (void)
1191 /* Rebuild section map next time we need it. */
1192 get_objfile_pspace_data (current_program_space
)->section_map_dirty
= 1;
1195 /* See comments in objfiles.h. */
1197 scoped_restore_tmpl
<int>
1198 inhibit_section_map_updates (struct program_space
*pspace
)
1200 return scoped_restore_tmpl
<int>
1201 (&get_objfile_pspace_data (pspace
)->inhibit_updates
, 1);
1204 /* See objfiles.h. */
1207 is_addr_in_objfile (CORE_ADDR addr
, const struct objfile
*objfile
)
1209 if (objfile
== NULL
)
1212 for (obj_section
*osect
: objfile
->sections ())
1214 if (section_is_overlay (osect
) && !section_is_mapped (osect
))
1217 if (osect
->addr () <= addr
&& addr
< osect
->endaddr ())
1223 /* See objfiles.h. */
1226 shared_objfile_contains_address_p (struct program_space
*pspace
,
1229 for (objfile
*objfile
: pspace
->objfiles ())
1231 if ((objfile
->flags
& OBJF_SHARED
) != 0
1232 && is_addr_in_objfile (address
, objfile
))
1239 /* The default implementation for the "iterate_over_objfiles_in_search_order"
1240 gdbarch method. It is equivalent to use the objfiles iterable,
1241 searching the objfiles in the order they are stored internally,
1242 ignoring CURRENT_OBJFILE.
1244 On most platforms, it should be close enough to doing the best
1245 we can without some knowledge specific to the architecture. */
1248 default_iterate_over_objfiles_in_search_order
1249 (gdbarch
*gdbarch
, iterate_over_objfiles_in_search_order_cb_ftype cb
,
1250 objfile
*current_objfile
)
1252 for (objfile
*objfile
: current_program_space
->objfiles ())
1257 /* See objfiles.h. */
1260 objfile_name (const struct objfile
*objfile
)
1262 if (objfile
->obfd
!= NULL
)
1263 return bfd_get_filename (objfile
->obfd
.get ());
1265 return objfile
->original_name
;
1268 /* See objfiles.h. */
1271 objfile_filename (const struct objfile
*objfile
)
1273 if (objfile
->obfd
!= NULL
)
1274 return bfd_get_filename (objfile
->obfd
.get ());
1279 /* See objfiles.h. */
1282 objfile_debug_name (const struct objfile
*objfile
)
1284 return lbasename (objfile
->original_name
);
1287 /* See objfiles.h. */
1290 objfile_flavour_name (struct objfile
*objfile
)
1292 if (objfile
->obfd
!= NULL
)
1293 return bfd_flavour_name (bfd_get_flavour (objfile
->obfd
.get ()));
1297 /* See objfiles.h. */
1300 objfile_int_type (struct objfile
*of
, int size_in_bytes
, bool unsigned_p
)
1302 struct type
*int_type
;
1304 /* Helper macro to examine the various builtin types. */
1305 #define TRY_TYPE(F) \
1306 int_type = (unsigned_p \
1307 ? builtin_type (of)->builtin_unsigned_ ## F \
1308 : builtin_type (of)->builtin_ ## F); \
1309 if (int_type != NULL && int_type->length () == size_in_bytes) \
1316 TRY_TYPE (long_long
);
1320 gdb_assert_not_reached ("unable to find suitable integer type");