Automatic date update in version.in
[binutils-gdb.git] / gdb / objfiles.c
blob7759311afca14e93c1a3775d156716f8b3c2a8df
1 /* GDB routines for manipulating objfiles.
3 Copyright (C) 1992-2022 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. */
25 #include "defs.h"
26 #include "bfd.h" /* Binary File Description */
27 #include "symtab.h"
28 #include "symfile.h"
29 #include "objfiles.h"
30 #include "gdb-stabs.h"
31 #include "target.h"
32 #include "bcache.h"
33 #include "expression.h"
34 #include "parser-defs.h"
36 #include <sys/types.h>
37 #include <sys/stat.h>
38 #include <fcntl.h>
39 #include "gdbsupport/gdb_obstack.h"
40 #include "hashtab.h"
42 #include "breakpoint.h"
43 #include "block.h"
44 #include "dictionary.h"
45 #include "source.h"
46 #include "addrmap.h"
47 #include "arch-utils.h"
48 #include "exec.h"
49 #include "observable.h"
50 #include "complaints.h"
51 #include "psymtab.h"
52 #include "solist.h"
53 #include "gdb_bfd.h"
54 #include "btrace.h"
55 #include "gdbsupport/pathstuff.h"
57 #include <algorithm>
58 #include <vector>
60 /* Externally visible variables that are owned by this module.
61 See declarations in objfile.h for more info. */
63 struct objfile_pspace_info
65 objfile_pspace_info () = default;
66 ~objfile_pspace_info ();
68 struct obj_section **sections = nullptr;
69 int num_sections = 0;
71 /* Nonzero if object files have been added since the section map
72 was last updated. */
73 int new_objfiles_available = 0;
75 /* Nonzero if the section map MUST be updated before use. */
76 int section_map_dirty = 0;
78 /* Nonzero if section map updates should be inhibited if possible. */
79 int inhibit_updates = 0;
82 /* Per-program-space data key. */
83 static const registry<program_space>::key<objfile_pspace_info>
84 objfiles_pspace_data;
86 objfile_pspace_info::~objfile_pspace_info ()
88 xfree (sections);
91 /* Get the current svr4 data. If none is found yet, add it now. This
92 function always returns a valid object. */
94 static struct objfile_pspace_info *
95 get_objfile_pspace_data (struct program_space *pspace)
97 struct objfile_pspace_info *info;
99 info = objfiles_pspace_data.get (pspace);
100 if (info == NULL)
101 info = objfiles_pspace_data.emplace (pspace);
103 return info;
108 /* Per-BFD data key. */
110 static const registry<bfd>::key<objfile_per_bfd_storage> objfiles_bfd_data;
112 objfile_per_bfd_storage::~objfile_per_bfd_storage ()
116 /* Create the per-BFD storage object for OBJFILE. If ABFD is not
117 NULL, and it already has a per-BFD storage object, use that.
118 Otherwise, allocate a new per-BFD storage object. */
120 static struct objfile_per_bfd_storage *
121 get_objfile_bfd_data (bfd *abfd)
123 struct objfile_per_bfd_storage *storage = NULL;
125 if (abfd != NULL)
126 storage = objfiles_bfd_data.get (abfd);
128 if (storage == NULL)
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 /* Look up the gdbarch associated with the BFD. */
138 if (abfd != NULL)
139 storage->gdbarch = gdbarch_from_bfd (abfd);
142 return storage;
145 /* See objfiles.h. */
147 void
148 set_objfile_per_bfd (struct objfile *objfile)
150 objfile->per_bfd = get_objfile_bfd_data (objfile->obfd);
153 /* Set the objfile's per-BFD notion of the "main" name and
154 language. */
156 void
157 set_objfile_main_name (struct objfile *objfile,
158 const char *name, enum language lang)
160 if (objfile->per_bfd->name_of_main == NULL
161 || strcmp (objfile->per_bfd->name_of_main, name) != 0)
162 objfile->per_bfd->name_of_main
163 = obstack_strdup (&objfile->per_bfd->storage_obstack, name);
164 objfile->per_bfd->language_of_main = lang;
167 /* Helper structure to map blocks to static link properties in hash tables. */
169 struct static_link_htab_entry
171 const struct block *block;
172 const struct dynamic_prop *static_link;
175 /* Return a hash code for struct static_link_htab_entry *P. */
177 static hashval_t
178 static_link_htab_entry_hash (const void *p)
180 const struct static_link_htab_entry *e
181 = (const struct static_link_htab_entry *) p;
183 return htab_hash_pointer (e->block);
186 /* Return whether P1 an P2 (pointers to struct static_link_htab_entry) are
187 mappings for the same block. */
189 static int
190 static_link_htab_entry_eq (const void *p1, const void *p2)
192 const struct static_link_htab_entry *e1
193 = (const struct static_link_htab_entry *) p1;
194 const struct static_link_htab_entry *e2
195 = (const struct static_link_htab_entry *) p2;
197 return e1->block == e2->block;
200 /* Register STATIC_LINK as the static link for BLOCK, which is part of OBJFILE.
201 Must not be called more than once for each BLOCK. */
203 void
204 objfile_register_static_link (struct objfile *objfile,
205 const struct block *block,
206 const struct dynamic_prop *static_link)
208 void **slot;
209 struct static_link_htab_entry lookup_entry;
210 struct static_link_htab_entry *entry;
212 if (objfile->static_links == NULL)
213 objfile->static_links.reset (htab_create_alloc
214 (1, &static_link_htab_entry_hash, static_link_htab_entry_eq, NULL,
215 xcalloc, xfree));
217 /* Create a slot for the mapping, make sure it's the first mapping for this
218 block and then create the mapping itself. */
219 lookup_entry.block = block;
220 slot = htab_find_slot (objfile->static_links.get (), &lookup_entry, INSERT);
221 gdb_assert (*slot == NULL);
223 entry = XOBNEW (&objfile->objfile_obstack, static_link_htab_entry);
224 entry->block = block;
225 entry->static_link = static_link;
226 *slot = (void *) entry;
229 /* Look for a static link for BLOCK, which is part of OBJFILE. Return NULL if
230 none was found. */
232 const struct dynamic_prop *
233 objfile_lookup_static_link (struct objfile *objfile,
234 const struct block *block)
236 struct static_link_htab_entry *entry;
237 struct static_link_htab_entry lookup_entry;
239 if (objfile->static_links == NULL)
240 return NULL;
241 lookup_entry.block = block;
242 entry = ((struct static_link_htab_entry *)
243 htab_find (objfile->static_links.get (), &lookup_entry));
244 if (entry == NULL)
245 return NULL;
247 gdb_assert (entry->block == block);
248 return entry->static_link;
253 /* Build up the section table that the objfile references. The
254 objfile contains pointers to the start of the table
255 (objfile->sections) and to the first location after the end of the
256 table (objfile->sections_end). */
258 static void
259 add_to_objfile_sections (struct bfd *abfd, struct bfd_section *asect,
260 struct objfile *objfile, int force)
262 struct obj_section *section;
264 if (!force)
266 flagword aflag;
268 aflag = bfd_section_flags (asect);
269 if (!(aflag & SEC_ALLOC))
270 return;
273 section = &objfile->sections[gdb_bfd_section_index (abfd, asect)];
274 section->objfile = objfile;
275 section->the_bfd_section = asect;
276 section->ovly_mapped = 0;
279 /* Builds a section table for OBJFILE.
281 Note that the OFFSET and OVLY_MAPPED in each table entry are
282 initialized to zero. */
284 void
285 build_objfile_section_table (struct objfile *objfile)
287 int count = gdb_bfd_count_sections (objfile->obfd);
289 objfile->sections = OBSTACK_CALLOC (&objfile->objfile_obstack,
290 count,
291 struct obj_section);
292 objfile->sections_end = (objfile->sections + count);
293 for (asection *sect : gdb_bfd_sections (objfile->obfd))
294 add_to_objfile_sections (objfile->obfd, sect, objfile, 0);
296 /* See gdb_bfd_section_index. */
297 add_to_objfile_sections (objfile->obfd, bfd_com_section_ptr, objfile, 1);
298 add_to_objfile_sections (objfile->obfd, bfd_und_section_ptr, objfile, 1);
299 add_to_objfile_sections (objfile->obfd, bfd_abs_section_ptr, objfile, 1);
300 add_to_objfile_sections (objfile->obfd, bfd_ind_section_ptr, objfile, 1);
303 /* Given a pointer to an initialized bfd (ABFD) and some flag bits,
304 initialize the new objfile as best we can and link it into the list
305 of all known objfiles.
307 NAME should contain original non-canonicalized filename or other
308 identifier as entered by user. If there is no better source use
309 bfd_get_filename (ABFD). NAME may be NULL only if ABFD is NULL.
310 NAME content is copied into returned objfile.
312 The FLAGS word contains various bits (OBJF_*) that can be taken as
313 requests for specific operations. Other bits like OBJF_SHARED are
314 simply copied through to the new objfile flags member. */
316 objfile::objfile (bfd *abfd, const char *name, objfile_flags flags_)
317 : flags (flags_),
318 pspace (current_program_space),
319 obfd (abfd)
321 const char *expanded_name;
323 /* We could use obstack_specify_allocation here instead, but
324 gdb_obstack.h specifies the alloc/dealloc functions. */
325 obstack_init (&objfile_obstack);
327 std::string name_holder;
328 if (name == NULL)
330 gdb_assert (abfd == NULL);
331 gdb_assert ((flags & OBJF_NOT_FILENAME) != 0);
332 expanded_name = "<<anonymous objfile>>";
334 else if ((flags & OBJF_NOT_FILENAME) != 0
335 || is_target_filename (name))
336 expanded_name = name;
337 else
339 name_holder = gdb_abspath (name);
340 expanded_name = name_holder.c_str ();
342 original_name = obstack_strdup (&objfile_obstack, expanded_name);
344 /* Update the per-objfile information that comes from the bfd, ensuring
345 that any data that is reference is saved in the per-objfile data
346 region. */
348 gdb_bfd_ref (abfd);
349 if (abfd != NULL)
351 mtime = bfd_get_mtime (abfd);
353 /* Build section table. */
354 build_objfile_section_table (this);
357 per_bfd = get_objfile_bfd_data (abfd);
360 /* If there is a valid and known entry point, function fills *ENTRY_P with it
361 and returns non-zero; otherwise it returns zero. */
364 entry_point_address_query (CORE_ADDR *entry_p)
366 objfile *objf = current_program_space->symfile_object_file;
367 if (objf == NULL || !objf->per_bfd->ei.entry_point_p)
368 return 0;
370 int idx = objf->per_bfd->ei.the_bfd_section_index;
371 *entry_p = objf->per_bfd->ei.entry_point + objf->section_offsets[idx];
373 return 1;
376 /* Get current entry point address. Call error if it is not known. */
378 CORE_ADDR
379 entry_point_address (void)
381 CORE_ADDR retval;
383 if (!entry_point_address_query (&retval))
384 error (_("Entry point address is not known."));
386 return retval;
389 separate_debug_iterator &
390 separate_debug_iterator::operator++ ()
392 gdb_assert (m_objfile != nullptr);
394 struct objfile *res;
396 /* If any, return the first child. */
397 res = m_objfile->separate_debug_objfile;
398 if (res != nullptr)
400 m_objfile = res;
401 return *this;
404 /* Common case where there is no separate debug objfile. */
405 if (m_objfile == m_parent)
407 m_objfile = nullptr;
408 return *this;
411 /* Return the brother if any. Note that we don't iterate on brothers of
412 the parents. */
413 res = m_objfile->separate_debug_objfile_link;
414 if (res != nullptr)
416 m_objfile = res;
417 return *this;
420 for (res = m_objfile->separate_debug_objfile_backlink;
421 res != m_parent;
422 res = res->separate_debug_objfile_backlink)
424 gdb_assert (res != nullptr);
425 if (res->separate_debug_objfile_link != nullptr)
427 m_objfile = res->separate_debug_objfile_link;
428 return *this;
431 m_objfile = nullptr;
432 return *this;
435 /* Add OBJFILE as a separate debug objfile of PARENT. */
437 static void
438 add_separate_debug_objfile (struct objfile *objfile, struct objfile *parent)
440 gdb_assert (objfile && parent);
442 /* Must not be already in a list. */
443 gdb_assert (objfile->separate_debug_objfile_backlink == NULL);
444 gdb_assert (objfile->separate_debug_objfile_link == NULL);
445 gdb_assert (objfile->separate_debug_objfile == NULL);
446 gdb_assert (parent->separate_debug_objfile_backlink == NULL);
447 gdb_assert (parent->separate_debug_objfile_link == NULL);
449 objfile->separate_debug_objfile_backlink = parent;
450 objfile->separate_debug_objfile_link = parent->separate_debug_objfile;
451 parent->separate_debug_objfile = objfile;
454 /* See objfiles.h. */
456 objfile *
457 objfile::make (bfd *bfd_, const char *name_, objfile_flags flags_,
458 objfile *parent)
460 objfile *result = new objfile (bfd_, name_, flags_);
461 if (parent != nullptr)
462 add_separate_debug_objfile (result, parent);
464 current_program_space->add_objfile (std::unique_ptr<objfile> (result),
465 parent);
467 /* Rebuild section map next time we need it. */
468 get_objfile_pspace_data (current_program_space)->new_objfiles_available = 1;
470 return result;
473 /* See objfiles.h. */
475 void
476 objfile::unlink ()
478 current_program_space->remove_objfile (this);
481 /* Free all separate debug objfile of OBJFILE, but don't free OBJFILE
482 itself. */
484 void
485 free_objfile_separate_debug (struct objfile *objfile)
487 struct objfile *child;
489 for (child = objfile->separate_debug_objfile; child;)
491 struct objfile *next_child = child->separate_debug_objfile_link;
492 child->unlink ();
493 child = next_child;
497 /* Destroy an objfile and all the symtabs and psymtabs under it. */
499 objfile::~objfile ()
501 /* First notify observers that this objfile is about to be freed. */
502 gdb::observers::free_objfile.notify (this);
504 /* Free all separate debug objfiles. */
505 free_objfile_separate_debug (this);
507 if (separate_debug_objfile_backlink)
509 /* We freed the separate debug file, make sure the base objfile
510 doesn't reference it. */
511 struct objfile *child;
513 child = separate_debug_objfile_backlink->separate_debug_objfile;
515 if (child == this)
517 /* THIS is the first child. */
518 separate_debug_objfile_backlink->separate_debug_objfile =
519 separate_debug_objfile_link;
521 else
523 /* Find THIS in the list. */
524 while (1)
526 if (child->separate_debug_objfile_link == this)
528 child->separate_debug_objfile_link =
529 separate_debug_objfile_link;
530 break;
532 child = child->separate_debug_objfile_link;
533 gdb_assert (child);
538 /* Remove any references to this objfile in the global value
539 lists. */
540 preserve_values (this);
542 /* It still may reference data modules have associated with the objfile and
543 the symbol file data. */
544 forget_cached_source_info_for_objfile (this);
546 breakpoint_free_objfile (this);
547 btrace_free_objfile (this);
549 /* First do any symbol file specific actions required when we are
550 finished with a particular symbol file. Note that if the objfile
551 is using reusable symbol information (via mmalloc) then each of
552 these routines is responsible for doing the correct thing, either
553 freeing things which are valid only during this particular gdb
554 execution, or leaving them to be reused during the next one. */
556 if (sf != NULL)
557 (*sf->sym_finish) (this);
559 if (obfd)
560 gdb_bfd_unref (obfd);
561 else
562 delete per_bfd;
564 /* Before the symbol table code was redone to make it easier to
565 selectively load and remove information particular to a specific
566 linkage unit, gdb used to do these things whenever the monolithic
567 symbol table was blown away. How much still needs to be done
568 is unknown, but we play it safe for now and keep each action until
569 it is shown to be no longer needed. */
571 /* Not all our callers call clear_symtab_users (objfile_purge_solibs,
572 for example), so we need to call this here. */
573 clear_pc_function_cache ();
575 /* Check to see if the current_source_symtab belongs to this objfile,
576 and if so, call clear_current_source_symtab_and_line. */
579 struct symtab_and_line cursal = get_current_source_symtab_and_line ();
581 if (cursal.symtab && cursal.symtab->compunit ()->objfile () == this)
582 clear_current_source_symtab_and_line ();
585 /* Free the obstacks for non-reusable objfiles. */
586 obstack_free (&objfile_obstack, 0);
588 /* Rebuild section map next time we need it. */
589 get_objfile_pspace_data (pspace)->section_map_dirty = 1;
593 /* A helper function for objfile_relocate1 that relocates a single
594 symbol. */
596 static void
597 relocate_one_symbol (struct symbol *sym, struct objfile *objfile,
598 const section_offsets &delta)
600 fixup_symbol_section (sym, objfile);
602 /* The RS6000 code from which this was taken skipped
603 any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
604 But I'm leaving out that test, on the theory that
605 they can't possibly pass the tests below. */
606 if ((sym->aclass () == LOC_LABEL
607 || sym->aclass () == LOC_STATIC)
608 && sym->section_index () >= 0)
609 sym->set_value_address (sym->value_address ()
610 + delta[sym->section_index ()]);
613 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
614 entries in new_offsets. SEPARATE_DEBUG_OBJFILE is not touched here.
615 Return non-zero iff any change happened. */
617 static int
618 objfile_relocate1 (struct objfile *objfile,
619 const section_offsets &new_offsets)
621 section_offsets delta (objfile->section_offsets.size ());
623 int something_changed = 0;
625 for (int i = 0; i < objfile->section_offsets.size (); ++i)
627 delta[i] = new_offsets[i] - objfile->section_offsets[i];
628 if (delta[i] != 0)
629 something_changed = 1;
631 if (!something_changed)
632 return 0;
634 /* OK, get all the symtabs. */
636 for (compunit_symtab *cust : objfile->compunits ())
638 for (symtab *s : cust->filetabs ())
640 struct linetable *l;
642 /* First the line table. */
643 l = s->linetable ();
644 if (l)
646 for (int i = 0; i < l->nitems; ++i)
647 l->item[i].pc += delta[cust->block_line_section ()];
652 for (compunit_symtab *cust : objfile->compunits ())
654 struct blockvector *bv = cust->blockvector ();
655 int block_line_section = cust->block_line_section ();
657 if (bv->map () != nullptr)
658 bv->map ()->relocate (delta[block_line_section]);
660 for (block *b : bv->blocks ())
662 struct symbol *sym;
663 struct mdict_iterator miter;
665 b->set_start (b->start () + delta[block_line_section]);
666 b->set_end (b->end () + delta[block_line_section]);
668 for (blockrange &r : b->ranges ())
670 r.set_start (r.start () + delta[block_line_section]);
671 r.set_end (r.end () + delta[block_line_section]);
674 /* We only want to iterate over the local symbols, not any
675 symbols in included symtabs. */
676 ALL_DICT_SYMBOLS (b->multidict (), miter, sym)
678 relocate_one_symbol (sym, objfile, delta);
684 /* Notify the quick symbol object. */
685 for (const auto &iter : objfile->qf)
686 iter->relocated ();
688 /* Relocate isolated symbols. */
690 struct symbol *iter;
692 for (iter = objfile->template_symbols; iter; iter = iter->hash_next)
693 relocate_one_symbol (iter, objfile, delta);
697 int i;
699 for (i = 0; i < objfile->section_offsets.size (); ++i)
700 objfile->section_offsets[i] = new_offsets[i];
703 /* Rebuild section map next time we need it. */
704 get_objfile_pspace_data (objfile->pspace)->section_map_dirty = 1;
706 /* Update the table in exec_ops, used to read memory. */
707 struct obj_section *s;
708 ALL_OBJFILE_OSECTIONS (objfile, s)
710 int idx = s - objfile->sections;
712 exec_set_section_address (bfd_get_filename (objfile->obfd), idx,
713 s->addr ());
716 /* Data changed. */
717 return 1;
720 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
721 entries in new_offsets. Process also OBJFILE's SEPARATE_DEBUG_OBJFILEs.
723 The number and ordering of sections does differ between the two objfiles.
724 Only their names match. Also the file offsets will differ (objfile being
725 possibly prelinked but separate_debug_objfile is probably not prelinked) but
726 the in-memory absolute address as specified by NEW_OFFSETS must match both
727 files. */
729 void
730 objfile_relocate (struct objfile *objfile,
731 const section_offsets &new_offsets)
733 int changed = 0;
735 changed |= objfile_relocate1 (objfile, new_offsets);
737 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
739 if (debug_objfile == objfile)
740 continue;
742 section_addr_info objfile_addrs
743 = build_section_addr_info_from_objfile (objfile);
745 /* Here OBJFILE_ADDRS contain the correct absolute addresses, the
746 relative ones must be already created according to debug_objfile. */
748 addr_info_make_relative (&objfile_addrs, debug_objfile->obfd);
750 gdb_assert (debug_objfile->section_offsets.size ()
751 == gdb_bfd_count_sections (debug_objfile->obfd));
752 section_offsets new_debug_offsets
753 (debug_objfile->section_offsets.size ());
754 relative_addr_info_to_section_offsets (new_debug_offsets, objfile_addrs);
756 changed |= objfile_relocate1 (debug_objfile, new_debug_offsets);
759 /* Relocate breakpoints as necessary, after things are relocated. */
760 if (changed)
761 breakpoint_re_set ();
764 /* Rebase (add to the offsets) OBJFILE by SLIDE. SEPARATE_DEBUG_OBJFILE is
765 not touched here.
766 Return non-zero iff any change happened. */
768 static int
769 objfile_rebase1 (struct objfile *objfile, CORE_ADDR slide)
771 section_offsets new_offsets (objfile->section_offsets.size (), slide);
772 return objfile_relocate1 (objfile, new_offsets);
775 /* Rebase (add to the offsets) OBJFILE by SLIDE. Process also OBJFILE's
776 SEPARATE_DEBUG_OBJFILEs. */
778 void
779 objfile_rebase (struct objfile *objfile, CORE_ADDR slide)
781 int changed = 0;
783 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
784 changed |= objfile_rebase1 (debug_objfile, slide);
786 /* Relocate breakpoints as necessary, after things are relocated. */
787 if (changed)
788 breakpoint_re_set ();
791 /* Return non-zero if OBJFILE has full symbols. */
794 objfile_has_full_symbols (struct objfile *objfile)
796 return objfile->compunit_symtabs != NULL;
799 /* Return non-zero if OBJFILE has full or partial symbols, either directly
800 or through a separate debug file. */
803 objfile_has_symbols (struct objfile *objfile)
805 for (::objfile *o : objfile->separate_debug_objfiles ())
806 if (o->has_partial_symbols () || objfile_has_full_symbols (o))
807 return 1;
808 return 0;
812 /* Many places in gdb want to test just to see if we have any partial
813 symbols available. This function returns zero if none are currently
814 available, nonzero otherwise. */
817 have_partial_symbols (void)
819 for (objfile *ofp : current_program_space->objfiles ())
821 if (ofp->has_partial_symbols ())
822 return 1;
824 return 0;
827 /* Many places in gdb want to test just to see if we have any full
828 symbols available. This function returns zero if none are currently
829 available, nonzero otherwise. */
832 have_full_symbols (void)
834 for (objfile *ofp : current_program_space->objfiles ())
836 if (objfile_has_full_symbols (ofp))
837 return 1;
839 return 0;
843 /* This operations deletes all objfile entries that represent solibs that
844 weren't explicitly loaded by the user, via e.g., the add-symbol-file
845 command. */
847 void
848 objfile_purge_solibs (void)
850 for (objfile *objf : current_program_space->objfiles_safe ())
852 /* We assume that the solib package has been purged already, or will
853 be soon. */
855 if (!(objf->flags & OBJF_USERLOADED) && (objf->flags & OBJF_SHARED))
856 objf->unlink ();
861 /* Many places in gdb want to test just to see if we have any minimal
862 symbols available. This function returns zero if none are currently
863 available, nonzero otherwise. */
866 have_minimal_symbols (void)
868 for (objfile *ofp : current_program_space->objfiles ())
870 if (ofp->per_bfd->minimal_symbol_count > 0)
872 return 1;
875 return 0;
878 /* Qsort comparison function. */
880 static bool
881 sort_cmp (const struct obj_section *sect1, const obj_section *sect2)
883 const CORE_ADDR sect1_addr = sect1->addr ();
884 const CORE_ADDR sect2_addr = sect2->addr ();
886 if (sect1_addr < sect2_addr)
887 return true;
888 else if (sect1_addr > sect2_addr)
889 return false;
890 else
892 /* Sections are at the same address. This could happen if
893 A) we have an objfile and a separate debuginfo.
894 B) we are confused, and have added sections without proper relocation,
895 or something like that. */
897 const struct objfile *const objfile1 = sect1->objfile;
898 const struct objfile *const objfile2 = sect2->objfile;
900 if (objfile1->separate_debug_objfile == objfile2
901 || objfile2->separate_debug_objfile == objfile1)
903 /* Case A. The ordering doesn't matter: separate debuginfo files
904 will be filtered out later. */
906 return false;
909 /* Case B. Maintain stable sort order, so bugs in GDB are easier to
910 triage. This section could be slow (since we iterate over all
911 objfiles in each call to sort_cmp), but this shouldn't happen
912 very often (GDB is already in a confused state; one hopes this
913 doesn't happen at all). If you discover that significant time is
914 spent in the loops below, do 'set complaints 100' and examine the
915 resulting complaints. */
916 if (objfile1 == objfile2)
918 /* Both sections came from the same objfile. We are really
919 confused. Sort on sequence order of sections within the
920 objfile. The order of checks is important here, if we find a
921 match on SECT2 first then either SECT2 is before SECT1, or,
922 SECT2 == SECT1, in both cases we should return false. The
923 second case shouldn't occur during normal use, but std::sort
924 does check that '!(a < a)' when compiled in debug mode. */
926 const struct obj_section *osect;
928 ALL_OBJFILE_OSECTIONS (objfile1, osect)
929 if (osect == sect2)
930 return false;
931 else if (osect == sect1)
932 return true;
934 /* We should have found one of the sections before getting here. */
935 gdb_assert_not_reached ("section not found");
937 else
939 /* Sort on sequence number of the objfile in the chain. */
941 for (objfile *objfile : current_program_space->objfiles ())
942 if (objfile == objfile1)
943 return true;
944 else if (objfile == objfile2)
945 return false;
947 /* We should have found one of the objfiles before getting here. */
948 gdb_assert_not_reached ("objfile not found");
952 /* Unreachable. */
953 gdb_assert_not_reached ("unexpected code path");
954 return false;
957 /* Select "better" obj_section to keep. We prefer the one that came from
958 the real object, rather than the one from separate debuginfo.
959 Most of the time the two sections are exactly identical, but with
960 prelinking the .rel.dyn section in the real object may have different
961 size. */
963 static struct obj_section *
964 preferred_obj_section (struct obj_section *a, struct obj_section *b)
966 gdb_assert (a->addr () == b->addr ());
967 gdb_assert ((a->objfile->separate_debug_objfile == b->objfile)
968 || (b->objfile->separate_debug_objfile == a->objfile));
969 gdb_assert ((a->objfile->separate_debug_objfile_backlink == b->objfile)
970 || (b->objfile->separate_debug_objfile_backlink == a->objfile));
972 if (a->objfile->separate_debug_objfile != NULL)
973 return a;
974 return b;
977 /* Return 1 if SECTION should be inserted into the section map.
978 We want to insert only non-overlay non-TLS non-empty sections. */
980 static int
981 insert_section_p (const struct bfd *abfd,
982 const struct bfd_section *section)
984 const bfd_vma lma = bfd_section_lma (section);
986 if (overlay_debugging && lma != 0 && lma != bfd_section_vma (section)
987 && (bfd_get_file_flags (abfd) & BFD_IN_MEMORY) == 0)
988 /* This is an overlay section. IN_MEMORY check is needed to avoid
989 discarding sections from the "system supplied DSO" (aka vdso)
990 on some Linux systems (e.g. Fedora 11). */
991 return 0;
992 if ((bfd_section_flags (section) & SEC_THREAD_LOCAL) != 0)
993 /* This is a TLS section. */
994 return 0;
995 if (bfd_section_size (section) == 0)
997 /* This is an empty section. It has no PCs for find_pc_section (), so
998 there is no reason to insert it into the section map. */
999 return 0;
1002 return 1;
1005 /* Filter out overlapping sections where one section came from the real
1006 objfile, and the other from a separate debuginfo file.
1007 Return the size of table after redundant sections have been eliminated. */
1009 static int
1010 filter_debuginfo_sections (struct obj_section **map, int map_size)
1012 int i, j;
1014 for (i = 0, j = 0; i < map_size - 1; i++)
1016 struct obj_section *const sect1 = map[i];
1017 struct obj_section *const sect2 = map[i + 1];
1018 const struct objfile *const objfile1 = sect1->objfile;
1019 const struct objfile *const objfile2 = sect2->objfile;
1020 const CORE_ADDR sect1_addr = sect1->addr ();
1021 const CORE_ADDR sect2_addr = sect2->addr ();
1023 if (sect1_addr == sect2_addr
1024 && (objfile1->separate_debug_objfile == objfile2
1025 || objfile2->separate_debug_objfile == objfile1))
1027 map[j++] = preferred_obj_section (sect1, sect2);
1028 ++i;
1030 else
1031 map[j++] = sect1;
1034 if (i < map_size)
1036 gdb_assert (i == map_size - 1);
1037 map[j++] = map[i];
1040 /* The map should not have shrunk to less than half the original size. */
1041 gdb_assert (map_size / 2 <= j);
1043 return j;
1046 /* Filter out overlapping sections, issuing a warning if any are found.
1047 Overlapping sections could really be overlay sections which we didn't
1048 classify as such in insert_section_p, or we could be dealing with a
1049 corrupt binary. */
1051 static int
1052 filter_overlapping_sections (struct obj_section **map, int map_size)
1054 int i, j;
1056 for (i = 0, j = 0; i < map_size - 1; )
1058 int k;
1060 map[j++] = map[i];
1061 for (k = i + 1; k < map_size; k++)
1063 struct obj_section *const sect1 = map[i];
1064 struct obj_section *const sect2 = map[k];
1065 const CORE_ADDR sect1_addr = sect1->addr ();
1066 const CORE_ADDR sect2_addr = sect2->addr ();
1067 const CORE_ADDR sect1_endaddr = sect1->endaddr ();
1069 gdb_assert (sect1_addr <= sect2_addr);
1071 if (sect1_endaddr <= sect2_addr)
1072 break;
1073 else
1075 /* We have an overlap. Report it. */
1077 struct objfile *const objf1 = sect1->objfile;
1078 struct objfile *const objf2 = sect2->objfile;
1080 const struct bfd_section *const bfds1 = sect1->the_bfd_section;
1081 const struct bfd_section *const bfds2 = sect2->the_bfd_section;
1083 const CORE_ADDR sect2_endaddr = sect2->endaddr ();
1085 struct gdbarch *const gdbarch = objf1->arch ();
1087 complaint (_("unexpected overlap between:\n"
1088 " (A) section `%s' from `%s' [%s, %s)\n"
1089 " (B) section `%s' from `%s' [%s, %s).\n"
1090 "Will ignore section B"),
1091 bfd_section_name (bfds1), objfile_name (objf1),
1092 paddress (gdbarch, sect1_addr),
1093 paddress (gdbarch, sect1_endaddr),
1094 bfd_section_name (bfds2), objfile_name (objf2),
1095 paddress (gdbarch, sect2_addr),
1096 paddress (gdbarch, sect2_endaddr));
1099 i = k;
1102 if (i < map_size)
1104 gdb_assert (i == map_size - 1);
1105 map[j++] = map[i];
1108 return j;
1112 /* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
1113 TLS, overlay and overlapping sections. */
1115 static void
1116 update_section_map (struct program_space *pspace,
1117 struct obj_section ***pmap, int *pmap_size)
1119 struct objfile_pspace_info *pspace_info;
1120 int alloc_size, map_size, i;
1121 struct obj_section *s, **map;
1123 pspace_info = get_objfile_pspace_data (pspace);
1124 gdb_assert (pspace_info->section_map_dirty != 0
1125 || pspace_info->new_objfiles_available != 0);
1127 map = *pmap;
1128 xfree (map);
1130 alloc_size = 0;
1131 for (objfile *objfile : pspace->objfiles ())
1132 ALL_OBJFILE_OSECTIONS (objfile, s)
1133 if (insert_section_p (objfile->obfd, s->the_bfd_section))
1134 alloc_size += 1;
1136 /* This happens on detach/attach (e.g. in gdb.base/attach.exp). */
1137 if (alloc_size == 0)
1139 *pmap = NULL;
1140 *pmap_size = 0;
1141 return;
1144 map = XNEWVEC (struct obj_section *, alloc_size);
1146 i = 0;
1147 for (objfile *objfile : pspace->objfiles ())
1148 ALL_OBJFILE_OSECTIONS (objfile, s)
1149 if (insert_section_p (objfile->obfd, s->the_bfd_section))
1150 map[i++] = s;
1152 std::sort (map, map + alloc_size, sort_cmp);
1153 map_size = filter_debuginfo_sections(map, alloc_size);
1154 map_size = filter_overlapping_sections(map, map_size);
1156 if (map_size < alloc_size)
1157 /* Some sections were eliminated. Trim excess space. */
1158 map = XRESIZEVEC (struct obj_section *, map, map_size);
1159 else
1160 gdb_assert (alloc_size == map_size);
1162 *pmap = map;
1163 *pmap_size = map_size;
1166 /* Bsearch comparison function. */
1168 static int
1169 bsearch_cmp (const void *key, const void *elt)
1171 const CORE_ADDR pc = *(CORE_ADDR *) key;
1172 const struct obj_section *section = *(const struct obj_section **) elt;
1174 if (pc < section->addr ())
1175 return -1;
1176 if (pc < section->endaddr ())
1177 return 0;
1178 return 1;
1181 /* Returns a section whose range includes PC or NULL if none found. */
1183 struct obj_section *
1184 find_pc_section (CORE_ADDR pc)
1186 struct objfile_pspace_info *pspace_info;
1187 struct obj_section *s, **sp;
1189 /* Check for mapped overlay section first. */
1190 s = find_pc_mapped_section (pc);
1191 if (s)
1192 return s;
1194 pspace_info = get_objfile_pspace_data (current_program_space);
1195 if (pspace_info->section_map_dirty
1196 || (pspace_info->new_objfiles_available
1197 && !pspace_info->inhibit_updates))
1199 update_section_map (current_program_space,
1200 &pspace_info->sections,
1201 &pspace_info->num_sections);
1203 /* Don't need updates to section map until objfiles are added,
1204 removed or relocated. */
1205 pspace_info->new_objfiles_available = 0;
1206 pspace_info->section_map_dirty = 0;
1209 /* The C standard (ISO/IEC 9899:TC2) requires the BASE argument to
1210 bsearch be non-NULL. */
1211 if (pspace_info->sections == NULL)
1213 gdb_assert (pspace_info->num_sections == 0);
1214 return NULL;
1217 sp = (struct obj_section **) bsearch (&pc,
1218 pspace_info->sections,
1219 pspace_info->num_sections,
1220 sizeof (*pspace_info->sections),
1221 bsearch_cmp);
1222 if (sp != NULL)
1223 return *sp;
1224 return NULL;
1228 /* Return non-zero if PC is in a section called NAME. */
1231 pc_in_section (CORE_ADDR pc, const char *name)
1233 struct obj_section *s;
1234 int retval = 0;
1236 s = find_pc_section (pc);
1238 retval = (s != NULL
1239 && s->the_bfd_section->name != NULL
1240 && strcmp (s->the_bfd_section->name, name) == 0);
1241 return (retval);
1245 /* Set section_map_dirty so section map will be rebuilt next time it
1246 is used. Called by reread_symbols. */
1248 void
1249 objfiles_changed (void)
1251 /* Rebuild section map next time we need it. */
1252 get_objfile_pspace_data (current_program_space)->section_map_dirty = 1;
1255 /* See comments in objfiles.h. */
1257 scoped_restore_tmpl<int>
1258 inhibit_section_map_updates (struct program_space *pspace)
1260 return scoped_restore_tmpl<int>
1261 (&get_objfile_pspace_data (pspace)->inhibit_updates, 1);
1264 /* See objfiles.h. */
1266 bool
1267 is_addr_in_objfile (CORE_ADDR addr, const struct objfile *objfile)
1269 struct obj_section *osect;
1271 if (objfile == NULL)
1272 return false;
1274 ALL_OBJFILE_OSECTIONS (objfile, osect)
1276 if (section_is_overlay (osect) && !section_is_mapped (osect))
1277 continue;
1279 if (osect->addr () <= addr && addr < osect->endaddr ())
1280 return true;
1282 return false;
1285 /* See objfiles.h. */
1287 bool
1288 shared_objfile_contains_address_p (struct program_space *pspace,
1289 CORE_ADDR address)
1291 for (objfile *objfile : pspace->objfiles ())
1293 if ((objfile->flags & OBJF_SHARED) != 0
1294 && is_addr_in_objfile (address, objfile))
1295 return true;
1298 return false;
1301 /* The default implementation for the "iterate_over_objfiles_in_search_order"
1302 gdbarch method. It is equivalent to use the objfiles iterable,
1303 searching the objfiles in the order they are stored internally,
1304 ignoring CURRENT_OBJFILE.
1306 On most platforms, it should be close enough to doing the best
1307 we can without some knowledge specific to the architecture. */
1309 void
1310 default_iterate_over_objfiles_in_search_order
1311 (gdbarch *gdbarch, iterate_over_objfiles_in_search_order_cb_ftype cb,
1312 objfile *current_objfile)
1314 for (objfile *objfile : current_program_space->objfiles ())
1315 if (cb (objfile))
1316 return;
1319 /* See objfiles.h. */
1321 const char *
1322 objfile_name (const struct objfile *objfile)
1324 if (objfile->obfd != NULL)
1325 return bfd_get_filename (objfile->obfd);
1327 return objfile->original_name;
1330 /* See objfiles.h. */
1332 const char *
1333 objfile_filename (const struct objfile *objfile)
1335 if (objfile->obfd != NULL)
1336 return bfd_get_filename (objfile->obfd);
1338 return NULL;
1341 /* See objfiles.h. */
1343 const char *
1344 objfile_debug_name (const struct objfile *objfile)
1346 return lbasename (objfile->original_name);
1349 /* See objfiles.h. */
1351 const char *
1352 objfile_flavour_name (struct objfile *objfile)
1354 if (objfile->obfd != NULL)
1355 return bfd_flavour_name (bfd_get_flavour (objfile->obfd));
1356 return NULL;
1359 /* See objfiles.h. */
1361 struct type *
1362 objfile_int_type (struct objfile *of, int size_in_bytes, bool unsigned_p)
1364 struct type *int_type;
1366 /* Helper macro to examine the various builtin types. */
1367 #define TRY_TYPE(F) \
1368 int_type = (unsigned_p \
1369 ? objfile_type (of)->builtin_unsigned_ ## F \
1370 : objfile_type (of)->builtin_ ## F); \
1371 if (int_type != NULL && TYPE_LENGTH (int_type) == size_in_bytes) \
1372 return int_type
1374 TRY_TYPE (char);
1375 TRY_TYPE (short);
1376 TRY_TYPE (int);
1377 TRY_TYPE (long);
1378 TRY_TYPE (long_long);
1380 #undef TRY_TYPE
1382 gdb_assert_not_reached ("unable to find suitable integer type");