gdb: add target_ops::supports_displaced_step
[deliverable/binutils-gdb.git] / gdb / minsyms.c
1 /* GDB routines for manipulating the minimal symbol tables.
2 Copyright (C) 1992-2020 Free Software Foundation, Inc.
3 Contributed by Cygnus Support, using pieces from other GDB modules.
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
19
20
21 /* This file contains support routines for creating, manipulating, and
22 destroying minimal symbol tables.
23
24 Minimal symbol tables are used to hold some very basic information about
25 all defined global symbols (text, data, bss, abs, etc). The only two
26 required pieces of information are the symbol's name and the address
27 associated with that symbol.
28
29 In many cases, even if a file was compiled with no special options for
30 debugging at all, as long as was not stripped it will contain sufficient
31 information to build useful minimal symbol tables using this structure.
32
33 Even when a file contains enough debugging information to build a full
34 symbol table, these minimal symbols are still useful for quickly mapping
35 between names and addresses, and vice versa. They are also sometimes used
36 to figure out what full symbol table entries need to be read in. */
37
38
39 #include "defs.h"
40 #include <ctype.h>
41 #include "symtab.h"
42 #include "bfd.h"
43 #include "filenames.h"
44 #include "symfile.h"
45 #include "objfiles.h"
46 #include "demangle.h"
47 #include "value.h"
48 #include "cp-abi.h"
49 #include "target.h"
50 #include "cp-support.h"
51 #include "language.h"
52 #include "cli/cli-utils.h"
53 #include "gdbsupport/symbol.h"
54 #include <algorithm>
55 #include "safe-ctype.h"
56 #include "gdbsupport/parallel-for.h"
57
58 #if CXX_STD_THREAD
59 #include <mutex>
60 #endif
61
62 /* See minsyms.h. */
63
64 bool
65 msymbol_is_function (struct objfile *objfile, minimal_symbol *minsym,
66 CORE_ADDR *func_address_p)
67 {
68 CORE_ADDR msym_addr = MSYMBOL_VALUE_ADDRESS (objfile, minsym);
69
70 switch (minsym->type)
71 {
72 case mst_slot_got_plt:
73 case mst_data:
74 case mst_bss:
75 case mst_abs:
76 case mst_file_data:
77 case mst_file_bss:
78 case mst_data_gnu_ifunc:
79 {
80 struct gdbarch *gdbarch = objfile->arch ();
81 CORE_ADDR pc
82 = gdbarch_convert_from_func_ptr_addr (gdbarch, msym_addr,
83 current_top_target ());
84 if (pc != msym_addr)
85 {
86 if (func_address_p != NULL)
87 *func_address_p = pc;
88 return true;
89 }
90 return false;
91 }
92 default:
93 if (func_address_p != NULL)
94 *func_address_p = msym_addr;
95 return true;
96 }
97 }
98
99 /* Accumulate the minimal symbols for each objfile in bunches of BUNCH_SIZE.
100 At the end, copy them all into one newly allocated array. */
101
102 #define BUNCH_SIZE 127
103
104 struct msym_bunch
105 {
106 struct msym_bunch *next;
107 struct minimal_symbol contents[BUNCH_SIZE];
108 };
109
110 /* See minsyms.h. */
111
112 unsigned int
113 msymbol_hash_iw (const char *string)
114 {
115 unsigned int hash = 0;
116
117 while (*string && *string != '(')
118 {
119 string = skip_spaces (string);
120 if (*string && *string != '(')
121 {
122 hash = SYMBOL_HASH_NEXT (hash, *string);
123 ++string;
124 }
125 }
126 return hash;
127 }
128
129 /* See minsyms.h. */
130
131 unsigned int
132 msymbol_hash (const char *string)
133 {
134 unsigned int hash = 0;
135
136 for (; *string; ++string)
137 hash = SYMBOL_HASH_NEXT (hash, *string);
138 return hash;
139 }
140
141 /* Add the minimal symbol SYM to an objfile's minsym hash table, TABLE. */
142 static void
143 add_minsym_to_hash_table (struct minimal_symbol *sym,
144 struct minimal_symbol **table,
145 unsigned int hash_value)
146 {
147 if (sym->hash_next == NULL)
148 {
149 unsigned int hash = hash_value % MINIMAL_SYMBOL_HASH_SIZE;
150
151 sym->hash_next = table[hash];
152 table[hash] = sym;
153 }
154 }
155
156 /* Add the minimal symbol SYM to an objfile's minsym demangled hash table,
157 TABLE. */
158 static void
159 add_minsym_to_demangled_hash_table (struct minimal_symbol *sym,
160 struct objfile *objfile,
161 unsigned int hash_value)
162 {
163 if (sym->demangled_hash_next == NULL)
164 {
165 objfile->per_bfd->demangled_hash_languages.set (sym->language ());
166
167 struct minimal_symbol **table
168 = objfile->per_bfd->msymbol_demangled_hash;
169 unsigned int hash_index = hash_value % MINIMAL_SYMBOL_HASH_SIZE;
170 sym->demangled_hash_next = table[hash_index];
171 table[hash_index] = sym;
172 }
173 }
174
175 /* Worker object for lookup_minimal_symbol. Stores temporary results
176 while walking the symbol tables. */
177
178 struct found_minimal_symbols
179 {
180 /* External symbols are best. */
181 bound_minimal_symbol external_symbol {};
182
183 /* File-local symbols are next best. */
184 bound_minimal_symbol file_symbol {};
185
186 /* Symbols for shared library trampolines are next best. */
187 bound_minimal_symbol trampoline_symbol {};
188
189 /* Called when a symbol name matches. Check if the minsym is a
190 better type than what we had already found, and record it in one
191 of the members fields if so. Returns true if we collected the
192 real symbol, in which case we can stop searching. */
193 bool maybe_collect (const char *sfile, objfile *objf,
194 minimal_symbol *msymbol);
195 };
196
197 /* See declaration above. */
198
199 bool
200 found_minimal_symbols::maybe_collect (const char *sfile,
201 struct objfile *objfile,
202 minimal_symbol *msymbol)
203 {
204 switch (MSYMBOL_TYPE (msymbol))
205 {
206 case mst_file_text:
207 case mst_file_data:
208 case mst_file_bss:
209 if (sfile == NULL
210 || filename_cmp (msymbol->filename, sfile) == 0)
211 {
212 file_symbol.minsym = msymbol;
213 file_symbol.objfile = objfile;
214 }
215 break;
216
217 case mst_solib_trampoline:
218
219 /* If a trampoline symbol is found, we prefer to keep
220 looking for the *real* symbol. If the actual symbol
221 is not found, then we'll use the trampoline
222 entry. */
223 if (trampoline_symbol.minsym == NULL)
224 {
225 trampoline_symbol.minsym = msymbol;
226 trampoline_symbol.objfile = objfile;
227 }
228 break;
229
230 case mst_unknown:
231 default:
232 external_symbol.minsym = msymbol;
233 external_symbol.objfile = objfile;
234 /* We have the real symbol. No use looking further. */
235 return true;
236 }
237
238 /* Keep looking. */
239 return false;
240 }
241
242 /* Walk the mangled name hash table, and pass each symbol whose name
243 matches LOOKUP_NAME according to NAMECMP to FOUND. */
244
245 static void
246 lookup_minimal_symbol_mangled (const char *lookup_name,
247 const char *sfile,
248 struct objfile *objfile,
249 struct minimal_symbol **table,
250 unsigned int hash,
251 int (*namecmp) (const char *, const char *),
252 found_minimal_symbols &found)
253 {
254 for (minimal_symbol *msymbol = table[hash];
255 msymbol != NULL;
256 msymbol = msymbol->hash_next)
257 {
258 const char *symbol_name = msymbol->linkage_name ();
259
260 if (namecmp (symbol_name, lookup_name) == 0
261 && found.maybe_collect (sfile, objfile, msymbol))
262 return;
263 }
264 }
265
266 /* Walk the demangled name hash table, and pass each symbol whose name
267 matches LOOKUP_NAME according to MATCHER to FOUND. */
268
269 static void
270 lookup_minimal_symbol_demangled (const lookup_name_info &lookup_name,
271 const char *sfile,
272 struct objfile *objfile,
273 struct minimal_symbol **table,
274 unsigned int hash,
275 symbol_name_matcher_ftype *matcher,
276 found_minimal_symbols &found)
277 {
278 for (minimal_symbol *msymbol = table[hash];
279 msymbol != NULL;
280 msymbol = msymbol->demangled_hash_next)
281 {
282 const char *symbol_name = msymbol->search_name ();
283
284 if (matcher (symbol_name, lookup_name, NULL)
285 && found.maybe_collect (sfile, objfile, msymbol))
286 return;
287 }
288 }
289
290 /* Look through all the current minimal symbol tables and find the
291 first minimal symbol that matches NAME. If OBJF is non-NULL, limit
292 the search to that objfile. If SFILE is non-NULL, the only file-scope
293 symbols considered will be from that source file (global symbols are
294 still preferred). Returns a pointer to the minimal symbol that
295 matches, or NULL if no match is found.
296
297 Note: One instance where there may be duplicate minimal symbols with
298 the same name is when the symbol tables for a shared library and the
299 symbol tables for an executable contain global symbols with the same
300 names (the dynamic linker deals with the duplication).
301
302 It's also possible to have minimal symbols with different mangled
303 names, but identical demangled names. For example, the GNU C++ v3
304 ABI requires the generation of two (or perhaps three) copies of
305 constructor functions --- "in-charge", "not-in-charge", and
306 "allocate" copies; destructors may be duplicated as well.
307 Obviously, there must be distinct mangled names for each of these,
308 but the demangled names are all the same: S::S or S::~S. */
309
310 struct bound_minimal_symbol
311 lookup_minimal_symbol (const char *name, const char *sfile,
312 struct objfile *objf)
313 {
314 found_minimal_symbols found;
315
316 unsigned int mangled_hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
317
318 auto *mangled_cmp
319 = (case_sensitivity == case_sensitive_on
320 ? strcmp
321 : strcasecmp);
322
323 if (sfile != NULL)
324 sfile = lbasename (sfile);
325
326 lookup_name_info lookup_name (name, symbol_name_match_type::FULL);
327
328 for (objfile *objfile : current_program_space->objfiles ())
329 {
330 if (found.external_symbol.minsym != NULL)
331 break;
332
333 if (objf == NULL || objf == objfile
334 || objf == objfile->separate_debug_objfile_backlink)
335 {
336 if (symbol_lookup_debug)
337 {
338 fprintf_unfiltered (gdb_stdlog,
339 "lookup_minimal_symbol (%s, %s, %s)\n",
340 name, sfile != NULL ? sfile : "NULL",
341 objfile_debug_name (objfile));
342 }
343
344 /* Do two passes: the first over the ordinary hash table,
345 and the second over the demangled hash table. */
346 lookup_minimal_symbol_mangled (name, sfile, objfile,
347 objfile->per_bfd->msymbol_hash,
348 mangled_hash, mangled_cmp, found);
349
350 /* If not found, try the demangled hash table. */
351 if (found.external_symbol.minsym == NULL)
352 {
353 /* Once for each language in the demangled hash names
354 table (usually just zero or one languages). */
355 for (unsigned iter = 0; iter < nr_languages; ++iter)
356 {
357 if (!objfile->per_bfd->demangled_hash_languages.test (iter))
358 continue;
359 enum language lang = (enum language) iter;
360
361 unsigned int hash
362 = (lookup_name.search_name_hash (lang)
363 % MINIMAL_SYMBOL_HASH_SIZE);
364
365 symbol_name_matcher_ftype *match
366 = get_symbol_name_matcher (language_def (lang),
367 lookup_name);
368 struct minimal_symbol **msymbol_demangled_hash
369 = objfile->per_bfd->msymbol_demangled_hash;
370
371 lookup_minimal_symbol_demangled (lookup_name, sfile, objfile,
372 msymbol_demangled_hash,
373 hash, match, found);
374
375 if (found.external_symbol.minsym != NULL)
376 break;
377 }
378 }
379 }
380 }
381
382 /* External symbols are best. */
383 if (found.external_symbol.minsym != NULL)
384 {
385 if (symbol_lookup_debug)
386 {
387 minimal_symbol *minsym = found.external_symbol.minsym;
388
389 fprintf_unfiltered (gdb_stdlog,
390 "lookup_minimal_symbol (...) = %s (external)\n",
391 host_address_to_string (minsym));
392 }
393 return found.external_symbol;
394 }
395
396 /* File-local symbols are next best. */
397 if (found.file_symbol.minsym != NULL)
398 {
399 if (symbol_lookup_debug)
400 {
401 minimal_symbol *minsym = found.file_symbol.minsym;
402
403 fprintf_unfiltered (gdb_stdlog,
404 "lookup_minimal_symbol (...) = %s (file-local)\n",
405 host_address_to_string (minsym));
406 }
407 return found.file_symbol;
408 }
409
410 /* Symbols for shared library trampolines are next best. */
411 if (found.trampoline_symbol.minsym != NULL)
412 {
413 if (symbol_lookup_debug)
414 {
415 minimal_symbol *minsym = found.trampoline_symbol.minsym;
416
417 fprintf_unfiltered (gdb_stdlog,
418 "lookup_minimal_symbol (...) = %s (trampoline)\n",
419 host_address_to_string (minsym));
420 }
421
422 return found.trampoline_symbol;
423 }
424
425 /* Not found. */
426 if (symbol_lookup_debug)
427 fprintf_unfiltered (gdb_stdlog, "lookup_minimal_symbol (...) = NULL\n");
428 return {};
429 }
430
431 /* See minsyms.h. */
432
433 struct bound_minimal_symbol
434 lookup_bound_minimal_symbol (const char *name)
435 {
436 return lookup_minimal_symbol (name, NULL, NULL);
437 }
438
439 /* See gdbsupport/symbol.h. */
440
441 int
442 find_minimal_symbol_address (const char *name, CORE_ADDR *addr,
443 struct objfile *objfile)
444 {
445 struct bound_minimal_symbol sym
446 = lookup_minimal_symbol (name, NULL, objfile);
447
448 if (sym.minsym != NULL)
449 *addr = BMSYMBOL_VALUE_ADDRESS (sym);
450
451 return sym.minsym == NULL;
452 }
453
454 /* Get the lookup name form best suitable for linkage name
455 matching. */
456
457 static const char *
458 linkage_name_str (const lookup_name_info &lookup_name)
459 {
460 /* Unlike most languages (including C++), Ada uses the
461 encoded/linkage name as the search name recorded in symbols. So
462 if debugging in Ada mode, prefer the Ada-encoded name. This also
463 makes Ada's verbatim match syntax ("<...>") work, because
464 "lookup_name.name()" includes the "<>"s, while
465 "lookup_name.ada().lookup_name()" is the encoded name with "<>"s
466 stripped. */
467 if (current_language->la_language == language_ada)
468 return lookup_name.ada ().lookup_name ().c_str ();
469
470 return lookup_name.c_str ();
471 }
472
473 /* See minsyms.h. */
474
475 void
476 iterate_over_minimal_symbols
477 (struct objfile *objf, const lookup_name_info &lookup_name,
478 gdb::function_view<bool (struct minimal_symbol *)> callback)
479 {
480 /* The first pass is over the ordinary hash table. */
481 {
482 const char *name = linkage_name_str (lookup_name);
483 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
484 auto *mangled_cmp
485 = (case_sensitivity == case_sensitive_on
486 ? strcmp
487 : strcasecmp);
488
489 for (minimal_symbol *iter = objf->per_bfd->msymbol_hash[hash];
490 iter != NULL;
491 iter = iter->hash_next)
492 {
493 if (mangled_cmp (iter->linkage_name (), name) == 0)
494 if (callback (iter))
495 return;
496 }
497 }
498
499 /* The second pass is over the demangled table. Once for each
500 language in the demangled hash names table (usually just zero or
501 one). */
502 for (unsigned liter = 0; liter < nr_languages; ++liter)
503 {
504 if (!objf->per_bfd->demangled_hash_languages.test (liter))
505 continue;
506
507 enum language lang = (enum language) liter;
508 const language_defn *lang_def = language_def (lang);
509 symbol_name_matcher_ftype *name_match
510 = get_symbol_name_matcher (lang_def, lookup_name);
511
512 unsigned int hash
513 = lookup_name.search_name_hash (lang) % MINIMAL_SYMBOL_HASH_SIZE;
514 for (minimal_symbol *iter = objf->per_bfd->msymbol_demangled_hash[hash];
515 iter != NULL;
516 iter = iter->demangled_hash_next)
517 if (name_match (iter->search_name (), lookup_name, NULL))
518 if (callback (iter))
519 return;
520 }
521 }
522
523 /* See minsyms.h. */
524
525 bound_minimal_symbol
526 lookup_minimal_symbol_linkage (const char *name, struct objfile *objf)
527 {
528 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
529
530 for (objfile *objfile : objf->separate_debug_objfiles ())
531 {
532 for (minimal_symbol *msymbol = objfile->per_bfd->msymbol_hash[hash];
533 msymbol != NULL;
534 msymbol = msymbol->hash_next)
535 {
536 if (strcmp (msymbol->linkage_name (), name) == 0
537 && (MSYMBOL_TYPE (msymbol) == mst_data
538 || MSYMBOL_TYPE (msymbol) == mst_bss))
539 return {msymbol, objfile};
540 }
541 }
542
543 return {};
544 }
545
546 /* See minsyms.h. */
547
548 struct bound_minimal_symbol
549 lookup_minimal_symbol_text (const char *name, struct objfile *objf)
550 {
551 struct minimal_symbol *msymbol;
552 struct bound_minimal_symbol found_symbol = { NULL, NULL };
553 struct bound_minimal_symbol found_file_symbol = { NULL, NULL };
554
555 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
556
557 for (objfile *objfile : current_program_space->objfiles ())
558 {
559 if (found_symbol.minsym != NULL)
560 break;
561
562 if (objf == NULL || objf == objfile
563 || objf == objfile->separate_debug_objfile_backlink)
564 {
565 for (msymbol = objfile->per_bfd->msymbol_hash[hash];
566 msymbol != NULL && found_symbol.minsym == NULL;
567 msymbol = msymbol->hash_next)
568 {
569 if (strcmp (msymbol->linkage_name (), name) == 0 &&
570 (MSYMBOL_TYPE (msymbol) == mst_text
571 || MSYMBOL_TYPE (msymbol) == mst_text_gnu_ifunc
572 || MSYMBOL_TYPE (msymbol) == mst_file_text))
573 {
574 switch (MSYMBOL_TYPE (msymbol))
575 {
576 case mst_file_text:
577 found_file_symbol.minsym = msymbol;
578 found_file_symbol.objfile = objfile;
579 break;
580 default:
581 found_symbol.minsym = msymbol;
582 found_symbol.objfile = objfile;
583 break;
584 }
585 }
586 }
587 }
588 }
589 /* External symbols are best. */
590 if (found_symbol.minsym)
591 return found_symbol;
592
593 /* File-local symbols are next best. */
594 return found_file_symbol;
595 }
596
597 /* See minsyms.h. */
598
599 struct minimal_symbol *
600 lookup_minimal_symbol_by_pc_name (CORE_ADDR pc, const char *name,
601 struct objfile *objf)
602 {
603 struct minimal_symbol *msymbol;
604
605 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
606
607 for (objfile *objfile : current_program_space->objfiles ())
608 {
609 if (objf == NULL || objf == objfile
610 || objf == objfile->separate_debug_objfile_backlink)
611 {
612 for (msymbol = objfile->per_bfd->msymbol_hash[hash];
613 msymbol != NULL;
614 msymbol = msymbol->hash_next)
615 {
616 if (MSYMBOL_VALUE_ADDRESS (objfile, msymbol) == pc
617 && strcmp (msymbol->linkage_name (), name) == 0)
618 return msymbol;
619 }
620 }
621 }
622
623 return NULL;
624 }
625
626 /* A helper function that makes *PC section-relative. This searches
627 the sections of OBJFILE and if *PC is in a section, it subtracts
628 the section offset and returns true. Otherwise it returns
629 false. */
630
631 static int
632 frob_address (struct objfile *objfile, CORE_ADDR *pc)
633 {
634 struct obj_section *iter;
635
636 ALL_OBJFILE_OSECTIONS (objfile, iter)
637 {
638 if (*pc >= obj_section_addr (iter) && *pc < obj_section_endaddr (iter))
639 {
640 *pc -= obj_section_offset (iter);
641 return 1;
642 }
643 }
644
645 return 0;
646 }
647
648 /* Helper for lookup_minimal_symbol_by_pc_section. Convert a
649 lookup_msym_prefer to a minimal_symbol_type. */
650
651 static minimal_symbol_type
652 msym_prefer_to_msym_type (lookup_msym_prefer prefer)
653 {
654 switch (prefer)
655 {
656 case lookup_msym_prefer::TEXT:
657 return mst_text;
658 case lookup_msym_prefer::TRAMPOLINE:
659 return mst_solib_trampoline;
660 case lookup_msym_prefer::GNU_IFUNC:
661 return mst_text_gnu_ifunc;
662 }
663
664 /* Assert here instead of in a default switch case above so that
665 -Wswitch warns if a new enumerator is added. */
666 gdb_assert_not_reached ("unhandled lookup_msym_prefer");
667 }
668
669 /* See minsyms.h.
670
671 Note that we need to look through ALL the minimal symbol tables
672 before deciding on the symbol that comes closest to the specified PC.
673 This is because objfiles can overlap, for example objfile A has .text
674 at 0x100 and .data at 0x40000 and objfile B has .text at 0x234 and
675 .data at 0x40048. */
676
677 bound_minimal_symbol
678 lookup_minimal_symbol_by_pc_section (CORE_ADDR pc_in, struct obj_section *section,
679 lookup_msym_prefer prefer,
680 bound_minimal_symbol *previous)
681 {
682 int lo;
683 int hi;
684 int newobj;
685 struct minimal_symbol *msymbol;
686 struct minimal_symbol *best_symbol = NULL;
687 struct objfile *best_objfile = NULL;
688 struct bound_minimal_symbol result;
689
690 if (previous != nullptr)
691 {
692 previous->minsym = nullptr;
693 previous->objfile = nullptr;
694 }
695
696 if (section == NULL)
697 {
698 section = find_pc_section (pc_in);
699 if (section == NULL)
700 return {};
701 }
702
703 minimal_symbol_type want_type = msym_prefer_to_msym_type (prefer);
704
705 /* We can not require the symbol found to be in section, because
706 e.g. IRIX 6.5 mdebug relies on this code returning an absolute
707 symbol - but find_pc_section won't return an absolute section and
708 hence the code below would skip over absolute symbols. We can
709 still take advantage of the call to find_pc_section, though - the
710 object file still must match. In case we have separate debug
711 files, search both the file and its separate debug file. There's
712 no telling which one will have the minimal symbols. */
713
714 gdb_assert (section != NULL);
715
716 for (objfile *objfile : section->objfile->separate_debug_objfiles ())
717 {
718 CORE_ADDR pc = pc_in;
719
720 /* If this objfile has a minimal symbol table, go search it
721 using a binary search. */
722
723 if (objfile->per_bfd->minimal_symbol_count > 0)
724 {
725 int best_zero_sized = -1;
726
727 msymbol = objfile->per_bfd->msymbols.get ();
728 lo = 0;
729 hi = objfile->per_bfd->minimal_symbol_count - 1;
730
731 /* This code assumes that the minimal symbols are sorted by
732 ascending address values. If the pc value is greater than or
733 equal to the first symbol's address, then some symbol in this
734 minimal symbol table is a suitable candidate for being the
735 "best" symbol. This includes the last real symbol, for cases
736 where the pc value is larger than any address in this vector.
737
738 By iterating until the address associated with the current
739 hi index (the endpoint of the test interval) is less than
740 or equal to the desired pc value, we accomplish two things:
741 (1) the case where the pc value is larger than any minimal
742 symbol address is trivially solved, (2) the address associated
743 with the hi index is always the one we want when the iteration
744 terminates. In essence, we are iterating the test interval
745 down until the pc value is pushed out of it from the high end.
746
747 Warning: this code is trickier than it would appear at first. */
748
749 if (frob_address (objfile, &pc)
750 && pc >= MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[lo]))
751 {
752 while (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi]) > pc)
753 {
754 /* pc is still strictly less than highest address. */
755 /* Note "new" will always be >= lo. */
756 newobj = (lo + hi) / 2;
757 if ((MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[newobj]) >= pc)
758 || (lo == newobj))
759 {
760 hi = newobj;
761 }
762 else
763 {
764 lo = newobj;
765 }
766 }
767
768 /* If we have multiple symbols at the same address, we want
769 hi to point to the last one. That way we can find the
770 right symbol if it has an index greater than hi. */
771 while (hi < objfile->per_bfd->minimal_symbol_count - 1
772 && (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
773 == MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi + 1])))
774 hi++;
775
776 /* Skip various undesirable symbols. */
777 while (hi >= 0)
778 {
779 /* Skip any absolute symbols. This is apparently
780 what adb and dbx do, and is needed for the CM-5.
781 There are two known possible problems: (1) on
782 ELF, apparently end, edata, etc. are absolute.
783 Not sure ignoring them here is a big deal, but if
784 we want to use them, the fix would go in
785 elfread.c. (2) I think shared library entry
786 points on the NeXT are absolute. If we want
787 special handling for this it probably should be
788 triggered by a special mst_abs_or_lib or some
789 such. */
790
791 if (MSYMBOL_TYPE (&msymbol[hi]) == mst_abs)
792 {
793 hi--;
794 continue;
795 }
796
797 /* If SECTION was specified, skip any symbol from
798 wrong section. */
799 if (section
800 /* Some types of debug info, such as COFF,
801 don't fill the bfd_section member, so don't
802 throw away symbols on those platforms. */
803 && MSYMBOL_OBJ_SECTION (objfile, &msymbol[hi]) != NULL
804 && (!matching_obj_sections
805 (MSYMBOL_OBJ_SECTION (objfile, &msymbol[hi]),
806 section)))
807 {
808 hi--;
809 continue;
810 }
811
812 /* If we are looking for a trampoline and this is a
813 text symbol, or the other way around, check the
814 preceding symbol too. If they are otherwise
815 identical prefer that one. */
816 if (hi > 0
817 && MSYMBOL_TYPE (&msymbol[hi]) != want_type
818 && MSYMBOL_TYPE (&msymbol[hi - 1]) == want_type
819 && (MSYMBOL_SIZE (&msymbol[hi])
820 == MSYMBOL_SIZE (&msymbol[hi - 1]))
821 && (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
822 == MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi - 1]))
823 && (MSYMBOL_OBJ_SECTION (objfile, &msymbol[hi])
824 == MSYMBOL_OBJ_SECTION (objfile, &msymbol[hi - 1])))
825 {
826 hi--;
827 continue;
828 }
829
830 /* If the minimal symbol has a zero size, save it
831 but keep scanning backwards looking for one with
832 a non-zero size. A zero size may mean that the
833 symbol isn't an object or function (e.g. a
834 label), or it may just mean that the size was not
835 specified. */
836 if (MSYMBOL_SIZE (&msymbol[hi]) == 0)
837 {
838 if (best_zero_sized == -1)
839 best_zero_sized = hi;
840 hi--;
841 continue;
842 }
843
844 /* If we are past the end of the current symbol, try
845 the previous symbol if it has a larger overlapping
846 size. This happens on i686-pc-linux-gnu with glibc;
847 the nocancel variants of system calls are inside
848 the cancellable variants, but both have sizes. */
849 if (hi > 0
850 && MSYMBOL_SIZE (&msymbol[hi]) != 0
851 && pc >= (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
852 + MSYMBOL_SIZE (&msymbol[hi]))
853 && pc < (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi - 1])
854 + MSYMBOL_SIZE (&msymbol[hi - 1])))
855 {
856 hi--;
857 continue;
858 }
859
860 /* Otherwise, this symbol must be as good as we're going
861 to get. */
862 break;
863 }
864
865 /* If HI has a zero size, and best_zero_sized is set,
866 then we had two or more zero-sized symbols; prefer
867 the first one we found (which may have a higher
868 address). Also, if we ran off the end, be sure
869 to back up. */
870 if (best_zero_sized != -1
871 && (hi < 0 || MSYMBOL_SIZE (&msymbol[hi]) == 0))
872 hi = best_zero_sized;
873
874 /* If the minimal symbol has a non-zero size, and this
875 PC appears to be outside the symbol's contents, then
876 refuse to use this symbol. If we found a zero-sized
877 symbol with an address greater than this symbol's,
878 use that instead. We assume that if symbols have
879 specified sizes, they do not overlap. */
880
881 if (hi >= 0
882 && MSYMBOL_SIZE (&msymbol[hi]) != 0
883 && pc >= (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
884 + MSYMBOL_SIZE (&msymbol[hi])))
885 {
886 if (best_zero_sized != -1)
887 hi = best_zero_sized;
888 else
889 {
890 /* If needed record this symbol as the closest
891 previous symbol. */
892 if (previous != nullptr)
893 {
894 if (previous->minsym == nullptr
895 || (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
896 > MSYMBOL_VALUE_RAW_ADDRESS
897 (previous->minsym)))
898 {
899 previous->minsym = &msymbol[hi];
900 previous->objfile = objfile;
901 }
902 }
903 /* Go on to the next object file. */
904 continue;
905 }
906 }
907
908 /* The minimal symbol indexed by hi now is the best one in this
909 objfile's minimal symbol table. See if it is the best one
910 overall. */
911
912 if (hi >= 0
913 && ((best_symbol == NULL) ||
914 (MSYMBOL_VALUE_RAW_ADDRESS (best_symbol) <
915 MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi]))))
916 {
917 best_symbol = &msymbol[hi];
918 best_objfile = objfile;
919 }
920 }
921 }
922 }
923
924 result.minsym = best_symbol;
925 result.objfile = best_objfile;
926 return result;
927 }
928
929 /* See minsyms.h. */
930
931 struct bound_minimal_symbol
932 lookup_minimal_symbol_by_pc (CORE_ADDR pc)
933 {
934 return lookup_minimal_symbol_by_pc_section (pc, NULL);
935 }
936
937 /* Return non-zero iff PC is in an STT_GNU_IFUNC function resolver. */
938
939 bool
940 in_gnu_ifunc_stub (CORE_ADDR pc)
941 {
942 bound_minimal_symbol msymbol
943 = lookup_minimal_symbol_by_pc_section (pc, NULL,
944 lookup_msym_prefer::GNU_IFUNC);
945 return msymbol.minsym && MSYMBOL_TYPE (msymbol.minsym) == mst_text_gnu_ifunc;
946 }
947
948 /* See elf_gnu_ifunc_resolve_addr for its real implementation. */
949
950 static CORE_ADDR
951 stub_gnu_ifunc_resolve_addr (struct gdbarch *gdbarch, CORE_ADDR pc)
952 {
953 error (_("GDB cannot resolve STT_GNU_IFUNC symbol at address %s without "
954 "the ELF support compiled in."),
955 paddress (gdbarch, pc));
956 }
957
958 /* See elf_gnu_ifunc_resolve_name for its real implementation. */
959
960 static bool
961 stub_gnu_ifunc_resolve_name (const char *function_name,
962 CORE_ADDR *function_address_p)
963 {
964 error (_("GDB cannot resolve STT_GNU_IFUNC symbol \"%s\" without "
965 "the ELF support compiled in."),
966 function_name);
967 }
968
969 /* See elf_gnu_ifunc_resolver_stop for its real implementation. */
970
971 static void
972 stub_gnu_ifunc_resolver_stop (struct breakpoint *b)
973 {
974 internal_error (__FILE__, __LINE__,
975 _("elf_gnu_ifunc_resolver_stop cannot be reached."));
976 }
977
978 /* See elf_gnu_ifunc_resolver_return_stop for its real implementation. */
979
980 static void
981 stub_gnu_ifunc_resolver_return_stop (struct breakpoint *b)
982 {
983 internal_error (__FILE__, __LINE__,
984 _("elf_gnu_ifunc_resolver_return_stop cannot be reached."));
985 }
986
987 /* See elf_gnu_ifunc_fns for its real implementation. */
988
989 static const struct gnu_ifunc_fns stub_gnu_ifunc_fns =
990 {
991 stub_gnu_ifunc_resolve_addr,
992 stub_gnu_ifunc_resolve_name,
993 stub_gnu_ifunc_resolver_stop,
994 stub_gnu_ifunc_resolver_return_stop,
995 };
996
997 /* A placeholder for &elf_gnu_ifunc_fns. */
998
999 const struct gnu_ifunc_fns *gnu_ifunc_fns_p = &stub_gnu_ifunc_fns;
1000
1001 \f
1002
1003 /* Return leading symbol character for a BFD. If BFD is NULL,
1004 return the leading symbol character from the main objfile. */
1005
1006 static int
1007 get_symbol_leading_char (bfd *abfd)
1008 {
1009 if (abfd != NULL)
1010 return bfd_get_symbol_leading_char (abfd);
1011 if (symfile_objfile != NULL && symfile_objfile->obfd != NULL)
1012 return bfd_get_symbol_leading_char (symfile_objfile->obfd);
1013 return 0;
1014 }
1015
1016 /* See minsyms.h. */
1017
1018 minimal_symbol_reader::minimal_symbol_reader (struct objfile *obj)
1019 : m_objfile (obj),
1020 m_msym_bunch (NULL),
1021 /* Note that presetting m_msym_bunch_index to BUNCH_SIZE causes the
1022 first call to save a minimal symbol to allocate the memory for
1023 the first bunch. */
1024 m_msym_bunch_index (BUNCH_SIZE),
1025 m_msym_count (0)
1026 {
1027 }
1028
1029 /* Discard the currently collected minimal symbols, if any. If we wish
1030 to save them for later use, we must have already copied them somewhere
1031 else before calling this function. */
1032
1033 minimal_symbol_reader::~minimal_symbol_reader ()
1034 {
1035 struct msym_bunch *next;
1036
1037 while (m_msym_bunch != NULL)
1038 {
1039 next = m_msym_bunch->next;
1040 xfree (m_msym_bunch);
1041 m_msym_bunch = next;
1042 }
1043 }
1044
1045 /* See minsyms.h. */
1046
1047 void
1048 minimal_symbol_reader::record (const char *name, CORE_ADDR address,
1049 enum minimal_symbol_type ms_type)
1050 {
1051 int section;
1052
1053 switch (ms_type)
1054 {
1055 case mst_text:
1056 case mst_text_gnu_ifunc:
1057 case mst_file_text:
1058 case mst_solib_trampoline:
1059 section = SECT_OFF_TEXT (m_objfile);
1060 break;
1061 case mst_data:
1062 case mst_data_gnu_ifunc:
1063 case mst_file_data:
1064 section = SECT_OFF_DATA (m_objfile);
1065 break;
1066 case mst_bss:
1067 case mst_file_bss:
1068 section = SECT_OFF_BSS (m_objfile);
1069 break;
1070 default:
1071 section = -1;
1072 }
1073
1074 record_with_info (name, address, ms_type, section);
1075 }
1076
1077 /* Convert an enumerator of type minimal_symbol_type to its string
1078 representation. */
1079
1080 static const char *
1081 mst_str (minimal_symbol_type t)
1082 {
1083 #define MST_TO_STR(x) case x: return #x;
1084 switch (t)
1085 {
1086 MST_TO_STR (mst_unknown);
1087 MST_TO_STR (mst_text);
1088 MST_TO_STR (mst_text_gnu_ifunc);
1089 MST_TO_STR (mst_slot_got_plt);
1090 MST_TO_STR (mst_data);
1091 MST_TO_STR (mst_bss);
1092 MST_TO_STR (mst_abs);
1093 MST_TO_STR (mst_solib_trampoline);
1094 MST_TO_STR (mst_file_text);
1095 MST_TO_STR (mst_file_data);
1096 MST_TO_STR (mst_file_bss);
1097
1098 default:
1099 return "mst_???";
1100 }
1101 #undef MST_TO_STR
1102 }
1103
1104 /* See minsyms.h. */
1105
1106 struct minimal_symbol *
1107 minimal_symbol_reader::record_full (gdb::string_view name,
1108 bool copy_name, CORE_ADDR address,
1109 enum minimal_symbol_type ms_type,
1110 int section)
1111 {
1112 struct msym_bunch *newobj;
1113 struct minimal_symbol *msymbol;
1114
1115 /* Don't put gcc_compiled, __gnu_compiled_cplus, and friends into
1116 the minimal symbols, because if there is also another symbol
1117 at the same address (e.g. the first function of the file),
1118 lookup_minimal_symbol_by_pc would have no way of getting the
1119 right one. */
1120 if (ms_type == mst_file_text && name[0] == 'g'
1121 && (name == GCC_COMPILED_FLAG_SYMBOL
1122 || name == GCC2_COMPILED_FLAG_SYMBOL))
1123 return (NULL);
1124
1125 /* It's safe to strip the leading char here once, since the name
1126 is also stored stripped in the minimal symbol table. */
1127 if (name[0] == get_symbol_leading_char (m_objfile->obfd))
1128 name = name.substr (1);
1129
1130 if (ms_type == mst_file_text && startswith (name, "__gnu_compiled"))
1131 return (NULL);
1132
1133 if (symtab_create_debug >= 2)
1134 printf_unfiltered ("Recording minsym: %-21s %18s %4d %.*s\n",
1135 mst_str (ms_type), hex_string (address), section,
1136 (int) name.size (), name.data ());
1137
1138 if (m_msym_bunch_index == BUNCH_SIZE)
1139 {
1140 newobj = XCNEW (struct msym_bunch);
1141 m_msym_bunch_index = 0;
1142 newobj->next = m_msym_bunch;
1143 m_msym_bunch = newobj;
1144 }
1145 msymbol = &m_msym_bunch->contents[m_msym_bunch_index];
1146 msymbol->set_language (language_auto,
1147 &m_objfile->per_bfd->storage_obstack);
1148
1149 if (copy_name)
1150 msymbol->m_name = obstack_strndup (&m_objfile->per_bfd->storage_obstack,
1151 name.data (), name.size ());
1152 else
1153 msymbol->m_name = name.data ();
1154
1155 SET_MSYMBOL_VALUE_ADDRESS (msymbol, address);
1156 MSYMBOL_SECTION (msymbol) = section;
1157
1158 MSYMBOL_TYPE (msymbol) = ms_type;
1159
1160 /* If we already read minimal symbols for this objfile, then don't
1161 ever allocate a new one. */
1162 if (!m_objfile->per_bfd->minsyms_read)
1163 {
1164 m_msym_bunch_index++;
1165 m_objfile->per_bfd->n_minsyms++;
1166 }
1167 m_msym_count++;
1168 return msymbol;
1169 }
1170
1171 /* Compare two minimal symbols by address and return true if FN1's address
1172 is less than FN2's, so that we sort into unsigned numeric order.
1173 Within groups with the same address, sort by name. */
1174
1175 static inline bool
1176 minimal_symbol_is_less_than (const minimal_symbol &fn1,
1177 const minimal_symbol &fn2)
1178 {
1179 if (MSYMBOL_VALUE_RAW_ADDRESS (&fn1) < MSYMBOL_VALUE_RAW_ADDRESS (&fn2))
1180 {
1181 return true; /* addr 1 is less than addr 2. */
1182 }
1183 else if (MSYMBOL_VALUE_RAW_ADDRESS (&fn1) > MSYMBOL_VALUE_RAW_ADDRESS (&fn2))
1184 {
1185 return false; /* addr 1 is greater than addr 2. */
1186 }
1187 else
1188 /* addrs are equal: sort by name */
1189 {
1190 const char *name1 = fn1.linkage_name ();
1191 const char *name2 = fn2.linkage_name ();
1192
1193 if (name1 && name2) /* both have names */
1194 return strcmp (name1, name2) < 0;
1195 else if (name2)
1196 return true; /* fn1 has no name, so it is "less". */
1197 else if (name1) /* fn2 has no name, so it is "less". */
1198 return false;
1199 else
1200 return false; /* Neither has a name, so they're equal. */
1201 }
1202 }
1203
1204 /* Compact duplicate entries out of a minimal symbol table by walking
1205 through the table and compacting out entries with duplicate addresses
1206 and matching names. Return the number of entries remaining.
1207
1208 On entry, the table resides between msymbol[0] and msymbol[mcount].
1209 On exit, it resides between msymbol[0] and msymbol[result_count].
1210
1211 When files contain multiple sources of symbol information, it is
1212 possible for the minimal symbol table to contain many duplicate entries.
1213 As an example, SVR4 systems use ELF formatted object files, which
1214 usually contain at least two different types of symbol tables (a
1215 standard ELF one and a smaller dynamic linking table), as well as
1216 DWARF debugging information for files compiled with -g.
1217
1218 Without compacting, the minimal symbol table for gdb itself contains
1219 over a 1000 duplicates, about a third of the total table size. Aside
1220 from the potential trap of not noticing that two successive entries
1221 identify the same location, this duplication impacts the time required
1222 to linearly scan the table, which is done in a number of places. So we
1223 just do one linear scan here and toss out the duplicates.
1224
1225 Since the different sources of information for each symbol may
1226 have different levels of "completeness", we may have duplicates
1227 that have one entry with type "mst_unknown" and the other with a
1228 known type. So if the one we are leaving alone has type mst_unknown,
1229 overwrite its type with the type from the one we are compacting out. */
1230
1231 static int
1232 compact_minimal_symbols (struct minimal_symbol *msymbol, int mcount,
1233 struct objfile *objfile)
1234 {
1235 struct minimal_symbol *copyfrom;
1236 struct minimal_symbol *copyto;
1237
1238 if (mcount > 0)
1239 {
1240 copyfrom = copyto = msymbol;
1241 while (copyfrom < msymbol + mcount - 1)
1242 {
1243 if (MSYMBOL_VALUE_RAW_ADDRESS (copyfrom)
1244 == MSYMBOL_VALUE_RAW_ADDRESS ((copyfrom + 1))
1245 && MSYMBOL_SECTION (copyfrom) == MSYMBOL_SECTION (copyfrom + 1)
1246 && strcmp (copyfrom->linkage_name (),
1247 (copyfrom + 1)->linkage_name ()) == 0)
1248 {
1249 if (MSYMBOL_TYPE ((copyfrom + 1)) == mst_unknown)
1250 {
1251 MSYMBOL_TYPE ((copyfrom + 1)) = MSYMBOL_TYPE (copyfrom);
1252 }
1253 copyfrom++;
1254 }
1255 else
1256 *copyto++ = *copyfrom++;
1257 }
1258 *copyto++ = *copyfrom++;
1259 mcount = copyto - msymbol;
1260 }
1261 return (mcount);
1262 }
1263
1264 static void
1265 clear_minimal_symbol_hash_tables (struct objfile *objfile)
1266 {
1267 for (size_t i = 0; i < MINIMAL_SYMBOL_HASH_SIZE; i++)
1268 {
1269 objfile->per_bfd->msymbol_hash[i] = 0;
1270 objfile->per_bfd->msymbol_demangled_hash[i] = 0;
1271 }
1272 }
1273
1274 /* This struct is used to store values we compute for msymbols on the
1275 background threads but don't need to keep around long term. */
1276 struct computed_hash_values
1277 {
1278 /* Length of the linkage_name of the symbol. */
1279 size_t name_length;
1280 /* Hash code (using fast_hash) of the linkage_name. */
1281 hashval_t mangled_name_hash;
1282 /* The msymbol_hash of the linkage_name. */
1283 unsigned int minsym_hash;
1284 /* The msymbol_hash of the search_name. */
1285 unsigned int minsym_demangled_hash;
1286 };
1287
1288 /* Build (or rebuild) the minimal symbol hash tables. This is necessary
1289 after compacting or sorting the table since the entries move around
1290 thus causing the internal minimal_symbol pointers to become jumbled. */
1291
1292 static void
1293 build_minimal_symbol_hash_tables
1294 (struct objfile *objfile,
1295 const std::vector<computed_hash_values>& hash_values)
1296 {
1297 int i;
1298 struct minimal_symbol *msym;
1299
1300 /* (Re)insert the actual entries. */
1301 int mcount = objfile->per_bfd->minimal_symbol_count;
1302 for ((i = 0,
1303 msym = objfile->per_bfd->msymbols.get ());
1304 i < mcount;
1305 i++, msym++)
1306 {
1307 msym->hash_next = 0;
1308 add_minsym_to_hash_table (msym, objfile->per_bfd->msymbol_hash,
1309 hash_values[i].minsym_hash);
1310
1311 msym->demangled_hash_next = 0;
1312 if (msym->search_name () != msym->linkage_name ())
1313 add_minsym_to_demangled_hash_table
1314 (msym, objfile, hash_values[i].minsym_demangled_hash);
1315 }
1316 }
1317
1318 /* Add the minimal symbols in the existing bunches to the objfile's official
1319 minimal symbol table. In most cases there is no minimal symbol table yet
1320 for this objfile, and the existing bunches are used to create one. Once
1321 in a while (for shared libraries for example), we add symbols (e.g. common
1322 symbols) to an existing objfile. */
1323
1324 void
1325 minimal_symbol_reader::install ()
1326 {
1327 int mcount;
1328 struct msym_bunch *bunch;
1329 struct minimal_symbol *msymbols;
1330 int alloc_count;
1331
1332 if (m_objfile->per_bfd->minsyms_read)
1333 return;
1334
1335 if (m_msym_count > 0)
1336 {
1337 if (symtab_create_debug)
1338 {
1339 fprintf_unfiltered (gdb_stdlog,
1340 "Installing %d minimal symbols of objfile %s.\n",
1341 m_msym_count, objfile_name (m_objfile));
1342 }
1343
1344 /* Allocate enough space, into which we will gather the bunches
1345 of new and existing minimal symbols, sort them, and then
1346 compact out the duplicate entries. Once we have a final
1347 table, we will give back the excess space. */
1348
1349 alloc_count = m_msym_count + m_objfile->per_bfd->minimal_symbol_count;
1350 gdb::unique_xmalloc_ptr<minimal_symbol>
1351 msym_holder (XNEWVEC (minimal_symbol, alloc_count));
1352 msymbols = msym_holder.get ();
1353
1354 /* Copy in the existing minimal symbols, if there are any. */
1355
1356 if (m_objfile->per_bfd->minimal_symbol_count)
1357 memcpy (msymbols, m_objfile->per_bfd->msymbols.get (),
1358 m_objfile->per_bfd->minimal_symbol_count
1359 * sizeof (struct minimal_symbol));
1360
1361 /* Walk through the list of minimal symbol bunches, adding each symbol
1362 to the new contiguous array of symbols. Note that we start with the
1363 current, possibly partially filled bunch (thus we use the current
1364 msym_bunch_index for the first bunch we copy over), and thereafter
1365 each bunch is full. */
1366
1367 mcount = m_objfile->per_bfd->minimal_symbol_count;
1368
1369 for (bunch = m_msym_bunch; bunch != NULL; bunch = bunch->next)
1370 {
1371 memcpy (&msymbols[mcount], &bunch->contents[0],
1372 m_msym_bunch_index * sizeof (struct minimal_symbol));
1373 mcount += m_msym_bunch_index;
1374 m_msym_bunch_index = BUNCH_SIZE;
1375 }
1376
1377 /* Sort the minimal symbols by address. */
1378
1379 std::sort (msymbols, msymbols + mcount, minimal_symbol_is_less_than);
1380
1381 /* Compact out any duplicates, and free up whatever space we are
1382 no longer using. */
1383
1384 mcount = compact_minimal_symbols (msymbols, mcount, m_objfile);
1385 msym_holder.reset (XRESIZEVEC (struct minimal_symbol,
1386 msym_holder.release (),
1387 mcount));
1388
1389 /* Attach the minimal symbol table to the specified objfile.
1390 The strings themselves are also located in the storage_obstack
1391 of this objfile. */
1392
1393 if (m_objfile->per_bfd->minimal_symbol_count != 0)
1394 clear_minimal_symbol_hash_tables (m_objfile);
1395
1396 m_objfile->per_bfd->minimal_symbol_count = mcount;
1397 m_objfile->per_bfd->msymbols = std::move (msym_holder);
1398
1399 #if CXX_STD_THREAD
1400 /* Mutex that is used when modifying or accessing the demangled
1401 hash table. */
1402 std::mutex demangled_mutex;
1403 #endif
1404
1405 std::vector<computed_hash_values> hash_values (mcount);
1406
1407 msymbols = m_objfile->per_bfd->msymbols.get ();
1408 gdb::parallel_for_each
1409 (&msymbols[0], &msymbols[mcount],
1410 [&] (minimal_symbol *start, minimal_symbol *end)
1411 {
1412 for (minimal_symbol *msym = start; msym < end; ++msym)
1413 {
1414 size_t idx = msym - msymbols;
1415 hash_values[idx].name_length = strlen (msym->linkage_name ());
1416 if (!msym->name_set)
1417 {
1418 /* This will be freed later, by compute_and_set_names. */
1419 char *demangled_name
1420 = symbol_find_demangled_name (msym, msym->linkage_name ());
1421 msym->set_demangled_name
1422 (demangled_name, &m_objfile->per_bfd->storage_obstack);
1423 msym->name_set = 1;
1424 }
1425 /* This mangled_name_hash computation has to be outside of
1426 the name_set check, or compute_and_set_names below will
1427 be called with an invalid hash value. */
1428 hash_values[idx].mangled_name_hash
1429 = fast_hash (msym->linkage_name (),
1430 hash_values[idx].name_length);
1431 hash_values[idx].minsym_hash
1432 = msymbol_hash (msym->linkage_name ());
1433 /* We only use this hash code if the search name differs
1434 from the linkage name. See the code in
1435 build_minimal_symbol_hash_tables. */
1436 if (msym->search_name () != msym->linkage_name ())
1437 hash_values[idx].minsym_demangled_hash
1438 = search_name_hash (msym->language (), msym->search_name ());
1439 }
1440 {
1441 /* To limit how long we hold the lock, we only acquire it here
1442 and not while we demangle the names above. */
1443 #if CXX_STD_THREAD
1444 std::lock_guard<std::mutex> guard (demangled_mutex);
1445 #endif
1446 for (minimal_symbol *msym = start; msym < end; ++msym)
1447 {
1448 size_t idx = msym - msymbols;
1449 msym->compute_and_set_names
1450 (gdb::string_view (msym->linkage_name (),
1451 hash_values[idx].name_length),
1452 false,
1453 m_objfile->per_bfd,
1454 hash_values[idx].mangled_name_hash);
1455 }
1456 }
1457 });
1458
1459 build_minimal_symbol_hash_tables (m_objfile, hash_values);
1460 }
1461 }
1462
1463 /* Check if PC is in a shared library trampoline code stub.
1464 Return minimal symbol for the trampoline entry or NULL if PC is not
1465 in a trampoline code stub. */
1466
1467 static struct minimal_symbol *
1468 lookup_solib_trampoline_symbol_by_pc (CORE_ADDR pc)
1469 {
1470 bound_minimal_symbol msymbol
1471 = lookup_minimal_symbol_by_pc_section (pc, NULL,
1472 lookup_msym_prefer::TRAMPOLINE);
1473
1474 if (msymbol.minsym != NULL
1475 && MSYMBOL_TYPE (msymbol.minsym) == mst_solib_trampoline)
1476 return msymbol.minsym;
1477 return NULL;
1478 }
1479
1480 /* If PC is in a shared library trampoline code stub, return the
1481 address of the `real' function belonging to the stub.
1482 Return 0 if PC is not in a trampoline code stub or if the real
1483 function is not found in the minimal symbol table.
1484
1485 We may fail to find the right function if a function with the
1486 same name is defined in more than one shared library, but this
1487 is considered bad programming style. We could return 0 if we find
1488 a duplicate function in case this matters someday. */
1489
1490 CORE_ADDR
1491 find_solib_trampoline_target (struct frame_info *frame, CORE_ADDR pc)
1492 {
1493 struct minimal_symbol *tsymbol = lookup_solib_trampoline_symbol_by_pc (pc);
1494
1495 if (tsymbol != NULL)
1496 {
1497 for (objfile *objfile : current_program_space->objfiles ())
1498 {
1499 for (minimal_symbol *msymbol : objfile->msymbols ())
1500 {
1501 /* Also handle minimal symbols pointing to function
1502 descriptors. */
1503 if ((MSYMBOL_TYPE (msymbol) == mst_text
1504 || MSYMBOL_TYPE (msymbol) == mst_text_gnu_ifunc
1505 || MSYMBOL_TYPE (msymbol) == mst_data
1506 || MSYMBOL_TYPE (msymbol) == mst_data_gnu_ifunc)
1507 && strcmp (msymbol->linkage_name (),
1508 tsymbol->linkage_name ()) == 0)
1509 {
1510 CORE_ADDR func;
1511
1512 /* Ignore data symbols that are not function
1513 descriptors. */
1514 if (msymbol_is_function (objfile, msymbol, &func))
1515 return func;
1516 }
1517 }
1518 }
1519 }
1520 return 0;
1521 }
1522
1523 /* See minsyms.h. */
1524
1525 CORE_ADDR
1526 minimal_symbol_upper_bound (struct bound_minimal_symbol minsym)
1527 {
1528 short section;
1529 struct obj_section *obj_section;
1530 CORE_ADDR result;
1531 struct minimal_symbol *iter, *msymbol;
1532
1533 gdb_assert (minsym.minsym != NULL);
1534
1535 /* If the minimal symbol has a size, use it. Otherwise use the
1536 lesser of the next minimal symbol in the same section, or the end
1537 of the section, as the end of the function. */
1538
1539 if (MSYMBOL_SIZE (minsym.minsym) != 0)
1540 return BMSYMBOL_VALUE_ADDRESS (minsym) + MSYMBOL_SIZE (minsym.minsym);
1541
1542 /* Step over other symbols at this same address, and symbols in
1543 other sections, to find the next symbol in this section with a
1544 different address. */
1545
1546 struct minimal_symbol *past_the_end
1547 = (minsym.objfile->per_bfd->msymbols.get ()
1548 + minsym.objfile->per_bfd->minimal_symbol_count);
1549 msymbol = minsym.minsym;
1550 section = MSYMBOL_SECTION (msymbol);
1551 for (iter = msymbol + 1; iter != past_the_end; ++iter)
1552 {
1553 if ((MSYMBOL_VALUE_RAW_ADDRESS (iter)
1554 != MSYMBOL_VALUE_RAW_ADDRESS (msymbol))
1555 && MSYMBOL_SECTION (iter) == section)
1556 break;
1557 }
1558
1559 obj_section = MSYMBOL_OBJ_SECTION (minsym.objfile, minsym.minsym);
1560 if (iter != past_the_end
1561 && (MSYMBOL_VALUE_ADDRESS (minsym.objfile, iter)
1562 < obj_section_endaddr (obj_section)))
1563 result = MSYMBOL_VALUE_ADDRESS (minsym.objfile, iter);
1564 else
1565 /* We got the start address from the last msymbol in the objfile.
1566 So the end address is the end of the section. */
1567 result = obj_section_endaddr (obj_section);
1568
1569 return result;
1570 }
This page took 0.064081 seconds and 4 git commands to generate.