Fix null pointer dereference in process_debug_info()
[binutils-gdb.git] / gdb / objfiles.c
blobba88ed1bc41b92224b62b277870cf8d87a5f1e7a
1 /* GDB routines for manipulating objfiles.
3 Copyright (C) 1992-2024 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 "bfd.h"
26 #include "symtab.h"
27 #include "symfile.h"
28 #include "objfiles.h"
29 #include "target.h"
30 #include "bcache.h"
31 #include "expression.h"
32 #include "parser-defs.h"
34 #include <sys/types.h>
35 #include <sys/stat.h>
36 #include <fcntl.h>
37 #include "gdbsupport/gdb_obstack.h"
38 #include "hashtab.h"
40 #include "breakpoint.h"
41 #include "block.h"
42 #include "dictionary.h"
43 #include "source.h"
44 #include "addrmap.h"
45 #include "arch-utils.h"
46 #include "exec.h"
47 #include "observable.h"
48 #include "complaints.h"
49 #include "solist.h"
50 #include "gdb_bfd.h"
51 #include "btrace.h"
52 #include "gdbsupport/pathstuff.h"
54 #include <algorithm>
55 #include <vector>
57 /* Externally visible variables that are owned by this module.
58 See declarations in objfile.h for more info. */
60 struct objfile_pspace_info
62 objfile_pspace_info () = default;
63 ~objfile_pspace_info ();
65 struct obj_section **sections = nullptr;
66 int num_sections = 0;
68 /* Nonzero if object files have been added since the section map
69 was last updated. */
70 int new_objfiles_available = 0;
72 /* Nonzero if the section map MUST be updated before use. */
73 int section_map_dirty = 0;
75 /* Nonzero if section map updates should be inhibited if possible. */
76 int inhibit_updates = 0;
79 /* Per-program-space data key. */
80 static const registry<program_space>::key<objfile_pspace_info>
81 objfiles_pspace_data;
83 objfile_pspace_info::~objfile_pspace_info ()
85 xfree (sections);
88 /* Get the current svr4 data. If none is found yet, add it now. This
89 function always returns a valid object. */
91 static struct objfile_pspace_info *
92 get_objfile_pspace_data (struct program_space *pspace)
94 struct objfile_pspace_info *info;
96 info = objfiles_pspace_data.get (pspace);
97 if (info == NULL)
98 info = objfiles_pspace_data.emplace (pspace);
100 return info;
105 /* Per-BFD data key. */
107 static const registry<bfd>::key<objfile_per_bfd_storage> objfiles_bfd_data;
109 objfile_per_bfd_storage::~objfile_per_bfd_storage ()
113 /* Create the per-BFD storage object for OBJFILE. If ABFD is not
114 NULL, and it already has a per-BFD storage object, use that.
115 Otherwise, allocate a new per-BFD storage object. */
117 void
118 set_objfile_per_bfd (struct objfile *objfile)
120 bfd *abfd = objfile->obfd.get ();
121 struct objfile_per_bfd_storage *storage = NULL;
123 if (abfd != NULL)
124 storage = objfiles_bfd_data.get (abfd);
126 if (storage == NULL)
128 storage = new objfile_per_bfd_storage (abfd);
129 /* If the object requires gdb to do relocations, we simply fall
130 back to not sharing data across users. These cases are rare
131 enough that this seems reasonable. */
132 if (abfd != NULL && !gdb_bfd_requires_relocations (abfd))
133 objfiles_bfd_data.set (abfd, storage);
134 else
135 objfile->per_bfd_storage.reset (storage);
137 /* Look up the gdbarch associated with the BFD. */
138 if (abfd != NULL)
139 storage->gdbarch = gdbarch_from_bfd (abfd);
142 objfile->per_bfd = storage;
145 /* Set the objfile's per-BFD notion of the "main" name and
146 language. */
148 void
149 set_objfile_main_name (struct objfile *objfile,
150 const char *name, enum language lang)
152 if (objfile->per_bfd->name_of_main == NULL
153 || strcmp (objfile->per_bfd->name_of_main, name) != 0)
154 objfile->per_bfd->name_of_main
155 = obstack_strdup (&objfile->per_bfd->storage_obstack, name);
156 objfile->per_bfd->language_of_main = lang;
159 /* Helper structure to map blocks to static link properties in hash tables. */
161 struct static_link_htab_entry
163 const struct block *block;
164 const struct dynamic_prop *static_link;
167 /* Return a hash code for struct static_link_htab_entry *P. */
169 static hashval_t
170 static_link_htab_entry_hash (const void *p)
172 const struct static_link_htab_entry *e
173 = (const struct static_link_htab_entry *) p;
175 return htab_hash_pointer (e->block);
178 /* Return whether P1 an P2 (pointers to struct static_link_htab_entry) are
179 mappings for the same block. */
181 static int
182 static_link_htab_entry_eq (const void *p1, const void *p2)
184 const struct static_link_htab_entry *e1
185 = (const struct static_link_htab_entry *) p1;
186 const struct static_link_htab_entry *e2
187 = (const struct static_link_htab_entry *) p2;
189 return e1->block == e2->block;
192 /* Register STATIC_LINK as the static link for BLOCK, which is part of OBJFILE.
193 Must not be called more than once for each BLOCK. */
195 void
196 objfile_register_static_link (struct objfile *objfile,
197 const struct block *block,
198 const struct dynamic_prop *static_link)
200 void **slot;
201 struct static_link_htab_entry lookup_entry;
202 struct static_link_htab_entry *entry;
204 if (objfile->static_links == NULL)
205 objfile->static_links.reset (htab_create_alloc
206 (1, &static_link_htab_entry_hash, static_link_htab_entry_eq, NULL,
207 xcalloc, xfree));
209 /* Create a slot for the mapping, make sure it's the first mapping for this
210 block and then create the mapping itself. */
211 lookup_entry.block = block;
212 slot = htab_find_slot (objfile->static_links.get (), &lookup_entry, INSERT);
213 gdb_assert (*slot == NULL);
215 entry = XOBNEW (&objfile->objfile_obstack, static_link_htab_entry);
216 entry->block = block;
217 entry->static_link = static_link;
218 *slot = (void *) entry;
221 /* Look for a static link for BLOCK, which is part of OBJFILE. Return NULL if
222 none was found. */
224 const struct dynamic_prop *
225 objfile_lookup_static_link (struct objfile *objfile,
226 const struct block *block)
228 struct static_link_htab_entry *entry;
229 struct static_link_htab_entry lookup_entry;
231 if (objfile->static_links == NULL)
232 return NULL;
233 lookup_entry.block = block;
234 entry = ((struct static_link_htab_entry *)
235 htab_find (objfile->static_links.get (), &lookup_entry));
236 if (entry == NULL)
237 return NULL;
239 gdb_assert (entry->block == block);
240 return entry->static_link;
245 /* Build up the section table that the objfile references. The
246 objfile contains pointers to the start of the table
247 (objfile->sections) and to the first location after the end of the
248 table (objfile->sections_end). */
250 static void
251 add_to_objfile_sections (struct bfd *abfd, struct bfd_section *asect,
252 struct objfile *objfile, int force)
254 struct obj_section *section;
256 if (!force)
258 flagword aflag;
260 aflag = bfd_section_flags (asect);
261 if (!(aflag & SEC_ALLOC))
262 return;
265 section = &objfile->sections_start[gdb_bfd_section_index (abfd, asect)];
266 section->objfile = objfile;
267 section->the_bfd_section = asect;
268 section->ovly_mapped = 0;
271 /* Builds a section table for OBJFILE.
273 Note that the OFFSET and OVLY_MAPPED in each table entry are
274 initialized to zero. */
276 void
277 build_objfile_section_table (struct objfile *objfile)
279 int count = gdb_bfd_count_sections (objfile->obfd.get ());
281 objfile->sections_start = OBSTACK_CALLOC (&objfile->objfile_obstack,
282 count,
283 struct obj_section);
284 objfile->sections_end = (objfile->sections_start + count);
285 for (asection *sect : gdb_bfd_sections (objfile->obfd))
286 add_to_objfile_sections (objfile->obfd.get (), sect, objfile, 0);
288 /* See gdb_bfd_section_index. */
289 add_to_objfile_sections (objfile->obfd.get (), bfd_com_section_ptr,
290 objfile, 1);
291 add_to_objfile_sections (objfile->obfd.get (), bfd_und_section_ptr,
292 objfile, 1);
293 add_to_objfile_sections (objfile->obfd.get (), bfd_abs_section_ptr,
294 objfile, 1);
295 add_to_objfile_sections (objfile->obfd.get (), bfd_ind_section_ptr,
296 objfile, 1);
299 /* Given a pointer to an initialized bfd (ABFD) and some flag bits,
300 initialize the new objfile as best we can and link it into the list
301 of all known objfiles.
303 NAME should contain original non-canonicalized filename or other
304 identifier as entered by user. If there is no better source use
305 bfd_get_filename (ABFD). NAME may be NULL only if ABFD is NULL.
306 NAME content is copied into returned objfile.
308 The FLAGS word contains various bits (OBJF_*) that can be taken as
309 requests for specific operations. Other bits like OBJF_SHARED are
310 simply copied through to the new objfile flags member. */
312 objfile::objfile (gdb_bfd_ref_ptr bfd_, const char *name, objfile_flags flags_)
313 : flags (flags_),
314 pspace (current_program_space),
315 obfd (std::move (bfd_))
317 const char *expanded_name;
319 std::string name_holder;
320 if (name == NULL)
322 gdb_assert (obfd == nullptr);
323 gdb_assert ((flags & OBJF_NOT_FILENAME) != 0);
324 expanded_name = "<<anonymous objfile>>";
326 else if ((flags & OBJF_NOT_FILENAME) != 0
327 || is_target_filename (name))
328 expanded_name = name;
329 else
331 name_holder = gdb_abspath (name);
332 expanded_name = name_holder.c_str ();
334 original_name = obstack_strdup (&objfile_obstack, expanded_name);
336 /* Update the per-objfile information that comes from the bfd, ensuring
337 that any data that is reference is saved in the per-objfile data
338 region. */
340 if (obfd != nullptr)
342 mtime = bfd_get_mtime (obfd.get ());
344 /* Build section table. */
345 build_objfile_section_table (this);
348 set_objfile_per_bfd (this);
351 /* If there is a valid and known entry point, function fills *ENTRY_P with it
352 and returns non-zero; otherwise it returns zero. */
355 entry_point_address_query (CORE_ADDR *entry_p)
357 objfile *objf = current_program_space->symfile_object_file;
358 if (objf == NULL || !objf->per_bfd->ei.entry_point_p)
359 return 0;
361 int idx = objf->per_bfd->ei.the_bfd_section_index;
362 *entry_p = objf->per_bfd->ei.entry_point + objf->section_offsets[idx];
364 return 1;
367 /* Get current entry point address. Call error if it is not known. */
369 CORE_ADDR
370 entry_point_address (void)
372 CORE_ADDR retval;
374 if (!entry_point_address_query (&retval))
375 error (_("Entry point address is not known."));
377 return retval;
380 separate_debug_iterator &
381 separate_debug_iterator::operator++ ()
383 gdb_assert (m_objfile != nullptr);
385 struct objfile *res;
387 /* If any, return the first child. */
388 res = m_objfile->separate_debug_objfile;
389 if (res != nullptr)
391 m_objfile = res;
392 return *this;
395 /* Common case where there is no separate debug objfile. */
396 if (m_objfile == m_parent)
398 m_objfile = nullptr;
399 return *this;
402 /* Return the brother if any. Note that we don't iterate on brothers of
403 the parents. */
404 res = m_objfile->separate_debug_objfile_link;
405 if (res != nullptr)
407 m_objfile = res;
408 return *this;
411 for (res = m_objfile->separate_debug_objfile_backlink;
412 res != m_parent;
413 res = res->separate_debug_objfile_backlink)
415 gdb_assert (res != nullptr);
416 if (res->separate_debug_objfile_link != nullptr)
418 m_objfile = res->separate_debug_objfile_link;
419 return *this;
422 m_objfile = nullptr;
423 return *this;
426 /* Add OBJFILE as a separate debug objfile of PARENT. */
428 static void
429 add_separate_debug_objfile (struct objfile *objfile, struct objfile *parent)
431 gdb_assert (objfile && parent);
433 /* Must not be already in a list. */
434 gdb_assert (objfile->separate_debug_objfile_backlink == NULL);
435 gdb_assert (objfile->separate_debug_objfile_link == NULL);
436 gdb_assert (objfile->separate_debug_objfile == NULL);
437 gdb_assert (parent->separate_debug_objfile_backlink == NULL);
438 gdb_assert (parent->separate_debug_objfile_link == NULL);
440 objfile->separate_debug_objfile_backlink = parent;
441 objfile->separate_debug_objfile_link = parent->separate_debug_objfile;
442 parent->separate_debug_objfile = objfile;
445 /* See objfiles.h. */
447 objfile *
448 objfile::make (gdb_bfd_ref_ptr bfd_, const char *name_, objfile_flags flags_,
449 objfile *parent)
451 objfile *result = new objfile (std::move (bfd_), name_, flags_);
452 if (parent != nullptr)
453 add_separate_debug_objfile (result, parent);
455 current_program_space->add_objfile (std::unique_ptr<objfile> (result),
456 parent);
458 /* Rebuild section map next time we need it. */
459 get_objfile_pspace_data (current_program_space)->new_objfiles_available = 1;
461 return result;
464 /* See objfiles.h. */
466 void
467 objfile::unlink ()
469 current_program_space->remove_objfile (this);
472 /* Free all separate debug objfile of OBJFILE, but don't free OBJFILE
473 itself. */
475 void
476 free_objfile_separate_debug (struct objfile *objfile)
478 struct objfile *child;
480 for (child = objfile->separate_debug_objfile; child;)
482 struct objfile *next_child = child->separate_debug_objfile_link;
483 child->unlink ();
484 child = next_child;
488 /* Destroy an objfile and all the symtabs and psymtabs under it. */
490 objfile::~objfile ()
492 /* First notify observers that this objfile is about to be freed. */
493 gdb::observers::free_objfile.notify (this);
495 /* Free all separate debug objfiles. */
496 free_objfile_separate_debug (this);
498 if (separate_debug_objfile_backlink)
500 /* We freed the separate debug file, make sure the base objfile
501 doesn't reference it. */
502 struct objfile *child;
504 child = separate_debug_objfile_backlink->separate_debug_objfile;
506 if (child == this)
508 /* THIS is the first child. */
509 separate_debug_objfile_backlink->separate_debug_objfile =
510 separate_debug_objfile_link;
512 else
514 /* Find THIS in the list. */
515 while (1)
517 if (child->separate_debug_objfile_link == this)
519 child->separate_debug_objfile_link =
520 separate_debug_objfile_link;
521 break;
523 child = child->separate_debug_objfile_link;
524 gdb_assert (child);
529 /* Remove any references to this objfile in the global value
530 lists. */
531 preserve_values (this);
533 /* It still may reference data modules have associated with the objfile and
534 the symbol file data. */
535 forget_cached_source_info ();
537 breakpoint_free_objfile (this);
538 btrace_free_objfile (this);
540 /* First do any symbol file specific actions required when we are
541 finished with a particular symbol file. Note that if the objfile
542 is using reusable symbol information (via mmalloc) then each of
543 these routines is responsible for doing the correct thing, either
544 freeing things which are valid only during this particular gdb
545 execution, or leaving them to be reused during the next one. */
547 if (sf != NULL)
548 (*sf->sym_finish) (this);
550 /* Before the symbol table code was redone to make it easier to
551 selectively load and remove information particular to a specific
552 linkage unit, gdb used to do these things whenever the monolithic
553 symbol table was blown away. How much still needs to be done
554 is unknown, but we play it safe for now and keep each action until
555 it is shown to be no longer needed. */
557 /* Not all our callers call clear_symtab_users (objfile_purge_solibs,
558 for example), so we need to call this here. */
559 clear_pc_function_cache ();
561 /* Check to see if the current_source_symtab belongs to this objfile,
562 and if so, call clear_current_source_symtab_and_line. */
565 struct symtab_and_line cursal = get_current_source_symtab_and_line ();
567 if (cursal.symtab && cursal.symtab->compunit ()->objfile () == this)
568 clear_current_source_symtab_and_line ();
571 /* Rebuild section map next time we need it. */
572 get_objfile_pspace_data (pspace)->section_map_dirty = 1;
576 /* A helper function for objfile_relocate1 that relocates a single
577 symbol. */
579 static void
580 relocate_one_symbol (struct symbol *sym, struct objfile *objfile,
581 const section_offsets &delta)
583 /* The RS6000 code from which this was taken skipped
584 any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
585 But I'm leaving out that test, on the theory that
586 they can't possibly pass the tests below. */
587 if ((sym->aclass () == LOC_LABEL
588 || sym->aclass () == LOC_STATIC)
589 && sym->section_index () >= 0)
590 sym->set_value_address (sym->value_address ()
591 + delta[sym->section_index ()]);
594 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
595 entries in new_offsets. SEPARATE_DEBUG_OBJFILE is not touched here.
596 Return non-zero iff any change happened. */
598 static int
599 objfile_relocate1 (struct objfile *objfile,
600 const section_offsets &new_offsets)
602 section_offsets delta (objfile->section_offsets.size ());
604 int something_changed = 0;
606 for (int i = 0; i < objfile->section_offsets.size (); ++i)
608 delta[i] = new_offsets[i] - objfile->section_offsets[i];
609 if (delta[i] != 0)
610 something_changed = 1;
612 if (!something_changed)
613 return 0;
615 /* OK, get all the symtabs. */
616 for (compunit_symtab *cust : objfile->compunits ())
618 struct blockvector *bv = cust->blockvector ();
619 int block_line_section = SECT_OFF_TEXT (objfile);
621 if (bv->map () != nullptr)
622 bv->map ()->relocate (delta[block_line_section]);
624 for (block *b : bv->blocks ())
626 b->set_start (b->start () + delta[block_line_section]);
627 b->set_end (b->end () + delta[block_line_section]);
629 for (blockrange &r : b->ranges ())
631 r.set_start (r.start () + delta[block_line_section]);
632 r.set_end (r.end () + delta[block_line_section]);
635 /* We only want to iterate over the local symbols, not any
636 symbols in included symtabs. */
637 for (struct symbol *sym : b->multidict_symbols ())
638 relocate_one_symbol (sym, objfile, delta);
642 /* Relocate isolated symbols. */
643 for (symbol *iter = objfile->template_symbols; iter; iter = iter->hash_next)
644 relocate_one_symbol (iter, objfile, delta);
646 for (int i = 0; i < objfile->section_offsets.size (); ++i)
647 objfile->section_offsets[i] = new_offsets[i];
649 /* Rebuild section map next time we need it. */
650 get_objfile_pspace_data (objfile->pspace)->section_map_dirty = 1;
652 /* Update the table in exec_ops, used to read memory. */
653 for (obj_section *s : objfile->sections ())
655 int idx = s - objfile->sections_start;
657 exec_set_section_address (bfd_get_filename (objfile->obfd.get ()), idx,
658 s->addr ());
661 /* Data changed. */
662 return 1;
665 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
666 entries in new_offsets. Process also OBJFILE's SEPARATE_DEBUG_OBJFILEs.
668 The number and ordering of sections does differ between the two objfiles.
669 Only their names match. Also the file offsets will differ (objfile being
670 possibly prelinked but separate_debug_objfile is probably not prelinked) but
671 the in-memory absolute address as specified by NEW_OFFSETS must match both
672 files. */
674 void
675 objfile_relocate (struct objfile *objfile,
676 const section_offsets &new_offsets)
678 int changed = 0;
680 changed |= objfile_relocate1 (objfile, new_offsets);
682 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
684 if (debug_objfile == objfile)
685 continue;
687 section_addr_info objfile_addrs
688 = build_section_addr_info_from_objfile (objfile);
690 /* Here OBJFILE_ADDRS contain the correct absolute addresses, the
691 relative ones must be already created according to debug_objfile. */
693 addr_info_make_relative (&objfile_addrs, debug_objfile->obfd.get ());
695 gdb_assert (debug_objfile->section_offsets.size ()
696 == gdb_bfd_count_sections (debug_objfile->obfd.get ()));
697 section_offsets new_debug_offsets
698 (debug_objfile->section_offsets.size ());
699 relative_addr_info_to_section_offsets (new_debug_offsets, objfile_addrs);
701 changed |= objfile_relocate1 (debug_objfile, new_debug_offsets);
704 /* Relocate breakpoints as necessary, after things are relocated. */
705 if (changed)
706 breakpoint_re_set ();
709 /* Rebase (add to the offsets) OBJFILE by SLIDE. SEPARATE_DEBUG_OBJFILE is
710 not touched here.
711 Return non-zero iff any change happened. */
713 static int
714 objfile_rebase1 (struct objfile *objfile, CORE_ADDR slide)
716 section_offsets new_offsets (objfile->section_offsets.size (), slide);
717 return objfile_relocate1 (objfile, new_offsets);
720 /* Rebase (add to the offsets) OBJFILE by SLIDE. Process also OBJFILE's
721 SEPARATE_DEBUG_OBJFILEs. */
723 void
724 objfile_rebase (struct objfile *objfile, CORE_ADDR slide)
726 int changed = 0;
728 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
729 changed |= objfile_rebase1 (debug_objfile, slide);
731 /* Relocate breakpoints as necessary, after things are relocated. */
732 if (changed)
733 breakpoint_re_set ();
736 /* Return non-zero if OBJFILE has full symbols. */
739 objfile_has_full_symbols (struct objfile *objfile)
741 return objfile->compunit_symtabs != NULL;
744 /* Return non-zero if OBJFILE has full or partial symbols, either directly
745 or through a separate debug file. */
748 objfile_has_symbols (struct objfile *objfile)
750 for (::objfile *o : objfile->separate_debug_objfiles ())
751 if (o->has_partial_symbols () || objfile_has_full_symbols (o))
752 return 1;
753 return 0;
757 /* Many places in gdb want to test just to see if we have any partial
758 symbols available. This function returns zero if none are currently
759 available, nonzero otherwise. */
762 have_partial_symbols (void)
764 for (objfile *ofp : current_program_space->objfiles ())
766 if (ofp->has_partial_symbols ())
767 return 1;
769 return 0;
772 /* Many places in gdb want to test just to see if we have any full
773 symbols available. This function returns zero if none are currently
774 available, nonzero otherwise. */
777 have_full_symbols (void)
779 for (objfile *ofp : current_program_space->objfiles ())
781 if (objfile_has_full_symbols (ofp))
782 return 1;
784 return 0;
788 /* This operations deletes all objfile entries that represent solibs that
789 weren't explicitly loaded by the user, via e.g., the add-symbol-file
790 command. */
792 void
793 objfile_purge_solibs (void)
795 for (objfile *objf : current_program_space->objfiles_safe ())
797 /* We assume that the solib package has been purged already, or will
798 be soon. */
800 if (!(objf->flags & OBJF_USERLOADED) && (objf->flags & OBJF_SHARED))
801 objf->unlink ();
806 /* Many places in gdb want to test just to see if we have any minimal
807 symbols available. This function returns zero if none are currently
808 available, nonzero otherwise. */
811 have_minimal_symbols (void)
813 for (objfile *ofp : current_program_space->objfiles ())
815 if (ofp->per_bfd->minimal_symbol_count > 0)
817 return 1;
820 return 0;
823 /* Qsort comparison function. */
825 static bool
826 sort_cmp (const struct obj_section *sect1, const obj_section *sect2)
828 const CORE_ADDR sect1_addr = sect1->addr ();
829 const CORE_ADDR sect2_addr = sect2->addr ();
831 if (sect1_addr < sect2_addr)
832 return true;
833 else if (sect1_addr > sect2_addr)
834 return false;
835 else
837 /* Sections are at the same address. This could happen if
838 A) we have an objfile and a separate debuginfo.
839 B) we are confused, and have added sections without proper relocation,
840 or something like that. */
842 const struct objfile *const objfile1 = sect1->objfile;
843 const struct objfile *const objfile2 = sect2->objfile;
845 if (objfile1->separate_debug_objfile == objfile2
846 || objfile2->separate_debug_objfile == objfile1)
848 /* Case A. The ordering doesn't matter: separate debuginfo files
849 will be filtered out later. */
851 return false;
854 /* Case B. Maintain stable sort order, so bugs in GDB are easier to
855 triage. This section could be slow (since we iterate over all
856 objfiles in each call to sort_cmp), but this shouldn't happen
857 very often (GDB is already in a confused state; one hopes this
858 doesn't happen at all). If you discover that significant time is
859 spent in the loops below, do 'set complaints 100' and examine the
860 resulting complaints. */
861 if (objfile1 == objfile2)
863 /* Both sections came from the same objfile. We are really
864 confused. Sort on sequence order of sections within the
865 objfile. The order of checks is important here, if we find a
866 match on SECT2 first then either SECT2 is before SECT1, or,
867 SECT2 == SECT1, in both cases we should return false. The
868 second case shouldn't occur during normal use, but std::sort
869 does check that '!(a < a)' when compiled in debug mode. */
871 for (const obj_section *osect : objfile1->sections ())
872 if (osect == sect2)
873 return false;
874 else if (osect == sect1)
875 return true;
877 /* We should have found one of the sections before getting here. */
878 gdb_assert_not_reached ("section not found");
880 else
882 /* Sort on sequence number of the objfile in the chain. */
884 for (objfile *objfile : current_program_space->objfiles ())
885 if (objfile == objfile1)
886 return true;
887 else if (objfile == objfile2)
888 return false;
890 /* We should have found one of the objfiles before getting here. */
891 gdb_assert_not_reached ("objfile not found");
895 /* Unreachable. */
896 gdb_assert_not_reached ("unexpected code path");
897 return false;
900 /* Select "better" obj_section to keep. We prefer the one that came from
901 the real object, rather than the one from separate debuginfo.
902 Most of the time the two sections are exactly identical, but with
903 prelinking the .rel.dyn section in the real object may have different
904 size. */
906 static struct obj_section *
907 preferred_obj_section (struct obj_section *a, struct obj_section *b)
909 gdb_assert (a->addr () == b->addr ());
910 gdb_assert ((a->objfile->separate_debug_objfile == b->objfile)
911 || (b->objfile->separate_debug_objfile == a->objfile));
912 gdb_assert ((a->objfile->separate_debug_objfile_backlink == b->objfile)
913 || (b->objfile->separate_debug_objfile_backlink == a->objfile));
915 if (a->objfile->separate_debug_objfile != NULL)
916 return a;
917 return b;
920 /* Return 1 if SECTION should be inserted into the section map.
921 We want to insert only non-overlay non-TLS non-empty sections. */
923 static int
924 insert_section_p (const struct bfd *abfd,
925 const struct bfd_section *section)
927 const bfd_vma lma = bfd_section_lma (section);
929 if (overlay_debugging && lma != 0 && lma != bfd_section_vma (section)
930 && (bfd_get_file_flags (abfd) & BFD_IN_MEMORY) == 0)
931 /* This is an overlay section. IN_MEMORY check is needed to avoid
932 discarding sections from the "system supplied DSO" (aka vdso)
933 on some Linux systems (e.g. Fedora 11). */
934 return 0;
935 if ((bfd_section_flags (section) & SEC_THREAD_LOCAL) != 0)
936 /* This is a TLS section. */
937 return 0;
938 if (bfd_section_size (section) == 0)
940 /* This is an empty section. It has no PCs for find_pc_section (), so
941 there is no reason to insert it into the section map. */
942 return 0;
945 return 1;
948 /* Filter out overlapping sections where one section came from the real
949 objfile, and the other from a separate debuginfo file.
950 Return the size of table after redundant sections have been eliminated. */
952 static int
953 filter_debuginfo_sections (struct obj_section **map, int map_size)
955 int i, j;
957 for (i = 0, j = 0; i < map_size - 1; i++)
959 struct obj_section *const sect1 = map[i];
960 struct obj_section *const sect2 = map[i + 1];
961 const struct objfile *const objfile1 = sect1->objfile;
962 const struct objfile *const objfile2 = sect2->objfile;
963 const CORE_ADDR sect1_addr = sect1->addr ();
964 const CORE_ADDR sect2_addr = sect2->addr ();
966 if (sect1_addr == sect2_addr
967 && (objfile1->separate_debug_objfile == objfile2
968 || objfile2->separate_debug_objfile == objfile1))
970 map[j++] = preferred_obj_section (sect1, sect2);
971 ++i;
973 else
974 map[j++] = sect1;
977 if (i < map_size)
979 gdb_assert (i == map_size - 1);
980 map[j++] = map[i];
983 /* The map should not have shrunk to less than half the original size. */
984 gdb_assert (map_size / 2 <= j);
986 return j;
989 /* Filter out overlapping sections, issuing a warning if any are found.
990 Overlapping sections could really be overlay sections which we didn't
991 classify as such in insert_section_p, or we could be dealing with a
992 corrupt binary. */
994 static int
995 filter_overlapping_sections (struct obj_section **map, int map_size)
997 int i, j;
999 for (i = 0, j = 0; i < map_size - 1; )
1001 int k;
1003 map[j++] = map[i];
1004 for (k = i + 1; k < map_size; k++)
1006 struct obj_section *const sect1 = map[i];
1007 struct obj_section *const sect2 = map[k];
1008 const CORE_ADDR sect1_addr = sect1->addr ();
1009 const CORE_ADDR sect2_addr = sect2->addr ();
1010 const CORE_ADDR sect1_endaddr = sect1->endaddr ();
1012 gdb_assert (sect1_addr <= sect2_addr);
1014 if (sect1_endaddr <= sect2_addr)
1015 break;
1016 else
1018 /* We have an overlap. Report it. */
1020 struct objfile *const objf1 = sect1->objfile;
1021 struct objfile *const objf2 = sect2->objfile;
1023 const struct bfd_section *const bfds1 = sect1->the_bfd_section;
1024 const struct bfd_section *const bfds2 = sect2->the_bfd_section;
1026 const CORE_ADDR sect2_endaddr = sect2->endaddr ();
1028 struct gdbarch *const gdbarch = objf1->arch ();
1030 complaint (_("unexpected overlap between:\n"
1031 " (A) section `%s' from `%s' [%s, %s)\n"
1032 " (B) section `%s' from `%s' [%s, %s).\n"
1033 "Will ignore section B"),
1034 bfd_section_name (bfds1), objfile_name (objf1),
1035 paddress (gdbarch, sect1_addr),
1036 paddress (gdbarch, sect1_endaddr),
1037 bfd_section_name (bfds2), objfile_name (objf2),
1038 paddress (gdbarch, sect2_addr),
1039 paddress (gdbarch, sect2_endaddr));
1042 i = k;
1045 if (i < map_size)
1047 gdb_assert (i == map_size - 1);
1048 map[j++] = map[i];
1051 return j;
1055 /* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
1056 TLS, overlay and overlapping sections. */
1058 static void
1059 update_section_map (struct program_space *pspace,
1060 struct obj_section ***pmap, int *pmap_size)
1062 struct objfile_pspace_info *pspace_info;
1063 int alloc_size, map_size, i;
1064 struct obj_section **map;
1066 pspace_info = get_objfile_pspace_data (pspace);
1067 gdb_assert (pspace_info->section_map_dirty != 0
1068 || pspace_info->new_objfiles_available != 0);
1070 map = *pmap;
1071 xfree (map);
1073 alloc_size = 0;
1074 for (objfile *objfile : pspace->objfiles ())
1075 for (obj_section *s : objfile->sections ())
1076 if (insert_section_p (objfile->obfd.get (), s->the_bfd_section))
1077 alloc_size += 1;
1079 /* This happens on detach/attach (e.g. in gdb.base/attach.exp). */
1080 if (alloc_size == 0)
1082 *pmap = NULL;
1083 *pmap_size = 0;
1084 return;
1087 map = XNEWVEC (struct obj_section *, alloc_size);
1089 i = 0;
1090 for (objfile *objfile : pspace->objfiles ())
1091 for (obj_section *s : objfile->sections ())
1092 if (insert_section_p (objfile->obfd.get (), s->the_bfd_section))
1093 map[i++] = s;
1095 std::sort (map, map + alloc_size, sort_cmp);
1096 map_size = filter_debuginfo_sections(map, alloc_size);
1097 map_size = filter_overlapping_sections(map, map_size);
1099 if (map_size < alloc_size)
1100 /* Some sections were eliminated. Trim excess space. */
1101 map = XRESIZEVEC (struct obj_section *, map, map_size);
1102 else
1103 gdb_assert (alloc_size == map_size);
1105 *pmap = map;
1106 *pmap_size = map_size;
1109 /* Bsearch comparison function. */
1111 static int
1112 bsearch_cmp (const void *key, const void *elt)
1114 const CORE_ADDR pc = *(CORE_ADDR *) key;
1115 const struct obj_section *section = *(const struct obj_section **) elt;
1117 if (pc < section->addr ())
1118 return -1;
1119 if (pc < section->endaddr ())
1120 return 0;
1121 return 1;
1124 /* Returns a section whose range includes PC or NULL if none found. */
1126 struct obj_section *
1127 find_pc_section (CORE_ADDR pc)
1129 struct objfile_pspace_info *pspace_info;
1130 struct obj_section *s, **sp;
1132 /* Check for mapped overlay section first. */
1133 s = find_pc_mapped_section (pc);
1134 if (s)
1135 return s;
1137 pspace_info = get_objfile_pspace_data (current_program_space);
1138 if (pspace_info->section_map_dirty
1139 || (pspace_info->new_objfiles_available
1140 && !pspace_info->inhibit_updates))
1142 update_section_map (current_program_space,
1143 &pspace_info->sections,
1144 &pspace_info->num_sections);
1146 /* Don't need updates to section map until objfiles are added,
1147 removed or relocated. */
1148 pspace_info->new_objfiles_available = 0;
1149 pspace_info->section_map_dirty = 0;
1152 /* The C standard (ISO/IEC 9899:TC2) requires the BASE argument to
1153 bsearch be non-NULL. */
1154 if (pspace_info->sections == NULL)
1156 gdb_assert (pspace_info->num_sections == 0);
1157 return NULL;
1160 sp = (struct obj_section **) bsearch (&pc,
1161 pspace_info->sections,
1162 pspace_info->num_sections,
1163 sizeof (*pspace_info->sections),
1164 bsearch_cmp);
1165 if (sp != NULL)
1166 return *sp;
1167 return NULL;
1171 /* Return non-zero if PC is in a section called NAME. */
1173 bool
1174 pc_in_section (CORE_ADDR pc, const char *name)
1176 struct obj_section *s = find_pc_section (pc);
1177 return (s != nullptr
1178 && s->the_bfd_section->name != nullptr
1179 && strcmp (s->the_bfd_section->name, name) == 0);
1183 /* Set section_map_dirty so section map will be rebuilt next time it
1184 is used. Called by reread_symbols. */
1186 void
1187 objfiles_changed (void)
1189 /* Rebuild section map next time we need it. */
1190 get_objfile_pspace_data (current_program_space)->section_map_dirty = 1;
1193 /* See comments in objfiles.h. */
1195 scoped_restore_tmpl<int>
1196 inhibit_section_map_updates (struct program_space *pspace)
1198 return scoped_restore_tmpl<int>
1199 (&get_objfile_pspace_data (pspace)->inhibit_updates, 1);
1202 /* See objfiles.h. */
1204 bool
1205 is_addr_in_objfile (CORE_ADDR addr, const struct objfile *objfile)
1207 if (objfile == NULL)
1208 return false;
1210 for (obj_section *osect : objfile->sections ())
1212 if (section_is_overlay (osect) && !section_is_mapped (osect))
1213 continue;
1215 if (osect->contains (addr))
1216 return true;
1218 return false;
1221 /* See objfiles.h. */
1223 bool
1224 shared_objfile_contains_address_p (struct program_space *pspace,
1225 CORE_ADDR address)
1227 for (objfile *objfile : pspace->objfiles ())
1229 if ((objfile->flags & OBJF_SHARED) != 0
1230 && is_addr_in_objfile (address, objfile))
1231 return true;
1234 return false;
1237 /* The default implementation for the "iterate_over_objfiles_in_search_order"
1238 gdbarch method. It is equivalent to use the objfiles iterable,
1239 searching the objfiles in the order they are stored internally,
1240 ignoring CURRENT_OBJFILE.
1242 On most platforms, it should be close enough to doing the best
1243 we can without some knowledge specific to the architecture. */
1245 void
1246 default_iterate_over_objfiles_in_search_order
1247 (gdbarch *gdbarch, iterate_over_objfiles_in_search_order_cb_ftype cb,
1248 objfile *current_objfile)
1250 for (objfile *objfile : current_program_space->objfiles ())
1251 if (cb (objfile))
1252 return;
1255 /* See objfiles.h. */
1257 const char *
1258 objfile_name (const struct objfile *objfile)
1260 if (objfile->obfd != NULL)
1261 return bfd_get_filename (objfile->obfd.get ());
1263 return objfile->original_name;
1266 /* See objfiles.h. */
1268 const char *
1269 objfile_filename (const struct objfile *objfile)
1271 if (objfile->obfd != NULL)
1272 return bfd_get_filename (objfile->obfd.get ());
1274 return NULL;
1277 /* See objfiles.h. */
1279 const char *
1280 objfile_debug_name (const struct objfile *objfile)
1282 return lbasename (objfile->original_name);
1285 /* See objfiles.h. */
1287 const char *
1288 objfile_flavour_name (struct objfile *objfile)
1290 if (objfile->obfd != NULL)
1291 return bfd_flavour_name (bfd_get_flavour (objfile->obfd.get ()));
1292 return NULL;
1295 /* See objfiles.h. */
1297 struct type *
1298 objfile_int_type (struct objfile *of, int size_in_bytes, bool unsigned_p)
1300 struct type *int_type;
1302 /* Helper macro to examine the various builtin types. */
1303 #define TRY_TYPE(F) \
1304 int_type = (unsigned_p \
1305 ? builtin_type (of)->builtin_unsigned_ ## F \
1306 : builtin_type (of)->builtin_ ## F); \
1307 if (int_type != NULL && int_type->length () == size_in_bytes) \
1308 return int_type
1310 TRY_TYPE (char);
1311 TRY_TYPE (short);
1312 TRY_TYPE (int);
1313 TRY_TYPE (long);
1314 TRY_TYPE (long_long);
1316 #undef TRY_TYPE
1318 gdb_assert_not_reached ("unable to find suitable integer type");