1 /* GDB routines for manipulating objfiles.
3 Copyright (C) 1992-2022 Free Software Foundation, Inc.
5 Contributed by Cygnus Support, using pieces from other GDB modules.
7 This file is part of GDB.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
22 /* This file contains support routines for creating, manipulating, and
23 destroying objfile structures. */
26 #include "bfd.h" /* Binary File Description */
30 #include "gdb-stabs.h"
33 #include "expression.h"
34 #include "parser-defs.h"
36 #include <sys/types.h>
39 #include "gdbsupport/gdb_obstack.h"
42 #include "breakpoint.h"
44 #include "dictionary.h"
47 #include "arch-utils.h"
49 #include "observable.h"
50 #include "complaints.h"
55 #include "gdbsupport/pathstuff.h"
60 /* Keep a registry of per-objfile data-pointers required by other GDB
63 DEFINE_REGISTRY (objfile
, REGISTRY_ACCESS_FIELD
)
65 /* Externally visible variables that are owned by this module.
66 See declarations in objfile.h for more info. */
68 struct objfile_pspace_info
70 objfile_pspace_info () = default;
71 ~objfile_pspace_info ();
73 struct obj_section
**sections
= nullptr;
76 /* Nonzero if object files have been added since the section map
78 int new_objfiles_available
= 0;
80 /* Nonzero if the section map MUST be updated before use. */
81 int section_map_dirty
= 0;
83 /* Nonzero if section map updates should be inhibited if possible. */
84 int inhibit_updates
= 0;
87 /* Per-program-space data key. */
88 static const struct program_space_key
<objfile_pspace_info
>
91 objfile_pspace_info::~objfile_pspace_info ()
96 /* Get the current svr4 data. If none is found yet, add it now. This
97 function always returns a valid object. */
99 static struct objfile_pspace_info
*
100 get_objfile_pspace_data (struct program_space
*pspace
)
102 struct objfile_pspace_info
*info
;
104 info
= objfiles_pspace_data
.get (pspace
);
106 info
= objfiles_pspace_data
.emplace (pspace
);
113 /* Per-BFD data key. */
115 static const struct bfd_key
<objfile_per_bfd_storage
> objfiles_bfd_data
;
117 objfile_per_bfd_storage::~objfile_per_bfd_storage ()
121 /* Create the per-BFD storage object for OBJFILE. If ABFD is not
122 NULL, and it already has a per-BFD storage object, use that.
123 Otherwise, allocate a new per-BFD storage object. */
125 static struct objfile_per_bfd_storage
*
126 get_objfile_bfd_data (bfd
*abfd
)
128 struct objfile_per_bfd_storage
*storage
= NULL
;
131 storage
= objfiles_bfd_data
.get (abfd
);
135 storage
= new objfile_per_bfd_storage (abfd
);
136 /* If the object requires gdb to do relocations, we simply fall
137 back to not sharing data across users. These cases are rare
138 enough that this seems reasonable. */
139 if (abfd
!= NULL
&& !gdb_bfd_requires_relocations (abfd
))
140 objfiles_bfd_data
.set (abfd
, storage
);
142 /* Look up the gdbarch associated with the BFD. */
144 storage
->gdbarch
= gdbarch_from_bfd (abfd
);
150 /* See objfiles.h. */
153 set_objfile_per_bfd (struct objfile
*objfile
)
155 objfile
->per_bfd
= get_objfile_bfd_data (objfile
->obfd
);
158 /* Set the objfile's per-BFD notion of the "main" name and
162 set_objfile_main_name (struct objfile
*objfile
,
163 const char *name
, enum language lang
)
165 if (objfile
->per_bfd
->name_of_main
== NULL
166 || strcmp (objfile
->per_bfd
->name_of_main
, name
) != 0)
167 objfile
->per_bfd
->name_of_main
168 = obstack_strdup (&objfile
->per_bfd
->storage_obstack
, name
);
169 objfile
->per_bfd
->language_of_main
= lang
;
172 /* Helper structure to map blocks to static link properties in hash tables. */
174 struct static_link_htab_entry
176 const struct block
*block
;
177 const struct dynamic_prop
*static_link
;
180 /* Return a hash code for struct static_link_htab_entry *P. */
183 static_link_htab_entry_hash (const void *p
)
185 const struct static_link_htab_entry
*e
186 = (const struct static_link_htab_entry
*) p
;
188 return htab_hash_pointer (e
->block
);
191 /* Return whether P1 an P2 (pointers to struct static_link_htab_entry) are
192 mappings for the same block. */
195 static_link_htab_entry_eq (const void *p1
, const void *p2
)
197 const struct static_link_htab_entry
*e1
198 = (const struct static_link_htab_entry
*) p1
;
199 const struct static_link_htab_entry
*e2
200 = (const struct static_link_htab_entry
*) p2
;
202 return e1
->block
== e2
->block
;
205 /* Register STATIC_LINK as the static link for BLOCK, which is part of OBJFILE.
206 Must not be called more than once for each BLOCK. */
209 objfile_register_static_link (struct objfile
*objfile
,
210 const struct block
*block
,
211 const struct dynamic_prop
*static_link
)
214 struct static_link_htab_entry lookup_entry
;
215 struct static_link_htab_entry
*entry
;
217 if (objfile
->static_links
== NULL
)
218 objfile
->static_links
.reset (htab_create_alloc
219 (1, &static_link_htab_entry_hash
, static_link_htab_entry_eq
, NULL
,
222 /* Create a slot for the mapping, make sure it's the first mapping for this
223 block and then create the mapping itself. */
224 lookup_entry
.block
= block
;
225 slot
= htab_find_slot (objfile
->static_links
.get (), &lookup_entry
, INSERT
);
226 gdb_assert (*slot
== NULL
);
228 entry
= XOBNEW (&objfile
->objfile_obstack
, static_link_htab_entry
);
229 entry
->block
= block
;
230 entry
->static_link
= static_link
;
231 *slot
= (void *) entry
;
234 /* Look for a static link for BLOCK, which is part of OBJFILE. Return NULL if
237 const struct dynamic_prop
*
238 objfile_lookup_static_link (struct objfile
*objfile
,
239 const struct block
*block
)
241 struct static_link_htab_entry
*entry
;
242 struct static_link_htab_entry lookup_entry
;
244 if (objfile
->static_links
== NULL
)
246 lookup_entry
.block
= block
;
247 entry
= ((struct static_link_htab_entry
*)
248 htab_find (objfile
->static_links
.get (), &lookup_entry
));
252 gdb_assert (entry
->block
== block
);
253 return entry
->static_link
;
258 /* Build up the section table that the objfile references. The
259 objfile contains pointers to the start of the table
260 (objfile->sections) and to the first location after the end of the
261 table (objfile->sections_end). */
264 add_to_objfile_sections (struct bfd
*abfd
, struct bfd_section
*asect
,
265 struct objfile
*objfile
, int force
)
267 struct obj_section
*section
;
273 aflag
= bfd_section_flags (asect
);
274 if (!(aflag
& SEC_ALLOC
))
278 section
= &objfile
->sections
[gdb_bfd_section_index (abfd
, asect
)];
279 section
->objfile
= objfile
;
280 section
->the_bfd_section
= asect
;
281 section
->ovly_mapped
= 0;
284 /* Builds a section table for OBJFILE.
286 Note that the OFFSET and OVLY_MAPPED in each table entry are
287 initialized to zero. */
290 build_objfile_section_table (struct objfile
*objfile
)
292 int count
= gdb_bfd_count_sections (objfile
->obfd
);
294 objfile
->sections
= OBSTACK_CALLOC (&objfile
->objfile_obstack
,
297 objfile
->sections_end
= (objfile
->sections
+ count
);
298 for (asection
*sect
: gdb_bfd_sections (objfile
->obfd
))
299 add_to_objfile_sections (objfile
->obfd
, sect
, objfile
, 0);
301 /* See gdb_bfd_section_index. */
302 add_to_objfile_sections (objfile
->obfd
, bfd_com_section_ptr
, objfile
, 1);
303 add_to_objfile_sections (objfile
->obfd
, bfd_und_section_ptr
, objfile
, 1);
304 add_to_objfile_sections (objfile
->obfd
, bfd_abs_section_ptr
, objfile
, 1);
305 add_to_objfile_sections (objfile
->obfd
, bfd_ind_section_ptr
, objfile
, 1);
308 /* Given a pointer to an initialized bfd (ABFD) and some flag bits,
309 initialize the new objfile as best we can and link it into the list
310 of all known objfiles.
312 NAME should contain original non-canonicalized filename or other
313 identifier as entered by user. If there is no better source use
314 bfd_get_filename (ABFD). NAME may be NULL only if ABFD is NULL.
315 NAME content is copied into returned objfile.
317 The FLAGS word contains various bits (OBJF_*) that can be taken as
318 requests for specific operations. Other bits like OBJF_SHARED are
319 simply copied through to the new objfile flags member. */
321 objfile::objfile (bfd
*abfd
, const char *name
, objfile_flags flags_
)
323 pspace (current_program_space
),
326 const char *expanded_name
;
328 /* We could use obstack_specify_allocation here instead, but
329 gdb_obstack.h specifies the alloc/dealloc functions. */
330 obstack_init (&objfile_obstack
);
332 objfile_alloc_data (this);
334 std::string name_holder
;
337 gdb_assert (abfd
== NULL
);
338 gdb_assert ((flags
& OBJF_NOT_FILENAME
) != 0);
339 expanded_name
= "<<anonymous objfile>>";
341 else if ((flags
& OBJF_NOT_FILENAME
) != 0
342 || is_target_filename (name
))
343 expanded_name
= name
;
346 name_holder
= gdb_abspath (name
);
347 expanded_name
= name_holder
.c_str ();
349 original_name
= obstack_strdup (&objfile_obstack
, expanded_name
);
351 /* Update the per-objfile information that comes from the bfd, ensuring
352 that any data that is reference is saved in the per-objfile data
358 mtime
= bfd_get_mtime (abfd
);
360 /* Build section table. */
361 build_objfile_section_table (this);
364 per_bfd
= get_objfile_bfd_data (abfd
);
367 /* If there is a valid and known entry point, function fills *ENTRY_P with it
368 and returns non-zero; otherwise it returns zero. */
371 entry_point_address_query (CORE_ADDR
*entry_p
)
373 objfile
*objf
= current_program_space
->symfile_object_file
;
374 if (objf
== NULL
|| !objf
->per_bfd
->ei
.entry_point_p
)
377 int idx
= objf
->per_bfd
->ei
.the_bfd_section_index
;
378 *entry_p
= objf
->per_bfd
->ei
.entry_point
+ objf
->section_offsets
[idx
];
383 /* Get current entry point address. Call error if it is not known. */
386 entry_point_address (void)
390 if (!entry_point_address_query (&retval
))
391 error (_("Entry point address is not known."));
396 separate_debug_iterator
&
397 separate_debug_iterator::operator++ ()
399 gdb_assert (m_objfile
!= nullptr);
403 /* If any, return the first child. */
404 res
= m_objfile
->separate_debug_objfile
;
411 /* Common case where there is no separate debug objfile. */
412 if (m_objfile
== m_parent
)
418 /* Return the brother if any. Note that we don't iterate on brothers of
420 res
= m_objfile
->separate_debug_objfile_link
;
427 for (res
= m_objfile
->separate_debug_objfile_backlink
;
429 res
= res
->separate_debug_objfile_backlink
)
431 gdb_assert (res
!= nullptr);
432 if (res
->separate_debug_objfile_link
!= nullptr)
434 m_objfile
= res
->separate_debug_objfile_link
;
442 /* Add OBJFILE as a separate debug objfile of PARENT. */
445 add_separate_debug_objfile (struct objfile
*objfile
, struct objfile
*parent
)
447 gdb_assert (objfile
&& parent
);
449 /* Must not be already in a list. */
450 gdb_assert (objfile
->separate_debug_objfile_backlink
== NULL
);
451 gdb_assert (objfile
->separate_debug_objfile_link
== NULL
);
452 gdb_assert (objfile
->separate_debug_objfile
== NULL
);
453 gdb_assert (parent
->separate_debug_objfile_backlink
== NULL
);
454 gdb_assert (parent
->separate_debug_objfile_link
== NULL
);
456 objfile
->separate_debug_objfile_backlink
= parent
;
457 objfile
->separate_debug_objfile_link
= parent
->separate_debug_objfile
;
458 parent
->separate_debug_objfile
= objfile
;
461 /* See objfiles.h. */
464 objfile::make (bfd
*bfd_
, const char *name_
, objfile_flags flags_
,
467 objfile
*result
= new objfile (bfd_
, name_
, flags_
);
468 if (parent
!= nullptr)
469 add_separate_debug_objfile (result
, parent
);
471 current_program_space
->add_objfile (std::unique_ptr
<objfile
> (result
),
474 /* Rebuild section map next time we need it. */
475 get_objfile_pspace_data (current_program_space
)->new_objfiles_available
= 1;
480 /* See objfiles.h. */
485 current_program_space
->remove_objfile (this);
488 /* Free all separate debug objfile of OBJFILE, but don't free OBJFILE
492 free_objfile_separate_debug (struct objfile
*objfile
)
494 struct objfile
*child
;
496 for (child
= objfile
->separate_debug_objfile
; child
;)
498 struct objfile
*next_child
= child
->separate_debug_objfile_link
;
504 /* Destroy an objfile and all the symtabs and psymtabs under it. */
508 /* First notify observers that this objfile is about to be freed. */
509 gdb::observers::free_objfile
.notify (this);
511 /* Free all separate debug objfiles. */
512 free_objfile_separate_debug (this);
514 if (separate_debug_objfile_backlink
)
516 /* We freed the separate debug file, make sure the base objfile
517 doesn't reference it. */
518 struct objfile
*child
;
520 child
= separate_debug_objfile_backlink
->separate_debug_objfile
;
524 /* THIS is the first child. */
525 separate_debug_objfile_backlink
->separate_debug_objfile
=
526 separate_debug_objfile_link
;
530 /* Find THIS in the list. */
533 if (child
->separate_debug_objfile_link
== this)
535 child
->separate_debug_objfile_link
=
536 separate_debug_objfile_link
;
539 child
= child
->separate_debug_objfile_link
;
545 /* Remove any references to this objfile in the global value
547 preserve_values (this);
549 /* It still may reference data modules have associated with the objfile and
550 the symbol file data. */
551 forget_cached_source_info_for_objfile (this);
553 breakpoint_free_objfile (this);
554 btrace_free_objfile (this);
556 /* First do any symbol file specific actions required when we are
557 finished with a particular symbol file. Note that if the objfile
558 is using reusable symbol information (via mmalloc) then each of
559 these routines is responsible for doing the correct thing, either
560 freeing things which are valid only during this particular gdb
561 execution, or leaving them to be reused during the next one. */
564 (*sf
->sym_finish
) (this);
566 /* Discard any data modules have associated with the objfile. The function
567 still may reference obfd. */
568 objfile_free_data (this);
571 gdb_bfd_unref (obfd
);
575 /* Before the symbol table code was redone to make it easier to
576 selectively load and remove information particular to a specific
577 linkage unit, gdb used to do these things whenever the monolithic
578 symbol table was blown away. How much still needs to be done
579 is unknown, but we play it safe for now and keep each action until
580 it is shown to be no longer needed. */
582 /* Not all our callers call clear_symtab_users (objfile_purge_solibs,
583 for example), so we need to call this here. */
584 clear_pc_function_cache ();
586 /* Check to see if the current_source_symtab belongs to this objfile,
587 and if so, call clear_current_source_symtab_and_line. */
590 struct symtab_and_line cursal
= get_current_source_symtab_and_line ();
592 if (cursal
.symtab
&& cursal
.symtab
->compunit ()->objfile () == this)
593 clear_current_source_symtab_and_line ();
596 /* Free the obstacks for non-reusable objfiles. */
597 obstack_free (&objfile_obstack
, 0);
599 /* Rebuild section map next time we need it. */
600 get_objfile_pspace_data (pspace
)->section_map_dirty
= 1;
604 /* A helper function for objfile_relocate1 that relocates a single
608 relocate_one_symbol (struct symbol
*sym
, struct objfile
*objfile
,
609 const section_offsets
&delta
)
611 fixup_symbol_section (sym
, objfile
);
613 /* The RS6000 code from which this was taken skipped
614 any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
615 But I'm leaving out that test, on the theory that
616 they can't possibly pass the tests below. */
617 if ((sym
->aclass () == LOC_LABEL
618 || sym
->aclass () == LOC_STATIC
)
619 && sym
->section_index () >= 0)
620 sym
->set_value_address (sym
->value_address ()
621 + delta
[sym
->section_index ()]);
624 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
625 entries in new_offsets. SEPARATE_DEBUG_OBJFILE is not touched here.
626 Return non-zero iff any change happened. */
629 objfile_relocate1 (struct objfile
*objfile
,
630 const section_offsets
&new_offsets
)
632 section_offsets
delta (objfile
->section_offsets
.size ());
634 int something_changed
= 0;
636 for (int i
= 0; i
< objfile
->section_offsets
.size (); ++i
)
638 delta
[i
] = new_offsets
[i
] - objfile
->section_offsets
[i
];
640 something_changed
= 1;
642 if (!something_changed
)
645 /* OK, get all the symtabs. */
647 for (compunit_symtab
*cust
: objfile
->compunits ())
649 for (symtab
*s
: cust
->filetabs ())
653 /* First the line table. */
657 for (int i
= 0; i
< l
->nitems
; ++i
)
658 l
->item
[i
].pc
+= delta
[cust
->block_line_section ()];
663 for (compunit_symtab
*cust
: objfile
->compunits ())
665 struct blockvector
*bv
= cust
->blockvector ();
666 int block_line_section
= cust
->block_line_section ();
668 if (bv
->map () != nullptr)
669 bv
->map ()->relocate (delta
[block_line_section
]);
671 for (block
*b
: bv
->blocks ())
674 struct mdict_iterator miter
;
676 b
->set_start (b
->start () + delta
[block_line_section
]);
677 b
->set_end (b
->end () + delta
[block_line_section
]);
679 for (blockrange
&r
: b
->ranges ())
681 r
.set_start (r
.start () + delta
[block_line_section
]);
682 r
.set_end (r
.end () + delta
[block_line_section
]);
685 /* We only want to iterate over the local symbols, not any
686 symbols in included symtabs. */
687 ALL_DICT_SYMBOLS (b
->multidict (), miter
, sym
)
689 relocate_one_symbol (sym
, objfile
, delta
);
695 /* Notify the quick symbol object. */
696 for (const auto &iter
: objfile
->qf
)
699 /* Relocate isolated symbols. */
703 for (iter
= objfile
->template_symbols
; iter
; iter
= iter
->hash_next
)
704 relocate_one_symbol (iter
, objfile
, delta
);
710 for (i
= 0; i
< objfile
->section_offsets
.size (); ++i
)
711 objfile
->section_offsets
[i
] = new_offsets
[i
];
714 /* Rebuild section map next time we need it. */
715 get_objfile_pspace_data (objfile
->pspace
)->section_map_dirty
= 1;
717 /* Update the table in exec_ops, used to read memory. */
718 struct obj_section
*s
;
719 ALL_OBJFILE_OSECTIONS (objfile
, s
)
721 int idx
= s
- objfile
->sections
;
723 exec_set_section_address (bfd_get_filename (objfile
->obfd
), idx
,
731 /* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
732 entries in new_offsets. Process also OBJFILE's SEPARATE_DEBUG_OBJFILEs.
734 The number and ordering of sections does differ between the two objfiles.
735 Only their names match. Also the file offsets will differ (objfile being
736 possibly prelinked but separate_debug_objfile is probably not prelinked) but
737 the in-memory absolute address as specified by NEW_OFFSETS must match both
741 objfile_relocate (struct objfile
*objfile
,
742 const section_offsets
&new_offsets
)
746 changed
|= objfile_relocate1 (objfile
, new_offsets
);
748 for (::objfile
*debug_objfile
: objfile
->separate_debug_objfiles ())
750 if (debug_objfile
== objfile
)
753 section_addr_info objfile_addrs
754 = build_section_addr_info_from_objfile (objfile
);
756 /* Here OBJFILE_ADDRS contain the correct absolute addresses, the
757 relative ones must be already created according to debug_objfile. */
759 addr_info_make_relative (&objfile_addrs
, debug_objfile
->obfd
);
761 gdb_assert (debug_objfile
->section_offsets
.size ()
762 == gdb_bfd_count_sections (debug_objfile
->obfd
));
763 section_offsets new_debug_offsets
764 (debug_objfile
->section_offsets
.size ());
765 relative_addr_info_to_section_offsets (new_debug_offsets
, objfile_addrs
);
767 changed
|= objfile_relocate1 (debug_objfile
, new_debug_offsets
);
770 /* Relocate breakpoints as necessary, after things are relocated. */
772 breakpoint_re_set ();
775 /* Rebase (add to the offsets) OBJFILE by SLIDE. SEPARATE_DEBUG_OBJFILE is
777 Return non-zero iff any change happened. */
780 objfile_rebase1 (struct objfile
*objfile
, CORE_ADDR slide
)
782 section_offsets
new_offsets (objfile
->section_offsets
.size (), slide
);
783 return objfile_relocate1 (objfile
, new_offsets
);
786 /* Rebase (add to the offsets) OBJFILE by SLIDE. Process also OBJFILE's
787 SEPARATE_DEBUG_OBJFILEs. */
790 objfile_rebase (struct objfile
*objfile
, CORE_ADDR slide
)
794 for (::objfile
*debug_objfile
: objfile
->separate_debug_objfiles ())
795 changed
|= objfile_rebase1 (debug_objfile
, slide
);
797 /* Relocate breakpoints as necessary, after things are relocated. */
799 breakpoint_re_set ();
802 /* Return non-zero if OBJFILE has full symbols. */
805 objfile_has_full_symbols (struct objfile
*objfile
)
807 return objfile
->compunit_symtabs
!= NULL
;
810 /* Return non-zero if OBJFILE has full or partial symbols, either directly
811 or through a separate debug file. */
814 objfile_has_symbols (struct objfile
*objfile
)
816 for (::objfile
*o
: objfile
->separate_debug_objfiles ())
817 if (o
->has_partial_symbols () || objfile_has_full_symbols (o
))
823 /* Many places in gdb want to test just to see if we have any partial
824 symbols available. This function returns zero if none are currently
825 available, nonzero otherwise. */
828 have_partial_symbols (void)
830 for (objfile
*ofp
: current_program_space
->objfiles ())
832 if (ofp
->has_partial_symbols ())
838 /* Many places in gdb want to test just to see if we have any full
839 symbols available. This function returns zero if none are currently
840 available, nonzero otherwise. */
843 have_full_symbols (void)
845 for (objfile
*ofp
: current_program_space
->objfiles ())
847 if (objfile_has_full_symbols (ofp
))
854 /* This operations deletes all objfile entries that represent solibs that
855 weren't explicitly loaded by the user, via e.g., the add-symbol-file
859 objfile_purge_solibs (void)
861 for (objfile
*objf
: current_program_space
->objfiles_safe ())
863 /* We assume that the solib package has been purged already, or will
866 if (!(objf
->flags
& OBJF_USERLOADED
) && (objf
->flags
& OBJF_SHARED
))
872 /* Many places in gdb want to test just to see if we have any minimal
873 symbols available. This function returns zero if none are currently
874 available, nonzero otherwise. */
877 have_minimal_symbols (void)
879 for (objfile
*ofp
: current_program_space
->objfiles ())
881 if (ofp
->per_bfd
->minimal_symbol_count
> 0)
889 /* Qsort comparison function. */
892 sort_cmp (const struct obj_section
*sect1
, const obj_section
*sect2
)
894 const CORE_ADDR sect1_addr
= sect1
->addr ();
895 const CORE_ADDR sect2_addr
= sect2
->addr ();
897 if (sect1_addr
< sect2_addr
)
899 else if (sect1_addr
> sect2_addr
)
903 /* Sections are at the same address. This could happen if
904 A) we have an objfile and a separate debuginfo.
905 B) we are confused, and have added sections without proper relocation,
906 or something like that. */
908 const struct objfile
*const objfile1
= sect1
->objfile
;
909 const struct objfile
*const objfile2
= sect2
->objfile
;
911 if (objfile1
->separate_debug_objfile
== objfile2
912 || objfile2
->separate_debug_objfile
== objfile1
)
914 /* Case A. The ordering doesn't matter: separate debuginfo files
915 will be filtered out later. */
920 /* Case B. Maintain stable sort order, so bugs in GDB are easier to
921 triage. This section could be slow (since we iterate over all
922 objfiles in each call to sort_cmp), but this shouldn't happen
923 very often (GDB is already in a confused state; one hopes this
924 doesn't happen at all). If you discover that significant time is
925 spent in the loops below, do 'set complaints 100' and examine the
926 resulting complaints. */
927 if (objfile1
== objfile2
)
929 /* Both sections came from the same objfile. We are really
930 confused. Sort on sequence order of sections within the
931 objfile. The order of checks is important here, if we find a
932 match on SECT2 first then either SECT2 is before SECT1, or,
933 SECT2 == SECT1, in both cases we should return false. The
934 second case shouldn't occur during normal use, but std::sort
935 does check that '!(a < a)' when compiled in debug mode. */
937 const struct obj_section
*osect
;
939 ALL_OBJFILE_OSECTIONS (objfile1
, osect
)
942 else if (osect
== sect1
)
945 /* We should have found one of the sections before getting here. */
946 gdb_assert_not_reached ("section not found");
950 /* Sort on sequence number of the objfile in the chain. */
952 for (objfile
*objfile
: current_program_space
->objfiles ())
953 if (objfile
== objfile1
)
955 else if (objfile
== objfile2
)
958 /* We should have found one of the objfiles before getting here. */
959 gdb_assert_not_reached ("objfile not found");
964 gdb_assert_not_reached ("unexpected code path");
968 /* Select "better" obj_section to keep. We prefer the one that came from
969 the real object, rather than the one from separate debuginfo.
970 Most of the time the two sections are exactly identical, but with
971 prelinking the .rel.dyn section in the real object may have different
974 static struct obj_section
*
975 preferred_obj_section (struct obj_section
*a
, struct obj_section
*b
)
977 gdb_assert (a
->addr () == b
->addr ());
978 gdb_assert ((a
->objfile
->separate_debug_objfile
== b
->objfile
)
979 || (b
->objfile
->separate_debug_objfile
== a
->objfile
));
980 gdb_assert ((a
->objfile
->separate_debug_objfile_backlink
== b
->objfile
)
981 || (b
->objfile
->separate_debug_objfile_backlink
== a
->objfile
));
983 if (a
->objfile
->separate_debug_objfile
!= NULL
)
988 /* Return 1 if SECTION should be inserted into the section map.
989 We want to insert only non-overlay non-TLS non-empty sections. */
992 insert_section_p (const struct bfd
*abfd
,
993 const struct bfd_section
*section
)
995 const bfd_vma lma
= bfd_section_lma (section
);
997 if (overlay_debugging
&& lma
!= 0 && lma
!= bfd_section_vma (section
)
998 && (bfd_get_file_flags (abfd
) & BFD_IN_MEMORY
) == 0)
999 /* This is an overlay section. IN_MEMORY check is needed to avoid
1000 discarding sections from the "system supplied DSO" (aka vdso)
1001 on some Linux systems (e.g. Fedora 11). */
1003 if ((bfd_section_flags (section
) & SEC_THREAD_LOCAL
) != 0)
1004 /* This is a TLS section. */
1006 if (bfd_section_size (section
) == 0)
1008 /* This is an empty section. It has no PCs for find_pc_section (), so
1009 there is no reason to insert it into the section map. */
1016 /* Filter out overlapping sections where one section came from the real
1017 objfile, and the other from a separate debuginfo file.
1018 Return the size of table after redundant sections have been eliminated. */
1021 filter_debuginfo_sections (struct obj_section
**map
, int map_size
)
1025 for (i
= 0, j
= 0; i
< map_size
- 1; i
++)
1027 struct obj_section
*const sect1
= map
[i
];
1028 struct obj_section
*const sect2
= map
[i
+ 1];
1029 const struct objfile
*const objfile1
= sect1
->objfile
;
1030 const struct objfile
*const objfile2
= sect2
->objfile
;
1031 const CORE_ADDR sect1_addr
= sect1
->addr ();
1032 const CORE_ADDR sect2_addr
= sect2
->addr ();
1034 if (sect1_addr
== sect2_addr
1035 && (objfile1
->separate_debug_objfile
== objfile2
1036 || objfile2
->separate_debug_objfile
== objfile1
))
1038 map
[j
++] = preferred_obj_section (sect1
, sect2
);
1047 gdb_assert (i
== map_size
- 1);
1051 /* The map should not have shrunk to less than half the original size. */
1052 gdb_assert (map_size
/ 2 <= j
);
1057 /* Filter out overlapping sections, issuing a warning if any are found.
1058 Overlapping sections could really be overlay sections which we didn't
1059 classify as such in insert_section_p, or we could be dealing with a
1063 filter_overlapping_sections (struct obj_section
**map
, int map_size
)
1067 for (i
= 0, j
= 0; i
< map_size
- 1; )
1072 for (k
= i
+ 1; k
< map_size
; k
++)
1074 struct obj_section
*const sect1
= map
[i
];
1075 struct obj_section
*const sect2
= map
[k
];
1076 const CORE_ADDR sect1_addr
= sect1
->addr ();
1077 const CORE_ADDR sect2_addr
= sect2
->addr ();
1078 const CORE_ADDR sect1_endaddr
= sect1
->endaddr ();
1080 gdb_assert (sect1_addr
<= sect2_addr
);
1082 if (sect1_endaddr
<= sect2_addr
)
1086 /* We have an overlap. Report it. */
1088 struct objfile
*const objf1
= sect1
->objfile
;
1089 struct objfile
*const objf2
= sect2
->objfile
;
1091 const struct bfd_section
*const bfds1
= sect1
->the_bfd_section
;
1092 const struct bfd_section
*const bfds2
= sect2
->the_bfd_section
;
1094 const CORE_ADDR sect2_endaddr
= sect2
->endaddr ();
1096 struct gdbarch
*const gdbarch
= objf1
->arch ();
1098 complaint (_("unexpected overlap between:\n"
1099 " (A) section `%s' from `%s' [%s, %s)\n"
1100 " (B) section `%s' from `%s' [%s, %s).\n"
1101 "Will ignore section B"),
1102 bfd_section_name (bfds1
), objfile_name (objf1
),
1103 paddress (gdbarch
, sect1_addr
),
1104 paddress (gdbarch
, sect1_endaddr
),
1105 bfd_section_name (bfds2
), objfile_name (objf2
),
1106 paddress (gdbarch
, sect2_addr
),
1107 paddress (gdbarch
, sect2_endaddr
));
1115 gdb_assert (i
== map_size
- 1);
1123 /* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
1124 TLS, overlay and overlapping sections. */
1127 update_section_map (struct program_space
*pspace
,
1128 struct obj_section
***pmap
, int *pmap_size
)
1130 struct objfile_pspace_info
*pspace_info
;
1131 int alloc_size
, map_size
, i
;
1132 struct obj_section
*s
, **map
;
1134 pspace_info
= get_objfile_pspace_data (pspace
);
1135 gdb_assert (pspace_info
->section_map_dirty
!= 0
1136 || pspace_info
->new_objfiles_available
!= 0);
1142 for (objfile
*objfile
: pspace
->objfiles ())
1143 ALL_OBJFILE_OSECTIONS (objfile
, s
)
1144 if (insert_section_p (objfile
->obfd
, s
->the_bfd_section
))
1147 /* This happens on detach/attach (e.g. in gdb.base/attach.exp). */
1148 if (alloc_size
== 0)
1155 map
= XNEWVEC (struct obj_section
*, alloc_size
);
1158 for (objfile
*objfile
: pspace
->objfiles ())
1159 ALL_OBJFILE_OSECTIONS (objfile
, s
)
1160 if (insert_section_p (objfile
->obfd
, s
->the_bfd_section
))
1163 std::sort (map
, map
+ alloc_size
, sort_cmp
);
1164 map_size
= filter_debuginfo_sections(map
, alloc_size
);
1165 map_size
= filter_overlapping_sections(map
, map_size
);
1167 if (map_size
< alloc_size
)
1168 /* Some sections were eliminated. Trim excess space. */
1169 map
= XRESIZEVEC (struct obj_section
*, map
, map_size
);
1171 gdb_assert (alloc_size
== map_size
);
1174 *pmap_size
= map_size
;
1177 /* Bsearch comparison function. */
1180 bsearch_cmp (const void *key
, const void *elt
)
1182 const CORE_ADDR pc
= *(CORE_ADDR
*) key
;
1183 const struct obj_section
*section
= *(const struct obj_section
**) elt
;
1185 if (pc
< section
->addr ())
1187 if (pc
< section
->endaddr ())
1192 /* Returns a section whose range includes PC or NULL if none found. */
1194 struct obj_section
*
1195 find_pc_section (CORE_ADDR pc
)
1197 struct objfile_pspace_info
*pspace_info
;
1198 struct obj_section
*s
, **sp
;
1200 /* Check for mapped overlay section first. */
1201 s
= find_pc_mapped_section (pc
);
1205 pspace_info
= get_objfile_pspace_data (current_program_space
);
1206 if (pspace_info
->section_map_dirty
1207 || (pspace_info
->new_objfiles_available
1208 && !pspace_info
->inhibit_updates
))
1210 update_section_map (current_program_space
,
1211 &pspace_info
->sections
,
1212 &pspace_info
->num_sections
);
1214 /* Don't need updates to section map until objfiles are added,
1215 removed or relocated. */
1216 pspace_info
->new_objfiles_available
= 0;
1217 pspace_info
->section_map_dirty
= 0;
1220 /* The C standard (ISO/IEC 9899:TC2) requires the BASE argument to
1221 bsearch be non-NULL. */
1222 if (pspace_info
->sections
== NULL
)
1224 gdb_assert (pspace_info
->num_sections
== 0);
1228 sp
= (struct obj_section
**) bsearch (&pc
,
1229 pspace_info
->sections
,
1230 pspace_info
->num_sections
,
1231 sizeof (*pspace_info
->sections
),
1239 /* Return non-zero if PC is in a section called NAME. */
1242 pc_in_section (CORE_ADDR pc
, const char *name
)
1244 struct obj_section
*s
;
1247 s
= find_pc_section (pc
);
1250 && s
->the_bfd_section
->name
!= NULL
1251 && strcmp (s
->the_bfd_section
->name
, name
) == 0);
1256 /* Set section_map_dirty so section map will be rebuilt next time it
1257 is used. Called by reread_symbols. */
1260 objfiles_changed (void)
1262 /* Rebuild section map next time we need it. */
1263 get_objfile_pspace_data (current_program_space
)->section_map_dirty
= 1;
1266 /* See comments in objfiles.h. */
1268 scoped_restore_tmpl
<int>
1269 inhibit_section_map_updates (struct program_space
*pspace
)
1271 return scoped_restore_tmpl
<int>
1272 (&get_objfile_pspace_data (pspace
)->inhibit_updates
, 1);
1275 /* See objfiles.h. */
1278 is_addr_in_objfile (CORE_ADDR addr
, const struct objfile
*objfile
)
1280 struct obj_section
*osect
;
1282 if (objfile
== NULL
)
1285 ALL_OBJFILE_OSECTIONS (objfile
, osect
)
1287 if (section_is_overlay (osect
) && !section_is_mapped (osect
))
1290 if (osect
->addr () <= addr
&& addr
< osect
->endaddr ())
1296 /* See objfiles.h. */
1299 shared_objfile_contains_address_p (struct program_space
*pspace
,
1302 for (objfile
*objfile
: pspace
->objfiles ())
1304 if ((objfile
->flags
& OBJF_SHARED
) != 0
1305 && is_addr_in_objfile (address
, objfile
))
1312 /* The default implementation for the "iterate_over_objfiles_in_search_order"
1313 gdbarch method. It is equivalent to use the objfiles iterable,
1314 searching the objfiles in the order they are stored internally,
1315 ignoring CURRENT_OBJFILE.
1317 On most platforms, it should be close enough to doing the best
1318 we can without some knowledge specific to the architecture. */
1321 default_iterate_over_objfiles_in_search_order
1322 (gdbarch
*gdbarch
, iterate_over_objfiles_in_search_order_cb_ftype cb
,
1323 objfile
*current_objfile
)
1325 for (objfile
*objfile
: current_program_space
->objfiles ())
1330 /* See objfiles.h. */
1333 objfile_name (const struct objfile
*objfile
)
1335 if (objfile
->obfd
!= NULL
)
1336 return bfd_get_filename (objfile
->obfd
);
1338 return objfile
->original_name
;
1341 /* See objfiles.h. */
1344 objfile_filename (const struct objfile
*objfile
)
1346 if (objfile
->obfd
!= NULL
)
1347 return bfd_get_filename (objfile
->obfd
);
1352 /* See objfiles.h. */
1355 objfile_debug_name (const struct objfile
*objfile
)
1357 return lbasename (objfile
->original_name
);
1360 /* See objfiles.h. */
1363 objfile_flavour_name (struct objfile
*objfile
)
1365 if (objfile
->obfd
!= NULL
)
1366 return bfd_flavour_name (bfd_get_flavour (objfile
->obfd
));
1370 /* See objfiles.h. */
1373 objfile_int_type (struct objfile
*of
, int size_in_bytes
, bool unsigned_p
)
1375 struct type
*int_type
;
1377 /* Helper macro to examine the various builtin types. */
1378 #define TRY_TYPE(F) \
1379 int_type = (unsigned_p \
1380 ? objfile_type (of)->builtin_unsigned_ ## F \
1381 : objfile_type (of)->builtin_ ## F); \
1382 if (int_type != NULL && TYPE_LENGTH (int_type) == size_in_bytes) \
1389 TRY_TYPE (long_long
);
1393 gdb_assert_not_reached ("unable to find suitable integer type");