gdb/
[external/binutils.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 }