gdb: add target_ops::supports_displaced_step
[deliverable/binutils-gdb.git] / gdb / minsyms.c
CommitLineData
c906108c 1/* GDB routines for manipulating the minimal symbol tables.
b811d2c2 2 Copyright (C) 1992-2020 Free Software Foundation, Inc.
c906108c
SS
3 Contributed by Cygnus Support, using pieces from other GDB modules.
4
c5aa993b 5 This file is part of GDB.
c906108c 6
c5aa993b
JM
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
a9762ec7 9 the Free Software Foundation; either version 3 of the License, or
c5aa993b 10 (at your option) any later version.
c906108c 11
c5aa993b
JM
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.
c906108c 16
c5aa993b 17 You should have received a copy of the GNU General Public License
a9762ec7 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
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.
c5aa993b 32
c906108c
SS
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
025bb325 36 to figure out what full symbol table entries need to be read in. */
c906108c
SS
37
38
39#include "defs.h"
9227b5eb 40#include <ctype.h>
c906108c
SS
41#include "symtab.h"
42#include "bfd.h"
0ba1096a 43#include "filenames.h"
c906108c
SS
44#include "symfile.h"
45#include "objfiles.h"
46#include "demangle.h"
7ed49443
JB
47#include "value.h"
48#include "cp-abi.h"
42848c96 49#include "target.h"
71c25dea
TT
50#include "cp-support.h"
51#include "language.h"
529480d0 52#include "cli/cli-utils.h"
268a13a5 53#include "gdbsupport/symbol.h"
b5ec771e 54#include <algorithm>
deeeba55 55#include "safe-ctype.h"
d55c9a68
TT
56#include "gdbsupport/parallel-for.h"
57
58#if CXX_STD_THREAD
59#include <mutex>
60#endif
c906108c 61
bf223d3e
PA
62/* See minsyms.h. */
63
64bool
4024cf2b
PA
65msymbol_is_function (struct objfile *objfile, minimal_symbol *minsym,
66 CORE_ADDR *func_address_p)
bf223d3e 67{
4024cf2b
PA
68 CORE_ADDR msym_addr = MSYMBOL_VALUE_ADDRESS (objfile, minsym);
69
70 switch (minsym->type)
bf223d3e 71 {
4024cf2b
PA
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:
f50776aa 78 case mst_data_gnu_ifunc:
4024cf2b 79 {
08feed99 80 struct gdbarch *gdbarch = objfile->arch ();
8b88a78e
PA
81 CORE_ADDR pc
82 = gdbarch_convert_from_func_ptr_addr (gdbarch, msym_addr,
83 current_top_target ());
4024cf2b
PA
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 }
bf223d3e 92 default:
4024cf2b
PA
93 if (func_address_p != NULL)
94 *func_address_p = msym_addr;
95 return true;
bf223d3e
PA
96 }
97}
98
c906108c 99/* Accumulate the minimal symbols for each objfile in bunches of BUNCH_SIZE.
79e7ae11 100 At the end, copy them all into one newly allocated array. */
c906108c
SS
101
102#define BUNCH_SIZE 127
103
104struct msym_bunch
c5aa993b
JM
105 {
106 struct msym_bunch *next;
107 struct minimal_symbol contents[BUNCH_SIZE];
108 };
c906108c 109
b19686e0 110/* See minsyms.h. */
9227b5eb
JB
111
112unsigned int
113msymbol_hash_iw (const char *string)
114{
115 unsigned int hash = 0;
b8d56208 116
9227b5eb
JB
117 while (*string && *string != '(')
118 {
f1735a53 119 string = skip_spaces (string);
9227b5eb 120 if (*string && *string != '(')
375f3d86 121 {
59d7bcaf 122 hash = SYMBOL_HASH_NEXT (hash, *string);
375f3d86
DJ
123 ++string;
124 }
9227b5eb 125 }
261397f8 126 return hash;
9227b5eb
JB
127}
128
b19686e0 129/* See minsyms.h. */
9227b5eb
JB
130
131unsigned int
132msymbol_hash (const char *string)
133{
134 unsigned int hash = 0;
b8d56208 135
9227b5eb 136 for (; *string; ++string)
59d7bcaf 137 hash = SYMBOL_HASH_NEXT (hash, *string);
261397f8 138 return hash;
9227b5eb
JB
139}
140
141/* Add the minimal symbol SYM to an objfile's minsym hash table, TABLE. */
984ac464 142static void
9227b5eb 143add_minsym_to_hash_table (struct minimal_symbol *sym,
f29d7f6b
CB
144 struct minimal_symbol **table,
145 unsigned int hash_value)
9227b5eb
JB
146{
147 if (sym->hash_next == NULL)
148 {
f29d7f6b 149 unsigned int hash = hash_value % MINIMAL_SYMBOL_HASH_SIZE;
b8d56208 150
9227b5eb
JB
151 sym->hash_next = table[hash];
152 table[hash] = sym;
153 }
154}
155
0729fd50
DB
156/* Add the minimal symbol SYM to an objfile's minsym demangled hash table,
157 TABLE. */
158static void
159add_minsym_to_demangled_hash_table (struct minimal_symbol *sym,
f29d7f6b
CB
160 struct objfile *objfile,
161 unsigned int hash_value)
0729fd50
DB
162{
163 if (sym->demangled_hash_next == NULL)
164 {
c1b5c1eb 165 objfile->per_bfd->demangled_hash_languages.set (sym->language ());
b5ec771e
PA
166
167 struct minimal_symbol **table
168 = objfile->per_bfd->msymbol_demangled_hash;
f29d7f6b 169 unsigned int hash_index = hash_value % MINIMAL_SYMBOL_HASH_SIZE;
b5ec771e
PA
170 sym->demangled_hash_next = table[hash_index];
171 table[hash_index] = sym;
172 }
173}
b8d56208 174
b5ec771e
PA
175/* Worker object for lookup_minimal_symbol. Stores temporary results
176 while walking the symbol tables. */
177
178struct 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
199bool
200found_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
245static void
246lookup_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 {
c9d95fa3 258 const char *symbol_name = msymbol->linkage_name ();
b5ec771e
PA
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
269static void
270lookup_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 {
c9d95fa3 282 const char *symbol_name = msymbol->search_name ();
b5ec771e
PA
283
284 if (matcher (symbol_name, lookup_name, NULL)
285 && found.maybe_collect (sfile, objfile, msymbol))
286 return;
0729fd50
DB
287 }
288}
289
c906108c
SS
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
72a5efb3
DJ
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
c906108c
SS
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
d73f140a
JB
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. */
c906108c 309
3b7344d5
TT
310struct bound_minimal_symbol
311lookup_minimal_symbol (const char *name, const char *sfile,
312 struct objfile *objf)
c906108c 313{
b5ec771e 314 found_minimal_symbols found;
c906108c 315
b5ec771e 316 unsigned int mangled_hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
9227b5eb 317
b5ec771e
PA
318 auto *mangled_cmp
319 = (case_sensitivity == case_sensitive_on
320 ? strcmp
321 : strcasecmp);
71c25dea 322
c906108c 323 if (sfile != NULL)
9f37bbcc 324 sfile = lbasename (sfile);
c906108c 325
b5ec771e 326 lookup_name_info lookup_name (name, symbol_name_match_type::FULL);
71c25dea 327
bf227d61 328 for (objfile *objfile : current_program_space->objfiles ())
c906108c 329 {
bf227d61
TT
330 if (found.external_symbol.minsym != NULL)
331 break;
332
56e3f43c 333 if (objf == NULL || objf == objfile
15d123c9 334 || objf == objfile->separate_debug_objfile_backlink)
c906108c 335 {
b5ec771e
PA
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
9227b5eb
JB
344 /* Do two passes: the first over the ordinary hash table,
345 and the second over the demangled hash table. */
b5ec771e
PA
346 lookup_minimal_symbol_mangled (name, sfile, objfile,
347 objfile->per_bfd->msymbol_hash,
348 mangled_hash, mangled_cmp, found);
cc485e62 349
b5ec771e
PA
350 /* If not found, try the demangled hash table. */
351 if (found.external_symbol.minsym == NULL)
c906108c 352 {
b5ec771e
PA
353 /* Once for each language in the demangled hash names
354 table (usually just zero or one languages). */
1b7a07cb 355 for (unsigned iter = 0; iter < nr_languages; ++iter)
c906108c 356 {
1b7a07cb
TT
357 if (!objfile->per_bfd->demangled_hash_languages.test (iter))
358 continue;
359 enum language lang = (enum language) iter;
360
b5ec771e
PA
361 unsigned int hash
362 = (lookup_name.search_name_hash (lang)
363 % MINIMAL_SYMBOL_HASH_SIZE);
364
365 symbol_name_matcher_ftype *match
618daa93
PA
366 = get_symbol_name_matcher (language_def (lang),
367 lookup_name);
b5ec771e
PA
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;
9227b5eb 377 }
c906108c
SS
378 }
379 }
380 }
71c25dea 381
c906108c 382 /* External symbols are best. */
b5ec771e 383 if (found.external_symbol.minsym != NULL)
cc485e62
DE
384 {
385 if (symbol_lookup_debug)
386 {
b5ec771e
PA
387 minimal_symbol *minsym = found.external_symbol.minsym;
388
cc485e62 389 fprintf_unfiltered (gdb_stdlog,
b5ec771e
PA
390 "lookup_minimal_symbol (...) = %s (external)\n",
391 host_address_to_string (minsym));
cc485e62 392 }
b5ec771e 393 return found.external_symbol;
cc485e62 394 }
c906108c
SS
395
396 /* File-local symbols are next best. */
b5ec771e 397 if (found.file_symbol.minsym != NULL)
cc485e62
DE
398 {
399 if (symbol_lookup_debug)
400 {
b5ec771e
PA
401 minimal_symbol *minsym = found.file_symbol.minsym;
402
cc485e62 403 fprintf_unfiltered (gdb_stdlog,
b5ec771e
PA
404 "lookup_minimal_symbol (...) = %s (file-local)\n",
405 host_address_to_string (minsym));
cc485e62 406 }
b5ec771e 407 return found.file_symbol;
cc485e62 408 }
c906108c
SS
409
410 /* Symbols for shared library trampolines are next best. */
b5ec771e 411 if (found.trampoline_symbol.minsym != NULL)
cc485e62 412 {
b5ec771e
PA
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;
cc485e62 423 }
b5ec771e
PA
424
425 /* Not found. */
426 if (symbol_lookup_debug)
427 fprintf_unfiltered (gdb_stdlog, "lookup_minimal_symbol (...) = NULL\n");
428 return {};
7c7b6655
TT
429}
430
431/* See minsyms.h. */
c906108c 432
7c7b6655
TT
433struct bound_minimal_symbol
434lookup_bound_minimal_symbol (const char *name)
435{
3b7344d5 436 return lookup_minimal_symbol (name, NULL, NULL);
c906108c
SS
437}
438
268a13a5 439/* See gdbsupport/symbol.h. */
bd9269f7
GB
440
441int
442find_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
8825213e
PA
454/* Get the lookup name form best suitable for linkage name
455 matching. */
456
457static const char *
458linkage_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
e0802d59 470 return lookup_name.c_str ();
8825213e
PA
471}
472
b19686e0 473/* See minsyms.h. */
f8eba3c6
TT
474
475void
41c1efc6
TT
476iterate_over_minimal_symbols
477 (struct objfile *objf, const lookup_name_info &lookup_name,
ca31ab1d 478 gdb::function_view<bool (struct minimal_symbol *)> callback)
f8eba3c6 479{
f8eba3c6 480 /* The first pass is over the ordinary hash table. */
f8eba3c6 481 {
8825213e 482 const char *name = linkage_name_str (lookup_name);
b5ec771e
PA
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 {
c9d95fa3 493 if (mangled_cmp (iter->linkage_name (), name) == 0)
ca31ab1d
PA
494 if (callback (iter))
495 return;
b5ec771e 496 }
f8eba3c6
TT
497 }
498
b5ec771e
PA
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). */
1b7a07cb 502 for (unsigned liter = 0; liter < nr_languages; ++liter)
f8eba3c6 503 {
1b7a07cb
TT
504 if (!objf->per_bfd->demangled_hash_languages.test (liter))
505 continue;
506
507 enum language lang = (enum language) liter;
b5ec771e
PA
508 const language_defn *lang_def = language_def (lang);
509 symbol_name_matcher_ftype *name_match
618daa93 510 = get_symbol_name_matcher (lang_def, lookup_name);
b5ec771e
PA
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)
c9d95fa3 517 if (name_match (iter->search_name (), lookup_name, NULL))
ca31ab1d
PA
518 if (callback (iter))
519 return;
f8eba3c6
TT
520 }
521}
522
b19686e0 523/* See minsyms.h. */
c5aa993b 524
4b610737
TT
525bound_minimal_symbol
526lookup_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 {
c9d95fa3 536 if (strcmp (msymbol->linkage_name (), name) == 0
4b610737
TT
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
3b7344d5 548struct bound_minimal_symbol
5520a790 549lookup_minimal_symbol_text (const char *name, struct objfile *objf)
c906108c 550{
c906108c 551 struct minimal_symbol *msymbol;
3b7344d5
TT
552 struct bound_minimal_symbol found_symbol = { NULL, NULL };
553 struct bound_minimal_symbol found_file_symbol = { NULL, NULL };
c906108c 554
72a5efb3
DJ
555 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
556
bf227d61 557 for (objfile *objfile : current_program_space->objfiles ())
c906108c 558 {
bf227d61
TT
559 if (found_symbol.minsym != NULL)
560 break;
561
56e3f43c 562 if (objf == NULL || objf == objfile
15d123c9 563 || objf == objfile->separate_debug_objfile_backlink)
c906108c 564 {
34643a32 565 for (msymbol = objfile->per_bfd->msymbol_hash[hash];
3b7344d5 566 msymbol != NULL && found_symbol.minsym == NULL;
72a5efb3 567 msymbol = msymbol->hash_next)
c906108c 568 {
c9d95fa3 569 if (strcmp (msymbol->linkage_name (), name) == 0 &&
0875794a
JK
570 (MSYMBOL_TYPE (msymbol) == mst_text
571 || MSYMBOL_TYPE (msymbol) == mst_text_gnu_ifunc
572 || MSYMBOL_TYPE (msymbol) == mst_file_text))
c906108c
SS
573 {
574 switch (MSYMBOL_TYPE (msymbol))
575 {
576 case mst_file_text:
3b7344d5
TT
577 found_file_symbol.minsym = msymbol;
578 found_file_symbol.objfile = objfile;
c906108c
SS
579 break;
580 default:
3b7344d5
TT
581 found_symbol.minsym = msymbol;
582 found_symbol.objfile = objfile;
c906108c
SS
583 break;
584 }
585 }
586 }
587 }
588 }
589 /* External symbols are best. */
3b7344d5 590 if (found_symbol.minsym)
c906108c
SS
591 return found_symbol;
592
593 /* File-local symbols are next best. */
3b7344d5 594 return found_file_symbol;
c906108c
SS
595}
596
b19686e0 597/* See minsyms.h. */
907fc202
UW
598
599struct minimal_symbol *
600lookup_minimal_symbol_by_pc_name (CORE_ADDR pc, const char *name,
601 struct objfile *objf)
602{
907fc202
UW
603 struct minimal_symbol *msymbol;
604
605 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
606
bf227d61 607 for (objfile *objfile : current_program_space->objfiles ())
907fc202
UW
608 {
609 if (objf == NULL || objf == objfile
15d123c9 610 || objf == objfile->separate_debug_objfile_backlink)
907fc202 611 {
34643a32 612 for (msymbol = objfile->per_bfd->msymbol_hash[hash];
907fc202
UW
613 msymbol != NULL;
614 msymbol = msymbol->hash_next)
615 {
77e371c0 616 if (MSYMBOL_VALUE_ADDRESS (objfile, msymbol) == pc
c9d95fa3 617 && strcmp (msymbol->linkage_name (), name) == 0)
907fc202
UW
618 return msymbol;
619 }
620 }
621 }
622
623 return NULL;
624}
625
77e371c0
TT
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
631static int
632frob_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
6ae50267
PA
648/* Helper for lookup_minimal_symbol_by_pc_section. Convert a
649 lookup_msym_prefer to a minimal_symbol_type. */
650
651static minimal_symbol_type
652msym_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
733d0a67
AB
669/* See minsyms.h.
670
00878c6e
PP
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
733d0a67 675 .data at 0x40048. */
2eaf8d2a 676
20944a6e
PA
677bound_minimal_symbol
678lookup_minimal_symbol_by_pc_section (CORE_ADDR pc_in, struct obj_section *section,
733d0a67
AB
679 lookup_msym_prefer prefer,
680 bound_minimal_symbol *previous)
c906108c
SS
681{
682 int lo;
683 int hi;
fe978cb0 684 int newobj;
c906108c
SS
685 struct minimal_symbol *msymbol;
686 struct minimal_symbol *best_symbol = NULL;
7cbd4a93
TT
687 struct objfile *best_objfile = NULL;
688 struct bound_minimal_symbol result;
c906108c 689
733d0a67
AB
690 if (previous != nullptr)
691 {
692 previous->minsym = nullptr;
693 previous->objfile = nullptr;
694 }
695
20944a6e
PA
696 if (section == NULL)
697 {
698 section = find_pc_section (pc_in);
699 if (section == NULL)
700 return {};
701 }
702
6ae50267 703 minimal_symbol_type want_type = msym_prefer_to_msym_type (prefer);
00878c6e
PP
704
705 /* We can not require the symbol found to be in section, because
96225718
DJ
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
00878c6e 714 gdb_assert (section != NULL);
96225718 715
bde09ab7 716 for (objfile *objfile : section->objfile->separate_debug_objfiles ())
c906108c 717 {
77e371c0
TT
718 CORE_ADDR pc = pc_in;
719
741d7538
TT
720 /* If this objfile has a minimal symbol table, go search it
721 using a binary search. */
c906108c 722
34643a32 723 if (objfile->per_bfd->minimal_symbol_count > 0)
c906108c 724 {
29e8a844
DJ
725 int best_zero_sized = -1;
726
042d75e4 727 msymbol = objfile->per_bfd->msymbols.get ();
c906108c 728 lo = 0;
34643a32 729 hi = objfile->per_bfd->minimal_symbol_count - 1;
c906108c
SS
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
30baf67b 743 with the hi index is always the one we want when the iteration
c906108c
SS
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
025bb325 747 Warning: this code is trickier than it would appear at first. */
c906108c 748
77e371c0
TT
749 if (frob_address (objfile, &pc)
750 && pc >= MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[lo]))
c906108c 751 {
77e371c0 752 while (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi]) > pc)
c906108c 753 {
025bb325
MS
754 /* pc is still strictly less than highest address. */
755 /* Note "new" will always be >= lo. */
fe978cb0
PA
756 newobj = (lo + hi) / 2;
757 if ((MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[newobj]) >= pc)
758 || (lo == newobj))
c906108c 759 {
fe978cb0 760 hi = newobj;
c906108c
SS
761 }
762 else
763 {
fe978cb0 764 lo = newobj;
c906108c
SS
765 }
766 }
767
768 /* If we have multiple symbols at the same address, we want
c5aa993b
JM
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. */
34643a32 771 while (hi < objfile->per_bfd->minimal_symbol_count - 1
77e371c0
TT
772 && (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
773 == MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi + 1])))
c906108c
SS
774 hi++;
775
29e8a844
DJ
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
712f90be 791 if (MSYMBOL_TYPE (&msymbol[hi]) == mst_abs)
29e8a844
DJ
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. */
efd66ac6 803 && MSYMBOL_OBJ_SECTION (objfile, &msymbol[hi]) != NULL
714835d5 804 && (!matching_obj_sections
efd66ac6 805 (MSYMBOL_OBJ_SECTION (objfile, &msymbol[hi]),
e27d198c 806 section)))
29e8a844
DJ
807 {
808 hi--;
809 continue;
810 }
811
2eaf8d2a
DJ
812 /* If we are looking for a trampoline and this is a
813 text symbol, or the other way around, check the
177b42fe 814 preceding symbol too. If they are otherwise
2eaf8d2a
DJ
815 identical prefer that one. */
816 if (hi > 0
20944a6e 817 && MSYMBOL_TYPE (&msymbol[hi]) != want_type
2eaf8d2a
DJ
818 && MSYMBOL_TYPE (&msymbol[hi - 1]) == want_type
819 && (MSYMBOL_SIZE (&msymbol[hi])
820 == MSYMBOL_SIZE (&msymbol[hi - 1]))
77e371c0
TT
821 && (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
822 == MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi - 1]))
efd66ac6
TT
823 && (MSYMBOL_OBJ_SECTION (objfile, &msymbol[hi])
824 == MSYMBOL_OBJ_SECTION (objfile, &msymbol[hi - 1])))
2eaf8d2a
DJ
825 {
826 hi--;
827 continue;
828 }
829
29e8a844
DJ
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. */
5506f9f6 836 if (MSYMBOL_SIZE (&msymbol[hi]) == 0)
29e8a844 837 {
5506f9f6
KB
838 if (best_zero_sized == -1)
839 best_zero_sized = hi;
29e8a844
DJ
840 hi--;
841 continue;
842 }
843
f7a6bb70
DJ
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
77e371c0 851 && pc >= (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
f7a6bb70 852 + MSYMBOL_SIZE (&msymbol[hi]))
77e371c0 853 && pc < (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi - 1])
f7a6bb70
DJ
854 + MSYMBOL_SIZE (&msymbol[hi - 1])))
855 {
856 hi--;
857 continue;
858 }
859
29e8a844
DJ
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
77e371c0 883 && pc >= (MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi])
29e8a844
DJ
884 + MSYMBOL_SIZE (&msymbol[hi])))
885 {
886 if (best_zero_sized != -1)
887 hi = best_zero_sized;
888 else
733d0a67
AB
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 }
29e8a844
DJ
906 }
907
c906108c 908 /* The minimal symbol indexed by hi now is the best one in this
c5aa993b 909 objfile's minimal symbol table. See if it is the best one
025bb325 910 overall. */
c906108c 911
c906108c
SS
912 if (hi >= 0
913 && ((best_symbol == NULL) ||
77e371c0
TT
914 (MSYMBOL_VALUE_RAW_ADDRESS (best_symbol) <
915 MSYMBOL_VALUE_RAW_ADDRESS (&msymbol[hi]))))
c906108c
SS
916 {
917 best_symbol = &msymbol[hi];
7cbd4a93 918 best_objfile = objfile;
c906108c
SS
919 }
920 }
921 }
922 }
7cbd4a93
TT
923
924 result.minsym = best_symbol;
925 result.objfile = best_objfile;
926 return result;
c906108c
SS
927}
928
b19686e0 929/* See minsyms.h. */
c906108c 930
7cbd4a93 931struct bound_minimal_symbol
fba45db2 932lookup_minimal_symbol_by_pc (CORE_ADDR pc)
c906108c 933{
20944a6e 934 return lookup_minimal_symbol_by_pc_section (pc, NULL);
c906108c 935}
0d5392b8 936
0875794a
JK
937/* Return non-zero iff PC is in an STT_GNU_IFUNC function resolver. */
938
ececd218 939bool
0875794a
JK
940in_gnu_ifunc_stub (CORE_ADDR pc)
941{
20944a6e
PA
942 bound_minimal_symbol msymbol
943 = lookup_minimal_symbol_by_pc_section (pc, NULL,
944 lookup_msym_prefer::GNU_IFUNC);
7cbd4a93 945 return msymbol.minsym && MSYMBOL_TYPE (msymbol.minsym) == mst_text_gnu_ifunc;
0875794a
JK
946}
947
07be84bf
JK
948/* See elf_gnu_ifunc_resolve_addr for its real implementation. */
949
950static CORE_ADDR
951stub_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
ececd218 960static bool
07be84bf
JK
961stub_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
0e30163f
JK
969/* See elf_gnu_ifunc_resolver_stop for its real implementation. */
970
971static void
972stub_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
980static void
981stub_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
07be84bf
JK
987/* See elf_gnu_ifunc_fns for its real implementation. */
988
989static const struct gnu_ifunc_fns stub_gnu_ifunc_fns =
990{
991 stub_gnu_ifunc_resolve_addr,
992 stub_gnu_ifunc_resolve_name,
0e30163f
JK
993 stub_gnu_ifunc_resolver_stop,
994 stub_gnu_ifunc_resolver_return_stop,
07be84bf
JK
995};
996
997/* A placeholder for &elf_gnu_ifunc_fns. */
998
999const struct gnu_ifunc_fns *gnu_ifunc_fns_p = &stub_gnu_ifunc_fns;
1000
c906108c 1001\f
c5aa993b 1002
025bb325 1003/* Return leading symbol character for a BFD. If BFD is NULL,
c906108c
SS
1004 return the leading symbol character from the main objfile. */
1005
c906108c 1006static int
fba45db2 1007get_symbol_leading_char (bfd *abfd)
c906108c
SS
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
b19686e0 1016/* See minsyms.h. */
c906108c 1017
d25e8719 1018minimal_symbol_reader::minimal_symbol_reader (struct objfile *obj)
8dddcb8f
TT
1019: m_objfile (obj),
1020 m_msym_bunch (NULL),
1021 /* Note that presetting m_msym_bunch_index to BUNCH_SIZE causes the
b19686e0
TT
1022 first call to save a minimal symbol to allocate the memory for
1023 the first bunch. */
8dddcb8f
TT
1024 m_msym_bunch_index (BUNCH_SIZE),
1025 m_msym_count (0)
1026{
c906108c
SS
1027}
1028
873a915e
TT
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
79e7ae11 1031 else before calling this function. */
873a915e
TT
1032
1033minimal_symbol_reader::~minimal_symbol_reader ()
1034{
1035 struct msym_bunch *next;
1036
8dddcb8f 1037 while (m_msym_bunch != NULL)
873a915e 1038 {
8dddcb8f
TT
1039 next = m_msym_bunch->next;
1040 xfree (m_msym_bunch);
1041 m_msym_bunch = next;
873a915e
TT
1042 }
1043}
1044
b19686e0
TT
1045/* See minsyms.h. */
1046
c906108c 1047void
8dddcb8f 1048minimal_symbol_reader::record (const char *name, CORE_ADDR address,
ce6c454e 1049 enum minimal_symbol_type ms_type)
c906108c
SS
1050{
1051 int section;
1052
1053 switch (ms_type)
1054 {
1055 case mst_text:
0875794a 1056 case mst_text_gnu_ifunc:
c906108c
SS
1057 case mst_file_text:
1058 case mst_solib_trampoline:
8dddcb8f 1059 section = SECT_OFF_TEXT (m_objfile);
c906108c
SS
1060 break;
1061 case mst_data:
f50776aa 1062 case mst_data_gnu_ifunc:
c906108c 1063 case mst_file_data:
8dddcb8f 1064 section = SECT_OFF_DATA (m_objfile);
c906108c
SS
1065 break;
1066 case mst_bss:
1067 case mst_file_bss:
8dddcb8f 1068 section = SECT_OFF_BSS (m_objfile);
c906108c
SS
1069 break;
1070 default:
1071 section = -1;
1072 }
1073
8dddcb8f 1074 record_with_info (name, address, ms_type, section);
c906108c
SS
1075}
1076
e08b849e
SM
1077/* Convert an enumerator of type minimal_symbol_type to its string
1078 representation. */
1079
1080static const char *
1081mst_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
b19686e0 1104/* See minsyms.h. */
c906108c
SS
1105
1106struct minimal_symbol *
31edb802 1107minimal_symbol_reader::record_full (gdb::string_view name,
ce6c454e
TT
1108 bool copy_name, CORE_ADDR address,
1109 enum minimal_symbol_type ms_type,
1110 int section)
c906108c 1111{
fe978cb0 1112 struct msym_bunch *newobj;
52f0bd74 1113 struct minimal_symbol *msymbol;
c906108c 1114
66337bb1
CV
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'
31edb802
CB
1121 && (name == GCC_COMPILED_FLAG_SYMBOL
1122 || name == GCC2_COMPILED_FLAG_SYMBOL))
66337bb1
CV
1123 return (NULL);
1124
1125 /* It's safe to strip the leading char here once, since the name
025bb325 1126 is also stored stripped in the minimal symbol table. */
8dddcb8f 1127 if (name[0] == get_symbol_leading_char (m_objfile->obfd))
31edb802 1128 name = name.substr (1);
66337bb1 1129
61012eef 1130 if (ms_type == mst_file_text && startswith (name, "__gnu_compiled"))
66337bb1 1131 return (NULL);
c906108c 1132
e08b849e 1133 if (symtab_create_debug >= 2)
31edb802
CB
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 ());
e08b849e 1137
8dddcb8f 1138 if (m_msym_bunch_index == BUNCH_SIZE)
c906108c 1139 {
fe978cb0 1140 newobj = XCNEW (struct msym_bunch);
8dddcb8f
TT
1141 m_msym_bunch_index = 0;
1142 newobj->next = m_msym_bunch;
1143 m_msym_bunch = newobj;
c906108c 1144 }
8dddcb8f 1145 msymbol = &m_msym_bunch->contents[m_msym_bunch_index];
d3ecddab
CB
1146 msymbol->set_language (language_auto,
1147 &m_objfile->per_bfd->storage_obstack);
5a79c107
TT
1148
1149 if (copy_name)
4d4eaa30
CB
1150 msymbol->m_name = obstack_strndup (&m_objfile->per_bfd->storage_obstack,
1151 name.data (), name.size ());
5a79c107 1152 else
4d4eaa30 1153 msymbol->m_name = name.data ();
2de7ced7 1154
40c1a007 1155 SET_MSYMBOL_VALUE_ADDRESS (msymbol, address);
efd66ac6 1156 MSYMBOL_SECTION (msymbol) = section;
714835d5 1157
c906108c 1158 MSYMBOL_TYPE (msymbol) = ms_type;
9227b5eb 1159
34643a32
TT
1160 /* If we already read minimal symbols for this objfile, then don't
1161 ever allocate a new one. */
8dddcb8f 1162 if (!m_objfile->per_bfd->minsyms_read)
5f6cac40 1163 {
8dddcb8f
TT
1164 m_msym_bunch_index++;
1165 m_objfile->per_bfd->n_minsyms++;
5f6cac40 1166 }
8dddcb8f 1167 m_msym_count++;
c906108c
SS
1168 return msymbol;
1169}
1170
6fb08628
CB
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.
c906108c
SS
1173 Within groups with the same address, sort by name. */
1174
6fb08628
CB
1175static inline bool
1176minimal_symbol_is_less_than (const minimal_symbol &fn1,
1177 const minimal_symbol &fn2)
c906108c 1178{
6fb08628 1179 if (MSYMBOL_VALUE_RAW_ADDRESS (&fn1) < MSYMBOL_VALUE_RAW_ADDRESS (&fn2))
c906108c 1180 {
6fb08628 1181 return true; /* addr 1 is less than addr 2. */
c906108c 1182 }
6fb08628 1183 else if (MSYMBOL_VALUE_RAW_ADDRESS (&fn1) > MSYMBOL_VALUE_RAW_ADDRESS (&fn2))
c906108c 1184 {
6fb08628 1185 return false; /* addr 1 is greater than addr 2. */
c906108c 1186 }
c5aa993b
JM
1187 else
1188 /* addrs are equal: sort by name */
c906108c 1189 {
c9d95fa3
CB
1190 const char *name1 = fn1.linkage_name ();
1191 const char *name2 = fn2.linkage_name ();
c906108c
SS
1192
1193 if (name1 && name2) /* both have names */
6fb08628 1194 return strcmp (name1, name2) < 0;
c906108c 1195 else if (name2)
6fb08628 1196 return true; /* fn1 has no name, so it is "less". */
025bb325 1197 else if (name1) /* fn2 has no name, so it is "less". */
6fb08628 1198 return false;
c906108c 1199 else
6fb08628 1200 return false; /* Neither has a name, so they're equal. */
c906108c
SS
1201 }
1202}
1203
c906108c
SS
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
c906108c
SS
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
1231static int
fba45db2
KB
1232compact_minimal_symbols (struct minimal_symbol *msymbol, int mcount,
1233 struct objfile *objfile)
c906108c
SS
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 {
77e371c0
TT
1243 if (MSYMBOL_VALUE_RAW_ADDRESS (copyfrom)
1244 == MSYMBOL_VALUE_RAW_ADDRESS ((copyfrom + 1))
1245 && MSYMBOL_SECTION (copyfrom) == MSYMBOL_SECTION (copyfrom + 1)
c9d95fa3
CB
1246 && strcmp (copyfrom->linkage_name (),
1247 (copyfrom + 1)->linkage_name ()) == 0)
c906108c 1248 {
c5aa993b 1249 if (MSYMBOL_TYPE ((copyfrom + 1)) == mst_unknown)
c906108c
SS
1250 {
1251 MSYMBOL_TYPE ((copyfrom + 1)) = MSYMBOL_TYPE (copyfrom);
1252 }
1253 copyfrom++;
1254 }
1255 else
afbb8d7a 1256 *copyto++ = *copyfrom++;
c906108c
SS
1257 }
1258 *copyto++ = *copyfrom++;
1259 mcount = copyto - msymbol;
1260 }
1261 return (mcount);
1262}
1263
808590ec
CB
1264static void
1265clear_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
e76b2246
CB
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. */
1276struct 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;
f29d7f6b
CB
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;
e76b2246
CB
1286};
1287
afbb8d7a
KB
1288/* Build (or rebuild) the minimal symbol hash tables. This is necessary
1289 after compacting or sorting the table since the entries move around
025bb325 1290 thus causing the internal minimal_symbol pointers to become jumbled. */
afbb8d7a
KB
1291
1292static void
f29d7f6b
CB
1293build_minimal_symbol_hash_tables
1294 (struct objfile *objfile,
1295 const std::vector<computed_hash_values>& hash_values)
afbb8d7a
KB
1296{
1297 int i;
1298 struct minimal_symbol *msym;
1299
808590ec 1300 /* (Re)insert the actual entries. */
f29d7f6b
CB
1301 int mcount = objfile->per_bfd->minimal_symbol_count;
1302 for ((i = 0,
042d75e4 1303 msym = objfile->per_bfd->msymbols.get ());
f29d7f6b
CB
1304 i < mcount;
1305 i++, msym++)
afbb8d7a
KB
1306 {
1307 msym->hash_next = 0;
f29d7f6b
CB
1308 add_minsym_to_hash_table (msym, objfile->per_bfd->msymbol_hash,
1309 hash_values[i].minsym_hash);
afbb8d7a
KB
1310
1311 msym->demangled_hash_next = 0;
c9d95fa3 1312 if (msym->search_name () != msym->linkage_name ())
f29d7f6b
CB
1313 add_minsym_to_demangled_hash_table
1314 (msym, objfile, hash_values[i].minsym_demangled_hash);
afbb8d7a
KB
1315 }
1316}
1317
c906108c
SS
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
79e7ae11 1322 symbols) to an existing objfile. */
c906108c
SS
1323
1324void
d25e8719 1325minimal_symbol_reader::install ()
c906108c 1326{
52f0bd74
AC
1327 int mcount;
1328 struct msym_bunch *bunch;
1329 struct minimal_symbol *msymbols;
c906108c 1330 int alloc_count;
c906108c 1331
d25e8719 1332 if (m_objfile->per_bfd->minsyms_read)
34643a32
TT
1333 return;
1334
8dddcb8f 1335 if (m_msym_count > 0)
c906108c 1336 {
45cfd468
DE
1337 if (symtab_create_debug)
1338 {
1339 fprintf_unfiltered (gdb_stdlog,
1340 "Installing %d minimal symbols of objfile %s.\n",
8dddcb8f 1341 m_msym_count, objfile_name (m_objfile));
45cfd468
DE
1342 }
1343
79e7ae11
TT
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. */
c906108c 1348
741d7538 1349 alloc_count = m_msym_count + m_objfile->per_bfd->minimal_symbol_count;
042d75e4
TT
1350 gdb::unique_xmalloc_ptr<minimal_symbol>
1351 msym_holder (XNEWVEC (minimal_symbol, alloc_count));
1352 msymbols = msym_holder.get ();
c906108c
SS
1353
1354 /* Copy in the existing minimal symbols, if there are any. */
1355
d25e8719 1356 if (m_objfile->per_bfd->minimal_symbol_count)
042d75e4
TT
1357 memcpy (msymbols, m_objfile->per_bfd->msymbols.get (),
1358 m_objfile->per_bfd->minimal_symbol_count
1359 * sizeof (struct minimal_symbol));
c906108c
SS
1360
1361 /* Walk through the list of minimal symbol bunches, adding each symbol
c5aa993b
JM
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
025bb325 1365 each bunch is full. */
c5aa993b 1366
d25e8719 1367 mcount = m_objfile->per_bfd->minimal_symbol_count;
c5aa993b 1368
8dddcb8f 1369 for (bunch = m_msym_bunch; bunch != NULL; bunch = bunch->next)
c906108c 1370 {
0de2420c
TT
1371 memcpy (&msymbols[mcount], &bunch->contents[0],
1372 m_msym_bunch_index * sizeof (struct minimal_symbol));
1373 mcount += m_msym_bunch_index;
8dddcb8f 1374 m_msym_bunch_index = BUNCH_SIZE;
c906108c
SS
1375 }
1376
1377 /* Sort the minimal symbols by address. */
c5aa993b 1378
6fb08628 1379 std::sort (msymbols, msymbols + mcount, minimal_symbol_is_less_than);
c5aa993b 1380
c906108c 1381 /* Compact out any duplicates, and free up whatever space we are
c5aa993b
JM
1382 no longer using. */
1383
d25e8719 1384 mcount = compact_minimal_symbols (msymbols, mcount, m_objfile);
042d75e4
TT
1385 msym_holder.reset (XRESIZEVEC (struct minimal_symbol,
1386 msym_holder.release (),
1387 mcount));
c906108c 1388
c906108c 1389 /* Attach the minimal symbol table to the specified objfile.
34643a32 1390 The strings themselves are also located in the storage_obstack
c5aa993b 1391 of this objfile. */
c906108c 1392
808590ec
CB
1393 if (m_objfile->per_bfd->minimal_symbol_count != 0)
1394 clear_minimal_symbol_hash_tables (m_objfile);
1395
d25e8719 1396 m_objfile->per_bfd->minimal_symbol_count = mcount;
042d75e4 1397 m_objfile->per_bfd->msymbols = std::move (msym_holder);
c906108c 1398
d55c9a68
TT
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
e76b2246
CB
1405 std::vector<computed_hash_values> hash_values (mcount);
1406
5a79c107 1407 msymbols = m_objfile->per_bfd->msymbols.get ();
d55c9a68
TT
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 {
e76b2246 1414 size_t idx = msym - msymbols;
4d4eaa30 1415 hash_values[idx].name_length = strlen (msym->linkage_name ());
d55c9a68
TT
1416 if (!msym->name_set)
1417 {
4d4eaa30 1418 /* This will be freed later, by compute_and_set_names. */
d55c9a68 1419 char *demangled_name
4d4eaa30 1420 = symbol_find_demangled_name (msym, msym->linkage_name ());
ff985671
TT
1421 msym->set_demangled_name
1422 (demangled_name, &m_objfile->per_bfd->storage_obstack);
d55c9a68
TT
1423 msym->name_set = 1;
1424 }
62e77f56 1425 /* This mangled_name_hash computation has to be outside of
4d4eaa30 1426 the name_set check, or compute_and_set_names below will
62e77f56
CB
1427 be called with an invalid hash value. */
1428 hash_values[idx].mangled_name_hash
4d4eaa30
CB
1429 = fast_hash (msym->linkage_name (),
1430 hash_values[idx].name_length);
f29d7f6b
CB
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
c1b5c1eb 1438 = search_name_hash (msym->language (), msym->search_name ());
d55c9a68
TT
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 {
e76b2246 1448 size_t idx = msym - msymbols;
4d4eaa30
CB
1449 msym->compute_and_set_names
1450 (gdb::string_view (msym->linkage_name (),
1451 hash_values[idx].name_length),
e76b2246
CB
1452 false,
1453 m_objfile->per_bfd,
1454 hash_values[idx].mangled_name_hash);
d55c9a68
TT
1455 }
1456 }
1457 });
5a79c107 1458
f29d7f6b 1459 build_minimal_symbol_hash_tables (m_objfile, hash_values);
c906108c
SS
1460 }
1461}
1462
c9630d9c
TT
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. */
c906108c 1466
c9630d9c 1467static struct minimal_symbol *
fba45db2 1468lookup_solib_trampoline_symbol_by_pc (CORE_ADDR pc)
c906108c 1469{
20944a6e
PA
1470 bound_minimal_symbol msymbol
1471 = lookup_minimal_symbol_by_pc_section (pc, NULL,
1472 lookup_msym_prefer::TRAMPOLINE);
c906108c 1473
7cbd4a93
TT
1474 if (msymbol.minsym != NULL
1475 && MSYMBOL_TYPE (msymbol.minsym) == mst_solib_trampoline)
1476 return msymbol.minsym;
c906108c
SS
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
025bb325 1487 is considered bad programming style. We could return 0 if we find
c906108c
SS
1488 a duplicate function in case this matters someday. */
1489
1490CORE_ADDR
52f729a7 1491find_solib_trampoline_target (struct frame_info *frame, CORE_ADDR pc)
c906108c 1492{
c906108c
SS
1493 struct minimal_symbol *tsymbol = lookup_solib_trampoline_symbol_by_pc (pc);
1494
1495 if (tsymbol != NULL)
1496 {
2030c079 1497 for (objfile *objfile : current_program_space->objfiles ())
5325b9bf 1498 {
7932255d 1499 for (minimal_symbol *msymbol : objfile->msymbols ())
5325b9bf
TT
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)
c9d95fa3
CB
1507 && strcmp (msymbol->linkage_name (),
1508 tsymbol->linkage_name ()) == 0)
5325b9bf
TT
1509 {
1510 CORE_ADDR func;
b8d56208 1511
5325b9bf
TT
1512 /* Ignore data symbols that are not function
1513 descriptors. */
1514 if (msymbol_is_function (objfile, msymbol, &func))
1515 return func;
1516 }
1517 }
1518 }
c906108c
SS
1519 }
1520 return 0;
1521}
50e65b17
TT
1522
1523/* See minsyms.h. */
1524
1525CORE_ADDR
1526minimal_symbol_upper_bound (struct bound_minimal_symbol minsym)
1527{
50e65b17
TT
1528 short section;
1529 struct obj_section *obj_section;
1530 CORE_ADDR result;
20dc7e9b 1531 struct minimal_symbol *iter, *msymbol;
50e65b17
TT
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)
77e371c0 1540 return BMSYMBOL_VALUE_ADDRESS (minsym) + MSYMBOL_SIZE (minsym.minsym);
50e65b17
TT
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
20dc7e9b
PW
1546 struct minimal_symbol *past_the_end
1547 = (minsym.objfile->per_bfd->msymbols.get ()
1548 + minsym.objfile->per_bfd->minimal_symbol_count);
50e65b17 1549 msymbol = minsym.minsym;
efd66ac6 1550 section = MSYMBOL_SECTION (msymbol);
20dc7e9b 1551 for (iter = msymbol + 1; iter != past_the_end; ++iter)
50e65b17 1552 {
20dc7e9b 1553 if ((MSYMBOL_VALUE_RAW_ADDRESS (iter)
77e371c0 1554 != MSYMBOL_VALUE_RAW_ADDRESS (msymbol))
20dc7e9b 1555 && MSYMBOL_SECTION (iter) == section)
50e65b17
TT
1556 break;
1557 }
1558
efd66ac6 1559 obj_section = MSYMBOL_OBJ_SECTION (minsym.objfile, minsym.minsym);
20dc7e9b
PW
1560 if (iter != past_the_end
1561 && (MSYMBOL_VALUE_ADDRESS (minsym.objfile, iter)
efd66ac6 1562 < obj_section_endaddr (obj_section)))
20dc7e9b 1563 result = MSYMBOL_VALUE_ADDRESS (minsym.objfile, iter);
50e65b17
TT
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 1.910887 seconds and 4 git commands to generate.