80f9497922da1a66f044445e549813fa407057c7
[deliverable/binutils-gdb.git] / gdb / minsyms.c
1 /* GDB routines for manipulating the minimal symbol tables.
2 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
3 2002, 2003, 2004, 2007, 2008, 2009, 2010, 2011
4 Free Software Foundation, Inc.
5 Contributed by Cygnus Support, using pieces from other GDB modules.
6
7 This file is part of GDB.
8
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
13
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
21
22
23 /* This file contains support routines for creating, manipulating, and
24 destroying minimal symbol tables.
25
26 Minimal symbol tables are used to hold some very basic information about
27 all defined global symbols (text, data, bss, abs, etc). The only two
28 required pieces of information are the symbol's name and the address
29 associated with that symbol.
30
31 In many cases, even if a file was compiled with no special options for
32 debugging at all, as long as was not stripped it will contain sufficient
33 information to build useful minimal symbol tables using this structure.
34
35 Even when a file contains enough debugging information to build a full
36 symbol table, these minimal symbols are still useful for quickly mapping
37 between names and addresses, and vice versa. They are also sometimes used
38 to figure out what full symbol table entries need to be read in. */
39
40
41 #include "defs.h"
42 #include <ctype.h>
43 #include "gdb_string.h"
44 #include "symtab.h"
45 #include "bfd.h"
46 #include "filenames.h"
47 #include "symfile.h"
48 #include "objfiles.h"
49 #include "demangle.h"
50 #include "value.h"
51 #include "cp-abi.h"
52 #include "target.h"
53 #include "cp-support.h"
54 #include "language.h"
55
56 /* Accumulate the minimal symbols for each objfile in bunches of BUNCH_SIZE.
57 At the end, copy them all into one newly allocated location on an objfile's
58 symbol obstack. */
59
60 #define BUNCH_SIZE 127
61
62 struct msym_bunch
63 {
64 struct msym_bunch *next;
65 struct minimal_symbol contents[BUNCH_SIZE];
66 };
67
68 /* Bunch currently being filled up.
69 The next field points to chain of filled bunches. */
70
71 static struct msym_bunch *msym_bunch;
72
73 /* Number of slots filled in current bunch. */
74
75 static int msym_bunch_index;
76
77 /* Total number of minimal symbols recorded so far for the objfile. */
78
79 static int msym_count;
80
81 /* Compute a hash code based using the same criteria as `strcmp_iw'. */
82
83 unsigned int
84 msymbol_hash_iw (const char *string)
85 {
86 unsigned int hash = 0;
87
88 while (*string && *string != '(')
89 {
90 while (isspace (*string))
91 ++string;
92 if (*string && *string != '(')
93 {
94 hash = hash * 67 + *string - 113;
95 ++string;
96 }
97 }
98 return hash;
99 }
100
101 /* Compute a hash code for a string. */
102
103 unsigned int
104 msymbol_hash (const char *string)
105 {
106 unsigned int hash = 0;
107
108 for (; *string; ++string)
109 hash = hash * 67 + *string - 113;
110 return hash;
111 }
112
113 /* Add the minimal symbol SYM to an objfile's minsym hash table, TABLE. */
114 void
115 add_minsym_to_hash_table (struct minimal_symbol *sym,
116 struct minimal_symbol **table)
117 {
118 if (sym->hash_next == NULL)
119 {
120 unsigned int hash
121 = msymbol_hash (SYMBOL_LINKAGE_NAME (sym)) % MINIMAL_SYMBOL_HASH_SIZE;
122
123 sym->hash_next = table[hash];
124 table[hash] = sym;
125 }
126 }
127
128 /* Add the minimal symbol SYM to an objfile's minsym demangled hash table,
129 TABLE. */
130 static void
131 add_minsym_to_demangled_hash_table (struct minimal_symbol *sym,
132 struct minimal_symbol **table)
133 {
134 if (sym->demangled_hash_next == NULL)
135 {
136 unsigned int hash = msymbol_hash_iw (SYMBOL_SEARCH_NAME (sym))
137 % MINIMAL_SYMBOL_HASH_SIZE;
138
139 sym->demangled_hash_next = table[hash];
140 table[hash] = sym;
141 }
142 }
143
144
145 /* Return OBJFILE where minimal symbol SYM is defined. */
146 struct objfile *
147 msymbol_objfile (struct minimal_symbol *sym)
148 {
149 struct objfile *objf;
150 struct minimal_symbol *tsym;
151
152 unsigned int hash
153 = msymbol_hash (SYMBOL_LINKAGE_NAME (sym)) % MINIMAL_SYMBOL_HASH_SIZE;
154
155 for (objf = object_files; objf; objf = objf->next)
156 for (tsym = objf->msymbol_hash[hash]; tsym; tsym = tsym->hash_next)
157 if (tsym == sym)
158 return objf;
159
160 /* We should always be able to find the objfile ... */
161 internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
162 }
163
164
165 /* Look through all the current minimal symbol tables and find the
166 first minimal symbol that matches NAME. If OBJF is non-NULL, limit
167 the search to that objfile. If SFILE is non-NULL, the only file-scope
168 symbols considered will be from that source file (global symbols are
169 still preferred). Returns a pointer to the minimal symbol that
170 matches, or NULL if no match is found.
171
172 Note: One instance where there may be duplicate minimal symbols with
173 the same name is when the symbol tables for a shared library and the
174 symbol tables for an executable contain global symbols with the same
175 names (the dynamic linker deals with the duplication).
176
177 It's also possible to have minimal symbols with different mangled
178 names, but identical demangled names. For example, the GNU C++ v3
179 ABI requires the generation of two (or perhaps three) copies of
180 constructor functions --- "in-charge", "not-in-charge", and
181 "allocate" copies; destructors may be duplicated as well.
182 Obviously, there must be distinct mangled names for each of these,
183 but the demangled names are all the same: S::S or S::~S. */
184
185 struct minimal_symbol *
186 lookup_minimal_symbol (const char *name, const char *sfile,
187 struct objfile *objf)
188 {
189 struct objfile *objfile;
190 struct minimal_symbol *msymbol;
191 struct minimal_symbol *found_symbol = NULL;
192 struct minimal_symbol *found_file_symbol = NULL;
193 struct minimal_symbol *trampoline_symbol = NULL;
194
195 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
196 unsigned int dem_hash = msymbol_hash_iw (name) % MINIMAL_SYMBOL_HASH_SIZE;
197
198 int needtofreename = 0;
199 const char *modified_name;
200
201 if (sfile != NULL)
202 sfile = lbasename (sfile);
203
204 /* For C++, canonicalize the input name. */
205 modified_name = name;
206 if (current_language->la_language == language_cplus)
207 {
208 char *cname = cp_canonicalize_string (name);
209
210 if (cname)
211 {
212 modified_name = cname;
213 needtofreename = 1;
214 }
215 }
216
217 for (objfile = object_files;
218 objfile != NULL && found_symbol == NULL;
219 objfile = objfile->next)
220 {
221 if (objf == NULL || objf == objfile
222 || objf == objfile->separate_debug_objfile_backlink)
223 {
224 /* Do two passes: the first over the ordinary hash table,
225 and the second over the demangled hash table. */
226 int pass;
227
228 for (pass = 1; pass <= 2 && found_symbol == NULL; pass++)
229 {
230 /* Select hash list according to pass. */
231 if (pass == 1)
232 msymbol = objfile->msymbol_hash[hash];
233 else
234 msymbol = objfile->msymbol_demangled_hash[dem_hash];
235
236 while (msymbol != NULL && found_symbol == NULL)
237 {
238 int match;
239
240 if (pass == 1)
241 {
242 match = strcmp (SYMBOL_LINKAGE_NAME (msymbol),
243 modified_name) == 0;
244 }
245 else
246 {
247 match = SYMBOL_MATCHES_SEARCH_NAME (msymbol,
248 modified_name);
249 }
250
251 if (match)
252 {
253 switch (MSYMBOL_TYPE (msymbol))
254 {
255 case mst_file_text:
256 case mst_file_data:
257 case mst_file_bss:
258 if (sfile == NULL
259 || filename_cmp (msymbol->filename, sfile) == 0)
260 found_file_symbol = msymbol;
261 break;
262
263 case mst_solib_trampoline:
264
265 /* If a trampoline symbol is found, we prefer to
266 keep looking for the *real* symbol. If the
267 actual symbol is not found, then we'll use the
268 trampoline entry. */
269 if (trampoline_symbol == NULL)
270 trampoline_symbol = msymbol;
271 break;
272
273 case mst_unknown:
274 default:
275 found_symbol = msymbol;
276 break;
277 }
278 }
279
280 /* Find the next symbol on the hash chain. */
281 if (pass == 1)
282 msymbol = msymbol->hash_next;
283 else
284 msymbol = msymbol->demangled_hash_next;
285 }
286 }
287 }
288 }
289
290 if (needtofreename)
291 xfree ((void *) modified_name);
292
293 /* External symbols are best. */
294 if (found_symbol)
295 return found_symbol;
296
297 /* File-local symbols are next best. */
298 if (found_file_symbol)
299 return found_file_symbol;
300
301 /* Symbols for shared library trampolines are next best. */
302 if (trampoline_symbol)
303 return trampoline_symbol;
304
305 return NULL;
306 }
307
308 /* Look through all the current minimal symbol tables and find the
309 first minimal symbol that matches NAME and has text type. If OBJF
310 is non-NULL, limit the search to that objfile. Returns a pointer
311 to the minimal symbol that matches, or NULL if no match is found.
312
313 This function only searches the mangled (linkage) names. */
314
315 struct minimal_symbol *
316 lookup_minimal_symbol_text (const char *name, struct objfile *objf)
317 {
318 struct objfile *objfile;
319 struct minimal_symbol *msymbol;
320 struct minimal_symbol *found_symbol = NULL;
321 struct minimal_symbol *found_file_symbol = NULL;
322
323 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
324
325 for (objfile = object_files;
326 objfile != NULL && found_symbol == NULL;
327 objfile = objfile->next)
328 {
329 if (objf == NULL || objf == objfile
330 || objf == objfile->separate_debug_objfile_backlink)
331 {
332 for (msymbol = objfile->msymbol_hash[hash];
333 msymbol != NULL && found_symbol == NULL;
334 msymbol = msymbol->hash_next)
335 {
336 if (strcmp (SYMBOL_LINKAGE_NAME (msymbol), name) == 0 &&
337 (MSYMBOL_TYPE (msymbol) == mst_text
338 || MSYMBOL_TYPE (msymbol) == mst_text_gnu_ifunc
339 || MSYMBOL_TYPE (msymbol) == mst_file_text))
340 {
341 switch (MSYMBOL_TYPE (msymbol))
342 {
343 case mst_file_text:
344 found_file_symbol = msymbol;
345 break;
346 default:
347 found_symbol = msymbol;
348 break;
349 }
350 }
351 }
352 }
353 }
354 /* External symbols are best. */
355 if (found_symbol)
356 return found_symbol;
357
358 /* File-local symbols are next best. */
359 if (found_file_symbol)
360 return found_file_symbol;
361
362 return NULL;
363 }
364
365 /* Look through all the current minimal symbol tables and find the
366 first minimal symbol that matches NAME and PC. If OBJF is non-NULL,
367 limit the search to that objfile. Returns a pointer to the minimal
368 symbol that matches, or NULL if no match is found. */
369
370 struct minimal_symbol *
371 lookup_minimal_symbol_by_pc_name (CORE_ADDR pc, const char *name,
372 struct objfile *objf)
373 {
374 struct objfile *objfile;
375 struct minimal_symbol *msymbol;
376
377 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
378
379 for (objfile = object_files;
380 objfile != NULL;
381 objfile = objfile->next)
382 {
383 if (objf == NULL || objf == objfile
384 || objf == objfile->separate_debug_objfile_backlink)
385 {
386 for (msymbol = objfile->msymbol_hash[hash];
387 msymbol != NULL;
388 msymbol = msymbol->hash_next)
389 {
390 if (SYMBOL_VALUE_ADDRESS (msymbol) == pc
391 && strcmp (SYMBOL_LINKAGE_NAME (msymbol), name) == 0)
392 return msymbol;
393 }
394 }
395 }
396
397 return NULL;
398 }
399
400 /* Look through all the current minimal symbol tables and find the
401 first minimal symbol that matches NAME and is a solib trampoline.
402 If OBJF is non-NULL, limit the search to that objfile. Returns a
403 pointer to the minimal symbol that matches, or NULL if no match is
404 found.
405
406 This function only searches the mangled (linkage) names. */
407
408 struct minimal_symbol *
409 lookup_minimal_symbol_solib_trampoline (const char *name,
410 struct objfile *objf)
411 {
412 struct objfile *objfile;
413 struct minimal_symbol *msymbol;
414 struct minimal_symbol *found_symbol = NULL;
415
416 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
417
418 for (objfile = object_files;
419 objfile != NULL && found_symbol == NULL;
420 objfile = objfile->next)
421 {
422 if (objf == NULL || objf == objfile
423 || objf == objfile->separate_debug_objfile_backlink)
424 {
425 for (msymbol = objfile->msymbol_hash[hash];
426 msymbol != NULL && found_symbol == NULL;
427 msymbol = msymbol->hash_next)
428 {
429 if (strcmp (SYMBOL_LINKAGE_NAME (msymbol), name) == 0 &&
430 MSYMBOL_TYPE (msymbol) == mst_solib_trampoline)
431 return msymbol;
432 }
433 }
434 }
435
436 return NULL;
437 }
438
439 /* Search through the minimal symbol table for each objfile and find
440 the symbol whose address is the largest address that is still less
441 than or equal to PC, and matches SECTION (which is not NULL).
442 Returns a pointer to the minimal symbol if such a symbol is found,
443 or NULL if PC is not in a suitable range.
444 Note that we need to look through ALL the minimal symbol tables
445 before deciding on the symbol that comes closest to the specified PC.
446 This is because objfiles can overlap, for example objfile A has .text
447 at 0x100 and .data at 0x40000 and objfile B has .text at 0x234 and
448 .data at 0x40048.
449
450 If WANT_TRAMPOLINE is set, prefer mst_solib_trampoline symbols when
451 there are text and trampoline symbols at the same address.
452 Otherwise prefer mst_text symbols. */
453
454 static struct minimal_symbol *
455 lookup_minimal_symbol_by_pc_section_1 (CORE_ADDR pc,
456 struct obj_section *section,
457 int want_trampoline)
458 {
459 int lo;
460 int hi;
461 int new;
462 struct objfile *objfile;
463 struct minimal_symbol *msymbol;
464 struct minimal_symbol *best_symbol = NULL;
465 enum minimal_symbol_type want_type, other_type;
466
467 want_type = want_trampoline ? mst_solib_trampoline : mst_text;
468 other_type = want_trampoline ? mst_text : mst_solib_trampoline;
469
470 /* We can not require the symbol found to be in section, because
471 e.g. IRIX 6.5 mdebug relies on this code returning an absolute
472 symbol - but find_pc_section won't return an absolute section and
473 hence the code below would skip over absolute symbols. We can
474 still take advantage of the call to find_pc_section, though - the
475 object file still must match. In case we have separate debug
476 files, search both the file and its separate debug file. There's
477 no telling which one will have the minimal symbols. */
478
479 gdb_assert (section != NULL);
480
481 for (objfile = section->objfile;
482 objfile != NULL;
483 objfile = objfile_separate_debug_iterate (section->objfile, objfile))
484 {
485 /* If this objfile has a minimal symbol table, go search it using
486 a binary search. Note that a minimal symbol table always consists
487 of at least two symbols, a "real" symbol and the terminating
488 "null symbol". If there are no real symbols, then there is no
489 minimal symbol table at all. */
490
491 if (objfile->minimal_symbol_count > 0)
492 {
493 int best_zero_sized = -1;
494
495 msymbol = objfile->msymbols;
496 lo = 0;
497 hi = objfile->minimal_symbol_count - 1;
498
499 /* This code assumes that the minimal symbols are sorted by
500 ascending address values. If the pc value is greater than or
501 equal to the first symbol's address, then some symbol in this
502 minimal symbol table is a suitable candidate for being the
503 "best" symbol. This includes the last real symbol, for cases
504 where the pc value is larger than any address in this vector.
505
506 By iterating until the address associated with the current
507 hi index (the endpoint of the test interval) is less than
508 or equal to the desired pc value, we accomplish two things:
509 (1) the case where the pc value is larger than any minimal
510 symbol address is trivially solved, (2) the address associated
511 with the hi index is always the one we want when the interation
512 terminates. In essence, we are iterating the test interval
513 down until the pc value is pushed out of it from the high end.
514
515 Warning: this code is trickier than it would appear at first. */
516
517 /* Should also require that pc is <= end of objfile. FIXME! */
518 if (pc >= SYMBOL_VALUE_ADDRESS (&msymbol[lo]))
519 {
520 while (SYMBOL_VALUE_ADDRESS (&msymbol[hi]) > pc)
521 {
522 /* pc is still strictly less than highest address. */
523 /* Note "new" will always be >= lo. */
524 new = (lo + hi) / 2;
525 if ((SYMBOL_VALUE_ADDRESS (&msymbol[new]) >= pc) ||
526 (lo == new))
527 {
528 hi = new;
529 }
530 else
531 {
532 lo = new;
533 }
534 }
535
536 /* If we have multiple symbols at the same address, we want
537 hi to point to the last one. That way we can find the
538 right symbol if it has an index greater than hi. */
539 while (hi < objfile->minimal_symbol_count - 1
540 && (SYMBOL_VALUE_ADDRESS (&msymbol[hi])
541 == SYMBOL_VALUE_ADDRESS (&msymbol[hi + 1])))
542 hi++;
543
544 /* Skip various undesirable symbols. */
545 while (hi >= 0)
546 {
547 /* Skip any absolute symbols. This is apparently
548 what adb and dbx do, and is needed for the CM-5.
549 There are two known possible problems: (1) on
550 ELF, apparently end, edata, etc. are absolute.
551 Not sure ignoring them here is a big deal, but if
552 we want to use them, the fix would go in
553 elfread.c. (2) I think shared library entry
554 points on the NeXT are absolute. If we want
555 special handling for this it probably should be
556 triggered by a special mst_abs_or_lib or some
557 such. */
558
559 if (MSYMBOL_TYPE (&msymbol[hi]) == mst_abs)
560 {
561 hi--;
562 continue;
563 }
564
565 /* If SECTION was specified, skip any symbol from
566 wrong section. */
567 if (section
568 /* Some types of debug info, such as COFF,
569 don't fill the bfd_section member, so don't
570 throw away symbols on those platforms. */
571 && SYMBOL_OBJ_SECTION (&msymbol[hi]) != NULL
572 && (!matching_obj_sections
573 (SYMBOL_OBJ_SECTION (&msymbol[hi]), section)))
574 {
575 hi--;
576 continue;
577 }
578
579 /* If we are looking for a trampoline and this is a
580 text symbol, or the other way around, check the
581 preceeding symbol too. If they are otherwise
582 identical prefer that one. */
583 if (hi > 0
584 && MSYMBOL_TYPE (&msymbol[hi]) == other_type
585 && MSYMBOL_TYPE (&msymbol[hi - 1]) == want_type
586 && (MSYMBOL_SIZE (&msymbol[hi])
587 == MSYMBOL_SIZE (&msymbol[hi - 1]))
588 && (SYMBOL_VALUE_ADDRESS (&msymbol[hi])
589 == SYMBOL_VALUE_ADDRESS (&msymbol[hi - 1]))
590 && (SYMBOL_OBJ_SECTION (&msymbol[hi])
591 == SYMBOL_OBJ_SECTION (&msymbol[hi - 1])))
592 {
593 hi--;
594 continue;
595 }
596
597 /* If the minimal symbol has a zero size, save it
598 but keep scanning backwards looking for one with
599 a non-zero size. A zero size may mean that the
600 symbol isn't an object or function (e.g. a
601 label), or it may just mean that the size was not
602 specified. */
603 if (MSYMBOL_SIZE (&msymbol[hi]) == 0
604 && best_zero_sized == -1)
605 {
606 best_zero_sized = hi;
607 hi--;
608 continue;
609 }
610
611 /* If we are past the end of the current symbol, try
612 the previous symbol if it has a larger overlapping
613 size. This happens on i686-pc-linux-gnu with glibc;
614 the nocancel variants of system calls are inside
615 the cancellable variants, but both have sizes. */
616 if (hi > 0
617 && MSYMBOL_SIZE (&msymbol[hi]) != 0
618 && pc >= (SYMBOL_VALUE_ADDRESS (&msymbol[hi])
619 + MSYMBOL_SIZE (&msymbol[hi]))
620 && pc < (SYMBOL_VALUE_ADDRESS (&msymbol[hi - 1])
621 + MSYMBOL_SIZE (&msymbol[hi - 1])))
622 {
623 hi--;
624 continue;
625 }
626
627 /* Otherwise, this symbol must be as good as we're going
628 to get. */
629 break;
630 }
631
632 /* If HI has a zero size, and best_zero_sized is set,
633 then we had two or more zero-sized symbols; prefer
634 the first one we found (which may have a higher
635 address). Also, if we ran off the end, be sure
636 to back up. */
637 if (best_zero_sized != -1
638 && (hi < 0 || MSYMBOL_SIZE (&msymbol[hi]) == 0))
639 hi = best_zero_sized;
640
641 /* If the minimal symbol has a non-zero size, and this
642 PC appears to be outside the symbol's contents, then
643 refuse to use this symbol. If we found a zero-sized
644 symbol with an address greater than this symbol's,
645 use that instead. We assume that if symbols have
646 specified sizes, they do not overlap. */
647
648 if (hi >= 0
649 && MSYMBOL_SIZE (&msymbol[hi]) != 0
650 && pc >= (SYMBOL_VALUE_ADDRESS (&msymbol[hi])
651 + MSYMBOL_SIZE (&msymbol[hi])))
652 {
653 if (best_zero_sized != -1)
654 hi = best_zero_sized;
655 else
656 /* Go on to the next object file. */
657 continue;
658 }
659
660 /* The minimal symbol indexed by hi now is the best one in this
661 objfile's minimal symbol table. See if it is the best one
662 overall. */
663
664 if (hi >= 0
665 && ((best_symbol == NULL) ||
666 (SYMBOL_VALUE_ADDRESS (best_symbol) <
667 SYMBOL_VALUE_ADDRESS (&msymbol[hi]))))
668 {
669 best_symbol = &msymbol[hi];
670 }
671 }
672 }
673 }
674 return (best_symbol);
675 }
676
677 struct minimal_symbol *
678 lookup_minimal_symbol_by_pc_section (CORE_ADDR pc, struct obj_section *section)
679 {
680 if (section == NULL)
681 {
682 /* NOTE: cagney/2004-01-27: This was using find_pc_mapped_section to
683 force the section but that (well unless you're doing overlay
684 debugging) always returns NULL making the call somewhat useless. */
685 section = find_pc_section (pc);
686 if (section == NULL)
687 return NULL;
688 }
689 return lookup_minimal_symbol_by_pc_section_1 (pc, section, 0);
690 }
691
692 /* Backward compatibility: search through the minimal symbol table
693 for a matching PC (no section given). */
694
695 struct minimal_symbol *
696 lookup_minimal_symbol_by_pc (CORE_ADDR pc)
697 {
698 return lookup_minimal_symbol_by_pc_section (pc, NULL);
699 }
700
701 /* Return non-zero iff PC is in an STT_GNU_IFUNC function resolver. */
702
703 int
704 in_gnu_ifunc_stub (CORE_ADDR pc)
705 {
706 struct minimal_symbol *msymbol = lookup_minimal_symbol_by_pc (pc);
707
708 return msymbol && MSYMBOL_TYPE (msymbol) == mst_text_gnu_ifunc;
709 }
710
711 /* See elf_gnu_ifunc_resolve_addr for its real implementation. */
712
713 static CORE_ADDR
714 stub_gnu_ifunc_resolve_addr (struct gdbarch *gdbarch, CORE_ADDR pc)
715 {
716 error (_("GDB cannot resolve STT_GNU_IFUNC symbol at address %s without "
717 "the ELF support compiled in."),
718 paddress (gdbarch, pc));
719 }
720
721 /* See elf_gnu_ifunc_resolve_name for its real implementation. */
722
723 static int
724 stub_gnu_ifunc_resolve_name (const char *function_name,
725 CORE_ADDR *function_address_p)
726 {
727 error (_("GDB cannot resolve STT_GNU_IFUNC symbol \"%s\" without "
728 "the ELF support compiled in."),
729 function_name);
730 }
731
732 /* See elf_gnu_ifunc_fns for its real implementation. */
733
734 static const struct gnu_ifunc_fns stub_gnu_ifunc_fns =
735 {
736 stub_gnu_ifunc_resolve_addr,
737 stub_gnu_ifunc_resolve_name,
738 };
739
740 /* A placeholder for &elf_gnu_ifunc_fns. */
741
742 const struct gnu_ifunc_fns *gnu_ifunc_fns_p = &stub_gnu_ifunc_fns;
743
744 /* Find the minimal symbol named NAME, and return both the minsym
745 struct and its objfile. This only checks the linkage name. Sets
746 *OBJFILE_P and returns the minimal symbol, if it is found. If it
747 is not found, returns NULL. */
748
749 struct minimal_symbol *
750 lookup_minimal_symbol_and_objfile (const char *name,
751 struct objfile **objfile_p)
752 {
753 struct objfile *objfile;
754 unsigned int hash = msymbol_hash (name) % MINIMAL_SYMBOL_HASH_SIZE;
755
756 ALL_OBJFILES (objfile)
757 {
758 struct minimal_symbol *msym;
759
760 for (msym = objfile->msymbol_hash[hash];
761 msym != NULL;
762 msym = msym->hash_next)
763 {
764 if (strcmp (SYMBOL_LINKAGE_NAME (msym), name) == 0)
765 {
766 *objfile_p = objfile;
767 return msym;
768 }
769 }
770 }
771
772 return 0;
773 }
774 \f
775
776 /* Return leading symbol character for a BFD. If BFD is NULL,
777 return the leading symbol character from the main objfile. */
778
779 static int get_symbol_leading_char (bfd *);
780
781 static int
782 get_symbol_leading_char (bfd *abfd)
783 {
784 if (abfd != NULL)
785 return bfd_get_symbol_leading_char (abfd);
786 if (symfile_objfile != NULL && symfile_objfile->obfd != NULL)
787 return bfd_get_symbol_leading_char (symfile_objfile->obfd);
788 return 0;
789 }
790
791 /* Prepare to start collecting minimal symbols. Note that presetting
792 msym_bunch_index to BUNCH_SIZE causes the first call to save a minimal
793 symbol to allocate the memory for the first bunch. */
794
795 void
796 init_minimal_symbol_collection (void)
797 {
798 msym_count = 0;
799 msym_bunch = NULL;
800 msym_bunch_index = BUNCH_SIZE;
801 }
802
803 void
804 prim_record_minimal_symbol (const char *name, CORE_ADDR address,
805 enum minimal_symbol_type ms_type,
806 struct objfile *objfile)
807 {
808 int section;
809
810 switch (ms_type)
811 {
812 case mst_text:
813 case mst_text_gnu_ifunc:
814 case mst_file_text:
815 case mst_solib_trampoline:
816 section = SECT_OFF_TEXT (objfile);
817 break;
818 case mst_data:
819 case mst_file_data:
820 section = SECT_OFF_DATA (objfile);
821 break;
822 case mst_bss:
823 case mst_file_bss:
824 section = SECT_OFF_BSS (objfile);
825 break;
826 default:
827 section = -1;
828 }
829
830 prim_record_minimal_symbol_and_info (name, address, ms_type,
831 section, NULL, objfile);
832 }
833
834 /* Record a minimal symbol in the msym bunches. Returns the symbol
835 newly created. */
836
837 struct minimal_symbol *
838 prim_record_minimal_symbol_full (const char *name, int name_len, int copy_name,
839 CORE_ADDR address,
840 enum minimal_symbol_type ms_type,
841 int section,
842 asection *bfd_section,
843 struct objfile *objfile)
844 {
845 struct obj_section *obj_section;
846 struct msym_bunch *new;
847 struct minimal_symbol *msymbol;
848
849 /* Don't put gcc_compiled, __gnu_compiled_cplus, and friends into
850 the minimal symbols, because if there is also another symbol
851 at the same address (e.g. the first function of the file),
852 lookup_minimal_symbol_by_pc would have no way of getting the
853 right one. */
854 if (ms_type == mst_file_text && name[0] == 'g'
855 && (strcmp (name, GCC_COMPILED_FLAG_SYMBOL) == 0
856 || strcmp (name, GCC2_COMPILED_FLAG_SYMBOL) == 0))
857 return (NULL);
858
859 /* It's safe to strip the leading char here once, since the name
860 is also stored stripped in the minimal symbol table. */
861 if (name[0] == get_symbol_leading_char (objfile->obfd))
862 {
863 ++name;
864 --name_len;
865 }
866
867 if (ms_type == mst_file_text && strncmp (name, "__gnu_compiled", 14) == 0)
868 return (NULL);
869
870 if (msym_bunch_index == BUNCH_SIZE)
871 {
872 new = XCALLOC (1, struct msym_bunch);
873 msym_bunch_index = 0;
874 new->next = msym_bunch;
875 msym_bunch = new;
876 }
877 msymbol = &msym_bunch->contents[msym_bunch_index];
878 SYMBOL_SET_LANGUAGE (msymbol, language_auto);
879 SYMBOL_SET_NAMES (msymbol, name, name_len, copy_name, objfile);
880
881 SYMBOL_VALUE_ADDRESS (msymbol) = address;
882 SYMBOL_SECTION (msymbol) = section;
883 SYMBOL_OBJ_SECTION (msymbol) = NULL;
884
885 /* Find obj_section corresponding to bfd_section. */
886 if (bfd_section)
887 ALL_OBJFILE_OSECTIONS (objfile, obj_section)
888 {
889 if (obj_section->the_bfd_section == bfd_section)
890 {
891 SYMBOL_OBJ_SECTION (msymbol) = obj_section;
892 break;
893 }
894 }
895
896 MSYMBOL_TYPE (msymbol) = ms_type;
897 MSYMBOL_TARGET_FLAG_1 (msymbol) = 0;
898 MSYMBOL_TARGET_FLAG_2 (msymbol) = 0;
899 MSYMBOL_SIZE (msymbol) = 0;
900
901 /* The hash pointers must be cleared! If they're not,
902 add_minsym_to_hash_table will NOT add this msymbol to the hash table. */
903 msymbol->hash_next = NULL;
904 msymbol->demangled_hash_next = NULL;
905
906 msym_bunch_index++;
907 msym_count++;
908 OBJSTAT (objfile, n_minsyms++);
909 return msymbol;
910 }
911
912 /* Record a minimal symbol in the msym bunches. Returns the symbol
913 newly created. */
914
915 struct minimal_symbol *
916 prim_record_minimal_symbol_and_info (const char *name, CORE_ADDR address,
917 enum minimal_symbol_type ms_type,
918 int section,
919 asection *bfd_section,
920 struct objfile *objfile)
921 {
922 return prim_record_minimal_symbol_full (name, strlen (name), 1,
923 address, ms_type, section,
924 bfd_section, objfile);
925 }
926
927 /* Compare two minimal symbols by address and return a signed result based
928 on unsigned comparisons, so that we sort into unsigned numeric order.
929 Within groups with the same address, sort by name. */
930
931 static int
932 compare_minimal_symbols (const void *fn1p, const void *fn2p)
933 {
934 const struct minimal_symbol *fn1;
935 const struct minimal_symbol *fn2;
936
937 fn1 = (const struct minimal_symbol *) fn1p;
938 fn2 = (const struct minimal_symbol *) fn2p;
939
940 if (SYMBOL_VALUE_ADDRESS (fn1) < SYMBOL_VALUE_ADDRESS (fn2))
941 {
942 return (-1); /* addr 1 is less than addr 2. */
943 }
944 else if (SYMBOL_VALUE_ADDRESS (fn1) > SYMBOL_VALUE_ADDRESS (fn2))
945 {
946 return (1); /* addr 1 is greater than addr 2. */
947 }
948 else
949 /* addrs are equal: sort by name */
950 {
951 char *name1 = SYMBOL_LINKAGE_NAME (fn1);
952 char *name2 = SYMBOL_LINKAGE_NAME (fn2);
953
954 if (name1 && name2) /* both have names */
955 return strcmp (name1, name2);
956 else if (name2)
957 return 1; /* fn1 has no name, so it is "less". */
958 else if (name1) /* fn2 has no name, so it is "less". */
959 return -1;
960 else
961 return (0); /* Neither has a name, so they're equal. */
962 }
963 }
964
965 /* Discard the currently collected minimal symbols, if any. If we wish
966 to save them for later use, we must have already copied them somewhere
967 else before calling this function.
968
969 FIXME: We could allocate the minimal symbol bunches on their own
970 obstack and then simply blow the obstack away when we are done with
971 it. Is it worth the extra trouble though? */
972
973 static void
974 do_discard_minimal_symbols_cleanup (void *arg)
975 {
976 struct msym_bunch *next;
977
978 while (msym_bunch != NULL)
979 {
980 next = msym_bunch->next;
981 xfree (msym_bunch);
982 msym_bunch = next;
983 }
984 }
985
986 struct cleanup *
987 make_cleanup_discard_minimal_symbols (void)
988 {
989 return make_cleanup (do_discard_minimal_symbols_cleanup, 0);
990 }
991
992
993
994 /* Compact duplicate entries out of a minimal symbol table by walking
995 through the table and compacting out entries with duplicate addresses
996 and matching names. Return the number of entries remaining.
997
998 On entry, the table resides between msymbol[0] and msymbol[mcount].
999 On exit, it resides between msymbol[0] and msymbol[result_count].
1000
1001 When files contain multiple sources of symbol information, it is
1002 possible for the minimal symbol table to contain many duplicate entries.
1003 As an example, SVR4 systems use ELF formatted object files, which
1004 usually contain at least two different types of symbol tables (a
1005 standard ELF one and a smaller dynamic linking table), as well as
1006 DWARF debugging information for files compiled with -g.
1007
1008 Without compacting, the minimal symbol table for gdb itself contains
1009 over a 1000 duplicates, about a third of the total table size. Aside
1010 from the potential trap of not noticing that two successive entries
1011 identify the same location, this duplication impacts the time required
1012 to linearly scan the table, which is done in a number of places. So we
1013 just do one linear scan here and toss out the duplicates.
1014
1015 Note that we are not concerned here about recovering the space that
1016 is potentially freed up, because the strings themselves are allocated
1017 on the objfile_obstack, and will get automatically freed when the symbol
1018 table is freed. The caller can free up the unused minimal symbols at
1019 the end of the compacted region if their allocation strategy allows it.
1020
1021 Also note we only go up to the next to last entry within the loop
1022 and then copy the last entry explicitly after the loop terminates.
1023
1024 Since the different sources of information for each symbol may
1025 have different levels of "completeness", we may have duplicates
1026 that have one entry with type "mst_unknown" and the other with a
1027 known type. So if the one we are leaving alone has type mst_unknown,
1028 overwrite its type with the type from the one we are compacting out. */
1029
1030 static int
1031 compact_minimal_symbols (struct minimal_symbol *msymbol, int mcount,
1032 struct objfile *objfile)
1033 {
1034 struct minimal_symbol *copyfrom;
1035 struct minimal_symbol *copyto;
1036
1037 if (mcount > 0)
1038 {
1039 copyfrom = copyto = msymbol;
1040 while (copyfrom < msymbol + mcount - 1)
1041 {
1042 if (SYMBOL_VALUE_ADDRESS (copyfrom)
1043 == SYMBOL_VALUE_ADDRESS ((copyfrom + 1))
1044 && strcmp (SYMBOL_LINKAGE_NAME (copyfrom),
1045 SYMBOL_LINKAGE_NAME ((copyfrom + 1))) == 0)
1046 {
1047 if (MSYMBOL_TYPE ((copyfrom + 1)) == mst_unknown)
1048 {
1049 MSYMBOL_TYPE ((copyfrom + 1)) = MSYMBOL_TYPE (copyfrom);
1050 }
1051 copyfrom++;
1052 }
1053 else
1054 *copyto++ = *copyfrom++;
1055 }
1056 *copyto++ = *copyfrom++;
1057 mcount = copyto - msymbol;
1058 }
1059 return (mcount);
1060 }
1061
1062 /* Build (or rebuild) the minimal symbol hash tables. This is necessary
1063 after compacting or sorting the table since the entries move around
1064 thus causing the internal minimal_symbol pointers to become jumbled. */
1065
1066 static void
1067 build_minimal_symbol_hash_tables (struct objfile *objfile)
1068 {
1069 int i;
1070 struct minimal_symbol *msym;
1071
1072 /* Clear the hash tables. */
1073 for (i = 0; i < MINIMAL_SYMBOL_HASH_SIZE; i++)
1074 {
1075 objfile->msymbol_hash[i] = 0;
1076 objfile->msymbol_demangled_hash[i] = 0;
1077 }
1078
1079 /* Now, (re)insert the actual entries. */
1080 for (i = objfile->minimal_symbol_count, msym = objfile->msymbols;
1081 i > 0;
1082 i--, msym++)
1083 {
1084 msym->hash_next = 0;
1085 add_minsym_to_hash_table (msym, objfile->msymbol_hash);
1086
1087 msym->demangled_hash_next = 0;
1088 if (SYMBOL_SEARCH_NAME (msym) != SYMBOL_LINKAGE_NAME (msym))
1089 add_minsym_to_demangled_hash_table (msym,
1090 objfile->msymbol_demangled_hash);
1091 }
1092 }
1093
1094 /* Add the minimal symbols in the existing bunches to the objfile's official
1095 minimal symbol table. In most cases there is no minimal symbol table yet
1096 for this objfile, and the existing bunches are used to create one. Once
1097 in a while (for shared libraries for example), we add symbols (e.g. common
1098 symbols) to an existing objfile.
1099
1100 Because of the way minimal symbols are collected, we generally have no way
1101 of knowing what source language applies to any particular minimal symbol.
1102 Specifically, we have no way of knowing if the minimal symbol comes from a
1103 C++ compilation unit or not. So for the sake of supporting cached
1104 demangled C++ names, we have no choice but to try and demangle each new one
1105 that comes in. If the demangling succeeds, then we assume it is a C++
1106 symbol and set the symbol's language and demangled name fields
1107 appropriately. Note that in order to avoid unnecessary demanglings, and
1108 allocating obstack space that subsequently can't be freed for the demangled
1109 names, we mark all newly added symbols with language_auto. After
1110 compaction of the minimal symbols, we go back and scan the entire minimal
1111 symbol table looking for these new symbols. For each new symbol we attempt
1112 to demangle it, and if successful, record it as a language_cplus symbol
1113 and cache the demangled form on the symbol obstack. Symbols which don't
1114 demangle are marked as language_unknown symbols, which inhibits future
1115 attempts to demangle them if we later add more minimal symbols. */
1116
1117 void
1118 install_minimal_symbols (struct objfile *objfile)
1119 {
1120 int bindex;
1121 int mcount;
1122 struct msym_bunch *bunch;
1123 struct minimal_symbol *msymbols;
1124 int alloc_count;
1125
1126 if (msym_count > 0)
1127 {
1128 /* Allocate enough space in the obstack, into which we will gather the
1129 bunches of new and existing minimal symbols, sort them, and then
1130 compact out the duplicate entries. Once we have a final table,
1131 we will give back the excess space. */
1132
1133 alloc_count = msym_count + objfile->minimal_symbol_count + 1;
1134 obstack_blank (&objfile->objfile_obstack,
1135 alloc_count * sizeof (struct minimal_symbol));
1136 msymbols = (struct minimal_symbol *)
1137 obstack_base (&objfile->objfile_obstack);
1138
1139 /* Copy in the existing minimal symbols, if there are any. */
1140
1141 if (objfile->minimal_symbol_count)
1142 memcpy ((char *) msymbols, (char *) objfile->msymbols,
1143 objfile->minimal_symbol_count * sizeof (struct minimal_symbol));
1144
1145 /* Walk through the list of minimal symbol bunches, adding each symbol
1146 to the new contiguous array of symbols. Note that we start with the
1147 current, possibly partially filled bunch (thus we use the current
1148 msym_bunch_index for the first bunch we copy over), and thereafter
1149 each bunch is full. */
1150
1151 mcount = objfile->minimal_symbol_count;
1152
1153 for (bunch = msym_bunch; bunch != NULL; bunch = bunch->next)
1154 {
1155 for (bindex = 0; bindex < msym_bunch_index; bindex++, mcount++)
1156 msymbols[mcount] = bunch->contents[bindex];
1157 msym_bunch_index = BUNCH_SIZE;
1158 }
1159
1160 /* Sort the minimal symbols by address. */
1161
1162 qsort (msymbols, mcount, sizeof (struct minimal_symbol),
1163 compare_minimal_symbols);
1164
1165 /* Compact out any duplicates, and free up whatever space we are
1166 no longer using. */
1167
1168 mcount = compact_minimal_symbols (msymbols, mcount, objfile);
1169
1170 obstack_blank (&objfile->objfile_obstack,
1171 (mcount + 1 - alloc_count) * sizeof (struct minimal_symbol));
1172 msymbols = (struct minimal_symbol *)
1173 obstack_finish (&objfile->objfile_obstack);
1174
1175 /* We also terminate the minimal symbol table with a "null symbol",
1176 which is *not* included in the size of the table. This makes it
1177 easier to find the end of the table when we are handed a pointer
1178 to some symbol in the middle of it. Zero out the fields in the
1179 "null symbol" allocated at the end of the array. Note that the
1180 symbol count does *not* include this null symbol, which is why it
1181 is indexed by mcount and not mcount-1. */
1182
1183 SYMBOL_LINKAGE_NAME (&msymbols[mcount]) = NULL;
1184 SYMBOL_VALUE_ADDRESS (&msymbols[mcount]) = 0;
1185 MSYMBOL_TARGET_FLAG_1 (&msymbols[mcount]) = 0;
1186 MSYMBOL_TARGET_FLAG_2 (&msymbols[mcount]) = 0;
1187 MSYMBOL_SIZE (&msymbols[mcount]) = 0;
1188 MSYMBOL_TYPE (&msymbols[mcount]) = mst_unknown;
1189 SYMBOL_SET_LANGUAGE (&msymbols[mcount], language_unknown);
1190
1191 /* Attach the minimal symbol table to the specified objfile.
1192 The strings themselves are also located in the objfile_obstack
1193 of this objfile. */
1194
1195 objfile->minimal_symbol_count = mcount;
1196 objfile->msymbols = msymbols;
1197
1198 /* Try to guess the appropriate C++ ABI by looking at the names
1199 of the minimal symbols in the table. */
1200 {
1201 int i;
1202
1203 for (i = 0; i < mcount; i++)
1204 {
1205 /* If a symbol's name starts with _Z and was successfully
1206 demangled, then we can assume we've found a GNU v3 symbol.
1207 For now we set the C++ ABI globally; if the user is
1208 mixing ABIs then the user will need to "set cp-abi"
1209 manually. */
1210 const char *name = SYMBOL_LINKAGE_NAME (&objfile->msymbols[i]);
1211
1212 if (name[0] == '_' && name[1] == 'Z'
1213 && SYMBOL_DEMANGLED_NAME (&objfile->msymbols[i]) != NULL)
1214 {
1215 set_cp_abi_as_auto_default ("gnu-v3");
1216 break;
1217 }
1218 }
1219 }
1220
1221 /* Now build the hash tables; we can't do this incrementally
1222 at an earlier point since we weren't finished with the obstack
1223 yet. (And if the msymbol obstack gets moved, all the internal
1224 pointers to other msymbols need to be adjusted.) */
1225 build_minimal_symbol_hash_tables (objfile);
1226 }
1227 }
1228
1229 /* Sort all the minimal symbols in OBJFILE. */
1230
1231 void
1232 msymbols_sort (struct objfile *objfile)
1233 {
1234 qsort (objfile->msymbols, objfile->minimal_symbol_count,
1235 sizeof (struct minimal_symbol), compare_minimal_symbols);
1236 build_minimal_symbol_hash_tables (objfile);
1237 }
1238
1239 /* Check if PC is in a shared library trampoline code stub.
1240 Return minimal symbol for the trampoline entry or NULL if PC is not
1241 in a trampoline code stub. */
1242
1243 struct minimal_symbol *
1244 lookup_solib_trampoline_symbol_by_pc (CORE_ADDR pc)
1245 {
1246 struct obj_section *section = find_pc_section (pc);
1247 struct minimal_symbol *msymbol;
1248
1249 if (section == NULL)
1250 return NULL;
1251 msymbol = lookup_minimal_symbol_by_pc_section_1 (pc, section, 1);
1252
1253 if (msymbol != NULL && MSYMBOL_TYPE (msymbol) == mst_solib_trampoline)
1254 return msymbol;
1255 return NULL;
1256 }
1257
1258 /* If PC is in a shared library trampoline code stub, return the
1259 address of the `real' function belonging to the stub.
1260 Return 0 if PC is not in a trampoline code stub or if the real
1261 function is not found in the minimal symbol table.
1262
1263 We may fail to find the right function if a function with the
1264 same name is defined in more than one shared library, but this
1265 is considered bad programming style. We could return 0 if we find
1266 a duplicate function in case this matters someday. */
1267
1268 CORE_ADDR
1269 find_solib_trampoline_target (struct frame_info *frame, CORE_ADDR pc)
1270 {
1271 struct objfile *objfile;
1272 struct minimal_symbol *msymbol;
1273 struct minimal_symbol *tsymbol = lookup_solib_trampoline_symbol_by_pc (pc);
1274
1275 if (tsymbol != NULL)
1276 {
1277 ALL_MSYMBOLS (objfile, msymbol)
1278 {
1279 if ((MSYMBOL_TYPE (msymbol) == mst_text
1280 || MSYMBOL_TYPE (msymbol) == mst_text_gnu_ifunc)
1281 && strcmp (SYMBOL_LINKAGE_NAME (msymbol),
1282 SYMBOL_LINKAGE_NAME (tsymbol)) == 0)
1283 return SYMBOL_VALUE_ADDRESS (msymbol);
1284
1285 /* Also handle minimal symbols pointing to function descriptors. */
1286 if (MSYMBOL_TYPE (msymbol) == mst_data
1287 && strcmp (SYMBOL_LINKAGE_NAME (msymbol),
1288 SYMBOL_LINKAGE_NAME (tsymbol)) == 0)
1289 {
1290 CORE_ADDR func;
1291
1292 func = gdbarch_convert_from_func_ptr_addr
1293 (get_objfile_arch (objfile),
1294 SYMBOL_VALUE_ADDRESS (msymbol),
1295 &current_target);
1296
1297 /* Ignore data symbols that are not function descriptors. */
1298 if (func != SYMBOL_VALUE_ADDRESS (msymbol))
1299 return func;
1300 }
1301 }
1302 }
1303 return 0;
1304 }
This page took 0.077761 seconds and 4 git commands to generate.