1 /* GDB routines for manipulating objfiles.
3 Copyright (C) 1992-2019 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 */
30 #include "gdb-stabs.h"
33 #include "expression.h"
34 #include "parser-defs.h"
36 #include <sys/types.h>
39 #include "gdb_obstack.h"
42 #include "breakpoint.h"
44 #include "dictionary.h"
47 #include "arch-utils.h"
49 #include "observable.h"
50 #include "complaints.h"
55 #include "common/pathstuff.h"
59 /* Keep a registry of per-objfile data-pointers required by other GDB
62 DEFINE_REGISTRY (objfile, REGISTRY_ACCESS_FIELD)
64 /* Externally visible variables that are owned by this module.
65 See declarations in objfile.h for more info. */
67 struct objfile_pspace_info
69 objfile_pspace_info () = default;
70 ~objfile_pspace_info ();
72 struct obj_section **sections = nullptr;
75 /* Nonzero if object files have been added since the section map
77 int new_objfiles_available = 0;
79 /* Nonzero if the section map MUST be updated before use. */
80 int section_map_dirty = 0;
82 /* Nonzero if section map updates should be inhibited if possible. */
83 int inhibit_updates = 0;
86 /* Per-program-space data key. */
87 static const struct program_space_key<objfile_pspace_info>
90 objfile_pspace_info::~objfile_pspace_info ()
95 /* Get the current svr4 data. If none is found yet, add it now. This
96 function always returns a valid object. */
98 static struct objfile_pspace_info *
99 get_objfile_pspace_data (struct program_space *pspace)
101 struct objfile_pspace_info *info;
103 info = objfiles_pspace_data.get (pspace);
105 info = objfiles_pspace_data.emplace (pspace);
112 /* Per-BFD data key. */
114 static const struct bfd_key<objfile_per_bfd_storage> objfiles_bfd_data;
116 objfile_per_bfd_storage::~objfile_per_bfd_storage ()
120 /* Create the per-BFD storage object for OBJFILE. If ABFD is not
121 NULL, and it already has a per-BFD storage object, use that.
122 Otherwise, allocate a new per-BFD storage object. Note that it is
123 not safe to call this multiple times for a given OBJFILE -- it can
124 only be called when allocating or re-initializing OBJFILE. */
126 static struct objfile_per_bfd_storage *
127 get_objfile_bfd_data (struct objfile *objfile, struct bfd *abfd)
129 struct objfile_per_bfd_storage *storage = NULL;
132 storage = objfiles_bfd_data.get (abfd);
136 storage = new objfile_per_bfd_storage;
137 /* If the object requires gdb to do relocations, we simply fall
138 back to not sharing data across users. These cases are rare
139 enough that this seems reasonable. */
140 if (abfd != NULL && !gdb_bfd_requires_relocations (abfd))
141 objfiles_bfd_data.set (abfd, storage);
143 /* Look up the gdbarch associated with the BFD. */
145 storage->gdbarch = gdbarch_from_bfd (abfd);
151 /* See objfiles.h. */
154 set_objfile_per_bfd (struct objfile *objfile)
156 objfile->per_bfd = get_objfile_bfd_data (objfile, objfile->obfd);
159 /* Set the objfile's per-BFD notion of the "main" name and
163 set_objfile_main_name (struct objfile *objfile,
164 const char *name, enum language lang)
166 if (objfile->per_bfd->name_of_main == NULL
167 || strcmp (objfile->per_bfd->name_of_main, name) != 0)
168 objfile->per_bfd->name_of_main
169 = (const char *) obstack_copy0 (&objfile->per_bfd->storage_obstack, name,
171 objfile->per_bfd->language_of_main = lang;
174 /* Helper structure to map blocks to static link properties in hash tables. */
176 struct static_link_htab_entry
178 const struct block *block;
179 const struct dynamic_prop *static_link;
182 /* Return a hash code for struct static_link_htab_entry *P. */
185 static_link_htab_entry_hash (const void *p)
187 const struct static_link_htab_entry *e
188 = (const struct static_link_htab_entry *) p;
190 return htab_hash_pointer (e->block);
193 /* Return whether P1 an P2 (pointers to struct static_link_htab_entry) are
194 mappings for the same block. */
197 static_link_htab_entry_eq (const void *p1, const void *p2)
199 const struct static_link_htab_entry *e1
200 = (const struct static_link_htab_entry *) p1;
201 const struct static_link_htab_entry *e2
202 = (const struct static_link_htab_entry *) p2;
204 return e1->block == e2->block;
207 /* Register STATIC_LINK as the static link for BLOCK, which is part of OBJFILE.
208 Must not be called more than once for each BLOCK. */
211 objfile_register_static_link (struct objfile *objfile,
212 const struct block *block,
213 const struct dynamic_prop *static_link)
216 struct static_link_htab_entry lookup_entry;
217 struct static_link_htab_entry *entry;
219 if (objfile->static_links == NULL)
220 objfile->static_links.reset (htab_create_alloc
221 (1, &static_link_htab_entry_hash, static_link_htab_entry_eq, NULL,
224 /* Create a slot for the mapping, make sure it's the first mapping for this
225 block and then create the mapping itself. */
226 lookup_entry.block = block;
227 slot = htab_find_slot (objfile->static_links.get (), &lookup_entry, INSERT);
228 gdb_assert (*slot == NULL);
230 entry = XOBNEW (&objfile->objfile_obstack, static_link_htab_entry);
231 entry->block = block;
232 entry->static_link = static_link;
233 *slot = (void *) entry;
236 /* Look for a static link for BLOCK, which is part of OBJFILE. Return NULL if
239 const struct dynamic_prop *
240 objfile_lookup_static_link (struct objfile *objfile,
241 const struct block *block)
243 struct static_link_htab_entry *entry;
244 struct static_link_htab_entry lookup_entry;
246 if (objfile->static_links == NULL)
248 lookup_entry.block = block;
249 entry = ((struct static_link_htab_entry *)
250 htab_find (objfile->static_links.get (), &lookup_entry));
254 gdb_assert (entry->block == block);
255 return entry->static_link;
260 /* Called via bfd_map_over_sections to build up the section table that
261 the objfile references. The objfile contains pointers to the start
262 of the table (objfile->sections) and to the first location after
263 the end of the table (objfile->sections_end). */
266 add_to_objfile_sections_full (struct bfd *abfd, struct bfd_section *asect,
267 struct objfile *objfile, int force)
269 struct obj_section *section;
275 aflag = bfd_get_section_flags (abfd, asect);
276 if (!(aflag & SEC_ALLOC))
280 section = &objfile->sections[gdb_bfd_section_index (abfd, asect)];
281 section->objfile = objfile;
282 section->the_bfd_section = asect;
283 section->ovly_mapped = 0;
287 add_to_objfile_sections (struct bfd *abfd, struct bfd_section *asect,
290 add_to_objfile_sections_full (abfd, asect, (struct objfile *) objfilep, 0);
293 /* Builds a section table for OBJFILE.
295 Note that the OFFSET and OVLY_MAPPED in each table entry are
296 initialized to zero. */
299 build_objfile_section_table (struct objfile *objfile)
301 int count = gdb_bfd_count_sections (objfile->obfd);
303 objfile->sections = OBSTACK_CALLOC (&objfile->objfile_obstack,
306 objfile->sections_end = (objfile->sections + count);
307 bfd_map_over_sections (objfile->obfd,
308 add_to_objfile_sections, (void *) objfile);
310 /* See gdb_bfd_section_index. */
311 add_to_objfile_sections_full (objfile->obfd, bfd_com_section_ptr, objfile, 1);
312 add_to_objfile_sections_full (objfile->obfd, bfd_und_section_ptr, objfile, 1);
313 add_to_objfile_sections_full (objfile->obfd, bfd_abs_section_ptr, objfile, 1);
314 add_to_objfile_sections_full (objfile->obfd, bfd_ind_section_ptr, objfile, 1);
317 /* Given a pointer to an initialized bfd (ABFD) and some flag bits,
318 initialize the new objfile as best we can and link it into the list
319 of all known objfiles.
321 NAME should contain original non-canonicalized filename or other
322 identifier as entered by user. If there is no better source use
323 bfd_get_filename (ABFD). NAME may be NULL only if ABFD is NULL.
324 NAME content is copied into returned objfile.
326 The FLAGS word contains various bits (OBJF_*) that can be taken as
327 requests for specific operations. Other bits like OBJF_SHARED are
328 simply copied through to the new objfile flags member. */
330 objfile::objfile (bfd *abfd, const char *name, objfile_flags flags_)
332 pspace (current_program_space),
333 partial_symtabs (new psymtab_storage ()),
336 const char *expanded_name;
338 /* We could use obstack_specify_allocation here instead, but
339 gdb_obstack.h specifies the alloc/dealloc functions. */
340 obstack_init (&objfile_obstack);
342 objfile_alloc_data (this);
344 gdb::unique_xmalloc_ptr<char> name_holder;
347 gdb_assert (abfd == NULL);
348 gdb_assert ((flags & OBJF_NOT_FILENAME) != 0);
349 expanded_name = "<<anonymous objfile>>";
351 else if ((flags & OBJF_NOT_FILENAME) != 0
352 || is_target_filename (name))
353 expanded_name = name;
356 name_holder = gdb_abspath (name);
357 expanded_name = name_holder.get ();
360 = (char *) obstack_copy0 (&objfile_obstack,
362 strlen (expanded_name));
364 /* Update the per-objfile information that comes from the bfd, ensuring
365 that any data that is reference is saved in the per-objfile data
371 mtime = bfd_get_mtime (abfd);
373 /* Build section table. */
374 build_objfile_section_table (this);
377 per_bfd = get_objfile_bfd_data (this, abfd);
379 /* Add this file onto the tail of the linked list of other such files. */
381 if (object_files == NULL)
385 struct objfile *last_one;
387 for (last_one = object_files;
389 last_one = last_one->next);
390 last_one->next = this;
393 /* Rebuild section map next time we need it. */
394 get_objfile_pspace_data (pspace)->new_objfiles_available = 1;
397 /* Retrieve the gdbarch associated with OBJFILE. */
400 get_objfile_arch (const struct objfile *objfile)
402 return objfile->per_bfd->gdbarch;
405 /* If there is a valid and known entry point, function fills *ENTRY_P with it
406 and returns non-zero; otherwise it returns zero. */
409 entry_point_address_query (CORE_ADDR *entry_p)
411 if (symfile_objfile == NULL || !symfile_objfile->per_bfd->ei.entry_point_p)
414 *entry_p = (symfile_objfile->per_bfd->ei.entry_point
415 + ANOFFSET (symfile_objfile->section_offsets,
416 symfile_objfile->per_bfd->ei.the_bfd_section_index));
421 /* Get current entry point address. Call error if it is not known. */
424 entry_point_address (void)
428 if (!entry_point_address_query (&retval))
429 error (_("Entry point address is not known."));
434 separate_debug_iterator &
435 separate_debug_iterator::operator++ ()
437 gdb_assert (m_objfile != nullptr);
441 /* If any, return the first child. */
442 res = m_objfile->separate_debug_objfile;
449 /* Common case where there is no separate debug objfile. */
450 if (m_objfile == m_parent)
456 /* Return the brother if any. Note that we don't iterate on brothers of
458 res = m_objfile->separate_debug_objfile_link;
465 for (res = m_objfile->separate_debug_objfile_backlink;
467 res = res->separate_debug_objfile_backlink)
469 gdb_assert (res != nullptr);
470 if (res->separate_debug_objfile_link != nullptr)
472 m_objfile = res->separate_debug_objfile_link;
480 /* Put one object file before a specified on in the global list.
481 This can be used to make sure an object file is destroyed before
482 another when using objfiles_safe to free all objfiles. */
484 put_objfile_before (struct objfile *objfile, struct objfile *before_this)
486 struct objfile **objp;
488 unlink_objfile (objfile);
490 for (objp = &object_files; *objp != NULL; objp = &((*objp)->next))
492 if (*objp == before_this)
494 objfile->next = *objp;
500 internal_error (__FILE__, __LINE__,
501 _("put_objfile_before: before objfile not in list"));
504 /* Unlink OBJFILE from the list of known objfiles, if it is found in the
507 It is not a bug, or error, to call this function if OBJFILE is not known
508 to be in the current list. This is done in the case of mapped objfiles,
509 for example, just to ensure that the mapped objfile doesn't appear twice
510 in the list. Since the list is threaded, linking in a mapped objfile
511 twice would create a circular list.
513 If OBJFILE turns out to be in the list, we zap it's NEXT pointer after
514 unlinking it, just to ensure that we have completely severed any linkages
515 between the OBJFILE and the list. */
518 unlink_objfile (struct objfile *objfile)
520 struct objfile **objpp;
522 for (objpp = &object_files; *objpp != NULL; objpp = &((*objpp)->next))
524 if (*objpp == objfile)
526 *objpp = (*objpp)->next;
527 objfile->next = NULL;
532 internal_error (__FILE__, __LINE__,
533 _("unlink_objfile: objfile already unlinked"));
536 /* Add OBJFILE as a separate debug objfile of PARENT. */
539 add_separate_debug_objfile (struct objfile *objfile, struct objfile *parent)
541 gdb_assert (objfile && parent);
543 /* Must not be already in a list. */
544 gdb_assert (objfile->separate_debug_objfile_backlink == NULL);
545 gdb_assert (objfile->separate_debug_objfile_link == NULL);
546 gdb_assert (objfile->separate_debug_objfile == NULL);
547 gdb_assert (parent->separate_debug_objfile_backlink == NULL);
548 gdb_assert (parent->separate_debug_objfile_link == NULL);
550 objfile->separate_debug_objfile_backlink = parent;
551 objfile->separate_debug_objfile_link = parent->separate_debug_objfile;
552 parent->separate_debug_objfile = objfile;
554 /* Put the separate debug object before the normal one, this is so that
555 usage of objfiles_safe will stay safe. */
556 put_objfile_before (objfile, parent);
559 /* Free all separate debug objfile of OBJFILE, but don't free OBJFILE
563 free_objfile_separate_debug (struct objfile *objfile)
565 struct objfile *child;
567 for (child = objfile->separate_debug_objfile; child;)
569 struct objfile *next_child = child->separate_debug_objfile_link;
575 /* Destroy an objfile and all the symtabs and psymtabs under it. */
579 /* First notify observers that this objfile is about to be freed. */
580 gdb::observers::free_objfile.notify (this);
582 /* Free all separate debug objfiles. */
583 free_objfile_separate_debug (this);
585 if (separate_debug_objfile_backlink)
587 /* We freed the separate debug file, make sure the base objfile
588 doesn't reference it. */
589 struct objfile *child;
591 child = separate_debug_objfile_backlink->separate_debug_objfile;
595 /* THIS is the first child. */
596 separate_debug_objfile_backlink->separate_debug_objfile =
597 separate_debug_objfile_link;
601 /* Find THIS in the list. */
604 if (child->separate_debug_objfile_link == this)
606 child->separate_debug_objfile_link =
607 separate_debug_objfile_link;
610 child = child->separate_debug_objfile_link;
616 /* Remove any references to this objfile in the global value
618 preserve_values (this);
620 /* It still may reference data modules have associated with the objfile and
621 the symbol file data. */
622 forget_cached_source_info_for_objfile (this);
624 breakpoint_free_objfile (this);
625 btrace_free_objfile (this);
627 /* First do any symbol file specific actions required when we are
628 finished with a particular symbol file. Note that if the objfile
629 is using reusable symbol information (via mmalloc) then each of
630 these routines is responsible for doing the correct thing, either
631 freeing things which are valid only during this particular gdb
632 execution, or leaving them to be reused during the next one. */
635 (*sf->sym_finish) (this);
637 /* Discard any data modules have associated with the objfile. The function
638 still may reference obfd. */
639 objfile_free_data (this);
642 gdb_bfd_unref (obfd);
646 /* Remove it from the chain of all objfiles. */
648 unlink_objfile (this);
650 if (this == symfile_objfile)
651 symfile_objfile = NULL;
653 /* Before the symbol table code was redone to make it easier to
654 selectively load and remove information particular to a specific
655 linkage unit, gdb used to do these things whenever the monolithic
656 symbol table was blown away. How much still needs to be done
657 is unknown, but we play it safe for now and keep each action until
658 it is shown to be no longer needed. */
660 /* Not all our callers call clear_symtab_users (objfile_purge_solibs,
661 for example), so we need to call this here. */
662 clear_pc_function_cache ();
664 /* Check to see if the current_source_symtab belongs to this objfile,
665 and if so, call clear_current_source_symtab_and_line. */
668 struct symtab_and_line cursal = get_current_source_symtab_and_line ();
670 if (cursal.symtab && SYMTAB_OBJFILE (cursal.symtab) == this)
671 clear_current_source_symtab_and_line ();
674 /* Free the obstacks for non-reusable objfiles. */
675 obstack_free (&objfile_obstack, 0);
677 /* Rebuild section map next time we need it. */
678 get_objfile_pspace_data (pspace)->section_map_dirty = 1;
681 /* Free all the object files at once and clean up their users. */
684 free_all_objfiles (void)
688 /* Any objfile reference would become stale. */
689 for (so = master_so_list (); so; so = so->next)
690 gdb_assert (so->objfile == NULL);
692 for (objfile *objfile : current_program_space->objfiles_safe ())
694 clear_symtab_users (0);
697 /* A helper function for objfile_relocate1 that relocates a single
701 relocate_one_symbol (struct symbol *sym, struct objfile *objfile,
702 struct section_offsets *delta)
704 fixup_symbol_section (sym, objfile);
706 /* The RS6000 code from which this was taken skipped
707 any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
708 But I'm leaving out that test, on the theory that
709 they can't possibly pass the tests below. */
710 if ((SYMBOL_CLASS (sym) == LOC_LABEL
711 || SYMBOL_CLASS (sym) == LOC_STATIC)
712 && SYMBOL_SECTION (sym) >= 0)
714 SYMBOL_VALUE_ADDRESS (sym) += ANOFFSET (delta, SYMBOL_SECTION (sym));
718 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
719 entries in new_offsets. SEPARATE_DEBUG_OBJFILE is not touched here.
720 Return non-zero iff any change happened. */
723 objfile_relocate1 (struct objfile *objfile,
724 const struct section_offsets *new_offsets)
726 struct section_offsets *delta =
727 ((struct section_offsets *)
728 alloca (SIZEOF_N_SECTION_OFFSETS (objfile->num_sections)));
730 int something_changed = 0;
732 for (int i = 0; i < objfile->num_sections; ++i)
735 ANOFFSET (new_offsets, i) - ANOFFSET (objfile->section_offsets, i);
736 if (ANOFFSET (delta, i) != 0)
737 something_changed = 1;
739 if (!something_changed)
742 /* OK, get all the symtabs. */
744 for (compunit_symtab *cust : objfile->compunits ())
746 for (symtab *s : compunit_filetabs (cust))
750 /* First the line table. */
751 l = SYMTAB_LINETABLE (s);
754 for (int i = 0; i < l->nitems; ++i)
755 l->item[i].pc += ANOFFSET (delta,
756 COMPUNIT_BLOCK_LINE_SECTION
762 for (compunit_symtab *cust : objfile->compunits ())
764 const struct blockvector *bv = COMPUNIT_BLOCKVECTOR (cust);
765 int block_line_section = COMPUNIT_BLOCK_LINE_SECTION (cust);
767 if (BLOCKVECTOR_MAP (bv))
768 addrmap_relocate (BLOCKVECTOR_MAP (bv),
769 ANOFFSET (delta, block_line_section));
771 for (int i = 0; i < BLOCKVECTOR_NBLOCKS (bv); ++i)
775 struct mdict_iterator miter;
777 b = BLOCKVECTOR_BLOCK (bv, i);
778 BLOCK_START (b) += ANOFFSET (delta, block_line_section);
779 BLOCK_END (b) += ANOFFSET (delta, block_line_section);
781 if (BLOCK_RANGES (b) != nullptr)
782 for (int j = 0; j < BLOCK_NRANGES (b); j++)
784 BLOCK_RANGE_START (b, j)
785 += ANOFFSET (delta, block_line_section);
786 BLOCK_RANGE_END (b, j) += ANOFFSET (delta,
790 /* We only want to iterate over the local symbols, not any
791 symbols in included symtabs. */
792 ALL_DICT_SYMBOLS (BLOCK_MULTIDICT (b), miter, sym)
794 relocate_one_symbol (sym, objfile, delta);
800 /* This stores relocated addresses and so must be cleared. This
801 will cause it to be recreated on demand. */
802 objfile->psymbol_map.clear ();
804 /* Relocate isolated symbols. */
808 for (iter = objfile->template_symbols; iter; iter = iter->hash_next)
809 relocate_one_symbol (iter, objfile, delta);
815 for (i = 0; i < objfile->num_sections; ++i)
816 (objfile->section_offsets)->offsets[i] = ANOFFSET (new_offsets, i);
819 /* Rebuild section map next time we need it. */
820 get_objfile_pspace_data (objfile->pspace)->section_map_dirty = 1;
822 /* Update the table in exec_ops, used to read memory. */
823 struct obj_section *s;
824 ALL_OBJFILE_OSECTIONS (objfile, s)
826 int idx = s - objfile->sections;
828 exec_set_section_address (bfd_get_filename (objfile->obfd), idx,
829 obj_section_addr (s));
836 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
837 entries in new_offsets. Process also OBJFILE's SEPARATE_DEBUG_OBJFILEs.
839 The number and ordering of sections does differ between the two objfiles.
840 Only their names match. Also the file offsets will differ (objfile being
841 possibly prelinked but separate_debug_objfile is probably not prelinked) but
842 the in-memory absolute address as specified by NEW_OFFSETS must match both
846 objfile_relocate (struct objfile *objfile,
847 const struct section_offsets *new_offsets)
851 changed |= objfile_relocate1 (objfile, new_offsets);
853 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
855 if (debug_objfile == objfile)
858 section_addr_info objfile_addrs
859 = build_section_addr_info_from_objfile (objfile);
861 /* Here OBJFILE_ADDRS contain the correct absolute addresses, the
862 relative ones must be already created according to debug_objfile. */
864 addr_info_make_relative (&objfile_addrs, debug_objfile->obfd);
866 gdb_assert (debug_objfile->num_sections
867 == gdb_bfd_count_sections (debug_objfile->obfd));
868 std::vector<struct section_offsets>
869 new_debug_offsets (SIZEOF_N_SECTION_OFFSETS (debug_objfile->num_sections));
870 relative_addr_info_to_section_offsets (new_debug_offsets.data (),
871 debug_objfile->num_sections,
874 changed |= objfile_relocate1 (debug_objfile, new_debug_offsets.data ());
877 /* Relocate breakpoints as necessary, after things are relocated. */
879 breakpoint_re_set ();
882 /* Rebase (add to the offsets) OBJFILE by SLIDE. SEPARATE_DEBUG_OBJFILE is
884 Return non-zero iff any change happened. */
887 objfile_rebase1 (struct objfile *objfile, CORE_ADDR slide)
889 struct section_offsets *new_offsets =
890 ((struct section_offsets *)
891 alloca (SIZEOF_N_SECTION_OFFSETS (objfile->num_sections)));
894 for (i = 0; i < objfile->num_sections; ++i)
895 new_offsets->offsets[i] = slide;
897 return objfile_relocate1 (objfile, new_offsets);
900 /* Rebase (add to the offsets) OBJFILE by SLIDE. Process also OBJFILE's
901 SEPARATE_DEBUG_OBJFILEs. */
904 objfile_rebase (struct objfile *objfile, CORE_ADDR slide)
908 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
909 changed |= objfile_rebase1 (debug_objfile, slide);
911 /* Relocate breakpoints as necessary, after things are relocated. */
913 breakpoint_re_set ();
916 /* Return non-zero if OBJFILE has partial symbols. */
919 objfile_has_partial_symbols (struct objfile *objfile)
924 /* If we have not read psymbols, but we have a function capable of reading
925 them, then that is an indication that they are in fact available. Without
926 this function the symbols may have been already read in but they also may
927 not be present in this objfile. */
928 if ((objfile->flags & OBJF_PSYMTABS_READ) == 0
929 && objfile->sf->sym_read_psymbols != NULL)
932 return objfile->sf->qf->has_symbols (objfile);
935 /* Return non-zero if OBJFILE has full symbols. */
938 objfile_has_full_symbols (struct objfile *objfile)
940 return objfile->compunit_symtabs != NULL;
943 /* Return non-zero if OBJFILE has full or partial symbols, either directly
944 or through a separate debug file. */
947 objfile_has_symbols (struct objfile *objfile)
949 for (::objfile *o : objfile->separate_debug_objfiles ())
950 if (objfile_has_partial_symbols (o) || objfile_has_full_symbols (o))
956 /* Many places in gdb want to test just to see if we have any partial
957 symbols available. This function returns zero if none are currently
958 available, nonzero otherwise. */
961 have_partial_symbols (void)
963 for (objfile *ofp : current_program_space->objfiles ())
965 if (objfile_has_partial_symbols (ofp))
971 /* Many places in gdb want to test just to see if we have any full
972 symbols available. This function returns zero if none are currently
973 available, nonzero otherwise. */
976 have_full_symbols (void)
978 for (objfile *ofp : current_program_space->objfiles ())
980 if (objfile_has_full_symbols (ofp))
987 /* This operations deletes all objfile entries that represent solibs that
988 weren't explicitly loaded by the user, via e.g., the add-symbol-file
992 objfile_purge_solibs (void)
994 for (objfile *objf : current_program_space->objfiles_safe ())
996 /* We assume that the solib package has been purged already, or will
999 if (!(objf->flags & OBJF_USERLOADED) && (objf->flags & OBJF_SHARED))
1005 /* Many places in gdb want to test just to see if we have any minimal
1006 symbols available. This function returns zero if none are currently
1007 available, nonzero otherwise. */
1010 have_minimal_symbols (void)
1012 for (objfile *ofp : current_program_space->objfiles ())
1014 if (ofp->per_bfd->minimal_symbol_count > 0)
1022 /* Qsort comparison function. */
1025 qsort_cmp (const void *a, const void *b)
1027 const struct obj_section *sect1 = *(const struct obj_section **) a;
1028 const struct obj_section *sect2 = *(const struct obj_section **) b;
1029 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
1030 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
1032 if (sect1_addr < sect2_addr)
1034 else if (sect1_addr > sect2_addr)
1038 /* Sections are at the same address. This could happen if
1039 A) we have an objfile and a separate debuginfo.
1040 B) we are confused, and have added sections without proper relocation,
1041 or something like that. */
1043 const struct objfile *const objfile1 = sect1->objfile;
1044 const struct objfile *const objfile2 = sect2->objfile;
1046 if (objfile1->separate_debug_objfile == objfile2
1047 || objfile2->separate_debug_objfile == objfile1)
1049 /* Case A. The ordering doesn't matter: separate debuginfo files
1050 will be filtered out later. */
1055 /* Case B. Maintain stable sort order, so bugs in GDB are easier to
1056 triage. This section could be slow (since we iterate over all
1057 objfiles in each call to qsort_cmp), but this shouldn't happen
1058 very often (GDB is already in a confused state; one hopes this
1059 doesn't happen at all). If you discover that significant time is
1060 spent in the loops below, do 'set complaints 100' and examine the
1061 resulting complaints. */
1063 if (objfile1 == objfile2)
1065 /* Both sections came from the same objfile. We are really confused.
1066 Sort on sequence order of sections within the objfile. */
1068 const struct obj_section *osect;
1070 ALL_OBJFILE_OSECTIONS (objfile1, osect)
1073 else if (osect == sect2)
1076 /* We should have found one of the sections before getting here. */
1077 gdb_assert_not_reached ("section not found");
1081 /* Sort on sequence number of the objfile in the chain. */
1083 for (objfile *objfile : current_program_space->objfiles ())
1084 if (objfile == objfile1)
1086 else if (objfile == objfile2)
1089 /* We should have found one of the objfiles before getting here. */
1090 gdb_assert_not_reached ("objfile not found");
1095 gdb_assert_not_reached ("unexpected code path");
1099 /* Select "better" obj_section to keep. We prefer the one that came from
1100 the real object, rather than the one from separate debuginfo.
1101 Most of the time the two sections are exactly identical, but with
1102 prelinking the .rel.dyn section in the real object may have different
1105 static struct obj_section *
1106 preferred_obj_section (struct obj_section *a, struct obj_section *b)
1108 gdb_assert (obj_section_addr (a) == obj_section_addr (b));
1109 gdb_assert ((a->objfile->separate_debug_objfile == b->objfile)
1110 || (b->objfile->separate_debug_objfile == a->objfile));
1111 gdb_assert ((a->objfile->separate_debug_objfile_backlink == b->objfile)
1112 || (b->objfile->separate_debug_objfile_backlink == a->objfile));
1114 if (a->objfile->separate_debug_objfile != NULL)
1119 /* Return 1 if SECTION should be inserted into the section map.
1120 We want to insert only non-overlay and non-TLS section. */
1123 insert_section_p (const struct bfd *abfd,
1124 const struct bfd_section *section)
1126 const bfd_vma lma = bfd_section_lma (abfd, section);
1128 if (overlay_debugging && lma != 0 && lma != bfd_section_vma (abfd, section)
1129 && (bfd_get_file_flags (abfd) & BFD_IN_MEMORY) == 0)
1130 /* This is an overlay section. IN_MEMORY check is needed to avoid
1131 discarding sections from the "system supplied DSO" (aka vdso)
1132 on some Linux systems (e.g. Fedora 11). */
1134 if ((bfd_get_section_flags (abfd, section) & SEC_THREAD_LOCAL) != 0)
1135 /* This is a TLS section. */
1141 /* Filter out overlapping sections where one section came from the real
1142 objfile, and the other from a separate debuginfo file.
1143 Return the size of table after redundant sections have been eliminated. */
1146 filter_debuginfo_sections (struct obj_section **map, int map_size)
1150 for (i = 0, j = 0; i < map_size - 1; i++)
1152 struct obj_section *const sect1 = map[i];
1153 struct obj_section *const sect2 = map[i + 1];
1154 const struct objfile *const objfile1 = sect1->objfile;
1155 const struct objfile *const objfile2 = sect2->objfile;
1156 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
1157 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
1159 if (sect1_addr == sect2_addr
1160 && (objfile1->separate_debug_objfile == objfile2
1161 || objfile2->separate_debug_objfile == objfile1))
1163 map[j++] = preferred_obj_section (sect1, sect2);
1172 gdb_assert (i == map_size - 1);
1176 /* The map should not have shrunk to less than half the original size. */
1177 gdb_assert (map_size / 2 <= j);
1182 /* Filter out overlapping sections, issuing a warning if any are found.
1183 Overlapping sections could really be overlay sections which we didn't
1184 classify as such in insert_section_p, or we could be dealing with a
1188 filter_overlapping_sections (struct obj_section **map, int map_size)
1192 for (i = 0, j = 0; i < map_size - 1; )
1197 for (k = i + 1; k < map_size; k++)
1199 struct obj_section *const sect1 = map[i];
1200 struct obj_section *const sect2 = map[k];
1201 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
1202 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
1203 const CORE_ADDR sect1_endaddr = obj_section_endaddr (sect1);
1205 gdb_assert (sect1_addr <= sect2_addr);
1207 if (sect1_endaddr <= sect2_addr)
1211 /* We have an overlap. Report it. */
1213 struct objfile *const objf1 = sect1->objfile;
1214 struct objfile *const objf2 = sect2->objfile;
1216 const struct bfd_section *const bfds1 = sect1->the_bfd_section;
1217 const struct bfd_section *const bfds2 = sect2->the_bfd_section;
1219 const CORE_ADDR sect2_endaddr = obj_section_endaddr (sect2);
1221 struct gdbarch *const gdbarch = get_objfile_arch (objf1);
1223 complaint (_("unexpected overlap between:\n"
1224 " (A) section `%s' from `%s' [%s, %s)\n"
1225 " (B) section `%s' from `%s' [%s, %s).\n"
1226 "Will ignore section B"),
1227 bfd_section_name (abfd1, bfds1), objfile_name (objf1),
1228 paddress (gdbarch, sect1_addr),
1229 paddress (gdbarch, sect1_endaddr),
1230 bfd_section_name (abfd2, bfds2), objfile_name (objf2),
1231 paddress (gdbarch, sect2_addr),
1232 paddress (gdbarch, sect2_endaddr));
1240 gdb_assert (i == map_size - 1);
1248 /* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
1249 TLS, overlay and overlapping sections. */
1252 update_section_map (struct program_space *pspace,
1253 struct obj_section ***pmap, int *pmap_size)
1255 struct objfile_pspace_info *pspace_info;
1256 int alloc_size, map_size, i;
1257 struct obj_section *s, **map;
1259 pspace_info = get_objfile_pspace_data (pspace);
1260 gdb_assert (pspace_info->section_map_dirty != 0
1261 || pspace_info->new_objfiles_available != 0);
1267 for (objfile *objfile : pspace->objfiles ())
1268 ALL_OBJFILE_OSECTIONS (objfile, s)
1269 if (insert_section_p (objfile->obfd, s->the_bfd_section))
1272 /* This happens on detach/attach (e.g. in gdb.base/attach.exp). */
1273 if (alloc_size == 0)
1280 map = XNEWVEC (struct obj_section *, alloc_size);
1283 for (objfile *objfile : pspace->objfiles ())
1284 ALL_OBJFILE_OSECTIONS (objfile, s)
1285 if (insert_section_p (objfile->obfd, s->the_bfd_section))
1288 qsort (map, alloc_size, sizeof (*map), qsort_cmp);
1289 map_size = filter_debuginfo_sections(map, alloc_size);
1290 map_size = filter_overlapping_sections(map, map_size);
1292 if (map_size < alloc_size)
1293 /* Some sections were eliminated. Trim excess space. */
1294 map = XRESIZEVEC (struct obj_section *, map, map_size);
1296 gdb_assert (alloc_size == map_size);
1299 *pmap_size = map_size;
1302 /* Bsearch comparison function. */
1305 bsearch_cmp (const void *key, const void *elt)
1307 const CORE_ADDR pc = *(CORE_ADDR *) key;
1308 const struct obj_section *section = *(const struct obj_section **) elt;
1310 if (pc < obj_section_addr (section))
1312 if (pc < obj_section_endaddr (section))
1317 /* Returns a section whose range includes PC or NULL if none found. */
1319 struct obj_section *
1320 find_pc_section (CORE_ADDR pc)
1322 struct objfile_pspace_info *pspace_info;
1323 struct obj_section *s, **sp;
1325 /* Check for mapped overlay section first. */
1326 s = find_pc_mapped_section (pc);
1330 pspace_info = get_objfile_pspace_data (current_program_space);
1331 if (pspace_info->section_map_dirty
1332 || (pspace_info->new_objfiles_available
1333 && !pspace_info->inhibit_updates))
1335 update_section_map (current_program_space,
1336 &pspace_info->sections,
1337 &pspace_info->num_sections);
1339 /* Don't need updates to section map until objfiles are added,
1340 removed or relocated. */
1341 pspace_info->new_objfiles_available = 0;
1342 pspace_info->section_map_dirty = 0;
1345 /* The C standard (ISO/IEC 9899:TC2) requires the BASE argument to
1346 bsearch be non-NULL. */
1347 if (pspace_info->sections == NULL)
1349 gdb_assert (pspace_info->num_sections == 0);
1353 sp = (struct obj_section **) bsearch (&pc,
1354 pspace_info->sections,
1355 pspace_info->num_sections,
1356 sizeof (*pspace_info->sections),
1364 /* Return non-zero if PC is in a section called NAME. */
1367 pc_in_section (CORE_ADDR pc, const char *name)
1369 struct obj_section *s;
1372 s = find_pc_section (pc);
1375 && s->the_bfd_section->name != NULL
1376 && strcmp (s->the_bfd_section->name, name) == 0);
1381 /* Set section_map_dirty so section map will be rebuilt next time it
1382 is used. Called by reread_symbols. */
1385 objfiles_changed (void)
1387 /* Rebuild section map next time we need it. */
1388 get_objfile_pspace_data (current_program_space)->section_map_dirty = 1;
1391 /* See comments in objfiles.h. */
1393 scoped_restore_tmpl<int>
1394 inhibit_section_map_updates (struct program_space *pspace)
1396 return scoped_restore_tmpl<int>
1397 (&get_objfile_pspace_data (pspace)->inhibit_updates, 1);
1400 /* Return 1 if ADDR maps into one of the sections of OBJFILE and 0
1404 is_addr_in_objfile (CORE_ADDR addr, const struct objfile *objfile)
1406 struct obj_section *osect;
1408 if (objfile == NULL)
1411 ALL_OBJFILE_OSECTIONS (objfile, osect)
1413 if (section_is_overlay (osect) && !section_is_mapped (osect))
1416 if (obj_section_addr (osect) <= addr
1417 && addr < obj_section_endaddr (osect))
1424 shared_objfile_contains_address_p (struct program_space *pspace,
1427 for (objfile *objfile : pspace->objfiles ())
1429 if ((objfile->flags & OBJF_SHARED) != 0
1430 && is_addr_in_objfile (address, objfile))
1437 /* The default implementation for the "iterate_over_objfiles_in_search_order"
1438 gdbarch method. It is equivalent to use the objfiles iterable,
1439 searching the objfiles in the order they are stored internally,
1440 ignoring CURRENT_OBJFILE.
1442 On most platorms, it should be close enough to doing the best
1443 we can without some knowledge specific to the architecture. */
1446 default_iterate_over_objfiles_in_search_order
1447 (struct gdbarch *gdbarch,
1448 iterate_over_objfiles_in_search_order_cb_ftype *cb,
1449 void *cb_data, struct objfile *current_objfile)
1453 for (objfile *objfile : current_program_space->objfiles ())
1455 stop = cb (objfile, cb_data);
1461 /* See objfiles.h. */
1464 objfile_name (const struct objfile *objfile)
1466 if (objfile->obfd != NULL)
1467 return bfd_get_filename (objfile->obfd);
1469 return objfile->original_name;
1472 /* See objfiles.h. */
1475 objfile_filename (const struct objfile *objfile)
1477 if (objfile->obfd != NULL)
1478 return bfd_get_filename (objfile->obfd);
1483 /* See objfiles.h. */
1486 objfile_debug_name (const struct objfile *objfile)
1488 return lbasename (objfile->original_name);
1491 /* See objfiles.h. */
1494 objfile_flavour_name (struct objfile *objfile)
1496 if (objfile->obfd != NULL)
1497 return bfd_flavour_name (bfd_get_flavour (objfile->obfd));