| /* GDB routines for manipulating the minimal symbol tables. | |
| Copyright (C) 1992-2023 Free Software Foundation, Inc. | |
| Contributed by Cygnus Support, using pieces from other GDB modules. | |
| This file is part of GDB. | |
| This program is free software; you can redistribute it and/or modify | |
| it under the terms of the GNU General Public License as published by | |
| the Free Software Foundation; either version 3 of the License, or | |
| (at your option) any later version. | |
| This program is distributed in the hope that it will be useful, | |
| but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| GNU General Public License for more details. | |
| You should have received a copy of the GNU General Public License | |
| along with this program. If not, see <http://www.gnu.org/licenses/>. */ | |
| /* This file contains support routines for creating, manipulating, and | |
| destroying minimal symbol tables. | |
| Minimal symbol tables are used to hold some very basic information about | |
| all defined global symbols (text, data, bss, abs, etc). The only two | |
| required pieces of information are the symbol's name and the address | |
| associated with that symbol. | |
| In many cases, even if a file was compiled with no special options for | |
| debugging at all, as long as was not stripped it will contain sufficient | |
| information to build useful minimal symbol tables using this structure. | |
| Even when a file contains enough debugging information to build a full | |
| symbol table, these minimal symbols are still useful for quickly mapping | |
| between names and addresses, and vice versa. They are also sometimes used | |
| to figure out what full symbol table entries need to be read in. */ | |
| #include "defs.h" | |
| #include <ctype.h> | |
| #include "symtab.h" | |
| #include "bfd.h" | |
| #include "filenames.h" | |
| #include "symfile.h" | |
| #include "objfiles.h" | |
| #include "demangle.h" | |
| #include "value.h" | |
| #include "cp-abi.h" | |
| #include "target.h" | |
| #include "cp-support.h" | |
| #include "language.h" | |
| #include "cli/cli-utils.h" | |
| #include "gdbsupport/symbol.h" | |
| #include <algorithm> | |
| #include "gdbsupport/gdb-safe-ctype.h" | |
| #include "gdbsupport/parallel-for.h" | |
| #include "inferior.h" | |
| #if CXX_STD_THREAD | |
| #include <mutex> | |
| #endif | |
| /* Return true if MINSYM is a cold clone symbol. | |
| Recognize f.i. these symbols (mangled/demangled): | |
| - _ZL3foov.cold | |
| foo() [clone .cold] | |
| - _ZL9do_rpo_vnP8functionP8edge_defP11bitmap_headbb.cold.138 | |
| do_rpo_vn(function*, edge_def*, bitmap_head*, bool, bool) \ | |
| [clone .cold.138]. */ | |
| static bool | |
| msymbol_is_cold_clone (minimal_symbol *minsym) | |
| { | |
| const char *name = minsym->natural_name (); | |
| size_t name_len = strlen (name); | |
| if (name_len < 1) | |
| return false; | |
| const char *last = &name[name_len - 1]; | |
| if (*last != ']') | |
| return false; | |
| const char *suffix = " [clone .cold"; | |
| size_t suffix_len = strlen (suffix); | |
| const char *found = strstr (name, suffix); | |
| if (found == nullptr) | |
| return false; | |
| const char *start = &found[suffix_len]; | |
| if (*start == ']') | |
| return true; | |
| if (*start != '.') | |
| return false; | |
| const char *p; | |
| for (p = start + 1; p <= last; ++p) | |
| { | |
| if (*p >= '0' && *p <= '9') | |
| continue; | |
| break; | |
| } | |
| if (p == last) | |
| return true; | |
| return false; | |
| } | |
| /* See minsyms.h. */ | |
| bool | |
| msymbol_is_function (struct objfile *objfile, minimal_symbol *minsym, | |
| CORE_ADDR *func_address_p) | |
| { | |
| CORE_ADDR msym_addr = minsym->value_address (objfile); | |
| switch (minsym->type ()) | |
| { | |
| case mst_slot_got_plt: | |
| case mst_data: | |
| case mst_bss: | |
| case mst_abs: | |
| case mst_file_data: | |
| case mst_file_bss: | |
| case mst_data_gnu_ifunc: | |
| { | |
| struct gdbarch *gdbarch = objfile->arch (); | |
| CORE_ADDR pc = gdbarch_convert_from_func_ptr_addr | |
| (gdbarch, msym_addr, current_inferior ()->top_target ()); | |
| if (pc != msym_addr) | |
| { | |
| if (func_address_p != NULL) | |
| *func_address_p = pc; | |
| return true; | |
| } | |
| return false; | |
| } | |
| case mst_file_text: | |
| /* Ignore function symbol that is not a function entry. */ | |
| if (msymbol_is_cold_clone (minsym)) | |
| return false; | |
| /* fallthru */ | |
| default: | |
| if (func_address_p != NULL) | |
| *func_address_p = msym_addr; | |
| return true; | |
| } | |
| } | |
| /* Accumulate the minimal symbols for each objfile in bunches of BUNCH_SIZE. | |
| At the end, copy them all into one newly allocated array. */ | |
| #define BUNCH_SIZE 127 | |
| struct msym_bunch | |
| { | |
| struct msym_bunch *next; | |
| struct minimal_symbol contents[BUNCH_SIZE]; | |
| }; | |
| /* See minsyms.h. */ | |
| unsigned int | |
| msymbol_hash_iw (const char *string) | |
| { | |
| unsigned int hash = 0; | |
| while (*string && *string != '(') | |
| { | |
| string = skip_spaces (string); | |
| if (*string && *string != '(') | |
| { | |
| hash = SYMBOL_HASH_NEXT (hash, *string); | |
| ++string; | |
| } | |
| } | |
| return hash; | |
| } | |
| /* See minsyms.h. */ | |
| unsigned int | |
| msymbol_hash (const char *string) | |
| { | |
| unsigned int hash = 0; | |
| for (; *string; ++string) | |
| hash = SYMBOL_HASH_NEXT (hash, *string); | |
| return hash; | |
| } | |
| /* Add the minimal symbol SYM to an objfile's minsym hash table, TABLE. */ | |
| static void | |
| add_minsym_to_hash_table (struct minimal_symbol *sym, | |
| struct minimal_symbol **table, | |
| unsigned int hash_value) | |
| { | |
| if (sym->hash_next == NULL) | |
| { | |
| unsigned int hash = hash_value % MINIMAL_SYMBOL_HASH_SIZE; | |
| sym->hash_next = table[hash]; | |
| table[hash] = sym; | |
| } | |
| } | |
| /* Add the minimal symbol SYM to an objfile's minsym demangled hash table, | |
| TABLE. */ | |
| static void | |
| add_minsym_to_demangled_hash_table (struct minimal_symbol *sym, | |
| struct objfile *objfile, | |
| unsigned int hash_value) | |
| { | |
| if (sym->demangled_hash_next == NULL) | |
| { | |
| objfile->per_bfd->demangled_hash_languages.set (sym->language ()); | |
| struct minimal_symbol **table | |
| = objfile->per_bfd->msymbol_demangled_hash; | |
| unsigned int hash_index = hash_value % MINIMAL_SYMBOL_HASH_SIZE; | |
| sym->demangled_hash_next = table[hash_index]; | |
| table[hash_index] = sym; | |
| } | |
| } | |
| /* Worker object for lookup_minimal_symbol. Stores temporary results | |
| while walking the symbol tables. */ | |
| struct found_minimal_symbols | |
| { | |
| /* External symbols are best. */ | |
| bound_minimal_symbol external_symbol; | |
| /* File-local symbols are next best. */ | |
| bound_minimal_symbol file_symbol; | |
| /* Symbols for shared library trampolines are next best. */ | |
| bound_minimal_symbol trampoline_symbol; | |
| /* Called when a symbol name matches. Check if the minsym is a | |
| better type than what we had already found, and record it in one | |
| of the members fields if so. Returns true if we collected the | |
| real symbol, in which case we can stop searching. */ | |
| bool maybe_collect (const char *sfile, objfile *objf, | |
| minimal_symbol *msymbol); | |
| }; | |
| /* See declaration above. */ | |
| bool | |
| found_minimal_symbols::maybe_collect (const char *sfile, | |
| struct objfile *objfile, | |
| minimal_symbol *msymbol) | |
| { | |
| switch (msymbol->type ()) | |
| { | |
| case mst_file_text: | |
| case mst_file_data: | |
| case mst_file_bss: | |
| if (sfile == NULL | |
| || filename_cmp (msymbol->filename, sfile) == 0) | |
| { | |
| file_symbol.minsym = msymbol; | |
| file_symbol.objfile = objfile; | |
| } | |
| break; | |
| case mst_solib_trampoline: | |
| /* If a trampoline symbol is found, we prefer to keep | |
| looking for the *real* symbol. If the actual symbol | |
| is not found, then we'll use the trampoline | |
| entry. */ | |
| if (trampoline_symbol.minsym == NULL) | |
| { | |
| trampoline_symbol.minsym = msymbol; | |
| trampoline_symbol.objfile = objfile; | |
| } | |
| break; | |
| case mst_unknown: | |
| default: | |
| external_symbol.minsym = msymbol; | |
| external_symbol.objfile = objfile; | |
| /* We have the real symbol. No use looking further. */ | |
| return true; | |
| } | |
| /* Keep looking. */ | |
| return false; | |
| } | |
| /* Walk the mangled name hash table, and pass each symbol whose name | |
| matches LOOKUP_NAME according to NAMECMP to FOUND. */ | |
| static void | |
| lookup_minimal_symbol_mangled (const char *lookup_name, | |
| const char *sfile, | |
| struct objfile *objfile, | |
| struct minimal_symbol **table, | |
| unsigned int hash, | |
| int (*namecmp) (const char *, const char *), | |
| found_minimal_symbols &found) | |
| { | |
| for (minimal_symbol *msymbol = table[hash]; | |
| msymbol != NULL; | |
| msymbol = msymbol->hash_next) | |
| { | |
| const char *symbol_name = msymbol->linkage_name (); | |
| if (namecmp (symbol_name, lookup_name) == 0 | |
| && found.maybe_collect (sfile, objfile, msymbol)) | |
| return; | |
| } | |
| } | |
| /* Walk the demangled name hash table, and pass each symbol whose name | |
| matches LOOKUP_NAME according to MATCHER to FOUND. */ | |
| static void | |
| lookup_minimal_symbol_demangled (const lookup_name_info &lookup_name, | |
| const char *sfile, | |
| struct objfile *objfile, | |
| struct minimal_symbol **table, | |
| unsigned int hash, | |
| symbol_name_matcher_ftype *matcher, | |
| found_minimal_symbols &found) | |
| { | |
| for (minimal_symbol *msymbol = table[hash]; | |
| msymbol != NULL; | |
| msymbol = msymbol->demangled_hash_next) | |
| { | |
| const char *symbol_name = msymbol->search_name (); | |
| if (matcher (symbol_name, lookup_name, NULL) | |
| && found.maybe_collect (sfile, objfile, msymbol)) | |
| return; | |
| } | |
| } | |
| /* Look through all the current minimal symbol tables and find the | |
| first minimal symbol that matches NAME. If OBJF is non-NULL, limit | |
| the search to that objfile. If SFILE is non-NULL, the only file-scope | |
| symbols considered will be from that source file (global symbols are | |
| still preferred). Returns a pointer to the minimal symbol that | |
| matches, or NULL if no match is found. | |
| Note: One instance where there may be duplicate minimal symbols with | |
| the same name is when the symbol tables for a shared library and the | |
| symbol tables for an executable contain global symbols with the same | |
| names (the dynamic linker deals with the duplication). | |
| It's also possible to have minimal symbols with different mangled | |
| names, but identical demangled names. For example, the GNU C++ v3 | |
| ABI requires the generation of two (or perhaps three) copies of | |
| constructor functions --- "in-charge", "not-in-charge", and | |
| "allocate" copies; destructors may be duplicated as well. | |
| Obviously, there must be distinct mangled names for each of these, | |
| but the demangled names are all the same: S::S or S::~S. */ | |
| struct bound_minimal_symbol | |
| lookup_minimal_symbol (const char *name, const char *sfile, | |
| struct objfile *objf) | |
| { | |
| found_minimal_symbols found; | |
| unsigned int mangled_hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE; | |
| auto *mangled_cmp | |
| = (case_sensitivity == case_sensitive_on | |
| ? strcmp | |
| : strcasecmp); | |
| if (sfile != NULL) | |
| sfile = lbasename (sfile); | |
| lookup_name_info lookup_name (name, symbol_name_match_type::FULL); | |
| for (objfile *objfile : current_program_space->objfiles ()) | |
| { | |
| if (found.external_symbol.minsym != NULL) | |
| break; | |
| if (objf == NULL || objf == objfile | |
| || objf == objfile->separate_debug_objfile_backlink) | |
| { | |
| symbol_lookup_debug_printf ("lookup_minimal_symbol (%s, %s, %s)", | |
| name, sfile != NULL ? sfile : "NULL", | |
| objfile_debug_name (objfile)); | |
| /* Do two passes: the first over the ordinary hash table, | |
| and the second over the demangled hash table. */ | |
| lookup_minimal_symbol_mangled (name, sfile, objfile, | |
| objfile->per_bfd->msymbol_hash, | |
| mangled_hash, mangled_cmp, found); | |
| /* If not found, try the demangled hash table. */ | |
| if (found.external_symbol.minsym == NULL) | |
| { | |
| /* Once for each language in the demangled hash names | |
| table (usually just zero or one languages). */ | |
| for (unsigned iter = 0; iter < nr_languages; ++iter) | |
| { | |
| if (!objfile->per_bfd->demangled_hash_languages.test (iter)) | |
| continue; | |
| enum language lang = (enum language) iter; | |
| unsigned int hash | |
| = (lookup_name.search_name_hash (lang) | |
| % MINIMAL_SYMBOL_HASH_SIZE); | |
| symbol_name_matcher_ftype *match | |
| = language_def (lang)->get_symbol_name_matcher | |
| (lookup_name); | |
| struct minimal_symbol **msymbol_demangled_hash | |
| = objfile->per_bfd->msymbol_demangled_hash; | |
| lookup_minimal_symbol_demangled (lookup_name, sfile, objfile, | |
| msymbol_demangled_hash, | |
| hash, match, found); | |
| if (found.external_symbol.minsym != NULL) | |
| break; | |
| } | |
| } | |
| } | |
| } | |
| /* External symbols are best. */ | |
| if (found.external_symbol.minsym != NULL) | |
| { | |
| if (symbol_lookup_debug) | |
| { | |
| minimal_symbol *minsym = found.external_symbol.minsym; | |
| symbol_lookup_debug_printf | |
| ("lookup_minimal_symbol (...) = %s (external)", | |
| host_address_to_string (minsym)); | |
| } | |
| return found.external_symbol; | |
| } | |
| /* File-local symbols are next best. */ | |
| if (found.file_symbol.minsym != NULL) | |
| { | |
| if (symbol_lookup_debug) | |
| { | |
| minimal_symbol *minsym = found.file_symbol.minsym; | |
| symbol_lookup_debug_printf | |
| ("lookup_minimal_symbol (...) = %s (file-local)", | |
| host_address_to_string (minsym)); | |
| } | |
| return found.file_symbol; | |
| } | |
| /* Symbols for shared library trampolines are next best. */ | |
| if (found.trampoline_symbol.minsym != NULL) | |
| { | |
| if (symbol_lookup_debug) | |
| { | |
| minimal_symbol *minsym = found.trampoline_symbol.minsym; | |
| symbol_lookup_debug_printf | |
| ("lookup_minimal_symbol (...) = %s (trampoline)", | |
| host_address_to_string (minsym)); | |
| } | |
| return found.trampoline_symbol; | |
| } | |
| /* Not found. */ | |
| symbol_lookup_debug_printf ("lookup_minimal_symbol (...) = NULL"); | |
| return {}; | |
| } | |
| /* See minsyms.h. */ | |
| struct bound_minimal_symbol | |
| lookup_bound_minimal_symbol (const char *name) | |
| { | |
| return lookup_minimal_symbol (name, NULL, NULL); | |
| } | |
| /* See gdbsupport/symbol.h. */ | |
| int | |
| find_minimal_symbol_address (const char *name, CORE_ADDR *addr, | |
| struct objfile *objfile) | |
| { | |
| struct bound_minimal_symbol sym | |
| = lookup_minimal_symbol (name, NULL, objfile); | |
| if (sym.minsym != NULL) | |
| *addr = sym.value_address (); | |
| return sym.minsym == NULL; | |
| } | |
| /* Get the lookup name form best suitable for linkage name | |
| matching. */ | |
| static const char * | |
| linkage_name_str (const lookup_name_info &lookup_name) | |
| { | |
| /* Unlike most languages (including C++), Ada uses the | |
| encoded/linkage name as the search name recorded in symbols. So | |
| if debugging in Ada mode, prefer the Ada-encoded name. This also | |
| makes Ada's verbatim match syntax ("<...>") work, because | |
| "lookup_name.name()" includes the "<>"s, while | |
| "lookup_name.ada().lookup_name()" is the encoded name with "<>"s | |
| stripped. */ | |
| if (current_language->la_language == language_ada) | |
| return lookup_name.ada ().lookup_name ().c_str (); | |
| return lookup_name.c_str (); | |
| } | |
| /* See minsyms.h. */ | |
| void | |
| iterate_over_minimal_symbols | |
| (struct objfile *objf, const lookup_name_info &lookup_name, | |
| gdb::function_view<bool (struct minimal_symbol *)> callback) | |
| { | |
| /* The first pass is over the ordinary hash table. */ | |
| { | |
| const char *name = linkage_name_str (lookup_name); | |
| unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE; | |
| auto *mangled_cmp | |
| = (case_sensitivity == case_sensitive_on | |
| ? strcmp | |
| : strcasecmp); | |
| for (minimal_symbol *iter = objf->per_bfd->msymbol_hash[hash]; | |
| iter != NULL; | |
| iter = iter->hash_next) | |
| { | |
| if (mangled_cmp (iter->linkage_name (), name) == 0) | |
| if (callback (iter)) | |
| return; | |
| } | |
| } | |
| /* The second pass is over the demangled table. Once for each | |
| language in the demangled hash names table (usually just zero or | |
| one). */ | |
| for (unsigned liter = 0; liter < nr_languages; ++liter) | |
| { | |
| if (!objf->per_bfd->demangled_hash_languages.test (liter)) | |
| continue; | |
| enum language lang = (enum language) liter; | |
| const language_defn *lang_def = language_def (lang); | |
| symbol_name_matcher_ftype *name_match | |
| = lang_def->get_symbol_name_matcher (lookup_name); | |
| unsigned int hash | |
| = lookup_name.search_name_hash (lang) % MINIMAL_SYMBOL_HASH_SIZE; | |
| for (minimal_symbol *iter = objf->per_bfd->msymbol_demangled_hash[hash]; | |
| iter != NULL; | |
| iter = iter->demangled_hash_next) | |
| if (name_match (iter->search_name (), lookup_name, NULL)) | |
| if (callback (iter)) | |
| return; | |
| } | |
| } | |
| /* See minsyms.h. */ | |
| bound_minimal_symbol | |
| lookup_minimal_symbol_linkage (const char *name, struct objfile *objf) | |
| { | |
| unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE; | |
| for (objfile *objfile : objf->separate_debug_objfiles ()) | |
| { | |
| for (minimal_symbol *msymbol = objfile->per_bfd->msymbol_hash[hash]; | |
| msymbol != NULL; | |
| msymbol = msymbol->hash_next) | |
| { | |
| if (strcmp (msymbol->linkage_name (), name) == 0 | |
| && (msymbol->type () == mst_data | |
| || msymbol->type () == mst_bss)) | |
| return {msymbol, objfile}; | |
| } | |
| } | |
| return {}; | |
| } | |
| /* See minsyms.h. */ | |
| struct bound_minimal_symbol | |
| lookup_minimal_symbol_linkage (const char *name, bool only_main) | |
| { | |
| for (objfile *objfile : current_program_space->objfiles ()) | |
| { | |
| if (objfile->separate_debug_objfile_backlink != nullptr) | |
| continue; | |
| if (only_main && (objfile->flags & OBJF_MAINLINE) == 0) | |
| continue; | |
| bound_minimal_symbol minsym = lookup_minimal_symbol_linkage (name, | |
| objfile); | |
| if (minsym.minsym != nullptr) | |
| return minsym; | |
| } | |
| return {}; | |
| } | |
| /* See minsyms.h. */ | |
| struct bound_minimal_symbol | |
| lookup_minimal_symbol_text (const char *name, struct objfile *objf) | |
| { | |
| struct minimal_symbol *msymbol; | |
| struct bound_minimal_symbol found_symbol; | |
| struct bound_minimal_symbol found_file_symbol; | |
| unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE; | |
| for (objfile *objfile : current_program_space->objfiles ()) | |
| { | |
| if (found_symbol.minsym != NULL) | |
| break; | |
| if (objf == NULL || objf == objfile | |
| || objf == objfile->separate_debug_objfile_backlink) | |
| { | |
| for (msymbol = objfile->per_bfd->msymbol_hash[hash]; | |
| msymbol != NULL && found_symbol.minsym == NULL; | |
| msymbol = msymbol->hash_next) | |
| { | |
| if (strcmp (msymbol->linkage_name (), name) == 0 && | |
| (msymbol->type () == mst_text | |
| || msymbol->type () == mst_text_gnu_ifunc | |
| || msymbol->type () == mst_file_text)) | |
| { | |
| switch (msymbol->type ()) | |
| { | |
| case mst_file_text: | |
| found_file_symbol.minsym = msymbol; | |
| found_file_symbol.objfile = objfile; | |
| break; | |
| default: | |
| found_symbol.minsym = msymbol; | |
| found_symbol.objfile = objfile; | |
| break; | |
| } | |
| } | |
| } | |
| } | |
| } | |
| /* External symbols are best. */ | |
| if (found_symbol.minsym) | |
| return found_symbol; | |
| /* File-local symbols are next best. */ | |
| return found_file_symbol; | |
| } | |
| /* See minsyms.h. */ | |
| struct minimal_symbol * | |
| lookup_minimal_symbol_by_pc_name (CORE_ADDR pc, const char *name, | |
| struct objfile *objf) | |
| { | |
| struct minimal_symbol *msymbol; | |
| unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE; | |
| for (objfile *objfile : current_program_space->objfiles ()) | |
| { | |
| if (objf == NULL || objf == objfile | |
| || objf == objfile->separate_debug_objfile_backlink) | |
| { | |
| for (msymbol = objfile->per_bfd->msymbol_hash[hash]; | |
| msymbol != NULL; | |
| msymbol = msymbol->hash_next) | |
| { | |
| if (msymbol->value_address (objfile) == pc | |
| && strcmp (msymbol->linkage_name (), name) == 0) | |
| return msymbol; | |
| } | |
| } | |
| } | |
| return NULL; | |
| } | |
| /* A helper function that makes *PC section-relative. This searches | |
| the sections of OBJFILE and if *PC is in a section, it subtracts | |
| the section offset, stores the result into UNREL_ADDR, and returns | |
| true. Otherwise it returns false. */ | |
| static int | |
| frob_address (struct objfile *objfile, CORE_ADDR pc, | |
| unrelocated_addr *unrel_addr) | |
| { | |
| for (obj_section *iter : objfile->sections ()) | |
| { | |
| if (pc >= iter->addr () && pc < iter->endaddr ()) | |
| { | |
| *unrel_addr = unrelocated_addr (pc - iter->offset ()); | |
| return 1; | |
| } | |
| } | |
| return 0; | |
| } | |
| /* Helper for lookup_minimal_symbol_by_pc_section. Convert a | |
| lookup_msym_prefer to a minimal_symbol_type. */ | |
| static minimal_symbol_type | |
| msym_prefer_to_msym_type (lookup_msym_prefer prefer) | |
| { | |
| switch (prefer) | |
| { | |
| case lookup_msym_prefer::TEXT: | |
| return mst_text; | |
| case lookup_msym_prefer::TRAMPOLINE: | |
| return mst_solib_trampoline; | |
| case lookup_msym_prefer::GNU_IFUNC: | |
| return mst_text_gnu_ifunc; | |
| } | |
| /* Assert here instead of in a default switch case above so that | |
| -Wswitch warns if a new enumerator is added. */ | |
| gdb_assert_not_reached ("unhandled lookup_msym_prefer"); | |
| } | |
| /* See minsyms.h. | |
| Note that we need to look through ALL the minimal symbol tables | |
| before deciding on the symbol that comes closest to the specified PC. | |
| This is because objfiles can overlap, for example objfile A has .text | |
| at 0x100 and .data at 0x40000 and objfile B has .text at 0x234 and | |
| .data at 0x40048. */ | |
| bound_minimal_symbol | |
| lookup_minimal_symbol_by_pc_section (CORE_ADDR pc_in, struct obj_section *section, | |
| lookup_msym_prefer prefer, | |
| bound_minimal_symbol *previous) | |
| { | |
| int lo; | |
| int hi; | |
| int newobj; | |
| struct minimal_symbol *msymbol; | |
| struct minimal_symbol *best_symbol = NULL; | |
| struct objfile *best_objfile = NULL; | |
| struct bound_minimal_symbol result; | |
| if (previous != nullptr) | |
| { | |
| previous->minsym = nullptr; | |
| previous->objfile = nullptr; | |
| } | |
| if (section == NULL) | |
| { | |
| section = find_pc_section (pc_in); | |
| if (section == NULL) | |
| return {}; | |
| } | |
| minimal_symbol_type want_type = msym_prefer_to_msym_type (prefer); | |
| /* We can not require the symbol found to be in section, because | |
| e.g. IRIX 6.5 mdebug relies on this code returning an absolute | |
| symbol - but find_pc_section won't return an absolute section and | |
| hence the code below would skip over absolute symbols. We can | |
| still take advantage of the call to find_pc_section, though - the | |
| object file still must match. In case we have separate debug | |
| files, search both the file and its separate debug file. There's | |
| no telling which one will have the minimal symbols. */ | |
| gdb_assert (section != NULL); | |
| for (objfile *objfile : section->objfile->separate_debug_objfiles ()) | |
| { | |
| CORE_ADDR pc = pc_in; | |
| /* If this objfile has a minimal symbol table, go search it | |
| using a binary search. */ | |
| if (objfile->per_bfd->minimal_symbol_count > 0) | |
| { | |
| int best_zero_sized = -1; | |
| msymbol = objfile->per_bfd->msymbols.get (); | |
| lo = 0; | |
| hi = objfile->per_bfd->minimal_symbol_count - 1; | |
| /* This code assumes that the minimal symbols are sorted by | |
| ascending address values. If the pc value is greater than or | |
| equal to the first symbol's address, then some symbol in this | |
| minimal symbol table is a suitable candidate for being the | |
| "best" symbol. This includes the last real symbol, for cases | |
| where the pc value is larger than any address in this vector. | |
| By iterating until the address associated with the current | |
| hi index (the endpoint of the test interval) is less than | |
| or equal to the desired pc value, we accomplish two things: | |
| (1) the case where the pc value is larger than any minimal | |
| symbol address is trivially solved, (2) the address associated | |
| with the hi index is always the one we want when the iteration | |
| terminates. In essence, we are iterating the test interval | |
| down until the pc value is pushed out of it from the high end. | |
| Warning: this code is trickier than it would appear at first. */ | |
| unrelocated_addr unrel_pc; | |
| if (frob_address (objfile, pc, &unrel_pc) | |
| && unrel_pc >= msymbol[lo].unrelocated_address ()) | |
| { | |
| while (msymbol[hi].unrelocated_address () > unrel_pc) | |
| { | |
| /* pc is still strictly less than highest address. */ | |
| /* Note "new" will always be >= lo. */ | |
| newobj = (lo + hi) / 2; | |
| if ((msymbol[newobj].unrelocated_address () >= unrel_pc) | |
| || (lo == newobj)) | |
| { | |
| hi = newobj; | |
| } | |
| else | |
| { | |
| lo = newobj; | |
| } | |
| } | |
| /* If we have multiple symbols at the same address, we want | |
| hi to point to the last one. That way we can find the | |
| right symbol if it has an index greater than hi. */ | |
| while (hi < objfile->per_bfd->minimal_symbol_count - 1 | |
| && (msymbol[hi].unrelocated_address () | |
| == msymbol[hi + 1].unrelocated_address ())) | |
| hi++; | |
| /* Skip various undesirable symbols. */ | |
| while (hi >= 0) | |
| { | |
| /* Skip any absolute symbols. This is apparently | |
| what adb and dbx do, and is needed for the CM-5. | |
| There are two known possible problems: (1) on | |
| ELF, apparently end, edata, etc. are absolute. | |
| Not sure ignoring them here is a big deal, but if | |
| we want to use them, the fix would go in | |
| elfread.c. (2) I think shared library entry | |
| points on the NeXT are absolute. If we want | |
| special handling for this it probably should be | |
| triggered by a special mst_abs_or_lib or some | |
| such. */ | |
| if (msymbol[hi].type () == mst_abs) | |
| { | |
| hi--; | |
| continue; | |
| } | |
| /* If SECTION was specified, skip any symbol from | |
| wrong section. */ | |
| if (section | |
| /* Some types of debug info, such as COFF, | |
| don't fill the bfd_section member, so don't | |
| throw away symbols on those platforms. */ | |
| && msymbol[hi].obj_section (objfile) != nullptr | |
| && (!matching_obj_sections | |
| (msymbol[hi].obj_section (objfile), | |
| section))) | |
| { | |
| hi--; | |
| continue; | |
| } | |
| /* If we are looking for a trampoline and this is a | |
| text symbol, or the other way around, check the | |
| preceding symbol too. If they are otherwise | |
| identical prefer that one. */ | |
| if (hi > 0 | |
| && msymbol[hi].type () != want_type | |
| && msymbol[hi - 1].type () == want_type | |
| && (msymbol[hi].size () == msymbol[hi - 1].size ()) | |
| && (msymbol[hi].unrelocated_address () | |
| == msymbol[hi - 1].unrelocated_address ()) | |
| && (msymbol[hi].obj_section (objfile) | |
| == msymbol[hi - 1].obj_section (objfile))) | |
| { | |
| hi--; | |
| continue; | |
| } | |
| /* If the minimal symbol has a zero size, save it | |
| but keep scanning backwards looking for one with | |
| a non-zero size. A zero size may mean that the | |
| symbol isn't an object or function (e.g. a | |
| label), or it may just mean that the size was not | |
| specified. */ | |
| if (msymbol[hi].size () == 0) | |
| { | |
| if (best_zero_sized == -1) | |
| best_zero_sized = hi; | |
| hi--; | |
| continue; | |
| } | |
| /* If we are past the end of the current symbol, try | |
| the previous symbol if it has a larger overlapping | |
| size. This happens on i686-pc-linux-gnu with glibc; | |
| the nocancel variants of system calls are inside | |
| the cancellable variants, but both have sizes. */ | |
| if (hi > 0 | |
| && msymbol[hi].size () != 0 | |
| && unrel_pc >= msymbol[hi].unrelocated_end_address () | |
| && unrel_pc < msymbol[hi - 1].unrelocated_end_address ()) | |
| { | |
| hi--; | |
| continue; | |
| } | |
| /* Otherwise, this symbol must be as good as we're going | |
| to get. */ | |
| break; | |
| } | |
| /* If HI has a zero size, and best_zero_sized is set, | |
| then we had two or more zero-sized symbols; prefer | |
| the first one we found (which may have a higher | |
| address). Also, if we ran off the end, be sure | |
| to back up. */ | |
| if (best_zero_sized != -1 | |
| && (hi < 0 || msymbol[hi].size () == 0)) | |
| hi = best_zero_sized; | |
| /* If the minimal symbol has a non-zero size, and this | |
| PC appears to be outside the symbol's contents, then | |
| refuse to use this symbol. If we found a zero-sized | |
| symbol with an address greater than this symbol's, | |
| use that instead. We assume that if symbols have | |
| specified sizes, they do not overlap. */ | |
| if (hi >= 0 | |
| && msymbol[hi].size () != 0 | |
| && unrel_pc >= msymbol[hi].unrelocated_end_address ()) | |
| { | |
| if (best_zero_sized != -1) | |
| hi = best_zero_sized; | |
| else | |
| { | |
| /* If needed record this symbol as the closest | |
| previous symbol. */ | |
| if (previous != nullptr) | |
| { | |
| if (previous->minsym == nullptr | |
| || (msymbol[hi].unrelocated_address () | |
| > previous->minsym->unrelocated_address ())) | |
| { | |
| previous->minsym = &msymbol[hi]; | |
| previous->objfile = objfile; | |
| } | |
| } | |
| /* Go on to the next object file. */ | |
| continue; | |
| } | |
| } | |
| /* The minimal symbol indexed by hi now is the best one in this | |
| objfile's minimal symbol table. See if it is the best one | |
| overall. */ | |
| if (hi >= 0 | |
| && ((best_symbol == NULL) || | |
| (best_symbol->unrelocated_address () < | |
| msymbol[hi].unrelocated_address ()))) | |
| { | |
| best_symbol = &msymbol[hi]; | |
| best_objfile = objfile; | |
| } | |
| } | |
| } | |
| } | |
| result.minsym = best_symbol; | |
| result.objfile = best_objfile; | |
| return result; | |
| } | |
| /* See minsyms.h. */ | |
| struct bound_minimal_symbol | |
| lookup_minimal_symbol_by_pc (CORE_ADDR pc) | |
| { | |
| return lookup_minimal_symbol_by_pc_section (pc, NULL); | |
| } | |
| /* Return non-zero iff PC is in an STT_GNU_IFUNC function resolver. */ | |
| bool | |
| in_gnu_ifunc_stub (CORE_ADDR pc) | |
| { | |
| bound_minimal_symbol msymbol | |
| = lookup_minimal_symbol_by_pc_section (pc, NULL, | |
| lookup_msym_prefer::GNU_IFUNC); | |
| return msymbol.minsym && msymbol.minsym->type () == mst_text_gnu_ifunc; | |
| } | |
| /* See elf_gnu_ifunc_resolve_addr for its real implementation. */ | |
| static CORE_ADDR | |
| stub_gnu_ifunc_resolve_addr (struct gdbarch *gdbarch, CORE_ADDR pc) | |
| { | |
| error (_("GDB cannot resolve STT_GNU_IFUNC symbol at address %s without " | |
| "the ELF support compiled in."), | |
| paddress (gdbarch, pc)); | |
| } | |
| /* See elf_gnu_ifunc_resolve_name for its real implementation. */ | |
| static bool | |
| stub_gnu_ifunc_resolve_name (const char *function_name, | |
| CORE_ADDR *function_address_p) | |
| { | |
| error (_("GDB cannot resolve STT_GNU_IFUNC symbol \"%s\" without " | |
| "the ELF support compiled in."), | |
| function_name); | |
| } | |
| /* See elf_gnu_ifunc_resolver_stop for its real implementation. */ | |
| static void | |
| stub_gnu_ifunc_resolver_stop (code_breakpoint *b) | |
| { | |
| internal_error (_("elf_gnu_ifunc_resolver_stop cannot be reached.")); | |
| } | |
| /* See elf_gnu_ifunc_resolver_return_stop for its real implementation. */ | |
| static void | |
| stub_gnu_ifunc_resolver_return_stop (code_breakpoint *b) | |
| { | |
| internal_error (_("elf_gnu_ifunc_resolver_return_stop cannot be reached.")); | |
| } | |
| /* See elf_gnu_ifunc_fns for its real implementation. */ | |
| static const struct gnu_ifunc_fns stub_gnu_ifunc_fns = | |
| { | |
| stub_gnu_ifunc_resolve_addr, | |
| stub_gnu_ifunc_resolve_name, | |
| stub_gnu_ifunc_resolver_stop, | |
| stub_gnu_ifunc_resolver_return_stop, | |
| }; | |
| /* A placeholder for &elf_gnu_ifunc_fns. */ | |
| const struct gnu_ifunc_fns *gnu_ifunc_fns_p = &stub_gnu_ifunc_fns; | |
| /* Return leading symbol character for a BFD. If BFD is NULL, | |
| return the leading symbol character from the main objfile. */ | |
| static int | |
| get_symbol_leading_char (bfd *abfd) | |
| { | |
| if (abfd != NULL) | |
| return bfd_get_symbol_leading_char (abfd); | |
| if (current_program_space->symfile_object_file != NULL) | |
| { | |
| objfile *objf = current_program_space->symfile_object_file; | |
| if (objf->obfd != NULL) | |
| return bfd_get_symbol_leading_char (objf->obfd.get ()); | |
| } | |
| return 0; | |
| } | |
| /* See minsyms.h. */ | |
| minimal_symbol_reader::minimal_symbol_reader (struct objfile *obj) | |
| : m_objfile (obj), | |
| m_msym_bunch (NULL), | |
| /* Note that presetting m_msym_bunch_index to BUNCH_SIZE causes the | |
| first call to save a minimal symbol to allocate the memory for | |
| the first bunch. */ | |
| m_msym_bunch_index (BUNCH_SIZE), | |
| m_msym_count (0) | |
| { | |
| } | |
| /* Discard the currently collected minimal symbols, if any. If we wish | |
| to save them for later use, we must have already copied them somewhere | |
| else before calling this function. */ | |
| minimal_symbol_reader::~minimal_symbol_reader () | |
| { | |
| struct msym_bunch *next; | |
| while (m_msym_bunch != NULL) | |
| { | |
| next = m_msym_bunch->next; | |
| xfree (m_msym_bunch); | |
| m_msym_bunch = next; | |
| } | |
| } | |
| /* See minsyms.h. */ | |
| void | |
| minimal_symbol_reader::record (const char *name, unrelocated_addr address, | |
| enum minimal_symbol_type ms_type) | |
| { | |
| int section; | |
| switch (ms_type) | |
| { | |
| case mst_text: | |
| case mst_text_gnu_ifunc: | |
| case mst_file_text: | |
| case mst_solib_trampoline: | |
| section = SECT_OFF_TEXT (m_objfile); | |
| break; | |
| case mst_data: | |
| case mst_data_gnu_ifunc: | |
| case mst_file_data: | |
| section = SECT_OFF_DATA (m_objfile); | |
| break; | |
| case mst_bss: | |
| case mst_file_bss: | |
| section = SECT_OFF_BSS (m_objfile); | |
| break; | |
| default: | |
| section = -1; | |
| } | |
| record_with_info (name, address, ms_type, section); | |
| } | |
| /* Convert an enumerator of type minimal_symbol_type to its string | |
| representation. */ | |
| static const char * | |
| mst_str (minimal_symbol_type t) | |
| { | |
| #define MST_TO_STR(x) case x: return #x; | |
| switch (t) | |
| { | |
| MST_TO_STR (mst_unknown); | |
| MST_TO_STR (mst_text); | |
| MST_TO_STR (mst_text_gnu_ifunc); | |
| MST_TO_STR (mst_slot_got_plt); | |
| MST_TO_STR (mst_data); | |
| MST_TO_STR (mst_bss); | |
| MST_TO_STR (mst_abs); | |
| MST_TO_STR (mst_solib_trampoline); | |
| MST_TO_STR (mst_file_text); | |
| MST_TO_STR (mst_file_data); | |
| MST_TO_STR (mst_file_bss); | |
| default: | |
| return "mst_???"; | |
| } | |
| #undef MST_TO_STR | |
| } | |
| /* See minsyms.h. */ | |
| struct minimal_symbol * | |
| minimal_symbol_reader::record_full (gdb::string_view name, | |
| bool copy_name, unrelocated_addr address, | |
| enum minimal_symbol_type ms_type, | |
| int section) | |
| { | |
| struct msym_bunch *newobj; | |
| struct minimal_symbol *msymbol; | |
| /* Don't put gcc_compiled, __gnu_compiled_cplus, and friends into | |
| the minimal symbols, because if there is also another symbol | |
| at the same address (e.g. the first function of the file), | |
| lookup_minimal_symbol_by_pc would have no way of getting the | |
| right one. */ | |
| if (ms_type == mst_file_text && name[0] == 'g' | |
| && (name == GCC_COMPILED_FLAG_SYMBOL | |
| || name == GCC2_COMPILED_FLAG_SYMBOL)) | |
| return (NULL); | |
| /* It's safe to strip the leading char here once, since the name | |
| is also stored stripped in the minimal symbol table. */ | |
| if (name[0] == get_symbol_leading_char (m_objfile->obfd.get ())) | |
| name = name.substr (1); | |
| if (ms_type == mst_file_text && startswith (name, "__gnu_compiled")) | |
| return (NULL); | |
| symtab_create_debug_printf_v ("recording minsym: %-21s %18s %4d %.*s", | |
| mst_str (ms_type), | |
| hex_string (LONGEST (address)), | |
| section, (int) name.size (), name.data ()); | |
| if (m_msym_bunch_index == BUNCH_SIZE) | |
| { | |
| newobj = XCNEW (struct msym_bunch); | |
| m_msym_bunch_index = 0; | |
| newobj->next = m_msym_bunch; | |
| m_msym_bunch = newobj; | |
| } | |
| msymbol = &m_msym_bunch->contents[m_msym_bunch_index]; | |
| msymbol->set_language (language_unknown, | |
| &m_objfile->per_bfd->storage_obstack); | |
| if (copy_name) | |
| msymbol->m_name = obstack_strndup (&m_objfile->per_bfd->storage_obstack, | |
| name.data (), name.size ()); | |
| else | |
| msymbol->m_name = name.data (); | |
| msymbol->set_unrelocated_address (address); | |
| msymbol->set_section_index (section); | |
| msymbol->set_type (ms_type); | |
| /* If we already read minimal symbols for this objfile, then don't | |
| ever allocate a new one. */ | |
| if (!m_objfile->per_bfd->minsyms_read) | |
| { | |
| m_msym_bunch_index++; | |
| m_objfile->per_bfd->n_minsyms++; | |
| } | |
| m_msym_count++; | |
| return msymbol; | |
| } | |
| /* Compare two minimal symbols by address and return true if FN1's address | |
| is less than FN2's, so that we sort into unsigned numeric order. | |
| Within groups with the same address, sort by name. */ | |
| static inline bool | |
| minimal_symbol_is_less_than (const minimal_symbol &fn1, | |
| const minimal_symbol &fn2) | |
| { | |
| if ((&fn1)->unrelocated_address () < (&fn2)->unrelocated_address ()) | |
| { | |
| return true; /* addr 1 is less than addr 2. */ | |
| } | |
| else if ((&fn1)->unrelocated_address () > (&fn2)->unrelocated_address ()) | |
| { | |
| return false; /* addr 1 is greater than addr 2. */ | |
| } | |
| else | |
| /* addrs are equal: sort by name */ | |
| { | |
| const char *name1 = fn1.linkage_name (); | |
| const char *name2 = fn2.linkage_name (); | |
| if (name1 && name2) /* both have names */ | |
| return strcmp (name1, name2) < 0; | |
| else if (name2) | |
| return true; /* fn1 has no name, so it is "less". */ | |
| else if (name1) /* fn2 has no name, so it is "less". */ | |
| return false; | |
| else | |
| return false; /* Neither has a name, so they're equal. */ | |
| } | |
| } | |
| /* Compact duplicate entries out of a minimal symbol table by walking | |
| through the table and compacting out entries with duplicate addresses | |
| and matching names. Return the number of entries remaining. | |
| On entry, the table resides between msymbol[0] and msymbol[mcount]. | |
| On exit, it resides between msymbol[0] and msymbol[result_count]. | |
| When files contain multiple sources of symbol information, it is | |
| possible for the minimal symbol table to contain many duplicate entries. | |
| As an example, SVR4 systems use ELF formatted object files, which | |
| usually contain at least two different types of symbol tables (a | |
| standard ELF one and a smaller dynamic linking table), as well as | |
| DWARF debugging information for files compiled with -g. | |
| Without compacting, the minimal symbol table for gdb itself contains | |
| over a 1000 duplicates, about a third of the total table size. Aside | |
| from the potential trap of not noticing that two successive entries | |
| identify the same location, this duplication impacts the time required | |
| to linearly scan the table, which is done in a number of places. So we | |
| just do one linear scan here and toss out the duplicates. | |
| Since the different sources of information for each symbol may | |
| have different levels of "completeness", we may have duplicates | |
| that have one entry with type "mst_unknown" and the other with a | |
| known type. So if the one we are leaving alone has type mst_unknown, | |
| overwrite its type with the type from the one we are compacting out. */ | |
| static int | |
| compact_minimal_symbols (struct minimal_symbol *msymbol, int mcount, | |
| struct objfile *objfile) | |
| { | |
| struct minimal_symbol *copyfrom; | |
| struct minimal_symbol *copyto; | |
| if (mcount > 0) | |
| { | |
| copyfrom = copyto = msymbol; | |
| while (copyfrom < msymbol + mcount - 1) | |
| { | |
| if (copyfrom->unrelocated_address () | |
| == (copyfrom + 1)->unrelocated_address () | |
| && (copyfrom->section_index () | |
| == (copyfrom + 1)->section_index ()) | |
| && strcmp (copyfrom->linkage_name (), | |
| (copyfrom + 1)->linkage_name ()) == 0) | |
| { | |
| if ((copyfrom + 1)->type () == mst_unknown) | |
| (copyfrom + 1)->set_type (copyfrom->type ()); | |
| copyfrom++; | |
| } | |
| else | |
| *copyto++ = *copyfrom++; | |
| } | |
| *copyto++ = *copyfrom++; | |
| mcount = copyto - msymbol; | |
| } | |
| return (mcount); | |
| } | |
| static void | |
| clear_minimal_symbol_hash_tables (struct objfile *objfile) | |
| { | |
| for (size_t i = 0; i < MINIMAL_SYMBOL_HASH_SIZE; i++) | |
| { | |
| objfile->per_bfd->msymbol_hash[i] = 0; | |
| objfile->per_bfd->msymbol_demangled_hash[i] = 0; | |
| } | |
| } | |
| /* This struct is used to store values we compute for msymbols on the | |
| background threads but don't need to keep around long term. */ | |
| struct computed_hash_values | |
| { | |
| /* Length of the linkage_name of the symbol. */ | |
| size_t name_length; | |
| /* Hash code (using fast_hash) of the linkage_name. */ | |
| hashval_t mangled_name_hash; | |
| /* The msymbol_hash of the linkage_name. */ | |
| unsigned int minsym_hash; | |
| /* The msymbol_hash of the search_name. */ | |
| unsigned int minsym_demangled_hash; | |
| }; | |
| /* Build (or rebuild) the minimal symbol hash tables. This is necessary | |
| after compacting or sorting the table since the entries move around | |
| thus causing the internal minimal_symbol pointers to become jumbled. */ | |
| static void | |
| build_minimal_symbol_hash_tables | |
| (struct objfile *objfile, | |
| const std::vector<computed_hash_values>& hash_values) | |
| { | |
| int i; | |
| struct minimal_symbol *msym; | |
| /* (Re)insert the actual entries. */ | |
| int mcount = objfile->per_bfd->minimal_symbol_count; | |
| for ((i = 0, | |
| msym = objfile->per_bfd->msymbols.get ()); | |
| i < mcount; | |
| i++, msym++) | |
| { | |
| msym->hash_next = 0; | |
| add_minsym_to_hash_table (msym, objfile->per_bfd->msymbol_hash, | |
| hash_values[i].minsym_hash); | |
| msym->demangled_hash_next = 0; | |
| if (msym->search_name () != msym->linkage_name ()) | |
| add_minsym_to_demangled_hash_table | |
| (msym, objfile, hash_values[i].minsym_demangled_hash); | |
| } | |
| } | |
| /* Add the minimal symbols in the existing bunches to the objfile's official | |
| minimal symbol table. In most cases there is no minimal symbol table yet | |
| for this objfile, and the existing bunches are used to create one. Once | |
| in a while (for shared libraries for example), we add symbols (e.g. common | |
| symbols) to an existing objfile. */ | |
| void | |
| minimal_symbol_reader::install () | |
| { | |
| int mcount; | |
| struct msym_bunch *bunch; | |
| struct minimal_symbol *msymbols; | |
| int alloc_count; | |
| if (m_objfile->per_bfd->minsyms_read) | |
| return; | |
| if (m_msym_count > 0) | |
| { | |
| symtab_create_debug_printf ("installing %d minimal symbols of objfile %s", | |
| m_msym_count, objfile_name (m_objfile)); | |
| /* Allocate enough space, into which we will gather the bunches | |
| of new and existing minimal symbols, sort them, and then | |
| compact out the duplicate entries. Once we have a final | |
| table, we will give back the excess space. */ | |
| alloc_count = m_msym_count + m_objfile->per_bfd->minimal_symbol_count; | |
| gdb::unique_xmalloc_ptr<minimal_symbol> | |
| msym_holder (XNEWVEC (minimal_symbol, alloc_count)); | |
| msymbols = msym_holder.get (); | |
| /* Copy in the existing minimal symbols, if there are any. */ | |
| if (m_objfile->per_bfd->minimal_symbol_count) | |
| memcpy (msymbols, m_objfile->per_bfd->msymbols.get (), | |
| m_objfile->per_bfd->minimal_symbol_count | |
| * sizeof (struct minimal_symbol)); | |
| /* Walk through the list of minimal symbol bunches, adding each symbol | |
| to the new contiguous array of symbols. Note that we start with the | |
| current, possibly partially filled bunch (thus we use the current | |
| msym_bunch_index for the first bunch we copy over), and thereafter | |
| each bunch is full. */ | |
| mcount = m_objfile->per_bfd->minimal_symbol_count; | |
| for (bunch = m_msym_bunch; bunch != NULL; bunch = bunch->next) | |
| { | |
| memcpy (&msymbols[mcount], &bunch->contents[0], | |
| m_msym_bunch_index * sizeof (struct minimal_symbol)); | |
| mcount += m_msym_bunch_index; | |
| m_msym_bunch_index = BUNCH_SIZE; | |
| } | |
| /* Sort the minimal symbols by address. */ | |
| std::sort (msymbols, msymbols + mcount, minimal_symbol_is_less_than); | |
| /* Compact out any duplicates, and free up whatever space we are | |
| no longer using. */ | |
| mcount = compact_minimal_symbols (msymbols, mcount, m_objfile); | |
| msym_holder.reset (XRESIZEVEC (struct minimal_symbol, | |
| msym_holder.release (), | |
| mcount)); | |
| /* Attach the minimal symbol table to the specified objfile. | |
| The strings themselves are also located in the storage_obstack | |
| of this objfile. */ | |
| if (m_objfile->per_bfd->minimal_symbol_count != 0) | |
| clear_minimal_symbol_hash_tables (m_objfile); | |
| m_objfile->per_bfd->minimal_symbol_count = mcount; | |
| m_objfile->per_bfd->msymbols = std::move (msym_holder); | |
| #if CXX_STD_THREAD | |
| /* Mutex that is used when modifying or accessing the demangled | |
| hash table. */ | |
| std::mutex demangled_mutex; | |
| #endif | |
| std::vector<computed_hash_values> hash_values (mcount); | |
| msymbols = m_objfile->per_bfd->msymbols.get (); | |
| /* Arbitrarily require at least 10 elements in a thread. */ | |
| gdb::parallel_for_each (10, &msymbols[0], &msymbols[mcount], | |
| [&] (minimal_symbol *start, minimal_symbol *end) | |
| { | |
| for (minimal_symbol *msym = start; msym < end; ++msym) | |
| { | |
| size_t idx = msym - msymbols; | |
| hash_values[idx].name_length = strlen (msym->linkage_name ()); | |
| if (!msym->name_set) | |
| { | |
| /* This will be freed later, by compute_and_set_names. */ | |
| gdb::unique_xmalloc_ptr<char> demangled_name | |
| = symbol_find_demangled_name (msym, msym->linkage_name ()); | |
| msym->set_demangled_name | |
| (demangled_name.release (), | |
| &m_objfile->per_bfd->storage_obstack); | |
| msym->name_set = 1; | |
| } | |
| /* This mangled_name_hash computation has to be outside of | |
| the name_set check, or compute_and_set_names below will | |
| be called with an invalid hash value. */ | |
| hash_values[idx].mangled_name_hash | |
| = fast_hash (msym->linkage_name (), | |
| hash_values[idx].name_length); | |
| hash_values[idx].minsym_hash | |
| = msymbol_hash (msym->linkage_name ()); | |
| /* We only use this hash code if the search name differs | |
| from the linkage name. See the code in | |
| build_minimal_symbol_hash_tables. */ | |
| if (msym->search_name () != msym->linkage_name ()) | |
| hash_values[idx].minsym_demangled_hash | |
| = search_name_hash (msym->language (), msym->search_name ()); | |
| } | |
| { | |
| /* To limit how long we hold the lock, we only acquire it here | |
| and not while we demangle the names above. */ | |
| #if CXX_STD_THREAD | |
| std::lock_guard<std::mutex> guard (demangled_mutex); | |
| #endif | |
| for (minimal_symbol *msym = start; msym < end; ++msym) | |
| { | |
| size_t idx = msym - msymbols; | |
| msym->compute_and_set_names | |
| (gdb::string_view (msym->linkage_name (), | |
| hash_values[idx].name_length), | |
| false, | |
| m_objfile->per_bfd, | |
| hash_values[idx].mangled_name_hash); | |
| } | |
| } | |
| }); | |
| build_minimal_symbol_hash_tables (m_objfile, hash_values); | |
| } | |
| } | |
| /* Check if PC is in a shared library trampoline code stub. | |
| Return minimal symbol for the trampoline entry or NULL if PC is not | |
| in a trampoline code stub. */ | |
| static struct minimal_symbol * | |
| lookup_solib_trampoline_symbol_by_pc (CORE_ADDR pc) | |
| { | |
| bound_minimal_symbol msymbol | |
| = lookup_minimal_symbol_by_pc_section (pc, NULL, | |
| lookup_msym_prefer::TRAMPOLINE); | |
| if (msymbol.minsym != NULL | |
| && msymbol.minsym->type () == mst_solib_trampoline) | |
| return msymbol.minsym; | |
| return NULL; | |
| } | |
| /* If PC is in a shared library trampoline code stub, return the | |
| address of the `real' function belonging to the stub. | |
| Return 0 if PC is not in a trampoline code stub or if the real | |
| function is not found in the minimal symbol table. | |
| We may fail to find the right function if a function with the | |
| same name is defined in more than one shared library, but this | |
| is considered bad programming style. We could return 0 if we find | |
| a duplicate function in case this matters someday. */ | |
| CORE_ADDR | |
| find_solib_trampoline_target (frame_info_ptr frame, CORE_ADDR pc) | |
| { | |
| struct minimal_symbol *tsymbol = lookup_solib_trampoline_symbol_by_pc (pc); | |
| if (tsymbol != NULL) | |
| { | |
| for (objfile *objfile : current_program_space->objfiles ()) | |
| { | |
| for (minimal_symbol *msymbol : objfile->msymbols ()) | |
| { | |
| /* Also handle minimal symbols pointing to function | |
| descriptors. */ | |
| if ((msymbol->type () == mst_text | |
| || msymbol->type () == mst_text_gnu_ifunc | |
| || msymbol->type () == mst_data | |
| || msymbol->type () == mst_data_gnu_ifunc) | |
| && strcmp (msymbol->linkage_name (), | |
| tsymbol->linkage_name ()) == 0) | |
| { | |
| CORE_ADDR func; | |
| /* Ignore data symbols that are not function | |
| descriptors. */ | |
| if (msymbol_is_function (objfile, msymbol, &func)) | |
| return func; | |
| } | |
| } | |
| } | |
| } | |
| return 0; | |
| } | |
| /* See minsyms.h. */ | |
| CORE_ADDR | |
| minimal_symbol_upper_bound (struct bound_minimal_symbol minsym) | |
| { | |
| short section; | |
| struct obj_section *obj_section; | |
| CORE_ADDR result; | |
| struct minimal_symbol *iter, *msymbol; | |
| gdb_assert (minsym.minsym != NULL); | |
| /* If the minimal symbol has a size, use it. Otherwise use the | |
| lesser of the next minimal symbol in the same section, or the end | |
| of the section, as the end of the function. */ | |
| if (minsym.minsym->size () != 0) | |
| return minsym.value_address () + minsym.minsym->size (); | |
| /* Step over other symbols at this same address, and symbols in | |
| other sections, to find the next symbol in this section with a | |
| different address. */ | |
| struct minimal_symbol *past_the_end | |
| = (minsym.objfile->per_bfd->msymbols.get () | |
| + minsym.objfile->per_bfd->minimal_symbol_count); | |
| msymbol = minsym.minsym; | |
| section = msymbol->section_index (); | |
| for (iter = msymbol + 1; iter != past_the_end; ++iter) | |
| { | |
| if ((iter->unrelocated_address () | |
| != msymbol->unrelocated_address ()) | |
| && iter->section_index () == section) | |
| break; | |
| } | |
| obj_section = minsym.obj_section (); | |
| if (iter != past_the_end | |
| && (iter->value_address (minsym.objfile) | |
| < obj_section->endaddr ())) | |
| result = iter->value_address (minsym.objfile); | |
| else | |
| /* We got the start address from the last msymbol in the objfile. | |
| So the end address is the end of the section. */ | |
| result = obj_section->endaddr (); | |
| return result; | |
| } | |
| /* See minsyms.h. */ | |
| type * | |
| find_minsym_type_and_address (minimal_symbol *msymbol, | |
| struct objfile *objfile, | |
| CORE_ADDR *address_p) | |
| { | |
| bound_minimal_symbol bound_msym = {msymbol, objfile}; | |
| struct obj_section *section = msymbol->obj_section (objfile); | |
| enum minimal_symbol_type type = msymbol->type (); | |
| bool is_tls = (section != NULL | |
| && section->the_bfd_section->flags & SEC_THREAD_LOCAL); | |
| /* The minimal symbol might point to a function descriptor; | |
| resolve it to the actual code address instead. */ | |
| CORE_ADDR addr; | |
| if (is_tls) | |
| { | |
| /* Addresses of TLS symbols are really offsets into a | |
| per-objfile/per-thread storage block. */ | |
| addr = CORE_ADDR (bound_msym.minsym->unrelocated_address ()); | |
| } | |
| else if (msymbol_is_function (objfile, msymbol, &addr)) | |
| { | |
| if (addr != bound_msym.value_address ()) | |
| { | |
| /* This means we resolved a function descriptor, and we now | |
| have an address for a code/text symbol instead of a data | |
| symbol. */ | |
| if (msymbol->type () == mst_data_gnu_ifunc) | |
| type = mst_text_gnu_ifunc; | |
| else | |
| type = mst_text; | |
| section = NULL; | |
| } | |
| } | |
| else | |
| addr = bound_msym.value_address (); | |
| if (overlay_debugging) | |
| addr = symbol_overlayed_address (addr, section); | |
| if (is_tls) | |
| { | |
| /* Skip translation if caller does not need the address. */ | |
| if (address_p != NULL) | |
| *address_p = target_translate_tls_address (objfile, addr); | |
| return builtin_type (objfile)->nodebug_tls_symbol; | |
| } | |
| if (address_p != NULL) | |
| *address_p = addr; | |
| switch (type) | |
| { | |
| case mst_text: | |
| case mst_file_text: | |
| case mst_solib_trampoline: | |
| return builtin_type (objfile)->nodebug_text_symbol; | |
| case mst_text_gnu_ifunc: | |
| return builtin_type (objfile)->nodebug_text_gnu_ifunc_symbol; | |
| case mst_data: | |
| case mst_file_data: | |
| case mst_bss: | |
| case mst_file_bss: | |
| return builtin_type (objfile)->nodebug_data_symbol; | |
| case mst_slot_got_plt: | |
| return builtin_type (objfile)->nodebug_got_plt_symbol; | |
| default: | |
| return builtin_type (objfile)->nodebug_unknown_symbol; | |
| } | |
| } |