New Georgian translation for the ld sub-directory
[binutils-gdb.git] / gdb / objfiles.c
blob8f085b1bb7c0577e67e264eb8a047e2bc51ed032
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. */
25 #include "defs.h"
26 #include "bfd.h"
27 #include "symtab.h"
28 #include "symfile.h"
29 #include "objfiles.h"
30 #include "target.h"
31 #include "bcache.h"
32 #include "expression.h"
33 #include "parser-defs.h"
35 #include <sys/types.h>
36 #include <sys/stat.h>
37 #include <fcntl.h>
38 #include "gdbsupport/gdb_obstack.h"
39 #include "hashtab.h"
41 #include "breakpoint.h"
42 #include "block.h"
43 #include "dictionary.h"
44 #include "source.h"
45 #include "addrmap.h"
46 #include "arch-utils.h"
47 #include "exec.h"
48 #include "observable.h"
49 #include "complaints.h"
50 #include "solist.h"
51 #include "gdb_bfd.h"
52 #include "btrace.h"
53 #include "gdbsupport/pathstuff.h"
55 #include <algorithm>
56 #include <vector>
58 /* Externally visible variables that are owned by this module.
59 See declarations in objfile.h for more info. */
61 struct objfile_pspace_info
63 objfile_pspace_info () = default;
64 ~objfile_pspace_info ();
66 struct obj_section **sections = nullptr;
67 int num_sections = 0;
69 /* Nonzero if object files have been added since the section map
70 was last updated. */
71 int new_objfiles_available = 0;
73 /* Nonzero if the section map MUST be updated before use. */
74 int section_map_dirty = 0;
76 /* Nonzero if section map updates should be inhibited if possible. */
77 int inhibit_updates = 0;
80 /* Per-program-space data key. */
81 static const registry<program_space>::key<objfile_pspace_info>
82 objfiles_pspace_data;
84 objfile_pspace_info::~objfile_pspace_info ()
86 xfree (sections);
89 /* Get the current svr4 data. If none is found yet, add it now. This
90 function always returns a valid object. */
92 static struct objfile_pspace_info *
93 get_objfile_pspace_data (struct program_space *pspace)
95 struct objfile_pspace_info *info;
97 info = objfiles_pspace_data.get (pspace);
98 if (info == NULL)
99 info = objfiles_pspace_data.emplace (pspace);
101 return info;
106 /* Per-BFD data key. */
108 static const registry<bfd>::key<objfile_per_bfd_storage> objfiles_bfd_data;
110 objfile_per_bfd_storage::~objfile_per_bfd_storage ()
114 /* Create the per-BFD storage object for OBJFILE. If ABFD is not
115 NULL, and it already has a per-BFD storage object, use that.
116 Otherwise, allocate a new per-BFD storage object. */
118 void
119 set_objfile_per_bfd (struct objfile *objfile)
121 bfd *abfd = objfile->obfd.get ();
122 struct objfile_per_bfd_storage *storage = NULL;
124 if (abfd != NULL)
125 storage = objfiles_bfd_data.get (abfd);
127 if (storage == NULL)
129 storage = new objfile_per_bfd_storage (abfd);
130 /* If the object requires gdb to do relocations, we simply fall
131 back to not sharing data across users. These cases are rare
132 enough that this seems reasonable. */
133 if (abfd != NULL && !gdb_bfd_requires_relocations (abfd))
134 objfiles_bfd_data.set (abfd, storage);
135 else
136 objfile->per_bfd_storage.reset (storage);
138 /* Look up the gdbarch associated with the BFD. */
139 if (abfd != NULL)
140 storage->gdbarch = gdbarch_from_bfd (abfd);
143 objfile->per_bfd = storage;
146 /* Set the objfile's per-BFD notion of the "main" name and
147 language. */
149 void
150 set_objfile_main_name (struct objfile *objfile,
151 const char *name, enum language lang)
153 if (objfile->per_bfd->name_of_main == NULL
154 || strcmp (objfile->per_bfd->name_of_main, name) != 0)
155 objfile->per_bfd->name_of_main
156 = obstack_strdup (&objfile->per_bfd->storage_obstack, name);
157 objfile->per_bfd->language_of_main = lang;
160 /* Helper structure to map blocks to static link properties in hash tables. */
162 struct static_link_htab_entry
164 const struct block *block;
165 const struct dynamic_prop *static_link;
168 /* Return a hash code for struct static_link_htab_entry *P. */
170 static hashval_t
171 static_link_htab_entry_hash (const void *p)
173 const struct static_link_htab_entry *e
174 = (const struct static_link_htab_entry *) p;
176 return htab_hash_pointer (e->block);
179 /* Return whether P1 an P2 (pointers to struct static_link_htab_entry) are
180 mappings for the same block. */
182 static int
183 static_link_htab_entry_eq (const void *p1, const void *p2)
185 const struct static_link_htab_entry *e1
186 = (const struct static_link_htab_entry *) p1;
187 const struct static_link_htab_entry *e2
188 = (const struct static_link_htab_entry *) p2;
190 return e1->block == e2->block;
193 /* Register STATIC_LINK as the static link for BLOCK, which is part of OBJFILE.
194 Must not be called more than once for each BLOCK. */
196 void
197 objfile_register_static_link (struct objfile *objfile,
198 const struct block *block,
199 const struct dynamic_prop *static_link)
201 void **slot;
202 struct static_link_htab_entry lookup_entry;
203 struct static_link_htab_entry *entry;
205 if (objfile->static_links == NULL)
206 objfile->static_links.reset (htab_create_alloc
207 (1, &static_link_htab_entry_hash, static_link_htab_entry_eq, NULL,
208 xcalloc, xfree));
210 /* Create a slot for the mapping, make sure it's the first mapping for this
211 block and then create the mapping itself. */
212 lookup_entry.block = block;
213 slot = htab_find_slot (objfile->static_links.get (), &lookup_entry, INSERT);
214 gdb_assert (*slot == NULL);
216 entry = XOBNEW (&objfile->objfile_obstack, static_link_htab_entry);
217 entry->block = block;
218 entry->static_link = static_link;
219 *slot = (void *) entry;
222 /* Look for a static link for BLOCK, which is part of OBJFILE. Return NULL if
223 none was found. */
225 const struct dynamic_prop *
226 objfile_lookup_static_link (struct objfile *objfile,
227 const struct block *block)
229 struct static_link_htab_entry *entry;
230 struct static_link_htab_entry lookup_entry;
232 if (objfile->static_links == NULL)
233 return NULL;
234 lookup_entry.block = block;
235 entry = ((struct static_link_htab_entry *)
236 htab_find (objfile->static_links.get (), &lookup_entry));
237 if (entry == NULL)
238 return NULL;
240 gdb_assert (entry->block == block);
241 return entry->static_link;
246 /* Build up the section table that the objfile references. The
247 objfile contains pointers to the start of the table
248 (objfile->sections) and to the first location after the end of the
249 table (objfile->sections_end). */
251 static void
252 add_to_objfile_sections (struct bfd *abfd, struct bfd_section *asect,
253 struct objfile *objfile, int force)
255 struct obj_section *section;
257 if (!force)
259 flagword aflag;
261 aflag = bfd_section_flags (asect);
262 if (!(aflag & SEC_ALLOC))
263 return;
266 section = &objfile->sections_start[gdb_bfd_section_index (abfd, asect)];
267 section->objfile = objfile;
268 section->the_bfd_section = asect;
269 section->ovly_mapped = 0;
272 /* Builds a section table for OBJFILE.
274 Note that the OFFSET and OVLY_MAPPED in each table entry are
275 initialized to zero. */
277 void
278 build_objfile_section_table (struct objfile *objfile)
280 int count = gdb_bfd_count_sections (objfile->obfd.get ());
282 objfile->sections_start = OBSTACK_CALLOC (&objfile->objfile_obstack,
283 count,
284 struct obj_section);
285 objfile->sections_end = (objfile->sections_start + count);
286 for (asection *sect : gdb_bfd_sections (objfile->obfd))
287 add_to_objfile_sections (objfile->obfd.get (), sect, objfile, 0);
289 /* See gdb_bfd_section_index. */
290 add_to_objfile_sections (objfile->obfd.get (), bfd_com_section_ptr,
291 objfile, 1);
292 add_to_objfile_sections (objfile->obfd.get (), bfd_und_section_ptr,
293 objfile, 1);
294 add_to_objfile_sections (objfile->obfd.get (), bfd_abs_section_ptr,
295 objfile, 1);
296 add_to_objfile_sections (objfile->obfd.get (), bfd_ind_section_ptr,
297 objfile, 1);
300 /* Given a pointer to an initialized bfd (ABFD) and some flag bits,
301 initialize the new objfile as best we can and link it into the list
302 of all known objfiles.
304 NAME should contain original non-canonicalized filename or other
305 identifier as entered by user. If there is no better source use
306 bfd_get_filename (ABFD). NAME may be NULL only if ABFD is NULL.
307 NAME content is copied into returned objfile.
309 The FLAGS word contains various bits (OBJF_*) that can be taken as
310 requests for specific operations. Other bits like OBJF_SHARED are
311 simply copied through to the new objfile flags member. */
313 objfile::objfile (gdb_bfd_ref_ptr bfd_, const char *name, objfile_flags flags_)
314 : flags (flags_),
315 pspace (current_program_space),
316 obfd (std::move (bfd_))
318 const char *expanded_name;
320 std::string name_holder;
321 if (name == NULL)
323 gdb_assert (obfd == nullptr);
324 gdb_assert ((flags & OBJF_NOT_FILENAME) != 0);
325 expanded_name = "<<anonymous objfile>>";
327 else if ((flags & OBJF_NOT_FILENAME) != 0
328 || is_target_filename (name))
329 expanded_name = name;
330 else
332 name_holder = gdb_abspath (name);
333 expanded_name = name_holder.c_str ();
335 original_name = obstack_strdup (&objfile_obstack, expanded_name);
337 /* Update the per-objfile information that comes from the bfd, ensuring
338 that any data that is reference is saved in the per-objfile data
339 region. */
341 if (obfd != nullptr)
343 mtime = bfd_get_mtime (obfd.get ());
345 /* Build section table. */
346 build_objfile_section_table (this);
349 set_objfile_per_bfd (this);
352 /* If there is a valid and known entry point, function fills *ENTRY_P with it
353 and returns non-zero; otherwise it returns zero. */
356 entry_point_address_query (CORE_ADDR *entry_p)
358 objfile *objf = current_program_space->symfile_object_file;
359 if (objf == NULL || !objf->per_bfd->ei.entry_point_p)
360 return 0;
362 int idx = objf->per_bfd->ei.the_bfd_section_index;
363 *entry_p = objf->per_bfd->ei.entry_point + objf->section_offsets[idx];
365 return 1;
368 /* Get current entry point address. Call error if it is not known. */
370 CORE_ADDR
371 entry_point_address (void)
373 CORE_ADDR retval;
375 if (!entry_point_address_query (&retval))
376 error (_("Entry point address is not known."));
378 return retval;
381 separate_debug_iterator &
382 separate_debug_iterator::operator++ ()
384 gdb_assert (m_objfile != nullptr);
386 struct objfile *res;
388 /* If any, return the first child. */
389 res = m_objfile->separate_debug_objfile;
390 if (res != nullptr)
392 m_objfile = res;
393 return *this;
396 /* Common case where there is no separate debug objfile. */
397 if (m_objfile == m_parent)
399 m_objfile = nullptr;
400 return *this;
403 /* Return the brother if any. Note that we don't iterate on brothers of
404 the parents. */
405 res = m_objfile->separate_debug_objfile_link;
406 if (res != nullptr)
408 m_objfile = res;
409 return *this;
412 for (res = m_objfile->separate_debug_objfile_backlink;
413 res != m_parent;
414 res = res->separate_debug_objfile_backlink)
416 gdb_assert (res != nullptr);
417 if (res->separate_debug_objfile_link != nullptr)
419 m_objfile = res->separate_debug_objfile_link;
420 return *this;
423 m_objfile = nullptr;
424 return *this;
427 /* Add OBJFILE as a separate debug objfile of PARENT. */
429 static void
430 add_separate_debug_objfile (struct objfile *objfile, struct objfile *parent)
432 gdb_assert (objfile && parent);
434 /* Must not be already in a list. */
435 gdb_assert (objfile->separate_debug_objfile_backlink == NULL);
436 gdb_assert (objfile->separate_debug_objfile_link == NULL);
437 gdb_assert (objfile->separate_debug_objfile == NULL);
438 gdb_assert (parent->separate_debug_objfile_backlink == NULL);
439 gdb_assert (parent->separate_debug_objfile_link == NULL);
441 objfile->separate_debug_objfile_backlink = parent;
442 objfile->separate_debug_objfile_link = parent->separate_debug_objfile;
443 parent->separate_debug_objfile = objfile;
446 /* See objfiles.h. */
448 objfile *
449 objfile::make (gdb_bfd_ref_ptr bfd_, const char *name_, objfile_flags flags_,
450 objfile *parent)
452 objfile *result = new objfile (std::move (bfd_), name_, flags_);
453 if (parent != nullptr)
454 add_separate_debug_objfile (result, parent);
456 current_program_space->add_objfile (std::unique_ptr<objfile> (result),
457 parent);
459 /* Rebuild section map next time we need it. */
460 get_objfile_pspace_data (current_program_space)->new_objfiles_available = 1;
462 return result;
465 /* See objfiles.h. */
467 void
468 objfile::unlink ()
470 current_program_space->remove_objfile (this);
473 /* Free all separate debug objfile of OBJFILE, but don't free OBJFILE
474 itself. */
476 void
477 free_objfile_separate_debug (struct objfile *objfile)
479 struct objfile *child;
481 for (child = objfile->separate_debug_objfile; child;)
483 struct objfile *next_child = child->separate_debug_objfile_link;
484 child->unlink ();
485 child = next_child;
489 /* Destroy an objfile and all the symtabs and psymtabs under it. */
491 objfile::~objfile ()
493 /* First notify observers that this objfile is about to be freed. */
494 gdb::observers::free_objfile.notify (this);
496 /* Free all separate debug objfiles. */
497 free_objfile_separate_debug (this);
499 if (separate_debug_objfile_backlink)
501 /* We freed the separate debug file, make sure the base objfile
502 doesn't reference it. */
503 struct objfile *child;
505 child = separate_debug_objfile_backlink->separate_debug_objfile;
507 if (child == this)
509 /* THIS is the first child. */
510 separate_debug_objfile_backlink->separate_debug_objfile =
511 separate_debug_objfile_link;
513 else
515 /* Find THIS in the list. */
516 while (1)
518 if (child->separate_debug_objfile_link == this)
520 child->separate_debug_objfile_link =
521 separate_debug_objfile_link;
522 break;
524 child = child->separate_debug_objfile_link;
525 gdb_assert (child);
530 /* Remove any references to this objfile in the global value
531 lists. */
532 preserve_values (this);
534 /* It still may reference data modules have associated with the objfile and
535 the symbol file data. */
536 forget_cached_source_info ();
538 breakpoint_free_objfile (this);
539 btrace_free_objfile (this);
541 /* First do any symbol file specific actions required when we are
542 finished with a particular symbol file. Note that if the objfile
543 is using reusable symbol information (via mmalloc) then each of
544 these routines is responsible for doing the correct thing, either
545 freeing things which are valid only during this particular gdb
546 execution, or leaving them to be reused during the next one. */
548 if (sf != NULL)
549 (*sf->sym_finish) (this);
551 /* Before the symbol table code was redone to make it easier to
552 selectively load and remove information particular to a specific
553 linkage unit, gdb used to do these things whenever the monolithic
554 symbol table was blown away. How much still needs to be done
555 is unknown, but we play it safe for now and keep each action until
556 it is shown to be no longer needed. */
558 /* Not all our callers call clear_symtab_users (objfile_purge_solibs,
559 for example), so we need to call this here. */
560 clear_pc_function_cache ();
562 /* Check to see if the current_source_symtab belongs to this objfile,
563 and if so, call clear_current_source_symtab_and_line. */
566 struct symtab_and_line cursal = get_current_source_symtab_and_line ();
568 if (cursal.symtab && cursal.symtab->compunit ()->objfile () == this)
569 clear_current_source_symtab_and_line ();
572 /* Rebuild section map next time we need it. */
573 get_objfile_pspace_data (pspace)->section_map_dirty = 1;
577 /* A helper function for objfile_relocate1 that relocates a single
578 symbol. */
580 static void
581 relocate_one_symbol (struct symbol *sym, struct objfile *objfile,
582 const section_offsets &delta)
584 /* The RS6000 code from which this was taken skipped
585 any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
586 But I'm leaving out that test, on the theory that
587 they can't possibly pass the tests below. */
588 if ((sym->aclass () == LOC_LABEL
589 || sym->aclass () == LOC_STATIC)
590 && sym->section_index () >= 0)
591 sym->set_value_address (sym->value_address ()
592 + delta[sym->section_index ()]);
595 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
596 entries in new_offsets. SEPARATE_DEBUG_OBJFILE is not touched here.
597 Return non-zero iff any change happened. */
599 static int
600 objfile_relocate1 (struct objfile *objfile,
601 const section_offsets &new_offsets)
603 section_offsets delta (objfile->section_offsets.size ());
605 int something_changed = 0;
607 for (int i = 0; i < objfile->section_offsets.size (); ++i)
609 delta[i] = new_offsets[i] - objfile->section_offsets[i];
610 if (delta[i] != 0)
611 something_changed = 1;
613 if (!something_changed)
614 return 0;
616 /* OK, get all the symtabs. */
617 for (compunit_symtab *cust : objfile->compunits ())
619 struct blockvector *bv = cust->blockvector ();
620 int block_line_section = SECT_OFF_TEXT (objfile);
622 if (bv->map () != nullptr)
623 bv->map ()->relocate (delta[block_line_section]);
625 for (block *b : bv->blocks ())
627 b->set_start (b->start () + delta[block_line_section]);
628 b->set_end (b->end () + delta[block_line_section]);
630 for (blockrange &r : b->ranges ())
632 r.set_start (r.start () + delta[block_line_section]);
633 r.set_end (r.end () + delta[block_line_section]);
636 /* We only want to iterate over the local symbols, not any
637 symbols in included symtabs. */
638 for (struct symbol *sym : b->multidict_symbols ())
639 relocate_one_symbol (sym, objfile, delta);
643 /* Relocate isolated symbols. */
644 for (symbol *iter = objfile->template_symbols; iter; iter = iter->hash_next)
645 relocate_one_symbol (iter, objfile, delta);
647 for (int i = 0; i < objfile->section_offsets.size (); ++i)
648 objfile->section_offsets[i] = new_offsets[i];
650 /* Rebuild section map next time we need it. */
651 get_objfile_pspace_data (objfile->pspace)->section_map_dirty = 1;
653 /* Update the table in exec_ops, used to read memory. */
654 for (obj_section *s : objfile->sections ())
656 int idx = s - objfile->sections_start;
658 exec_set_section_address (bfd_get_filename (objfile->obfd.get ()), idx,
659 s->addr ());
662 /* Data changed. */
663 return 1;
666 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
667 entries in new_offsets. Process also OBJFILE's SEPARATE_DEBUG_OBJFILEs.
669 The number and ordering of sections does differ between the two objfiles.
670 Only their names match. Also the file offsets will differ (objfile being
671 possibly prelinked but separate_debug_objfile is probably not prelinked) but
672 the in-memory absolute address as specified by NEW_OFFSETS must match both
673 files. */
675 void
676 objfile_relocate (struct objfile *objfile,
677 const section_offsets &new_offsets)
679 int changed = 0;
681 changed |= objfile_relocate1 (objfile, new_offsets);
683 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
685 if (debug_objfile == objfile)
686 continue;
688 section_addr_info objfile_addrs
689 = build_section_addr_info_from_objfile (objfile);
691 /* Here OBJFILE_ADDRS contain the correct absolute addresses, the
692 relative ones must be already created according to debug_objfile. */
694 addr_info_make_relative (&objfile_addrs, debug_objfile->obfd.get ());
696 gdb_assert (debug_objfile->section_offsets.size ()
697 == gdb_bfd_count_sections (debug_objfile->obfd.get ()));
698 section_offsets new_debug_offsets
699 (debug_objfile->section_offsets.size ());
700 relative_addr_info_to_section_offsets (new_debug_offsets, objfile_addrs);
702 changed |= objfile_relocate1 (debug_objfile, new_debug_offsets);
705 /* Relocate breakpoints as necessary, after things are relocated. */
706 if (changed)
707 breakpoint_re_set ();
710 /* Rebase (add to the offsets) OBJFILE by SLIDE. SEPARATE_DEBUG_OBJFILE is
711 not touched here.
712 Return non-zero iff any change happened. */
714 static int
715 objfile_rebase1 (struct objfile *objfile, CORE_ADDR slide)
717 section_offsets new_offsets (objfile->section_offsets.size (), slide);
718 return objfile_relocate1 (objfile, new_offsets);
721 /* Rebase (add to the offsets) OBJFILE by SLIDE. Process also OBJFILE's
722 SEPARATE_DEBUG_OBJFILEs. */
724 void
725 objfile_rebase (struct objfile *objfile, CORE_ADDR slide)
727 int changed = 0;
729 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
730 changed |= objfile_rebase1 (debug_objfile, slide);
732 /* Relocate breakpoints as necessary, after things are relocated. */
733 if (changed)
734 breakpoint_re_set ();
737 /* Return non-zero if OBJFILE has full symbols. */
740 objfile_has_full_symbols (struct objfile *objfile)
742 return objfile->compunit_symtabs != NULL;
745 /* Return non-zero if OBJFILE has full or partial symbols, either directly
746 or through a separate debug file. */
749 objfile_has_symbols (struct objfile *objfile)
751 for (::objfile *o : objfile->separate_debug_objfiles ())
752 if (o->has_partial_symbols () || objfile_has_full_symbols (o))
753 return 1;
754 return 0;
758 /* Many places in gdb want to test just to see if we have any partial
759 symbols available. This function returns zero if none are currently
760 available, nonzero otherwise. */
763 have_partial_symbols (void)
765 for (objfile *ofp : current_program_space->objfiles ())
767 if (ofp->has_partial_symbols ())
768 return 1;
770 return 0;
773 /* Many places in gdb want to test just to see if we have any full
774 symbols available. This function returns zero if none are currently
775 available, nonzero otherwise. */
778 have_full_symbols (void)
780 for (objfile *ofp : current_program_space->objfiles ())
782 if (objfile_has_full_symbols (ofp))
783 return 1;
785 return 0;
789 /* This operations deletes all objfile entries that represent solibs that
790 weren't explicitly loaded by the user, via e.g., the add-symbol-file
791 command. */
793 void
794 objfile_purge_solibs (void)
796 for (objfile *objf : current_program_space->objfiles_safe ())
798 /* We assume that the solib package has been purged already, or will
799 be soon. */
801 if (!(objf->flags & OBJF_USERLOADED) && (objf->flags & OBJF_SHARED))
802 objf->unlink ();
807 /* Many places in gdb want to test just to see if we have any minimal
808 symbols available. This function returns zero if none are currently
809 available, nonzero otherwise. */
812 have_minimal_symbols (void)
814 for (objfile *ofp : current_program_space->objfiles ())
816 if (ofp->per_bfd->minimal_symbol_count > 0)
818 return 1;
821 return 0;
824 /* Qsort comparison function. */
826 static bool
827 sort_cmp (const struct obj_section *sect1, const obj_section *sect2)
829 const CORE_ADDR sect1_addr = sect1->addr ();
830 const CORE_ADDR sect2_addr = sect2->addr ();
832 if (sect1_addr < sect2_addr)
833 return true;
834 else if (sect1_addr > sect2_addr)
835 return false;
836 else
838 /* Sections are at the same address. This could happen if
839 A) we have an objfile and a separate debuginfo.
840 B) we are confused, and have added sections without proper relocation,
841 or something like that. */
843 const struct objfile *const objfile1 = sect1->objfile;
844 const struct objfile *const objfile2 = sect2->objfile;
846 if (objfile1->separate_debug_objfile == objfile2
847 || objfile2->separate_debug_objfile == objfile1)
849 /* Case A. The ordering doesn't matter: separate debuginfo files
850 will be filtered out later. */
852 return false;
855 /* Case B. Maintain stable sort order, so bugs in GDB are easier to
856 triage. This section could be slow (since we iterate over all
857 objfiles in each call to sort_cmp), but this shouldn't happen
858 very often (GDB is already in a confused state; one hopes this
859 doesn't happen at all). If you discover that significant time is
860 spent in the loops below, do 'set complaints 100' and examine the
861 resulting complaints. */
862 if (objfile1 == objfile2)
864 /* Both sections came from the same objfile. We are really
865 confused. Sort on sequence order of sections within the
866 objfile. The order of checks is important here, if we find a
867 match on SECT2 first then either SECT2 is before SECT1, or,
868 SECT2 == SECT1, in both cases we should return false. The
869 second case shouldn't occur during normal use, but std::sort
870 does check that '!(a < a)' when compiled in debug mode. */
872 for (const obj_section *osect : objfile1->sections ())
873 if (osect == sect2)
874 return false;
875 else if (osect == sect1)
876 return true;
878 /* We should have found one of the sections before getting here. */
879 gdb_assert_not_reached ("section not found");
881 else
883 /* Sort on sequence number of the objfile in the chain. */
885 for (objfile *objfile : current_program_space->objfiles ())
886 if (objfile == objfile1)
887 return true;
888 else if (objfile == objfile2)
889 return false;
891 /* We should have found one of the objfiles before getting here. */
892 gdb_assert_not_reached ("objfile not found");
896 /* Unreachable. */
897 gdb_assert_not_reached ("unexpected code path");
898 return false;
901 /* Select "better" obj_section to keep. We prefer the one that came from
902 the real object, rather than the one from separate debuginfo.
903 Most of the time the two sections are exactly identical, but with
904 prelinking the .rel.dyn section in the real object may have different
905 size. */
907 static struct obj_section *
908 preferred_obj_section (struct obj_section *a, struct obj_section *b)
910 gdb_assert (a->addr () == b->addr ());
911 gdb_assert ((a->objfile->separate_debug_objfile == b->objfile)
912 || (b->objfile->separate_debug_objfile == a->objfile));
913 gdb_assert ((a->objfile->separate_debug_objfile_backlink == b->objfile)
914 || (b->objfile->separate_debug_objfile_backlink == a->objfile));
916 if (a->objfile->separate_debug_objfile != NULL)
917 return a;
918 return b;
921 /* Return 1 if SECTION should be inserted into the section map.
922 We want to insert only non-overlay non-TLS non-empty sections. */
924 static int
925 insert_section_p (const struct bfd *abfd,
926 const struct bfd_section *section)
928 const bfd_vma lma = bfd_section_lma (section);
930 if (overlay_debugging && lma != 0 && lma != bfd_section_vma (section)
931 && (bfd_get_file_flags (abfd) & BFD_IN_MEMORY) == 0)
932 /* This is an overlay section. IN_MEMORY check is needed to avoid
933 discarding sections from the "system supplied DSO" (aka vdso)
934 on some Linux systems (e.g. Fedora 11). */
935 return 0;
936 if ((bfd_section_flags (section) & SEC_THREAD_LOCAL) != 0)
937 /* This is a TLS section. */
938 return 0;
939 if (bfd_section_size (section) == 0)
941 /* This is an empty section. It has no PCs for find_pc_section (), so
942 there is no reason to insert it into the section map. */
943 return 0;
946 return 1;
949 /* Filter out overlapping sections where one section came from the real
950 objfile, and the other from a separate debuginfo file.
951 Return the size of table after redundant sections have been eliminated. */
953 static int
954 filter_debuginfo_sections (struct obj_section **map, int map_size)
956 int i, j;
958 for (i = 0, j = 0; i < map_size - 1; i++)
960 struct obj_section *const sect1 = map[i];
961 struct obj_section *const sect2 = map[i + 1];
962 const struct objfile *const objfile1 = sect1->objfile;
963 const struct objfile *const objfile2 = sect2->objfile;
964 const CORE_ADDR sect1_addr = sect1->addr ();
965 const CORE_ADDR sect2_addr = sect2->addr ();
967 if (sect1_addr == sect2_addr
968 && (objfile1->separate_debug_objfile == objfile2
969 || objfile2->separate_debug_objfile == objfile1))
971 map[j++] = preferred_obj_section (sect1, sect2);
972 ++i;
974 else
975 map[j++] = sect1;
978 if (i < map_size)
980 gdb_assert (i == map_size - 1);
981 map[j++] = map[i];
984 /* The map should not have shrunk to less than half the original size. */
985 gdb_assert (map_size / 2 <= j);
987 return j;
990 /* Filter out overlapping sections, issuing a warning if any are found.
991 Overlapping sections could really be overlay sections which we didn't
992 classify as such in insert_section_p, or we could be dealing with a
993 corrupt binary. */
995 static int
996 filter_overlapping_sections (struct obj_section **map, int map_size)
998 int i, j;
1000 for (i = 0, j = 0; i < map_size - 1; )
1002 int k;
1004 map[j++] = map[i];
1005 for (k = i + 1; k < map_size; k++)
1007 struct obj_section *const sect1 = map[i];
1008 struct obj_section *const sect2 = map[k];
1009 const CORE_ADDR sect1_addr = sect1->addr ();
1010 const CORE_ADDR sect2_addr = sect2->addr ();
1011 const CORE_ADDR sect1_endaddr = sect1->endaddr ();
1013 gdb_assert (sect1_addr <= sect2_addr);
1015 if (sect1_endaddr <= sect2_addr)
1016 break;
1017 else
1019 /* We have an overlap. Report it. */
1021 struct objfile *const objf1 = sect1->objfile;
1022 struct objfile *const objf2 = sect2->objfile;
1024 const struct bfd_section *const bfds1 = sect1->the_bfd_section;
1025 const struct bfd_section *const bfds2 = sect2->the_bfd_section;
1027 const CORE_ADDR sect2_endaddr = sect2->endaddr ();
1029 struct gdbarch *const gdbarch = objf1->arch ();
1031 complaint (_("unexpected overlap between:\n"
1032 " (A) section `%s' from `%s' [%s, %s)\n"
1033 " (B) section `%s' from `%s' [%s, %s).\n"
1034 "Will ignore section B"),
1035 bfd_section_name (bfds1), objfile_name (objf1),
1036 paddress (gdbarch, sect1_addr),
1037 paddress (gdbarch, sect1_endaddr),
1038 bfd_section_name (bfds2), objfile_name (objf2),
1039 paddress (gdbarch, sect2_addr),
1040 paddress (gdbarch, sect2_endaddr));
1043 i = k;
1046 if (i < map_size)
1048 gdb_assert (i == map_size - 1);
1049 map[j++] = map[i];
1052 return j;
1056 /* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
1057 TLS, overlay and overlapping sections. */
1059 static void
1060 update_section_map (struct program_space *pspace,
1061 struct obj_section ***pmap, int *pmap_size)
1063 struct objfile_pspace_info *pspace_info;
1064 int alloc_size, map_size, i;
1065 struct obj_section **map;
1067 pspace_info = get_objfile_pspace_data (pspace);
1068 gdb_assert (pspace_info->section_map_dirty != 0
1069 || pspace_info->new_objfiles_available != 0);
1071 map = *pmap;
1072 xfree (map);
1074 alloc_size = 0;
1075 for (objfile *objfile : pspace->objfiles ())
1076 for (obj_section *s : objfile->sections ())
1077 if (insert_section_p (objfile->obfd.get (), s->the_bfd_section))
1078 alloc_size += 1;
1080 /* This happens on detach/attach (e.g. in gdb.base/attach.exp). */
1081 if (alloc_size == 0)
1083 *pmap = NULL;
1084 *pmap_size = 0;
1085 return;
1088 map = XNEWVEC (struct obj_section *, alloc_size);
1090 i = 0;
1091 for (objfile *objfile : pspace->objfiles ())
1092 for (obj_section *s : objfile->sections ())
1093 if (insert_section_p (objfile->obfd.get (), s->the_bfd_section))
1094 map[i++] = s;
1096 std::sort (map, map + alloc_size, sort_cmp);
1097 map_size = filter_debuginfo_sections(map, alloc_size);
1098 map_size = filter_overlapping_sections(map, map_size);
1100 if (map_size < alloc_size)
1101 /* Some sections were eliminated. Trim excess space. */
1102 map = XRESIZEVEC (struct obj_section *, map, map_size);
1103 else
1104 gdb_assert (alloc_size == map_size);
1106 *pmap = map;
1107 *pmap_size = map_size;
1110 /* Bsearch comparison function. */
1112 static int
1113 bsearch_cmp (const void *key, const void *elt)
1115 const CORE_ADDR pc = *(CORE_ADDR *) key;
1116 const struct obj_section *section = *(const struct obj_section **) elt;
1118 if (pc < section->addr ())
1119 return -1;
1120 if (pc < section->endaddr ())
1121 return 0;
1122 return 1;
1125 /* Returns a section whose range includes PC or NULL if none found. */
1127 struct obj_section *
1128 find_pc_section (CORE_ADDR pc)
1130 struct objfile_pspace_info *pspace_info;
1131 struct obj_section *s, **sp;
1133 /* Check for mapped overlay section first. */
1134 s = find_pc_mapped_section (pc);
1135 if (s)
1136 return s;
1138 pspace_info = get_objfile_pspace_data (current_program_space);
1139 if (pspace_info->section_map_dirty
1140 || (pspace_info->new_objfiles_available
1141 && !pspace_info->inhibit_updates))
1143 update_section_map (current_program_space,
1144 &pspace_info->sections,
1145 &pspace_info->num_sections);
1147 /* Don't need updates to section map until objfiles are added,
1148 removed or relocated. */
1149 pspace_info->new_objfiles_available = 0;
1150 pspace_info->section_map_dirty = 0;
1153 /* The C standard (ISO/IEC 9899:TC2) requires the BASE argument to
1154 bsearch be non-NULL. */
1155 if (pspace_info->sections == NULL)
1157 gdb_assert (pspace_info->num_sections == 0);
1158 return NULL;
1161 sp = (struct obj_section **) bsearch (&pc,
1162 pspace_info->sections,
1163 pspace_info->num_sections,
1164 sizeof (*pspace_info->sections),
1165 bsearch_cmp);
1166 if (sp != NULL)
1167 return *sp;
1168 return NULL;
1172 /* Return non-zero if PC is in a section called NAME. */
1174 bool
1175 pc_in_section (CORE_ADDR pc, const char *name)
1177 struct obj_section *s = find_pc_section (pc);
1178 return (s != nullptr
1179 && s->the_bfd_section->name != nullptr
1180 && strcmp (s->the_bfd_section->name, name) == 0);
1184 /* Set section_map_dirty so section map will be rebuilt next time it
1185 is used. Called by reread_symbols. */
1187 void
1188 objfiles_changed (void)
1190 /* Rebuild section map next time we need it. */
1191 get_objfile_pspace_data (current_program_space)->section_map_dirty = 1;
1194 /* See comments in objfiles.h. */
1196 scoped_restore_tmpl<int>
1197 inhibit_section_map_updates (struct program_space *pspace)
1199 return scoped_restore_tmpl<int>
1200 (&get_objfile_pspace_data (pspace)->inhibit_updates, 1);
1203 /* See objfiles.h. */
1205 bool
1206 is_addr_in_objfile (CORE_ADDR addr, const struct objfile *objfile)
1208 if (objfile == NULL)
1209 return false;
1211 for (obj_section *osect : objfile->sections ())
1213 if (section_is_overlay (osect) && !section_is_mapped (osect))
1214 continue;
1216 if (osect->addr () <= addr && addr < osect->endaddr ())
1217 return true;
1219 return false;
1222 /* See objfiles.h. */
1224 bool
1225 shared_objfile_contains_address_p (struct program_space *pspace,
1226 CORE_ADDR address)
1228 for (objfile *objfile : pspace->objfiles ())
1230 if ((objfile->flags & OBJF_SHARED) != 0
1231 && is_addr_in_objfile (address, objfile))
1232 return true;
1235 return false;
1238 /* The default implementation for the "iterate_over_objfiles_in_search_order"
1239 gdbarch method. It is equivalent to use the objfiles iterable,
1240 searching the objfiles in the order they are stored internally,
1241 ignoring CURRENT_OBJFILE.
1243 On most platforms, it should be close enough to doing the best
1244 we can without some knowledge specific to the architecture. */
1246 void
1247 default_iterate_over_objfiles_in_search_order
1248 (gdbarch *gdbarch, iterate_over_objfiles_in_search_order_cb_ftype cb,
1249 objfile *current_objfile)
1251 for (objfile *objfile : current_program_space->objfiles ())
1252 if (cb (objfile))
1253 return;
1256 /* See objfiles.h. */
1258 const char *
1259 objfile_name (const struct objfile *objfile)
1261 if (objfile->obfd != NULL)
1262 return bfd_get_filename (objfile->obfd.get ());
1264 return objfile->original_name;
1267 /* See objfiles.h. */
1269 const char *
1270 objfile_filename (const struct objfile *objfile)
1272 if (objfile->obfd != NULL)
1273 return bfd_get_filename (objfile->obfd.get ());
1275 return NULL;
1278 /* See objfiles.h. */
1280 const char *
1281 objfile_debug_name (const struct objfile *objfile)
1283 return lbasename (objfile->original_name);
1286 /* See objfiles.h. */
1288 const char *
1289 objfile_flavour_name (struct objfile *objfile)
1291 if (objfile->obfd != NULL)
1292 return bfd_flavour_name (bfd_get_flavour (objfile->obfd.get ()));
1293 return NULL;
1296 /* See objfiles.h. */
1298 struct type *
1299 objfile_int_type (struct objfile *of, int size_in_bytes, bool unsigned_p)
1301 struct type *int_type;
1303 /* Helper macro to examine the various builtin types. */
1304 #define TRY_TYPE(F) \
1305 int_type = (unsigned_p \
1306 ? builtin_type (of)->builtin_unsigned_ ## F \
1307 : builtin_type (of)->builtin_ ## F); \
1308 if (int_type != NULL && int_type->length () == size_in_bytes) \
1309 return int_type
1311 TRY_TYPE (char);
1312 TRY_TYPE (short);
1313 TRY_TYPE (int);
1314 TRY_TYPE (long);
1315 TRY_TYPE (long_long);
1317 #undef TRY_TYPE
1319 gdb_assert_not_reached ("unable to find suitable integer type");