(Ada) Fix resolving of homonym components in tagged types
[binutils-gdb.git] / gdb / objfiles.c
blob4bffd2048c3117b654d4207fa192fd16c74361ed
1 /* GDB routines for manipulating objfiles.
3 Copyright (C) 1992-2018 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 "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 "common/pathstuff.h"
57 #include <vector>
59 /* Keep a registry of per-objfile data-pointers required by other GDB
60 modules. */
62 DEFINE_REGISTRY (objfile, REGISTRY_ACCESS_FIELD)
64 /* Externally visible variables that are owned by this module.
65 See declarations in objfile.h for more info. */
67 struct objfile_pspace_info
69 struct obj_section **sections;
70 int num_sections;
72 /* Nonzero if object files have been added since the section map
73 was last updated. */
74 int new_objfiles_available;
76 /* Nonzero if the section map MUST be updated before use. */
77 int section_map_dirty;
79 /* Nonzero if section map updates should be inhibited if possible. */
80 int inhibit_updates;
83 /* Per-program-space data key. */
84 static const struct program_space_data *objfiles_pspace_data;
86 static void
87 objfiles_pspace_data_cleanup (struct program_space *pspace, void *arg)
89 struct objfile_pspace_info *info = (struct objfile_pspace_info *) arg;
91 xfree (info->sections);
92 xfree (info);
95 /* Get the current svr4 data. If none is found yet, add it now. This
96 function always returns a valid object. */
98 static struct objfile_pspace_info *
99 get_objfile_pspace_data (struct program_space *pspace)
101 struct objfile_pspace_info *info;
103 info = ((struct objfile_pspace_info *)
104 program_space_data (pspace, objfiles_pspace_data));
105 if (info == NULL)
107 info = XCNEW (struct objfile_pspace_info);
108 set_program_space_data (pspace, objfiles_pspace_data, info);
111 return info;
116 /* Per-BFD data key. */
118 static const struct bfd_data *objfiles_bfd_data;
120 /* Create the per-BFD storage object for OBJFILE. If ABFD is not
121 NULL, and it already has a per-BFD storage object, use that.
122 Otherwise, allocate a new per-BFD storage object. If ABFD is not
123 NULL, the object is allocated on the BFD; otherwise it is allocated
124 on OBJFILE's obstack. Note that it is not safe to call this
125 multiple times for a given OBJFILE -- it can only be called when
126 allocating or re-initializing OBJFILE. */
128 static struct objfile_per_bfd_storage *
129 get_objfile_bfd_data (struct objfile *objfile, struct bfd *abfd)
131 struct objfile_per_bfd_storage *storage = NULL;
133 if (abfd != NULL)
134 storage = ((struct objfile_per_bfd_storage *)
135 bfd_data (abfd, objfiles_bfd_data));
137 if (storage == NULL)
139 /* If the object requires gdb to do relocations, we simply fall
140 back to not sharing data across users. These cases are rare
141 enough that this seems reasonable. */
142 if (abfd != NULL && !gdb_bfd_requires_relocations (abfd))
144 storage
145 = ((struct objfile_per_bfd_storage *)
146 bfd_alloc (abfd, sizeof (struct objfile_per_bfd_storage)));
147 /* objfile_per_bfd_storage is not trivially constructible, must
148 call the ctor manually. */
149 storage = new (storage) objfile_per_bfd_storage ();
150 set_bfd_data (abfd, objfiles_bfd_data, storage);
152 else
153 storage
154 = obstack_new<objfile_per_bfd_storage> (&objfile->objfile_obstack);
156 /* Look up the gdbarch associated with the BFD. */
157 if (abfd != NULL)
158 storage->gdbarch = gdbarch_from_bfd (abfd);
160 storage->filename_cache = bcache_xmalloc (NULL, NULL);
161 storage->macro_cache = bcache_xmalloc (NULL, NULL);
162 storage->language_of_main = language_unknown;
165 return storage;
168 /* Free STORAGE. */
170 static void
171 free_objfile_per_bfd_storage (struct objfile_per_bfd_storage *storage)
173 bcache_xfree (storage->filename_cache);
174 bcache_xfree (storage->macro_cache);
175 if (storage->demangled_names_hash)
176 htab_delete (storage->demangled_names_hash);
177 storage->~objfile_per_bfd_storage ();
180 /* A wrapper for free_objfile_per_bfd_storage that can be passed as a
181 cleanup function to the BFD registry. */
183 static void
184 objfile_bfd_data_free (struct bfd *unused, void *d)
186 free_objfile_per_bfd_storage ((struct objfile_per_bfd_storage *) d);
189 /* See objfiles.h. */
191 void
192 set_objfile_per_bfd (struct objfile *objfile)
194 objfile->per_bfd = get_objfile_bfd_data (objfile, objfile->obfd);
197 /* Set the objfile's per-BFD notion of the "main" name and
198 language. */
200 void
201 set_objfile_main_name (struct objfile *objfile,
202 const char *name, enum language lang)
204 if (objfile->per_bfd->name_of_main == NULL
205 || strcmp (objfile->per_bfd->name_of_main, name) != 0)
206 objfile->per_bfd->name_of_main
207 = (const char *) obstack_copy0 (&objfile->per_bfd->storage_obstack, name,
208 strlen (name));
209 objfile->per_bfd->language_of_main = lang;
212 /* Helper structure to map blocks to static link properties in hash tables. */
214 struct static_link_htab_entry
216 const struct block *block;
217 const struct dynamic_prop *static_link;
220 /* Return a hash code for struct static_link_htab_entry *P. */
222 static hashval_t
223 static_link_htab_entry_hash (const void *p)
225 const struct static_link_htab_entry *e
226 = (const struct static_link_htab_entry *) p;
228 return htab_hash_pointer (e->block);
231 /* Return whether P1 an P2 (pointers to struct static_link_htab_entry) are
232 mappings for the same block. */
234 static int
235 static_link_htab_entry_eq (const void *p1, const void *p2)
237 const struct static_link_htab_entry *e1
238 = (const struct static_link_htab_entry *) p1;
239 const struct static_link_htab_entry *e2
240 = (const struct static_link_htab_entry *) p2;
242 return e1->block == e2->block;
245 /* Register STATIC_LINK as the static link for BLOCK, which is part of OBJFILE.
246 Must not be called more than once for each BLOCK. */
248 void
249 objfile_register_static_link (struct objfile *objfile,
250 const struct block *block,
251 const struct dynamic_prop *static_link)
253 void **slot;
254 struct static_link_htab_entry lookup_entry;
255 struct static_link_htab_entry *entry;
257 if (objfile->static_links == NULL)
258 objfile->static_links = htab_create_alloc
259 (1, &static_link_htab_entry_hash, static_link_htab_entry_eq, NULL,
260 xcalloc, xfree);
262 /* Create a slot for the mapping, make sure it's the first mapping for this
263 block and then create the mapping itself. */
264 lookup_entry.block = block;
265 slot = htab_find_slot (objfile->static_links, &lookup_entry, INSERT);
266 gdb_assert (*slot == NULL);
268 entry = XOBNEW (&objfile->objfile_obstack, static_link_htab_entry);
269 entry->block = block;
270 entry->static_link = static_link;
271 *slot = (void *) entry;
274 /* Look for a static link for BLOCK, which is part of OBJFILE. Return NULL if
275 none was found. */
277 const struct dynamic_prop *
278 objfile_lookup_static_link (struct objfile *objfile,
279 const struct block *block)
281 struct static_link_htab_entry *entry;
282 struct static_link_htab_entry lookup_entry;
284 if (objfile->static_links == NULL)
285 return NULL;
286 lookup_entry.block = block;
287 entry
288 = (struct static_link_htab_entry *) htab_find (objfile->static_links,
289 &lookup_entry);
290 if (entry == NULL)
291 return NULL;
293 gdb_assert (entry->block == block);
294 return entry->static_link;
299 /* Called via bfd_map_over_sections to build up the section table that
300 the objfile references. The objfile contains pointers to the start
301 of the table (objfile->sections) and to the first location after
302 the end of the table (objfile->sections_end). */
304 static void
305 add_to_objfile_sections_full (struct bfd *abfd, struct bfd_section *asect,
306 struct objfile *objfile, int force)
308 struct obj_section *section;
310 if (!force)
312 flagword aflag;
314 aflag = bfd_get_section_flags (abfd, asect);
315 if (!(aflag & SEC_ALLOC))
316 return;
319 section = &objfile->sections[gdb_bfd_section_index (abfd, asect)];
320 section->objfile = objfile;
321 section->the_bfd_section = asect;
322 section->ovly_mapped = 0;
325 static void
326 add_to_objfile_sections (struct bfd *abfd, struct bfd_section *asect,
327 void *objfilep)
329 add_to_objfile_sections_full (abfd, asect, (struct objfile *) objfilep, 0);
332 /* Builds a section table for OBJFILE.
334 Note that the OFFSET and OVLY_MAPPED in each table entry are
335 initialized to zero. */
337 void
338 build_objfile_section_table (struct objfile *objfile)
340 int count = gdb_bfd_count_sections (objfile->obfd);
342 objfile->sections = OBSTACK_CALLOC (&objfile->objfile_obstack,
343 count,
344 struct obj_section);
345 objfile->sections_end = (objfile->sections + count);
346 bfd_map_over_sections (objfile->obfd,
347 add_to_objfile_sections, (void *) objfile);
349 /* See gdb_bfd_section_index. */
350 add_to_objfile_sections_full (objfile->obfd, bfd_com_section_ptr, objfile, 1);
351 add_to_objfile_sections_full (objfile->obfd, bfd_und_section_ptr, objfile, 1);
352 add_to_objfile_sections_full (objfile->obfd, bfd_abs_section_ptr, objfile, 1);
353 add_to_objfile_sections_full (objfile->obfd, bfd_ind_section_ptr, objfile, 1);
356 /* Given a pointer to an initialized bfd (ABFD) and some flag bits,
357 initialize the new objfile as best we can and link it into the list
358 of all known objfiles.
360 NAME should contain original non-canonicalized filename or other
361 identifier as entered by user. If there is no better source use
362 bfd_get_filename (ABFD). NAME may be NULL only if ABFD is NULL.
363 NAME content is copied into returned objfile.
365 The FLAGS word contains various bits (OBJF_*) that can be taken as
366 requests for specific operations. Other bits like OBJF_SHARED are
367 simply copied through to the new objfile flags member. */
369 objfile::objfile (bfd *abfd, const char *name, objfile_flags flags_)
370 : flags (flags_),
371 pspace (current_program_space),
372 obfd (abfd),
373 psymbol_cache (psymbol_bcache_init ())
375 const char *expanded_name;
377 /* We could use obstack_specify_allocation here instead, but
378 gdb_obstack.h specifies the alloc/dealloc functions. */
379 obstack_init (&objfile_obstack);
381 objfile_alloc_data (this);
383 gdb::unique_xmalloc_ptr<char> name_holder;
384 if (name == NULL)
386 gdb_assert (abfd == NULL);
387 gdb_assert ((flags & OBJF_NOT_FILENAME) != 0);
388 expanded_name = "<<anonymous objfile>>";
390 else if ((flags & OBJF_NOT_FILENAME) != 0
391 || is_target_filename (name))
392 expanded_name = name;
393 else
395 name_holder = gdb_abspath (name);
396 expanded_name = name_holder.get ();
398 original_name
399 = (char *) obstack_copy0 (&objfile_obstack,
400 expanded_name,
401 strlen (expanded_name));
403 /* Update the per-objfile information that comes from the bfd, ensuring
404 that any data that is reference is saved in the per-objfile data
405 region. */
407 gdb_bfd_ref (abfd);
408 if (abfd != NULL)
410 mtime = bfd_get_mtime (abfd);
412 /* Build section table. */
413 build_objfile_section_table (this);
416 per_bfd = get_objfile_bfd_data (this, abfd);
418 terminate_minimal_symbol_table (this);
420 /* Add this file onto the tail of the linked list of other such files. */
422 if (object_files == NULL)
423 object_files = this;
424 else
426 struct objfile *last_one;
428 for (last_one = object_files;
429 last_one->next;
430 last_one = last_one->next);
431 last_one->next = this;
434 /* Rebuild section map next time we need it. */
435 get_objfile_pspace_data (pspace)->new_objfiles_available = 1;
438 /* Retrieve the gdbarch associated with OBJFILE. */
440 struct gdbarch *
441 get_objfile_arch (const struct objfile *objfile)
443 return objfile->per_bfd->gdbarch;
446 /* If there is a valid and known entry point, function fills *ENTRY_P with it
447 and returns non-zero; otherwise it returns zero. */
450 entry_point_address_query (CORE_ADDR *entry_p)
452 if (symfile_objfile == NULL || !symfile_objfile->per_bfd->ei.entry_point_p)
453 return 0;
455 *entry_p = (symfile_objfile->per_bfd->ei.entry_point
456 + ANOFFSET (symfile_objfile->section_offsets,
457 symfile_objfile->per_bfd->ei.the_bfd_section_index));
459 return 1;
462 /* Get current entry point address. Call error if it is not known. */
464 CORE_ADDR
465 entry_point_address (void)
467 CORE_ADDR retval;
469 if (!entry_point_address_query (&retval))
470 error (_("Entry point address is not known."));
472 return retval;
475 /* Iterator on PARENT and every separate debug objfile of PARENT.
476 The usage pattern is:
477 for (objfile = parent;
478 objfile;
479 objfile = objfile_separate_debug_iterate (parent, objfile))
483 struct objfile *
484 objfile_separate_debug_iterate (const struct objfile *parent,
485 const struct objfile *objfile)
487 struct objfile *res;
489 /* If any, return the first child. */
490 res = objfile->separate_debug_objfile;
491 if (res)
492 return res;
494 /* Common case where there is no separate debug objfile. */
495 if (objfile == parent)
496 return NULL;
498 /* Return the brother if any. Note that we don't iterate on brothers of
499 the parents. */
500 res = objfile->separate_debug_objfile_link;
501 if (res)
502 return res;
504 for (res = objfile->separate_debug_objfile_backlink;
505 res != parent;
506 res = res->separate_debug_objfile_backlink)
508 gdb_assert (res != NULL);
509 if (res->separate_debug_objfile_link)
510 return res->separate_debug_objfile_link;
512 return NULL;
515 /* Put one object file before a specified on in the global list.
516 This can be used to make sure an object file is destroyed before
517 another when using ALL_OBJFILES_SAFE to free all objfiles. */
518 void
519 put_objfile_before (struct objfile *objfile, struct objfile *before_this)
521 struct objfile **objp;
523 unlink_objfile (objfile);
525 for (objp = &object_files; *objp != NULL; objp = &((*objp)->next))
527 if (*objp == before_this)
529 objfile->next = *objp;
530 *objp = objfile;
531 return;
535 internal_error (__FILE__, __LINE__,
536 _("put_objfile_before: before objfile not in list"));
539 /* Unlink OBJFILE from the list of known objfiles, if it is found in the
540 list.
542 It is not a bug, or error, to call this function if OBJFILE is not known
543 to be in the current list. This is done in the case of mapped objfiles,
544 for example, just to ensure that the mapped objfile doesn't appear twice
545 in the list. Since the list is threaded, linking in a mapped objfile
546 twice would create a circular list.
548 If OBJFILE turns out to be in the list, we zap it's NEXT pointer after
549 unlinking it, just to ensure that we have completely severed any linkages
550 between the OBJFILE and the list. */
552 void
553 unlink_objfile (struct objfile *objfile)
555 struct objfile **objpp;
557 for (objpp = &object_files; *objpp != NULL; objpp = &((*objpp)->next))
559 if (*objpp == objfile)
561 *objpp = (*objpp)->next;
562 objfile->next = NULL;
563 return;
567 internal_error (__FILE__, __LINE__,
568 _("unlink_objfile: objfile already unlinked"));
571 /* Add OBJFILE as a separate debug objfile of PARENT. */
573 void
574 add_separate_debug_objfile (struct objfile *objfile, struct objfile *parent)
576 gdb_assert (objfile && parent);
578 /* Must not be already in a list. */
579 gdb_assert (objfile->separate_debug_objfile_backlink == NULL);
580 gdb_assert (objfile->separate_debug_objfile_link == NULL);
581 gdb_assert (objfile->separate_debug_objfile == NULL);
582 gdb_assert (parent->separate_debug_objfile_backlink == NULL);
583 gdb_assert (parent->separate_debug_objfile_link == NULL);
585 objfile->separate_debug_objfile_backlink = parent;
586 objfile->separate_debug_objfile_link = parent->separate_debug_objfile;
587 parent->separate_debug_objfile = objfile;
589 /* Put the separate debug object before the normal one, this is so that
590 usage of the ALL_OBJFILES_SAFE macro will stay safe. */
591 put_objfile_before (objfile, parent);
594 /* Free all separate debug objfile of OBJFILE, but don't free OBJFILE
595 itself. */
597 void
598 free_objfile_separate_debug (struct objfile *objfile)
600 struct objfile *child;
602 for (child = objfile->separate_debug_objfile; child;)
604 struct objfile *next_child = child->separate_debug_objfile_link;
605 delete child;
606 child = next_child;
610 /* Destroy an objfile and all the symtabs and psymtabs under it. */
612 objfile::~objfile ()
614 /* First notify observers that this objfile is about to be freed. */
615 gdb::observers::free_objfile.notify (this);
617 /* Free all separate debug objfiles. */
618 free_objfile_separate_debug (this);
620 if (separate_debug_objfile_backlink)
622 /* We freed the separate debug file, make sure the base objfile
623 doesn't reference it. */
624 struct objfile *child;
626 child = separate_debug_objfile_backlink->separate_debug_objfile;
628 if (child == this)
630 /* THIS is the first child. */
631 separate_debug_objfile_backlink->separate_debug_objfile =
632 separate_debug_objfile_link;
634 else
636 /* Find THIS in the list. */
637 while (1)
639 if (child->separate_debug_objfile_link == this)
641 child->separate_debug_objfile_link =
642 separate_debug_objfile_link;
643 break;
645 child = child->separate_debug_objfile_link;
646 gdb_assert (child);
651 /* Remove any references to this objfile in the global value
652 lists. */
653 preserve_values (this);
655 /* It still may reference data modules have associated with the objfile and
656 the symbol file data. */
657 forget_cached_source_info_for_objfile (this);
659 breakpoint_free_objfile (this);
660 btrace_free_objfile (this);
662 /* First do any symbol file specific actions required when we are
663 finished with a particular symbol file. Note that if the objfile
664 is using reusable symbol information (via mmalloc) then each of
665 these routines is responsible for doing the correct thing, either
666 freeing things which are valid only during this particular gdb
667 execution, or leaving them to be reused during the next one. */
669 if (sf != NULL)
670 (*sf->sym_finish) (this);
672 /* Discard any data modules have associated with the objfile. The function
673 still may reference obfd. */
674 objfile_free_data (this);
676 if (obfd)
677 gdb_bfd_unref (obfd);
678 else
679 free_objfile_per_bfd_storage (per_bfd);
681 /* Remove it from the chain of all objfiles. */
683 unlink_objfile (this);
685 if (this == symfile_objfile)
686 symfile_objfile = NULL;
688 /* Before the symbol table code was redone to make it easier to
689 selectively load and remove information particular to a specific
690 linkage unit, gdb used to do these things whenever the monolithic
691 symbol table was blown away. How much still needs to be done
692 is unknown, but we play it safe for now and keep each action until
693 it is shown to be no longer needed. */
695 /* Not all our callers call clear_symtab_users (objfile_purge_solibs,
696 for example), so we need to call this here. */
697 clear_pc_function_cache ();
699 /* Clear globals which might have pointed into a removed objfile.
700 FIXME: It's not clear which of these are supposed to persist
701 between expressions and which ought to be reset each time. */
702 expression_context_block = NULL;
703 innermost_block.reset ();
705 /* Check to see if the current_source_symtab belongs to this objfile,
706 and if so, call clear_current_source_symtab_and_line. */
709 struct symtab_and_line cursal = get_current_source_symtab_and_line ();
711 if (cursal.symtab && SYMTAB_OBJFILE (cursal.symtab) == this)
712 clear_current_source_symtab_and_line ();
715 /* Free the obstacks for non-reusable objfiles. */
716 psymbol_bcache_free (psymbol_cache);
717 obstack_free (&objfile_obstack, 0);
719 /* Rebuild section map next time we need it. */
720 get_objfile_pspace_data (pspace)->section_map_dirty = 1;
722 /* Free the map for static links. There's no need to free static link
723 themselves since they were allocated on the objstack. */
724 if (static_links != NULL)
725 htab_delete (static_links);
728 /* Free all the object files at once and clean up their users. */
730 void
731 free_all_objfiles (void)
733 struct objfile *objfile, *temp;
734 struct so_list *so;
736 /* Any objfile referencewould become stale. */
737 for (so = master_so_list (); so; so = so->next)
738 gdb_assert (so->objfile == NULL);
740 ALL_OBJFILES_SAFE (objfile, temp)
742 delete objfile;
744 clear_symtab_users (0);
747 /* A helper function for objfile_relocate1 that relocates a single
748 symbol. */
750 static void
751 relocate_one_symbol (struct symbol *sym, struct objfile *objfile,
752 struct section_offsets *delta)
754 fixup_symbol_section (sym, objfile);
756 /* The RS6000 code from which this was taken skipped
757 any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
758 But I'm leaving out that test, on the theory that
759 they can't possibly pass the tests below. */
760 if ((SYMBOL_CLASS (sym) == LOC_LABEL
761 || SYMBOL_CLASS (sym) == LOC_STATIC)
762 && SYMBOL_SECTION (sym) >= 0)
764 SYMBOL_VALUE_ADDRESS (sym) += ANOFFSET (delta, SYMBOL_SECTION (sym));
768 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
769 entries in new_offsets. SEPARATE_DEBUG_OBJFILE is not touched here.
770 Return non-zero iff any change happened. */
772 static int
773 objfile_relocate1 (struct objfile *objfile,
774 const struct section_offsets *new_offsets)
776 struct obj_section *s;
777 struct section_offsets *delta =
778 ((struct section_offsets *)
779 alloca (SIZEOF_N_SECTION_OFFSETS (objfile->num_sections)));
781 int i;
782 int something_changed = 0;
784 for (i = 0; i < objfile->num_sections; ++i)
786 delta->offsets[i] =
787 ANOFFSET (new_offsets, i) - ANOFFSET (objfile->section_offsets, i);
788 if (ANOFFSET (delta, i) != 0)
789 something_changed = 1;
791 if (!something_changed)
792 return 0;
794 /* OK, get all the symtabs. */
796 struct compunit_symtab *cust;
797 struct symtab *s;
799 ALL_OBJFILE_FILETABS (objfile, cust, s)
801 struct linetable *l;
802 int i;
804 /* First the line table. */
805 l = SYMTAB_LINETABLE (s);
806 if (l)
808 for (i = 0; i < l->nitems; ++i)
809 l->item[i].pc += ANOFFSET (delta,
810 COMPUNIT_BLOCK_LINE_SECTION
811 (cust));
815 ALL_OBJFILE_COMPUNITS (objfile, cust)
817 const struct blockvector *bv = COMPUNIT_BLOCKVECTOR (cust);
818 int block_line_section = COMPUNIT_BLOCK_LINE_SECTION (cust);
820 if (BLOCKVECTOR_MAP (bv))
821 addrmap_relocate (BLOCKVECTOR_MAP (bv),
822 ANOFFSET (delta, block_line_section));
824 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); ++i)
826 struct block *b;
827 struct symbol *sym;
828 struct dict_iterator iter;
830 b = BLOCKVECTOR_BLOCK (bv, i);
831 BLOCK_START (b) += ANOFFSET (delta, block_line_section);
832 BLOCK_END (b) += ANOFFSET (delta, block_line_section);
834 if (BLOCK_RANGES (b) != nullptr)
835 for (int j = 0; j < BLOCK_NRANGES (b); j++)
837 BLOCK_RANGE_START (b, j)
838 += ANOFFSET (delta, block_line_section);
839 BLOCK_RANGE_END (b, j) += ANOFFSET (delta, block_line_section);
842 /* We only want to iterate over the local symbols, not any
843 symbols in included symtabs. */
844 ALL_DICT_SYMBOLS (BLOCK_DICT (b), iter, sym)
846 relocate_one_symbol (sym, objfile, delta);
852 /* This stores relocated addresses and so must be cleared. This
853 will cause it to be recreated on demand. */
854 objfile->psymbol_map.clear ();
856 /* Relocate isolated symbols. */
858 struct symbol *iter;
860 for (iter = objfile->template_symbols; iter; iter = iter->hash_next)
861 relocate_one_symbol (iter, objfile, delta);
865 int i;
867 for (i = 0; i < objfile->num_sections; ++i)
868 (objfile->section_offsets)->offsets[i] = ANOFFSET (new_offsets, i);
871 /* Rebuild section map next time we need it. */
872 get_objfile_pspace_data (objfile->pspace)->section_map_dirty = 1;
874 /* Update the table in exec_ops, used to read memory. */
875 ALL_OBJFILE_OSECTIONS (objfile, s)
877 int idx = s - objfile->sections;
879 exec_set_section_address (bfd_get_filename (objfile->obfd), idx,
880 obj_section_addr (s));
883 /* Data changed. */
884 return 1;
887 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
888 entries in new_offsets. Process also OBJFILE's SEPARATE_DEBUG_OBJFILEs.
890 The number and ordering of sections does differ between the two objfiles.
891 Only their names match. Also the file offsets will differ (objfile being
892 possibly prelinked but separate_debug_objfile is probably not prelinked) but
893 the in-memory absolute address as specified by NEW_OFFSETS must match both
894 files. */
896 void
897 objfile_relocate (struct objfile *objfile,
898 const struct section_offsets *new_offsets)
900 struct objfile *debug_objfile;
901 int changed = 0;
903 changed |= objfile_relocate1 (objfile, new_offsets);
905 for (debug_objfile = objfile->separate_debug_objfile;
906 debug_objfile;
907 debug_objfile = objfile_separate_debug_iterate (objfile, debug_objfile))
909 section_addr_info objfile_addrs
910 = build_section_addr_info_from_objfile (objfile);
912 /* Here OBJFILE_ADDRS contain the correct absolute addresses, the
913 relative ones must be already created according to debug_objfile. */
915 addr_info_make_relative (&objfile_addrs, debug_objfile->obfd);
917 gdb_assert (debug_objfile->num_sections
918 == gdb_bfd_count_sections (debug_objfile->obfd));
919 std::vector<struct section_offsets>
920 new_debug_offsets (SIZEOF_N_SECTION_OFFSETS (debug_objfile->num_sections));
921 relative_addr_info_to_section_offsets (new_debug_offsets.data (),
922 debug_objfile->num_sections,
923 objfile_addrs);
925 changed |= objfile_relocate1 (debug_objfile, new_debug_offsets.data ());
928 /* Relocate breakpoints as necessary, after things are relocated. */
929 if (changed)
930 breakpoint_re_set ();
933 /* Rebase (add to the offsets) OBJFILE by SLIDE. SEPARATE_DEBUG_OBJFILE is
934 not touched here.
935 Return non-zero iff any change happened. */
937 static int
938 objfile_rebase1 (struct objfile *objfile, CORE_ADDR slide)
940 struct section_offsets *new_offsets =
941 ((struct section_offsets *)
942 alloca (SIZEOF_N_SECTION_OFFSETS (objfile->num_sections)));
943 int i;
945 for (i = 0; i < objfile->num_sections; ++i)
946 new_offsets->offsets[i] = slide;
948 return objfile_relocate1 (objfile, new_offsets);
951 /* Rebase (add to the offsets) OBJFILE by SLIDE. Process also OBJFILE's
952 SEPARATE_DEBUG_OBJFILEs. */
954 void
955 objfile_rebase (struct objfile *objfile, CORE_ADDR slide)
957 struct objfile *debug_objfile;
958 int changed = 0;
960 changed |= objfile_rebase1 (objfile, slide);
962 for (debug_objfile = objfile->separate_debug_objfile;
963 debug_objfile;
964 debug_objfile = objfile_separate_debug_iterate (objfile, debug_objfile))
965 changed |= objfile_rebase1 (debug_objfile, slide);
967 /* Relocate breakpoints as necessary, after things are relocated. */
968 if (changed)
969 breakpoint_re_set ();
972 /* Return non-zero if OBJFILE has partial symbols. */
975 objfile_has_partial_symbols (struct objfile *objfile)
977 if (!objfile->sf)
978 return 0;
980 /* If we have not read psymbols, but we have a function capable of reading
981 them, then that is an indication that they are in fact available. Without
982 this function the symbols may have been already read in but they also may
983 not be present in this objfile. */
984 if ((objfile->flags & OBJF_PSYMTABS_READ) == 0
985 && objfile->sf->sym_read_psymbols != NULL)
986 return 1;
988 return objfile->sf->qf->has_symbols (objfile);
991 /* Return non-zero if OBJFILE has full symbols. */
994 objfile_has_full_symbols (struct objfile *objfile)
996 return objfile->compunit_symtabs != NULL;
999 /* Return non-zero if OBJFILE has full or partial symbols, either directly
1000 or through a separate debug file. */
1003 objfile_has_symbols (struct objfile *objfile)
1005 struct objfile *o;
1007 for (o = objfile; o; o = objfile_separate_debug_iterate (objfile, o))
1008 if (objfile_has_partial_symbols (o) || objfile_has_full_symbols (o))
1009 return 1;
1010 return 0;
1014 /* Many places in gdb want to test just to see if we have any partial
1015 symbols available. This function returns zero if none are currently
1016 available, nonzero otherwise. */
1019 have_partial_symbols (void)
1021 struct objfile *ofp;
1023 ALL_OBJFILES (ofp)
1025 if (objfile_has_partial_symbols (ofp))
1026 return 1;
1028 return 0;
1031 /* Many places in gdb want to test just to see if we have any full
1032 symbols available. This function returns zero if none are currently
1033 available, nonzero otherwise. */
1036 have_full_symbols (void)
1038 struct objfile *ofp;
1040 ALL_OBJFILES (ofp)
1042 if (objfile_has_full_symbols (ofp))
1043 return 1;
1045 return 0;
1049 /* This operations deletes all objfile entries that represent solibs that
1050 weren't explicitly loaded by the user, via e.g., the add-symbol-file
1051 command. */
1053 void
1054 objfile_purge_solibs (void)
1056 struct objfile *objf;
1057 struct objfile *temp;
1059 ALL_OBJFILES_SAFE (objf, temp)
1061 /* We assume that the solib package has been purged already, or will
1062 be soon. */
1064 if (!(objf->flags & OBJF_USERLOADED) && (objf->flags & OBJF_SHARED))
1065 delete objf;
1070 /* Many places in gdb want to test just to see if we have any minimal
1071 symbols available. This function returns zero if none are currently
1072 available, nonzero otherwise. */
1075 have_minimal_symbols (void)
1077 struct objfile *ofp;
1079 ALL_OBJFILES (ofp)
1081 if (ofp->per_bfd->minimal_symbol_count > 0)
1083 return 1;
1086 return 0;
1089 /* Qsort comparison function. */
1091 static int
1092 qsort_cmp (const void *a, const void *b)
1094 const struct obj_section *sect1 = *(const struct obj_section **) a;
1095 const struct obj_section *sect2 = *(const struct obj_section **) b;
1096 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
1097 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
1099 if (sect1_addr < sect2_addr)
1100 return -1;
1101 else if (sect1_addr > sect2_addr)
1102 return 1;
1103 else
1105 /* Sections are at the same address. This could happen if
1106 A) we have an objfile and a separate debuginfo.
1107 B) we are confused, and have added sections without proper relocation,
1108 or something like that. */
1110 const struct objfile *const objfile1 = sect1->objfile;
1111 const struct objfile *const objfile2 = sect2->objfile;
1113 if (objfile1->separate_debug_objfile == objfile2
1114 || objfile2->separate_debug_objfile == objfile1)
1116 /* Case A. The ordering doesn't matter: separate debuginfo files
1117 will be filtered out later. */
1119 return 0;
1122 /* Case B. Maintain stable sort order, so bugs in GDB are easier to
1123 triage. This section could be slow (since we iterate over all
1124 objfiles in each call to qsort_cmp), but this shouldn't happen
1125 very often (GDB is already in a confused state; one hopes this
1126 doesn't happen at all). If you discover that significant time is
1127 spent in the loops below, do 'set complaints 100' and examine the
1128 resulting complaints. */
1130 if (objfile1 == objfile2)
1132 /* Both sections came from the same objfile. We are really confused.
1133 Sort on sequence order of sections within the objfile. */
1135 const struct obj_section *osect;
1137 ALL_OBJFILE_OSECTIONS (objfile1, osect)
1138 if (osect == sect1)
1139 return -1;
1140 else if (osect == sect2)
1141 return 1;
1143 /* We should have found one of the sections before getting here. */
1144 gdb_assert_not_reached ("section not found");
1146 else
1148 /* Sort on sequence number of the objfile in the chain. */
1150 const struct objfile *objfile;
1152 ALL_OBJFILES (objfile)
1153 if (objfile == objfile1)
1154 return -1;
1155 else if (objfile == objfile2)
1156 return 1;
1158 /* We should have found one of the objfiles before getting here. */
1159 gdb_assert_not_reached ("objfile not found");
1163 /* Unreachable. */
1164 gdb_assert_not_reached ("unexpected code path");
1165 return 0;
1168 /* Select "better" obj_section to keep. We prefer the one that came from
1169 the real object, rather than the one from separate debuginfo.
1170 Most of the time the two sections are exactly identical, but with
1171 prelinking the .rel.dyn section in the real object may have different
1172 size. */
1174 static struct obj_section *
1175 preferred_obj_section (struct obj_section *a, struct obj_section *b)
1177 gdb_assert (obj_section_addr (a) == obj_section_addr (b));
1178 gdb_assert ((a->objfile->separate_debug_objfile == b->objfile)
1179 || (b->objfile->separate_debug_objfile == a->objfile));
1180 gdb_assert ((a->objfile->separate_debug_objfile_backlink == b->objfile)
1181 || (b->objfile->separate_debug_objfile_backlink == a->objfile));
1183 if (a->objfile->separate_debug_objfile != NULL)
1184 return a;
1185 return b;
1188 /* Return 1 if SECTION should be inserted into the section map.
1189 We want to insert only non-overlay and non-TLS section. */
1191 static int
1192 insert_section_p (const struct bfd *abfd,
1193 const struct bfd_section *section)
1195 const bfd_vma lma = bfd_section_lma (abfd, section);
1197 if (overlay_debugging && lma != 0 && lma != bfd_section_vma (abfd, section)
1198 && (bfd_get_file_flags (abfd) & BFD_IN_MEMORY) == 0)
1199 /* This is an overlay section. IN_MEMORY check is needed to avoid
1200 discarding sections from the "system supplied DSO" (aka vdso)
1201 on some Linux systems (e.g. Fedora 11). */
1202 return 0;
1203 if ((bfd_get_section_flags (abfd, section) & SEC_THREAD_LOCAL) != 0)
1204 /* This is a TLS section. */
1205 return 0;
1207 return 1;
1210 /* Filter out overlapping sections where one section came from the real
1211 objfile, and the other from a separate debuginfo file.
1212 Return the size of table after redundant sections have been eliminated. */
1214 static int
1215 filter_debuginfo_sections (struct obj_section **map, int map_size)
1217 int i, j;
1219 for (i = 0, j = 0; i < map_size - 1; i++)
1221 struct obj_section *const sect1 = map[i];
1222 struct obj_section *const sect2 = map[i + 1];
1223 const struct objfile *const objfile1 = sect1->objfile;
1224 const struct objfile *const objfile2 = sect2->objfile;
1225 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
1226 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
1228 if (sect1_addr == sect2_addr
1229 && (objfile1->separate_debug_objfile == objfile2
1230 || objfile2->separate_debug_objfile == objfile1))
1232 map[j++] = preferred_obj_section (sect1, sect2);
1233 ++i;
1235 else
1236 map[j++] = sect1;
1239 if (i < map_size)
1241 gdb_assert (i == map_size - 1);
1242 map[j++] = map[i];
1245 /* The map should not have shrunk to less than half the original size. */
1246 gdb_assert (map_size / 2 <= j);
1248 return j;
1251 /* Filter out overlapping sections, issuing a warning if any are found.
1252 Overlapping sections could really be overlay sections which we didn't
1253 classify as such in insert_section_p, or we could be dealing with a
1254 corrupt binary. */
1256 static int
1257 filter_overlapping_sections (struct obj_section **map, int map_size)
1259 int i, j;
1261 for (i = 0, j = 0; i < map_size - 1; )
1263 int k;
1265 map[j++] = map[i];
1266 for (k = i + 1; k < map_size; k++)
1268 struct obj_section *const sect1 = map[i];
1269 struct obj_section *const sect2 = map[k];
1270 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
1271 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
1272 const CORE_ADDR sect1_endaddr = obj_section_endaddr (sect1);
1274 gdb_assert (sect1_addr <= sect2_addr);
1276 if (sect1_endaddr <= sect2_addr)
1277 break;
1278 else
1280 /* We have an overlap. Report it. */
1282 struct objfile *const objf1 = sect1->objfile;
1283 struct objfile *const objf2 = sect2->objfile;
1285 const struct bfd_section *const bfds1 = sect1->the_bfd_section;
1286 const struct bfd_section *const bfds2 = sect2->the_bfd_section;
1288 const CORE_ADDR sect2_endaddr = obj_section_endaddr (sect2);
1290 struct gdbarch *const gdbarch = get_objfile_arch (objf1);
1292 complaint (_("unexpected overlap between:\n"
1293 " (A) section `%s' from `%s' [%s, %s)\n"
1294 " (B) section `%s' from `%s' [%s, %s).\n"
1295 "Will ignore section B"),
1296 bfd_section_name (abfd1, bfds1), objfile_name (objf1),
1297 paddress (gdbarch, sect1_addr),
1298 paddress (gdbarch, sect1_endaddr),
1299 bfd_section_name (abfd2, bfds2), objfile_name (objf2),
1300 paddress (gdbarch, sect2_addr),
1301 paddress (gdbarch, sect2_endaddr));
1304 i = k;
1307 if (i < map_size)
1309 gdb_assert (i == map_size - 1);
1310 map[j++] = map[i];
1313 return j;
1317 /* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
1318 TLS, overlay and overlapping sections. */
1320 static void
1321 update_section_map (struct program_space *pspace,
1322 struct obj_section ***pmap, int *pmap_size)
1324 struct objfile_pspace_info *pspace_info;
1325 int alloc_size, map_size, i;
1326 struct obj_section *s, **map;
1327 struct objfile *objfile;
1329 pspace_info = get_objfile_pspace_data (pspace);
1330 gdb_assert (pspace_info->section_map_dirty != 0
1331 || pspace_info->new_objfiles_available != 0);
1333 map = *pmap;
1334 xfree (map);
1336 alloc_size = 0;
1337 ALL_PSPACE_OBJFILES (pspace, objfile)
1338 ALL_OBJFILE_OSECTIONS (objfile, s)
1339 if (insert_section_p (objfile->obfd, s->the_bfd_section))
1340 alloc_size += 1;
1342 /* This happens on detach/attach (e.g. in gdb.base/attach.exp). */
1343 if (alloc_size == 0)
1345 *pmap = NULL;
1346 *pmap_size = 0;
1347 return;
1350 map = XNEWVEC (struct obj_section *, alloc_size);
1352 i = 0;
1353 ALL_PSPACE_OBJFILES (pspace, objfile)
1354 ALL_OBJFILE_OSECTIONS (objfile, s)
1355 if (insert_section_p (objfile->obfd, s->the_bfd_section))
1356 map[i++] = s;
1358 qsort (map, alloc_size, sizeof (*map), qsort_cmp);
1359 map_size = filter_debuginfo_sections(map, alloc_size);
1360 map_size = filter_overlapping_sections(map, map_size);
1362 if (map_size < alloc_size)
1363 /* Some sections were eliminated. Trim excess space. */
1364 map = XRESIZEVEC (struct obj_section *, map, map_size);
1365 else
1366 gdb_assert (alloc_size == map_size);
1368 *pmap = map;
1369 *pmap_size = map_size;
1372 /* Bsearch comparison function. */
1374 static int
1375 bsearch_cmp (const void *key, const void *elt)
1377 const CORE_ADDR pc = *(CORE_ADDR *) key;
1378 const struct obj_section *section = *(const struct obj_section **) elt;
1380 if (pc < obj_section_addr (section))
1381 return -1;
1382 if (pc < obj_section_endaddr (section))
1383 return 0;
1384 return 1;
1387 /* Returns a section whose range includes PC or NULL if none found. */
1389 struct obj_section *
1390 find_pc_section (CORE_ADDR pc)
1392 struct objfile_pspace_info *pspace_info;
1393 struct obj_section *s, **sp;
1395 /* Check for mapped overlay section first. */
1396 s = find_pc_mapped_section (pc);
1397 if (s)
1398 return s;
1400 pspace_info = get_objfile_pspace_data (current_program_space);
1401 if (pspace_info->section_map_dirty
1402 || (pspace_info->new_objfiles_available
1403 && !pspace_info->inhibit_updates))
1405 update_section_map (current_program_space,
1406 &pspace_info->sections,
1407 &pspace_info->num_sections);
1409 /* Don't need updates to section map until objfiles are added,
1410 removed or relocated. */
1411 pspace_info->new_objfiles_available = 0;
1412 pspace_info->section_map_dirty = 0;
1415 /* The C standard (ISO/IEC 9899:TC2) requires the BASE argument to
1416 bsearch be non-NULL. */
1417 if (pspace_info->sections == NULL)
1419 gdb_assert (pspace_info->num_sections == 0);
1420 return NULL;
1423 sp = (struct obj_section **) bsearch (&pc,
1424 pspace_info->sections,
1425 pspace_info->num_sections,
1426 sizeof (*pspace_info->sections),
1427 bsearch_cmp);
1428 if (sp != NULL)
1429 return *sp;
1430 return NULL;
1434 /* Return non-zero if PC is in a section called NAME. */
1437 pc_in_section (CORE_ADDR pc, const char *name)
1439 struct obj_section *s;
1440 int retval = 0;
1442 s = find_pc_section (pc);
1444 retval = (s != NULL
1445 && s->the_bfd_section->name != NULL
1446 && strcmp (s->the_bfd_section->name, name) == 0);
1447 return (retval);
1451 /* Set section_map_dirty so section map will be rebuilt next time it
1452 is used. Called by reread_symbols. */
1454 void
1455 objfiles_changed (void)
1457 /* Rebuild section map next time we need it. */
1458 get_objfile_pspace_data (current_program_space)->section_map_dirty = 1;
1461 /* See comments in objfiles.h. */
1463 scoped_restore_tmpl<int>
1464 inhibit_section_map_updates (struct program_space *pspace)
1466 return scoped_restore_tmpl<int>
1467 (&get_objfile_pspace_data (pspace)->inhibit_updates, 1);
1470 /* Return 1 if ADDR maps into one of the sections of OBJFILE and 0
1471 otherwise. */
1474 is_addr_in_objfile (CORE_ADDR addr, const struct objfile *objfile)
1476 struct obj_section *osect;
1478 if (objfile == NULL)
1479 return 0;
1481 ALL_OBJFILE_OSECTIONS (objfile, osect)
1483 if (section_is_overlay (osect) && !section_is_mapped (osect))
1484 continue;
1486 if (obj_section_addr (osect) <= addr
1487 && addr < obj_section_endaddr (osect))
1488 return 1;
1490 return 0;
1494 shared_objfile_contains_address_p (struct program_space *pspace,
1495 CORE_ADDR address)
1497 struct objfile *objfile;
1499 ALL_PSPACE_OBJFILES (pspace, objfile)
1501 if ((objfile->flags & OBJF_SHARED) != 0
1502 && is_addr_in_objfile (address, objfile))
1503 return 1;
1506 return 0;
1509 /* The default implementation for the "iterate_over_objfiles_in_search_order"
1510 gdbarch method. It is equivalent to use the ALL_OBJFILES macro,
1511 searching the objfiles in the order they are stored internally,
1512 ignoring CURRENT_OBJFILE.
1514 On most platorms, it should be close enough to doing the best
1515 we can without some knowledge specific to the architecture. */
1517 void
1518 default_iterate_over_objfiles_in_search_order
1519 (struct gdbarch *gdbarch,
1520 iterate_over_objfiles_in_search_order_cb_ftype *cb,
1521 void *cb_data, struct objfile *current_objfile)
1523 int stop = 0;
1524 struct objfile *objfile;
1526 ALL_OBJFILES (objfile)
1528 stop = cb (objfile, cb_data);
1529 if (stop)
1530 return;
1534 /* See objfiles.h. */
1536 const char *
1537 objfile_name (const struct objfile *objfile)
1539 if (objfile->obfd != NULL)
1540 return bfd_get_filename (objfile->obfd);
1542 return objfile->original_name;
1545 /* See objfiles.h. */
1547 const char *
1548 objfile_filename (const struct objfile *objfile)
1550 if (objfile->obfd != NULL)
1551 return bfd_get_filename (objfile->obfd);
1553 return NULL;
1556 /* See objfiles.h. */
1558 const char *
1559 objfile_debug_name (const struct objfile *objfile)
1561 return lbasename (objfile->original_name);
1564 /* See objfiles.h. */
1566 const char *
1567 objfile_flavour_name (struct objfile *objfile)
1569 if (objfile->obfd != NULL)
1570 return bfd_flavour_name (bfd_get_flavour (objfile->obfd));
1571 return NULL;
1574 void
1575 _initialize_objfiles (void)
1577 objfiles_pspace_data
1578 = register_program_space_data_with_cleanup (NULL,
1579 objfiles_pspace_data_cleanup);
1581 objfiles_bfd_data = register_bfd_data_with_cleanup (NULL,
1582 objfile_bfd_data_free);