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