Introduce program_space::remove_objfile
[deliverable/binutils-gdb.git] / gdb / objfiles.c
1 /* GDB routines for manipulating objfiles.
2
3 Copyright (C) 1992-2019 Free Software Foundation, Inc.
4
5 Contributed by Cygnus Support, using pieces from other GDB modules.
6
7 This file is part of GDB.
8
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.
13
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.
18
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/>. */
21
22 /* This file contains support routines for creating, manipulating, and
23 destroying objfile structures. */
24
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"
35
36 #include <sys/types.h>
37 #include <sys/stat.h>
38 #include <fcntl.h>
39 #include "gdb_obstack.h"
40 #include "hashtab.h"
41
42 #include "breakpoint.h"
43 #include "block.h"
44 #include "dictionary.h"
45 #include "source.h"
46 #include "addrmap.h"
47 #include "arch-utils.h"
48 #include "exec.h"
49 #include "observable.h"
50 #include "complaints.h"
51 #include "psymtab.h"
52 #include "solist.h"
53 #include "gdb_bfd.h"
54 #include "btrace.h"
55 #include "gdbsupport/pathstuff.h"
56
57 #include <vector>
58
59 /* Keep a registry of per-objfile data-pointers required by other GDB
60 modules. */
61
62 DEFINE_REGISTRY (objfile, REGISTRY_ACCESS_FIELD)
63
64 /* Externally visible variables that are owned by this module.
65 See declarations in objfile.h for more info. */
66
67 struct objfile_pspace_info
68 {
69 objfile_pspace_info () = default;
70 ~objfile_pspace_info ();
71
72 struct obj_section **sections = nullptr;
73 int num_sections = 0;
74
75 /* Nonzero if object files have been added since the section map
76 was last updated. */
77 int new_objfiles_available = 0;
78
79 /* Nonzero if the section map MUST be updated before use. */
80 int section_map_dirty = 0;
81
82 /* Nonzero if section map updates should be inhibited if possible. */
83 int inhibit_updates = 0;
84 };
85
86 /* Per-program-space data key. */
87 static const struct program_space_key<objfile_pspace_info>
88 objfiles_pspace_data;
89
90 objfile_pspace_info::~objfile_pspace_info ()
91 {
92 xfree (sections);
93 }
94
95 /* Get the current svr4 data. If none is found yet, add it now. This
96 function always returns a valid object. */
97
98 static struct objfile_pspace_info *
99 get_objfile_pspace_data (struct program_space *pspace)
100 {
101 struct objfile_pspace_info *info;
102
103 info = objfiles_pspace_data.get (pspace);
104 if (info == NULL)
105 info = objfiles_pspace_data.emplace (pspace);
106
107 return info;
108 }
109
110 \f
111
112 /* Per-BFD data key. */
113
114 static const struct bfd_key<objfile_per_bfd_storage> objfiles_bfd_data;
115
116 objfile_per_bfd_storage::~objfile_per_bfd_storage ()
117 {
118 }
119
120 /* Create the per-BFD storage object for OBJFILE. If ABFD is not
121 NULL, and it already has a per-BFD storage object, use that.
122 Otherwise, allocate a new per-BFD storage object. Note that it is
123 not safe to call this multiple times for a given OBJFILE -- it can
124 only be called when allocating or re-initializing OBJFILE. */
125
126 static struct objfile_per_bfd_storage *
127 get_objfile_bfd_data (struct objfile *objfile, struct bfd *abfd)
128 {
129 struct objfile_per_bfd_storage *storage = NULL;
130
131 if (abfd != NULL)
132 storage = objfiles_bfd_data.get (abfd);
133
134 if (storage == NULL)
135 {
136 storage = new objfile_per_bfd_storage;
137 /* If the object requires gdb to do relocations, we simply fall
138 back to not sharing data across users. These cases are rare
139 enough that this seems reasonable. */
140 if (abfd != NULL && !gdb_bfd_requires_relocations (abfd))
141 objfiles_bfd_data.set (abfd, storage);
142
143 /* Look up the gdbarch associated with the BFD. */
144 if (abfd != NULL)
145 storage->gdbarch = gdbarch_from_bfd (abfd);
146 }
147
148 return storage;
149 }
150
151 /* See objfiles.h. */
152
153 void
154 set_objfile_per_bfd (struct objfile *objfile)
155 {
156 objfile->per_bfd = get_objfile_bfd_data (objfile, objfile->obfd);
157 }
158
159 /* Set the objfile's per-BFD notion of the "main" name and
160 language. */
161
162 void
163 set_objfile_main_name (struct objfile *objfile,
164 const char *name, enum language lang)
165 {
166 if (objfile->per_bfd->name_of_main == NULL
167 || strcmp (objfile->per_bfd->name_of_main, name) != 0)
168 objfile->per_bfd->name_of_main
169 = obstack_strdup (&objfile->per_bfd->storage_obstack, name);
170 objfile->per_bfd->language_of_main = lang;
171 }
172
173 /* Helper structure to map blocks to static link properties in hash tables. */
174
175 struct static_link_htab_entry
176 {
177 const struct block *block;
178 const struct dynamic_prop *static_link;
179 };
180
181 /* Return a hash code for struct static_link_htab_entry *P. */
182
183 static hashval_t
184 static_link_htab_entry_hash (const void *p)
185 {
186 const struct static_link_htab_entry *e
187 = (const struct static_link_htab_entry *) p;
188
189 return htab_hash_pointer (e->block);
190 }
191
192 /* Return whether P1 an P2 (pointers to struct static_link_htab_entry) are
193 mappings for the same block. */
194
195 static int
196 static_link_htab_entry_eq (const void *p1, const void *p2)
197 {
198 const struct static_link_htab_entry *e1
199 = (const struct static_link_htab_entry *) p1;
200 const struct static_link_htab_entry *e2
201 = (const struct static_link_htab_entry *) p2;
202
203 return e1->block == e2->block;
204 }
205
206 /* Register STATIC_LINK as the static link for BLOCK, which is part of OBJFILE.
207 Must not be called more than once for each BLOCK. */
208
209 void
210 objfile_register_static_link (struct objfile *objfile,
211 const struct block *block,
212 const struct dynamic_prop *static_link)
213 {
214 void **slot;
215 struct static_link_htab_entry lookup_entry;
216 struct static_link_htab_entry *entry;
217
218 if (objfile->static_links == NULL)
219 objfile->static_links.reset (htab_create_alloc
220 (1, &static_link_htab_entry_hash, static_link_htab_entry_eq, NULL,
221 xcalloc, xfree));
222
223 /* Create a slot for the mapping, make sure it's the first mapping for this
224 block and then create the mapping itself. */
225 lookup_entry.block = block;
226 slot = htab_find_slot (objfile->static_links.get (), &lookup_entry, INSERT);
227 gdb_assert (*slot == NULL);
228
229 entry = XOBNEW (&objfile->objfile_obstack, static_link_htab_entry);
230 entry->block = block;
231 entry->static_link = static_link;
232 *slot = (void *) entry;
233 }
234
235 /* Look for a static link for BLOCK, which is part of OBJFILE. Return NULL if
236 none was found. */
237
238 const struct dynamic_prop *
239 objfile_lookup_static_link (struct objfile *objfile,
240 const struct block *block)
241 {
242 struct static_link_htab_entry *entry;
243 struct static_link_htab_entry lookup_entry;
244
245 if (objfile->static_links == NULL)
246 return NULL;
247 lookup_entry.block = block;
248 entry = ((struct static_link_htab_entry *)
249 htab_find (objfile->static_links.get (), &lookup_entry));
250 if (entry == NULL)
251 return NULL;
252
253 gdb_assert (entry->block == block);
254 return entry->static_link;
255 }
256
257 \f
258
259 /* Called via bfd_map_over_sections to build up the section table that
260 the objfile references. The objfile contains pointers to the start
261 of the table (objfile->sections) and to the first location after
262 the end of the table (objfile->sections_end). */
263
264 static void
265 add_to_objfile_sections_full (struct bfd *abfd, struct bfd_section *asect,
266 struct objfile *objfile, int force)
267 {
268 struct obj_section *section;
269
270 if (!force)
271 {
272 flagword aflag;
273
274 aflag = bfd_section_flags (asect);
275 if (!(aflag & SEC_ALLOC))
276 return;
277 }
278
279 section = &objfile->sections[gdb_bfd_section_index (abfd, asect)];
280 section->objfile = objfile;
281 section->the_bfd_section = asect;
282 section->ovly_mapped = 0;
283 }
284
285 static void
286 add_to_objfile_sections (struct bfd *abfd, struct bfd_section *asect,
287 void *objfilep)
288 {
289 add_to_objfile_sections_full (abfd, asect, (struct objfile *) objfilep, 0);
290 }
291
292 /* Builds a section table for OBJFILE.
293
294 Note that the OFFSET and OVLY_MAPPED in each table entry are
295 initialized to zero. */
296
297 void
298 build_objfile_section_table (struct objfile *objfile)
299 {
300 int count = gdb_bfd_count_sections (objfile->obfd);
301
302 objfile->sections = OBSTACK_CALLOC (&objfile->objfile_obstack,
303 count,
304 struct obj_section);
305 objfile->sections_end = (objfile->sections + count);
306 bfd_map_over_sections (objfile->obfd,
307 add_to_objfile_sections, (void *) objfile);
308
309 /* See gdb_bfd_section_index. */
310 add_to_objfile_sections_full (objfile->obfd, bfd_com_section_ptr, objfile, 1);
311 add_to_objfile_sections_full (objfile->obfd, bfd_und_section_ptr, objfile, 1);
312 add_to_objfile_sections_full (objfile->obfd, bfd_abs_section_ptr, objfile, 1);
313 add_to_objfile_sections_full (objfile->obfd, bfd_ind_section_ptr, objfile, 1);
314 }
315
316 /* Given a pointer to an initialized bfd (ABFD) and some flag bits,
317 initialize the new objfile as best we can and link it into the list
318 of all known objfiles.
319
320 NAME should contain original non-canonicalized filename or other
321 identifier as entered by user. If there is no better source use
322 bfd_get_filename (ABFD). NAME may be NULL only if ABFD is NULL.
323 NAME content is copied into returned objfile.
324
325 The FLAGS word contains various bits (OBJF_*) that can be taken as
326 requests for specific operations. Other bits like OBJF_SHARED are
327 simply copied through to the new objfile flags member. */
328
329 objfile::objfile (bfd *abfd, const char *name, objfile_flags flags_)
330 : flags (flags_),
331 pspace (current_program_space),
332 partial_symtabs (new psymtab_storage ()),
333 obfd (abfd)
334 {
335 const char *expanded_name;
336
337 /* We could use obstack_specify_allocation here instead, but
338 gdb_obstack.h specifies the alloc/dealloc functions. */
339 obstack_init (&objfile_obstack);
340
341 objfile_alloc_data (this);
342
343 gdb::unique_xmalloc_ptr<char> name_holder;
344 if (name == NULL)
345 {
346 gdb_assert (abfd == NULL);
347 gdb_assert ((flags & OBJF_NOT_FILENAME) != 0);
348 expanded_name = "<<anonymous objfile>>";
349 }
350 else if ((flags & OBJF_NOT_FILENAME) != 0
351 || is_target_filename (name))
352 expanded_name = name;
353 else
354 {
355 name_holder = gdb_abspath (name);
356 expanded_name = name_holder.get ();
357 }
358 original_name = obstack_strdup (&objfile_obstack, expanded_name);
359
360 /* Update the per-objfile information that comes from the bfd, ensuring
361 that any data that is reference is saved in the per-objfile data
362 region. */
363
364 gdb_bfd_ref (abfd);
365 if (abfd != NULL)
366 {
367 mtime = bfd_get_mtime (abfd);
368
369 /* Build section table. */
370 build_objfile_section_table (this);
371 }
372
373 per_bfd = get_objfile_bfd_data (this, abfd);
374 }
375
376 /* Retrieve the gdbarch associated with OBJFILE. */
377
378 struct gdbarch *
379 get_objfile_arch (const struct objfile *objfile)
380 {
381 return objfile->per_bfd->gdbarch;
382 }
383
384 /* If there is a valid and known entry point, function fills *ENTRY_P with it
385 and returns non-zero; otherwise it returns zero. */
386
387 int
388 entry_point_address_query (CORE_ADDR *entry_p)
389 {
390 if (symfile_objfile == NULL || !symfile_objfile->per_bfd->ei.entry_point_p)
391 return 0;
392
393 *entry_p = (symfile_objfile->per_bfd->ei.entry_point
394 + ANOFFSET (symfile_objfile->section_offsets,
395 symfile_objfile->per_bfd->ei.the_bfd_section_index));
396
397 return 1;
398 }
399
400 /* Get current entry point address. Call error if it is not known. */
401
402 CORE_ADDR
403 entry_point_address (void)
404 {
405 CORE_ADDR retval;
406
407 if (!entry_point_address_query (&retval))
408 error (_("Entry point address is not known."));
409
410 return retval;
411 }
412
413 separate_debug_iterator &
414 separate_debug_iterator::operator++ ()
415 {
416 gdb_assert (m_objfile != nullptr);
417
418 struct objfile *res;
419
420 /* If any, return the first child. */
421 res = m_objfile->separate_debug_objfile;
422 if (res != nullptr)
423 {
424 m_objfile = res;
425 return *this;
426 }
427
428 /* Common case where there is no separate debug objfile. */
429 if (m_objfile == m_parent)
430 {
431 m_objfile = nullptr;
432 return *this;
433 }
434
435 /* Return the brother if any. Note that we don't iterate on brothers of
436 the parents. */
437 res = m_objfile->separate_debug_objfile_link;
438 if (res != nullptr)
439 {
440 m_objfile = res;
441 return *this;
442 }
443
444 for (res = m_objfile->separate_debug_objfile_backlink;
445 res != m_parent;
446 res = res->separate_debug_objfile_backlink)
447 {
448 gdb_assert (res != nullptr);
449 if (res->separate_debug_objfile_link != nullptr)
450 {
451 m_objfile = res->separate_debug_objfile_link;
452 return *this;
453 }
454 }
455 m_objfile = nullptr;
456 return *this;
457 }
458
459 /* Add OBJFILE as a separate debug objfile of PARENT. */
460
461 static void
462 add_separate_debug_objfile (struct objfile *objfile, struct objfile *parent)
463 {
464 gdb_assert (objfile && parent);
465
466 /* Must not be already in a list. */
467 gdb_assert (objfile->separate_debug_objfile_backlink == NULL);
468 gdb_assert (objfile->separate_debug_objfile_link == NULL);
469 gdb_assert (objfile->separate_debug_objfile == NULL);
470 gdb_assert (parent->separate_debug_objfile_backlink == NULL);
471 gdb_assert (parent->separate_debug_objfile_link == NULL);
472
473 objfile->separate_debug_objfile_backlink = parent;
474 objfile->separate_debug_objfile_link = parent->separate_debug_objfile;
475 parent->separate_debug_objfile = objfile;
476 }
477
478 /* See objfiles.h. */
479
480 objfile *
481 objfile::make (bfd *bfd_, const char *name_, objfile_flags flags_,
482 objfile *parent)
483 {
484 objfile *result = new objfile (bfd_, name_, flags_);
485 if (parent != nullptr)
486 add_separate_debug_objfile (result, parent);
487
488 current_program_space->add_objfile (result, parent);
489
490 /* Rebuild section map next time we need it. */
491 get_objfile_pspace_data (current_program_space)->new_objfiles_available = 1;
492
493 return result;
494 }
495
496 /* See objfiles.h. */
497
498 void
499 objfile::unlink ()
500 {
501 current_program_space->remove_objfile (this);
502 delete this;
503 }
504
505 /* Free all separate debug objfile of OBJFILE, but don't free OBJFILE
506 itself. */
507
508 void
509 free_objfile_separate_debug (struct objfile *objfile)
510 {
511 struct objfile *child;
512
513 for (child = objfile->separate_debug_objfile; child;)
514 {
515 struct objfile *next_child = child->separate_debug_objfile_link;
516 child->unlink ();
517 child = next_child;
518 }
519 }
520
521 /* Destroy an objfile and all the symtabs and psymtabs under it. */
522
523 objfile::~objfile ()
524 {
525 /* First notify observers that this objfile is about to be freed. */
526 gdb::observers::free_objfile.notify (this);
527
528 /* Free all separate debug objfiles. */
529 free_objfile_separate_debug (this);
530
531 if (separate_debug_objfile_backlink)
532 {
533 /* We freed the separate debug file, make sure the base objfile
534 doesn't reference it. */
535 struct objfile *child;
536
537 child = separate_debug_objfile_backlink->separate_debug_objfile;
538
539 if (child == this)
540 {
541 /* THIS is the first child. */
542 separate_debug_objfile_backlink->separate_debug_objfile =
543 separate_debug_objfile_link;
544 }
545 else
546 {
547 /* Find THIS in the list. */
548 while (1)
549 {
550 if (child->separate_debug_objfile_link == this)
551 {
552 child->separate_debug_objfile_link =
553 separate_debug_objfile_link;
554 break;
555 }
556 child = child->separate_debug_objfile_link;
557 gdb_assert (child);
558 }
559 }
560 }
561
562 /* Remove any references to this objfile in the global value
563 lists. */
564 preserve_values (this);
565
566 /* It still may reference data modules have associated with the objfile and
567 the symbol file data. */
568 forget_cached_source_info_for_objfile (this);
569
570 breakpoint_free_objfile (this);
571 btrace_free_objfile (this);
572
573 /* First do any symbol file specific actions required when we are
574 finished with a particular symbol file. Note that if the objfile
575 is using reusable symbol information (via mmalloc) then each of
576 these routines is responsible for doing the correct thing, either
577 freeing things which are valid only during this particular gdb
578 execution, or leaving them to be reused during the next one. */
579
580 if (sf != NULL)
581 (*sf->sym_finish) (this);
582
583 /* Discard any data modules have associated with the objfile. The function
584 still may reference obfd. */
585 objfile_free_data (this);
586
587 if (obfd)
588 gdb_bfd_unref (obfd);
589 else
590 delete per_bfd;
591
592 /* Before the symbol table code was redone to make it easier to
593 selectively load and remove information particular to a specific
594 linkage unit, gdb used to do these things whenever the monolithic
595 symbol table was blown away. How much still needs to be done
596 is unknown, but we play it safe for now and keep each action until
597 it is shown to be no longer needed. */
598
599 /* Not all our callers call clear_symtab_users (objfile_purge_solibs,
600 for example), so we need to call this here. */
601 clear_pc_function_cache ();
602
603 /* Check to see if the current_source_symtab belongs to this objfile,
604 and if so, call clear_current_source_symtab_and_line. */
605
606 {
607 struct symtab_and_line cursal = get_current_source_symtab_and_line ();
608
609 if (cursal.symtab && SYMTAB_OBJFILE (cursal.symtab) == this)
610 clear_current_source_symtab_and_line ();
611 }
612
613 /* Free the obstacks for non-reusable objfiles. */
614 obstack_free (&objfile_obstack, 0);
615
616 /* Rebuild section map next time we need it. */
617 get_objfile_pspace_data (pspace)->section_map_dirty = 1;
618 }
619
620 /* Free all the object files at once and clean up their users. */
621
622 void
623 free_all_objfiles (void)
624 {
625 struct so_list *so;
626
627 /* Any objfile reference would become stale. */
628 for (so = master_so_list (); so; so = so->next)
629 gdb_assert (so->objfile == NULL);
630
631 for (objfile *objfile : current_program_space->objfiles_safe ())
632 objfile->unlink ();
633 clear_symtab_users (0);
634 }
635 \f
636 /* A helper function for objfile_relocate1 that relocates a single
637 symbol. */
638
639 static void
640 relocate_one_symbol (struct symbol *sym, struct objfile *objfile,
641 struct section_offsets *delta)
642 {
643 fixup_symbol_section (sym, objfile);
644
645 /* The RS6000 code from which this was taken skipped
646 any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
647 But I'm leaving out that test, on the theory that
648 they can't possibly pass the tests below. */
649 if ((SYMBOL_CLASS (sym) == LOC_LABEL
650 || SYMBOL_CLASS (sym) == LOC_STATIC)
651 && SYMBOL_SECTION (sym) >= 0)
652 {
653 SET_SYMBOL_VALUE_ADDRESS (sym,
654 SYMBOL_VALUE_ADDRESS (sym)
655 + ANOFFSET (delta, SYMBOL_SECTION (sym)));
656 }
657 }
658
659 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
660 entries in new_offsets. SEPARATE_DEBUG_OBJFILE is not touched here.
661 Return non-zero iff any change happened. */
662
663 static int
664 objfile_relocate1 (struct objfile *objfile,
665 const struct section_offsets *new_offsets)
666 {
667 struct section_offsets *delta =
668 ((struct section_offsets *)
669 alloca (SIZEOF_N_SECTION_OFFSETS (objfile->num_sections)));
670
671 int something_changed = 0;
672
673 for (int i = 0; i < objfile->num_sections; ++i)
674 {
675 delta->offsets[i] =
676 ANOFFSET (new_offsets, i) - ANOFFSET (objfile->section_offsets, i);
677 if (ANOFFSET (delta, i) != 0)
678 something_changed = 1;
679 }
680 if (!something_changed)
681 return 0;
682
683 /* OK, get all the symtabs. */
684 {
685 for (compunit_symtab *cust : objfile->compunits ())
686 {
687 for (symtab *s : compunit_filetabs (cust))
688 {
689 struct linetable *l;
690
691 /* First the line table. */
692 l = SYMTAB_LINETABLE (s);
693 if (l)
694 {
695 for (int i = 0; i < l->nitems; ++i)
696 l->item[i].pc += ANOFFSET (delta,
697 COMPUNIT_BLOCK_LINE_SECTION
698 (cust));
699 }
700 }
701 }
702
703 for (compunit_symtab *cust : objfile->compunits ())
704 {
705 const struct blockvector *bv = COMPUNIT_BLOCKVECTOR (cust);
706 int block_line_section = COMPUNIT_BLOCK_LINE_SECTION (cust);
707
708 if (BLOCKVECTOR_MAP (bv))
709 addrmap_relocate (BLOCKVECTOR_MAP (bv),
710 ANOFFSET (delta, block_line_section));
711
712 for (int i = 0; i < BLOCKVECTOR_NBLOCKS (bv); ++i)
713 {
714 struct block *b;
715 struct symbol *sym;
716 struct mdict_iterator miter;
717
718 b = BLOCKVECTOR_BLOCK (bv, i);
719 BLOCK_START (b) += ANOFFSET (delta, block_line_section);
720 BLOCK_END (b) += ANOFFSET (delta, block_line_section);
721
722 if (BLOCK_RANGES (b) != nullptr)
723 for (int j = 0; j < BLOCK_NRANGES (b); j++)
724 {
725 BLOCK_RANGE_START (b, j)
726 += ANOFFSET (delta, block_line_section);
727 BLOCK_RANGE_END (b, j) += ANOFFSET (delta,
728 block_line_section);
729 }
730
731 /* We only want to iterate over the local symbols, not any
732 symbols in included symtabs. */
733 ALL_DICT_SYMBOLS (BLOCK_MULTIDICT (b), miter, sym)
734 {
735 relocate_one_symbol (sym, objfile, delta);
736 }
737 }
738 }
739 }
740
741 /* This stores relocated addresses and so must be cleared. This
742 will cause it to be recreated on demand. */
743 objfile->psymbol_map.clear ();
744
745 /* Relocate isolated symbols. */
746 {
747 struct symbol *iter;
748
749 for (iter = objfile->template_symbols; iter; iter = iter->hash_next)
750 relocate_one_symbol (iter, objfile, delta);
751 }
752
753 {
754 int i;
755
756 for (i = 0; i < objfile->num_sections; ++i)
757 (objfile->section_offsets)->offsets[i] = ANOFFSET (new_offsets, i);
758 }
759
760 /* Rebuild section map next time we need it. */
761 get_objfile_pspace_data (objfile->pspace)->section_map_dirty = 1;
762
763 /* Update the table in exec_ops, used to read memory. */
764 struct obj_section *s;
765 ALL_OBJFILE_OSECTIONS (objfile, s)
766 {
767 int idx = s - objfile->sections;
768
769 exec_set_section_address (bfd_get_filename (objfile->obfd), idx,
770 obj_section_addr (s));
771 }
772
773 /* Data changed. */
774 return 1;
775 }
776
777 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
778 entries in new_offsets. Process also OBJFILE's SEPARATE_DEBUG_OBJFILEs.
779
780 The number and ordering of sections does differ between the two objfiles.
781 Only their names match. Also the file offsets will differ (objfile being
782 possibly prelinked but separate_debug_objfile is probably not prelinked) but
783 the in-memory absolute address as specified by NEW_OFFSETS must match both
784 files. */
785
786 void
787 objfile_relocate (struct objfile *objfile,
788 const struct section_offsets *new_offsets)
789 {
790 int changed = 0;
791
792 changed |= objfile_relocate1 (objfile, new_offsets);
793
794 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
795 {
796 if (debug_objfile == objfile)
797 continue;
798
799 section_addr_info objfile_addrs
800 = build_section_addr_info_from_objfile (objfile);
801
802 /* Here OBJFILE_ADDRS contain the correct absolute addresses, the
803 relative ones must be already created according to debug_objfile. */
804
805 addr_info_make_relative (&objfile_addrs, debug_objfile->obfd);
806
807 gdb_assert (debug_objfile->num_sections
808 == gdb_bfd_count_sections (debug_objfile->obfd));
809 std::vector<struct section_offsets>
810 new_debug_offsets (SIZEOF_N_SECTION_OFFSETS (debug_objfile->num_sections));
811 relative_addr_info_to_section_offsets (new_debug_offsets.data (),
812 debug_objfile->num_sections,
813 objfile_addrs);
814
815 changed |= objfile_relocate1 (debug_objfile, new_debug_offsets.data ());
816 }
817
818 /* Relocate breakpoints as necessary, after things are relocated. */
819 if (changed)
820 breakpoint_re_set ();
821 }
822
823 /* Rebase (add to the offsets) OBJFILE by SLIDE. SEPARATE_DEBUG_OBJFILE is
824 not touched here.
825 Return non-zero iff any change happened. */
826
827 static int
828 objfile_rebase1 (struct objfile *objfile, CORE_ADDR slide)
829 {
830 struct section_offsets *new_offsets =
831 ((struct section_offsets *)
832 alloca (SIZEOF_N_SECTION_OFFSETS (objfile->num_sections)));
833 int i;
834
835 for (i = 0; i < objfile->num_sections; ++i)
836 new_offsets->offsets[i] = slide;
837
838 return objfile_relocate1 (objfile, new_offsets);
839 }
840
841 /* Rebase (add to the offsets) OBJFILE by SLIDE. Process also OBJFILE's
842 SEPARATE_DEBUG_OBJFILEs. */
843
844 void
845 objfile_rebase (struct objfile *objfile, CORE_ADDR slide)
846 {
847 int changed = 0;
848
849 for (::objfile *debug_objfile : objfile->separate_debug_objfiles ())
850 changed |= objfile_rebase1 (debug_objfile, slide);
851
852 /* Relocate breakpoints as necessary, after things are relocated. */
853 if (changed)
854 breakpoint_re_set ();
855 }
856 \f
857 /* Return non-zero if OBJFILE has partial symbols. */
858
859 int
860 objfile_has_partial_symbols (struct objfile *objfile)
861 {
862 if (!objfile->sf)
863 return 0;
864
865 /* If we have not read psymbols, but we have a function capable of reading
866 them, then that is an indication that they are in fact available. Without
867 this function the symbols may have been already read in but they also may
868 not be present in this objfile. */
869 if ((objfile->flags & OBJF_PSYMTABS_READ) == 0
870 && objfile->sf->sym_read_psymbols != NULL)
871 return 1;
872
873 return objfile->sf->qf->has_symbols (objfile);
874 }
875
876 /* Return non-zero if OBJFILE has full symbols. */
877
878 int
879 objfile_has_full_symbols (struct objfile *objfile)
880 {
881 return objfile->compunit_symtabs != NULL;
882 }
883
884 /* Return non-zero if OBJFILE has full or partial symbols, either directly
885 or through a separate debug file. */
886
887 int
888 objfile_has_symbols (struct objfile *objfile)
889 {
890 for (::objfile *o : objfile->separate_debug_objfiles ())
891 if (objfile_has_partial_symbols (o) || objfile_has_full_symbols (o))
892 return 1;
893 return 0;
894 }
895
896
897 /* Many places in gdb want to test just to see if we have any partial
898 symbols available. This function returns zero if none are currently
899 available, nonzero otherwise. */
900
901 int
902 have_partial_symbols (void)
903 {
904 for (objfile *ofp : current_program_space->objfiles ())
905 {
906 if (objfile_has_partial_symbols (ofp))
907 return 1;
908 }
909 return 0;
910 }
911
912 /* Many places in gdb want to test just to see if we have any full
913 symbols available. This function returns zero if none are currently
914 available, nonzero otherwise. */
915
916 int
917 have_full_symbols (void)
918 {
919 for (objfile *ofp : current_program_space->objfiles ())
920 {
921 if (objfile_has_full_symbols (ofp))
922 return 1;
923 }
924 return 0;
925 }
926
927
928 /* This operations deletes all objfile entries that represent solibs that
929 weren't explicitly loaded by the user, via e.g., the add-symbol-file
930 command. */
931
932 void
933 objfile_purge_solibs (void)
934 {
935 for (objfile *objf : current_program_space->objfiles_safe ())
936 {
937 /* We assume that the solib package has been purged already, or will
938 be soon. */
939
940 if (!(objf->flags & OBJF_USERLOADED) && (objf->flags & OBJF_SHARED))
941 objf->unlink ();
942 }
943 }
944
945
946 /* Many places in gdb want to test just to see if we have any minimal
947 symbols available. This function returns zero if none are currently
948 available, nonzero otherwise. */
949
950 int
951 have_minimal_symbols (void)
952 {
953 for (objfile *ofp : current_program_space->objfiles ())
954 {
955 if (ofp->per_bfd->minimal_symbol_count > 0)
956 {
957 return 1;
958 }
959 }
960 return 0;
961 }
962
963 /* Qsort comparison function. */
964
965 static bool
966 sort_cmp (const struct obj_section *sect1, const obj_section *sect2)
967 {
968 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
969 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
970
971 if (sect1_addr < sect2_addr)
972 return true;
973 else if (sect1_addr > sect2_addr)
974 return false;
975 else
976 {
977 /* Sections are at the same address. This could happen if
978 A) we have an objfile and a separate debuginfo.
979 B) we are confused, and have added sections without proper relocation,
980 or something like that. */
981
982 const struct objfile *const objfile1 = sect1->objfile;
983 const struct objfile *const objfile2 = sect2->objfile;
984
985 if (objfile1->separate_debug_objfile == objfile2
986 || objfile2->separate_debug_objfile == objfile1)
987 {
988 /* Case A. The ordering doesn't matter: separate debuginfo files
989 will be filtered out later. */
990
991 return false;
992 }
993
994 /* Case B. Maintain stable sort order, so bugs in GDB are easier to
995 triage. This section could be slow (since we iterate over all
996 objfiles in each call to sort_cmp), but this shouldn't happen
997 very often (GDB is already in a confused state; one hopes this
998 doesn't happen at all). If you discover that significant time is
999 spent in the loops below, do 'set complaints 100' and examine the
1000 resulting complaints. */
1001 if (objfile1 == objfile2)
1002 {
1003 /* Both sections came from the same objfile. We are really
1004 confused. Sort on sequence order of sections within the
1005 objfile. The order of checks is important here, if we find a
1006 match on SECT2 first then either SECT2 is before SECT1, or,
1007 SECT2 == SECT1, in both cases we should return false. The
1008 second case shouldn't occur during normal use, but std::sort
1009 does check that '!(a < a)' when compiled in debug mode. */
1010
1011 const struct obj_section *osect;
1012
1013 ALL_OBJFILE_OSECTIONS (objfile1, osect)
1014 if (osect == sect2)
1015 return false;
1016 else if (osect == sect1)
1017 return true;
1018
1019 /* We should have found one of the sections before getting here. */
1020 gdb_assert_not_reached ("section not found");
1021 }
1022 else
1023 {
1024 /* Sort on sequence number of the objfile in the chain. */
1025
1026 for (objfile *objfile : current_program_space->objfiles ())
1027 if (objfile == objfile1)
1028 return true;
1029 else if (objfile == objfile2)
1030 return false;
1031
1032 /* We should have found one of the objfiles before getting here. */
1033 gdb_assert_not_reached ("objfile not found");
1034 }
1035 }
1036
1037 /* Unreachable. */
1038 gdb_assert_not_reached ("unexpected code path");
1039 return false;
1040 }
1041
1042 /* Select "better" obj_section to keep. We prefer the one that came from
1043 the real object, rather than the one from separate debuginfo.
1044 Most of the time the two sections are exactly identical, but with
1045 prelinking the .rel.dyn section in the real object may have different
1046 size. */
1047
1048 static struct obj_section *
1049 preferred_obj_section (struct obj_section *a, struct obj_section *b)
1050 {
1051 gdb_assert (obj_section_addr (a) == obj_section_addr (b));
1052 gdb_assert ((a->objfile->separate_debug_objfile == b->objfile)
1053 || (b->objfile->separate_debug_objfile == a->objfile));
1054 gdb_assert ((a->objfile->separate_debug_objfile_backlink == b->objfile)
1055 || (b->objfile->separate_debug_objfile_backlink == a->objfile));
1056
1057 if (a->objfile->separate_debug_objfile != NULL)
1058 return a;
1059 return b;
1060 }
1061
1062 /* Return 1 if SECTION should be inserted into the section map.
1063 We want to insert only non-overlay and non-TLS section. */
1064
1065 static int
1066 insert_section_p (const struct bfd *abfd,
1067 const struct bfd_section *section)
1068 {
1069 const bfd_vma lma = bfd_section_lma (section);
1070
1071 if (overlay_debugging && lma != 0 && lma != bfd_section_vma (section)
1072 && (bfd_get_file_flags (abfd) & BFD_IN_MEMORY) == 0)
1073 /* This is an overlay section. IN_MEMORY check is needed to avoid
1074 discarding sections from the "system supplied DSO" (aka vdso)
1075 on some Linux systems (e.g. Fedora 11). */
1076 return 0;
1077 if ((bfd_section_flags (section) & SEC_THREAD_LOCAL) != 0)
1078 /* This is a TLS section. */
1079 return 0;
1080
1081 return 1;
1082 }
1083
1084 /* Filter out overlapping sections where one section came from the real
1085 objfile, and the other from a separate debuginfo file.
1086 Return the size of table after redundant sections have been eliminated. */
1087
1088 static int
1089 filter_debuginfo_sections (struct obj_section **map, int map_size)
1090 {
1091 int i, j;
1092
1093 for (i = 0, j = 0; i < map_size - 1; i++)
1094 {
1095 struct obj_section *const sect1 = map[i];
1096 struct obj_section *const sect2 = map[i + 1];
1097 const struct objfile *const objfile1 = sect1->objfile;
1098 const struct objfile *const objfile2 = sect2->objfile;
1099 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
1100 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
1101
1102 if (sect1_addr == sect2_addr
1103 && (objfile1->separate_debug_objfile == objfile2
1104 || objfile2->separate_debug_objfile == objfile1))
1105 {
1106 map[j++] = preferred_obj_section (sect1, sect2);
1107 ++i;
1108 }
1109 else
1110 map[j++] = sect1;
1111 }
1112
1113 if (i < map_size)
1114 {
1115 gdb_assert (i == map_size - 1);
1116 map[j++] = map[i];
1117 }
1118
1119 /* The map should not have shrunk to less than half the original size. */
1120 gdb_assert (map_size / 2 <= j);
1121
1122 return j;
1123 }
1124
1125 /* Filter out overlapping sections, issuing a warning if any are found.
1126 Overlapping sections could really be overlay sections which we didn't
1127 classify as such in insert_section_p, or we could be dealing with a
1128 corrupt binary. */
1129
1130 static int
1131 filter_overlapping_sections (struct obj_section **map, int map_size)
1132 {
1133 int i, j;
1134
1135 for (i = 0, j = 0; i < map_size - 1; )
1136 {
1137 int k;
1138
1139 map[j++] = map[i];
1140 for (k = i + 1; k < map_size; k++)
1141 {
1142 struct obj_section *const sect1 = map[i];
1143 struct obj_section *const sect2 = map[k];
1144 const CORE_ADDR sect1_addr = obj_section_addr (sect1);
1145 const CORE_ADDR sect2_addr = obj_section_addr (sect2);
1146 const CORE_ADDR sect1_endaddr = obj_section_endaddr (sect1);
1147
1148 gdb_assert (sect1_addr <= sect2_addr);
1149
1150 if (sect1_endaddr <= sect2_addr)
1151 break;
1152 else
1153 {
1154 /* We have an overlap. Report it. */
1155
1156 struct objfile *const objf1 = sect1->objfile;
1157 struct objfile *const objf2 = sect2->objfile;
1158
1159 const struct bfd_section *const bfds1 = sect1->the_bfd_section;
1160 const struct bfd_section *const bfds2 = sect2->the_bfd_section;
1161
1162 const CORE_ADDR sect2_endaddr = obj_section_endaddr (sect2);
1163
1164 struct gdbarch *const gdbarch = get_objfile_arch (objf1);
1165
1166 complaint (_("unexpected overlap between:\n"
1167 " (A) section `%s' from `%s' [%s, %s)\n"
1168 " (B) section `%s' from `%s' [%s, %s).\n"
1169 "Will ignore section B"),
1170 bfd_section_name (bfds1), objfile_name (objf1),
1171 paddress (gdbarch, sect1_addr),
1172 paddress (gdbarch, sect1_endaddr),
1173 bfd_section_name (bfds2), objfile_name (objf2),
1174 paddress (gdbarch, sect2_addr),
1175 paddress (gdbarch, sect2_endaddr));
1176 }
1177 }
1178 i = k;
1179 }
1180
1181 if (i < map_size)
1182 {
1183 gdb_assert (i == map_size - 1);
1184 map[j++] = map[i];
1185 }
1186
1187 return j;
1188 }
1189
1190
1191 /* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
1192 TLS, overlay and overlapping sections. */
1193
1194 static void
1195 update_section_map (struct program_space *pspace,
1196 struct obj_section ***pmap, int *pmap_size)
1197 {
1198 struct objfile_pspace_info *pspace_info;
1199 int alloc_size, map_size, i;
1200 struct obj_section *s, **map;
1201
1202 pspace_info = get_objfile_pspace_data (pspace);
1203 gdb_assert (pspace_info->section_map_dirty != 0
1204 || pspace_info->new_objfiles_available != 0);
1205
1206 map = *pmap;
1207 xfree (map);
1208
1209 alloc_size = 0;
1210 for (objfile *objfile : pspace->objfiles ())
1211 ALL_OBJFILE_OSECTIONS (objfile, s)
1212 if (insert_section_p (objfile->obfd, s->the_bfd_section))
1213 alloc_size += 1;
1214
1215 /* This happens on detach/attach (e.g. in gdb.base/attach.exp). */
1216 if (alloc_size == 0)
1217 {
1218 *pmap = NULL;
1219 *pmap_size = 0;
1220 return;
1221 }
1222
1223 map = XNEWVEC (struct obj_section *, alloc_size);
1224
1225 i = 0;
1226 for (objfile *objfile : pspace->objfiles ())
1227 ALL_OBJFILE_OSECTIONS (objfile, s)
1228 if (insert_section_p (objfile->obfd, s->the_bfd_section))
1229 map[i++] = s;
1230
1231 std::sort (map, map + alloc_size, sort_cmp);
1232 map_size = filter_debuginfo_sections(map, alloc_size);
1233 map_size = filter_overlapping_sections(map, map_size);
1234
1235 if (map_size < alloc_size)
1236 /* Some sections were eliminated. Trim excess space. */
1237 map = XRESIZEVEC (struct obj_section *, map, map_size);
1238 else
1239 gdb_assert (alloc_size == map_size);
1240
1241 *pmap = map;
1242 *pmap_size = map_size;
1243 }
1244
1245 /* Bsearch comparison function. */
1246
1247 static int
1248 bsearch_cmp (const void *key, const void *elt)
1249 {
1250 const CORE_ADDR pc = *(CORE_ADDR *) key;
1251 const struct obj_section *section = *(const struct obj_section **) elt;
1252
1253 if (pc < obj_section_addr (section))
1254 return -1;
1255 if (pc < obj_section_endaddr (section))
1256 return 0;
1257 return 1;
1258 }
1259
1260 /* Returns a section whose range includes PC or NULL if none found. */
1261
1262 struct obj_section *
1263 find_pc_section (CORE_ADDR pc)
1264 {
1265 struct objfile_pspace_info *pspace_info;
1266 struct obj_section *s, **sp;
1267
1268 /* Check for mapped overlay section first. */
1269 s = find_pc_mapped_section (pc);
1270 if (s)
1271 return s;
1272
1273 pspace_info = get_objfile_pspace_data (current_program_space);
1274 if (pspace_info->section_map_dirty
1275 || (pspace_info->new_objfiles_available
1276 && !pspace_info->inhibit_updates))
1277 {
1278 update_section_map (current_program_space,
1279 &pspace_info->sections,
1280 &pspace_info->num_sections);
1281
1282 /* Don't need updates to section map until objfiles are added,
1283 removed or relocated. */
1284 pspace_info->new_objfiles_available = 0;
1285 pspace_info->section_map_dirty = 0;
1286 }
1287
1288 /* The C standard (ISO/IEC 9899:TC2) requires the BASE argument to
1289 bsearch be non-NULL. */
1290 if (pspace_info->sections == NULL)
1291 {
1292 gdb_assert (pspace_info->num_sections == 0);
1293 return NULL;
1294 }
1295
1296 sp = (struct obj_section **) bsearch (&pc,
1297 pspace_info->sections,
1298 pspace_info->num_sections,
1299 sizeof (*pspace_info->sections),
1300 bsearch_cmp);
1301 if (sp != NULL)
1302 return *sp;
1303 return NULL;
1304 }
1305
1306
1307 /* Return non-zero if PC is in a section called NAME. */
1308
1309 int
1310 pc_in_section (CORE_ADDR pc, const char *name)
1311 {
1312 struct obj_section *s;
1313 int retval = 0;
1314
1315 s = find_pc_section (pc);
1316
1317 retval = (s != NULL
1318 && s->the_bfd_section->name != NULL
1319 && strcmp (s->the_bfd_section->name, name) == 0);
1320 return (retval);
1321 }
1322 \f
1323
1324 /* Set section_map_dirty so section map will be rebuilt next time it
1325 is used. Called by reread_symbols. */
1326
1327 void
1328 objfiles_changed (void)
1329 {
1330 /* Rebuild section map next time we need it. */
1331 get_objfile_pspace_data (current_program_space)->section_map_dirty = 1;
1332 }
1333
1334 /* See comments in objfiles.h. */
1335
1336 scoped_restore_tmpl<int>
1337 inhibit_section_map_updates (struct program_space *pspace)
1338 {
1339 return scoped_restore_tmpl<int>
1340 (&get_objfile_pspace_data (pspace)->inhibit_updates, 1);
1341 }
1342
1343 /* Return 1 if ADDR maps into one of the sections of OBJFILE and 0
1344 otherwise. */
1345
1346 int
1347 is_addr_in_objfile (CORE_ADDR addr, const struct objfile *objfile)
1348 {
1349 struct obj_section *osect;
1350
1351 if (objfile == NULL)
1352 return 0;
1353
1354 ALL_OBJFILE_OSECTIONS (objfile, osect)
1355 {
1356 if (section_is_overlay (osect) && !section_is_mapped (osect))
1357 continue;
1358
1359 if (obj_section_addr (osect) <= addr
1360 && addr < obj_section_endaddr (osect))
1361 return 1;
1362 }
1363 return 0;
1364 }
1365
1366 int
1367 shared_objfile_contains_address_p (struct program_space *pspace,
1368 CORE_ADDR address)
1369 {
1370 for (objfile *objfile : pspace->objfiles ())
1371 {
1372 if ((objfile->flags & OBJF_SHARED) != 0
1373 && is_addr_in_objfile (address, objfile))
1374 return 1;
1375 }
1376
1377 return 0;
1378 }
1379
1380 /* The default implementation for the "iterate_over_objfiles_in_search_order"
1381 gdbarch method. It is equivalent to use the objfiles iterable,
1382 searching the objfiles in the order they are stored internally,
1383 ignoring CURRENT_OBJFILE.
1384
1385 On most platforms, it should be close enough to doing the best
1386 we can without some knowledge specific to the architecture. */
1387
1388 void
1389 default_iterate_over_objfiles_in_search_order
1390 (struct gdbarch *gdbarch,
1391 iterate_over_objfiles_in_search_order_cb_ftype *cb,
1392 void *cb_data, struct objfile *current_objfile)
1393 {
1394 int stop = 0;
1395
1396 for (objfile *objfile : current_program_space->objfiles ())
1397 {
1398 stop = cb (objfile, cb_data);
1399 if (stop)
1400 return;
1401 }
1402 }
1403
1404 /* See objfiles.h. */
1405
1406 const char *
1407 objfile_name (const struct objfile *objfile)
1408 {
1409 if (objfile->obfd != NULL)
1410 return bfd_get_filename (objfile->obfd);
1411
1412 return objfile->original_name;
1413 }
1414
1415 /* See objfiles.h. */
1416
1417 const char *
1418 objfile_filename (const struct objfile *objfile)
1419 {
1420 if (objfile->obfd != NULL)
1421 return bfd_get_filename (objfile->obfd);
1422
1423 return NULL;
1424 }
1425
1426 /* See objfiles.h. */
1427
1428 const char *
1429 objfile_debug_name (const struct objfile *objfile)
1430 {
1431 return lbasename (objfile->original_name);
1432 }
1433
1434 /* See objfiles.h. */
1435
1436 const char *
1437 objfile_flavour_name (struct objfile *objfile)
1438 {
1439 if (objfile->obfd != NULL)
1440 return bfd_flavour_name (bfd_get_flavour (objfile->obfd));
1441 return NULL;
1442 }
This page took 0.059651 seconds and 4 git commands to generate.