Format gdb-gdb.py.in with autopep8
[external/binutils.git] / gdb / symtab.h
1 /* Symbol table definitions for GDB.
2
3    Copyright (C) 1986-2018 Free Software Foundation, Inc.
4
5    This file is part of GDB.
6
7    This program is free software; you can redistribute it and/or modify
8    it under the terms of the GNU General Public License as published by
9    the Free Software Foundation; either version 3 of the License, or
10    (at your option) any later version.
11
12    This program is distributed in the hope that it will be useful,
13    but WITHOUT ANY WARRANTY; without even the implied warranty of
14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15    GNU General Public License for more details.
16
17    You should have received a copy of the GNU General Public License
18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
19
20 #if !defined (SYMTAB_H)
21 #define SYMTAB_H 1
22
23 #include <array>
24 #include <vector>
25 #include <string>
26 #include "gdb_vecs.h"
27 #include "gdbtypes.h"
28 #include "common/enum-flags.h"
29 #include "common/function-view.h"
30 #include "common/gdb_optional.h"
31 #include "completer.h"
32
33 /* Opaque declarations.  */
34 struct ui_file;
35 struct frame_info;
36 struct symbol;
37 struct obstack;
38 struct objfile;
39 struct block;
40 struct blockvector;
41 struct axs_value;
42 struct agent_expr;
43 struct program_space;
44 struct language_defn;
45 struct common_block;
46 struct obj_section;
47 struct cmd_list_element;
48 class probe;
49 struct lookup_name_info;
50
51 /* How to match a lookup name against a symbol search name.  */
52 enum class symbol_name_match_type
53 {
54   /* Wild matching.  Matches unqualified symbol names in all
55      namespace/module/packages, etc.  */
56   WILD,
57
58   /* Full matching.  The lookup name indicates a fully-qualified name,
59      and only matches symbol search names in the specified
60      namespace/module/package.  */
61   FULL,
62
63   /* Search name matching.  This is like FULL, but the search name did
64      not come from the user; instead it is already a search name
65      retrieved from a SYMBOL_SEARCH_NAME/MSYMBOL_SEARCH_NAME call.
66      For Ada, this avoids re-encoding an already-encoded search name
67      (which would potentially incorrectly lowercase letters in the
68      linkage/search name that should remain uppercase).  For C++, it
69      avoids trying to demangle a name we already know is
70      demangled.  */
71   SEARCH_NAME,
72
73   /* Expression matching.  The same as FULL matching in most
74      languages.  The same as WILD matching in Ada.  */
75   EXPRESSION,
76 };
77
78 /* Hash the given symbol search name according to LANGUAGE's
79    rules.  */
80 extern unsigned int search_name_hash (enum language language,
81                                       const char *search_name);
82
83 /* Ada-specific bits of a lookup_name_info object.  This is lazily
84    constructed on demand.  */
85
86 class ada_lookup_name_info final
87 {
88  public:
89   /* Construct.  */
90   explicit ada_lookup_name_info (const lookup_name_info &lookup_name);
91
92   /* Compare SYMBOL_SEARCH_NAME with our lookup name, using MATCH_TYPE
93      as name match type.  Returns true if there's a match, false
94      otherwise.  If non-NULL, store the matching results in MATCH.  */
95   bool matches (const char *symbol_search_name,
96                 symbol_name_match_type match_type,
97                 completion_match_result *comp_match_res) const;
98
99   /* The Ada-encoded lookup name.  */
100   const std::string &lookup_name () const
101   { return m_encoded_name; }
102
103   /* Return true if we're supposed to be doing a wild match look
104      up.  */
105   bool wild_match_p () const
106   { return m_wild_match_p; }
107
108   /* Return true if we're looking up a name inside package
109      Standard.  */
110   bool standard_p () const
111   { return m_standard_p; }
112
113   /* Return true if doing a verbatim match.  */
114   bool verbatim_p () const
115   { return m_verbatim_p; }
116
117 private:
118   /* The Ada-encoded lookup name.  */
119   std::string m_encoded_name;
120
121   /* Whether the user-provided lookup name was Ada encoded.  If so,
122      then return encoded names in the 'matches' method's 'completion
123      match result' output.  */
124   bool m_encoded_p : 1;
125
126   /* True if really doing wild matching.  Even if the user requests
127      wild matching, some cases require full matching.  */
128   bool m_wild_match_p : 1;
129
130   /* True if doing a verbatim match.  This is true if the decoded
131      version of the symbol name is wrapped in '<'/'>'.  This is an
132      escape hatch users can use to look up symbols the Ada encoding
133      does not understand.  */
134   bool m_verbatim_p : 1;
135
136    /* True if the user specified a symbol name that is inside package
137       Standard.  Symbol names inside package Standard are handled
138       specially.  We always do a non-wild match of the symbol name
139       without the "standard__" prefix, and only search static and
140       global symbols.  This was primarily introduced in order to allow
141       the user to specifically access the standard exceptions using,
142       for instance, Standard.Constraint_Error when Constraint_Error is
143       ambiguous (due to the user defining its own Constraint_Error
144       entity inside its program).  */
145   bool m_standard_p : 1;
146 };
147
148 /* Language-specific bits of a lookup_name_info object, for languages
149    that do name searching using demangled names (C++/D/Go).  This is
150    lazily constructed on demand.  */
151
152 struct demangle_for_lookup_info final
153 {
154 public:
155   demangle_for_lookup_info (const lookup_name_info &lookup_name,
156                             language lang);
157
158   /* The demangled lookup name.  */
159   const std::string &lookup_name () const
160   { return m_demangled_name; }
161
162 private:
163   /* The demangled lookup name.  */
164   std::string m_demangled_name;
165 };
166
167 /* Object that aggregates all information related to a symbol lookup
168    name.  I.e., the name that is matched against the symbol's search
169    name.  Caches per-language information so that it doesn't require
170    recomputing it for every symbol comparison, like for example the
171    Ada encoded name and the symbol's name hash for a given language.
172    The object is conceptually immutable once constructed, and thus has
173    no setters.  This is to prevent some code path from tweaking some
174    property of the lookup name for some local reason and accidentally
175    altering the results of any continuing search(es).
176    lookup_name_info objects are generally passed around as a const
177    reference to reinforce that.  (They're not passed around by value
178    because they're not small.)  */
179 class lookup_name_info final
180 {
181  public:
182   /* Create a new object.  */
183   lookup_name_info (std::string name,
184                     symbol_name_match_type match_type,
185                     bool completion_mode = false,
186                     bool ignore_parameters = false)
187     : m_match_type (match_type),
188       m_completion_mode (completion_mode),
189       m_ignore_parameters (ignore_parameters),
190       m_name (std::move (name))
191   {}
192
193   /* Getters.  See description of each corresponding field.  */
194   symbol_name_match_type match_type () const { return m_match_type; }
195   bool completion_mode () const { return m_completion_mode; }
196   const std::string &name () const { return m_name; }
197   const bool ignore_parameters () const { return m_ignore_parameters; }
198
199   /* Return a version of this lookup name that is usable with
200      comparisons against symbols have no parameter info, such as
201      psymbols and GDB index symbols.  */
202   lookup_name_info make_ignore_params () const
203   {
204     return lookup_name_info (m_name, m_match_type, m_completion_mode,
205                              true /* ignore params */);
206   }
207
208   /* Get the search name hash for searches in language LANG.  */
209   unsigned int search_name_hash (language lang) const
210   {
211     /* Only compute each language's hash once.  */
212     if (!m_demangled_hashes_p[lang])
213       {
214         m_demangled_hashes[lang]
215           = ::search_name_hash (lang, language_lookup_name (lang).c_str ());
216         m_demangled_hashes_p[lang] = true;
217       }
218     return m_demangled_hashes[lang];
219   }
220
221   /* Get the search name for searches in language LANG.  */
222   const std::string &language_lookup_name (language lang) const
223   {
224     switch (lang)
225       {
226       case language_ada:
227         return ada ().lookup_name ();
228       case language_cplus:
229         return cplus ().lookup_name ();
230       case language_d:
231         return d ().lookup_name ();
232       case language_go:
233         return go ().lookup_name ();
234       default:
235         return m_name;
236       }
237   }
238
239   /* Get the Ada-specific lookup info.  */
240   const ada_lookup_name_info &ada () const
241   {
242     maybe_init (m_ada);
243     return *m_ada;
244   }
245
246   /* Get the C++-specific lookup info.  */
247   const demangle_for_lookup_info &cplus () const
248   {
249     maybe_init (m_cplus, language_cplus);
250     return *m_cplus;
251   }
252
253   /* Get the D-specific lookup info.  */
254   const demangle_for_lookup_info &d () const
255   {
256     maybe_init (m_d, language_d);
257     return *m_d;
258   }
259
260   /* Get the Go-specific lookup info.  */
261   const demangle_for_lookup_info &go () const
262   {
263     maybe_init (m_go, language_go);
264     return *m_go;
265   }
266
267   /* Get a reference to a lookup_name_info object that matches any
268      symbol name.  */
269   static const lookup_name_info &match_any ();
270
271 private:
272   /* Initialize FIELD, if not initialized yet.  */
273   template<typename Field, typename... Args>
274   void maybe_init (Field &field, Args&&... args) const
275   {
276     if (!field)
277       field.emplace (*this, std::forward<Args> (args)...);
278   }
279
280   /* The lookup info as passed to the ctor.  */
281   symbol_name_match_type m_match_type;
282   bool m_completion_mode;
283   bool m_ignore_parameters;
284   std::string m_name;
285
286   /* Language-specific info.  These fields are filled lazily the first
287      time a lookup is done in the corresponding language.  They're
288      mutable because lookup_name_info objects are typically passed
289      around by const reference (see intro), and they're conceptually
290      "cache" that can always be reconstructed from the non-mutable
291      fields.  */
292   mutable gdb::optional<ada_lookup_name_info> m_ada;
293   mutable gdb::optional<demangle_for_lookup_info> m_cplus;
294   mutable gdb::optional<demangle_for_lookup_info> m_d;
295   mutable gdb::optional<demangle_for_lookup_info> m_go;
296
297   /* The demangled hashes.  Stored in an array with one entry for each
298      possible language.  The second array records whether we've
299      already computed the each language's hash.  (These are separate
300      arrays instead of a single array of optional<unsigned> to avoid
301      alignment padding).  */
302   mutable std::array<unsigned int, nr_languages> m_demangled_hashes;
303   mutable std::array<bool, nr_languages> m_demangled_hashes_p {};
304 };
305
306 /* Comparison function for completion symbol lookup.
307
308    Returns true if the symbol name matches against LOOKUP_NAME.
309
310    SYMBOL_SEARCH_NAME should be a symbol's "search" name.
311
312    On success and if non-NULL, COMP_MATCH_RES->match is set to point
313    to the symbol name as should be presented to the user as a
314    completion match list element.  In most languages, this is the same
315    as the symbol's search name, but in some, like Ada, the display
316    name is dynamically computed within the comparison routine.
317
318    Also, on success and if non-NULL, COMP_MATCH_RES->match_for_lcd
319    points the part of SYMBOL_SEARCH_NAME that was considered to match
320    LOOKUP_NAME.  E.g., in C++, in linespec/wild mode, if the symbol is
321    "foo::function()" and LOOKUP_NAME is "function(", MATCH_FOR_LCD
322    points to "function()" inside SYMBOL_SEARCH_NAME.  */
323 typedef bool (symbol_name_matcher_ftype)
324   (const char *symbol_search_name,
325    const lookup_name_info &lookup_name,
326    completion_match_result *comp_match_res);
327
328 /* Some of the structures in this file are space critical.
329    The space-critical structures are:
330
331      struct general_symbol_info
332      struct symbol
333      struct partial_symbol
334
335    These structures are laid out to encourage good packing.
336    They use ENUM_BITFIELD and short int fields, and they order the
337    structure members so that fields less than a word are next
338    to each other so they can be packed together.  */
339
340 /* Rearranged: used ENUM_BITFIELD and rearranged field order in
341    all the space critical structures (plus struct minimal_symbol).
342    Memory usage dropped from 99360768 bytes to 90001408 bytes.
343    I measured this with before-and-after tests of
344    "HEAD-old-gdb -readnow HEAD-old-gdb" and
345    "HEAD-new-gdb -readnow HEAD-old-gdb" on native i686-pc-linux-gnu,
346    red hat linux 8, with LD_LIBRARY_PATH=/usr/lib/debug,
347    typing "maint space 1" at the first command prompt.
348
349    Here is another measurement (from andrew c):
350      # no /usr/lib/debug, just plain glibc, like a normal user
351      gdb HEAD-old-gdb
352      (gdb) break internal_error
353      (gdb) run
354      (gdb) maint internal-error
355      (gdb) backtrace
356      (gdb) maint space 1
357
358    gdb gdb_6_0_branch  2003-08-19  space used: 8896512
359    gdb HEAD            2003-08-19  space used: 8904704
360    gdb HEAD            2003-08-21  space used: 8396800 (+symtab.h)
361    gdb HEAD            2003-08-21  space used: 8265728 (+gdbtypes.h)
362
363    The third line shows the savings from the optimizations in symtab.h.
364    The fourth line shows the savings from the optimizations in
365    gdbtypes.h.  Both optimizations are in gdb HEAD now.
366
367    --chastain 2003-08-21  */
368
369 /* Define a structure for the information that is common to all symbol types,
370    including minimal symbols, partial symbols, and full symbols.  In a
371    multilanguage environment, some language specific information may need to
372    be recorded along with each symbol.  */
373
374 /* This structure is space critical.  See space comments at the top.  */
375
376 struct general_symbol_info
377 {
378   /* Name of the symbol.  This is a required field.  Storage for the
379      name is allocated on the objfile_obstack for the associated
380      objfile.  For languages like C++ that make a distinction between
381      the mangled name and demangled name, this is the mangled
382      name.  */
383
384   const char *name;
385
386   /* Value of the symbol.  Which member of this union to use, and what
387      it means, depends on what kind of symbol this is and its
388      SYMBOL_CLASS.  See comments there for more details.  All of these
389      are in host byte order (though what they point to might be in
390      target byte order, e.g. LOC_CONST_BYTES).  */
391
392   union
393   {
394     LONGEST ivalue;
395
396     const struct block *block;
397
398     const gdb_byte *bytes;
399
400     CORE_ADDR address;
401
402     /* A common block.  Used with LOC_COMMON_BLOCK.  */
403
404     const struct common_block *common_block;
405
406     /* For opaque typedef struct chain.  */
407
408     struct symbol *chain;
409   }
410   value;
411
412   /* Since one and only one language can apply, wrap the language specific
413      information inside a union.  */
414
415   union
416   {
417     /* A pointer to an obstack that can be used for storage associated
418        with this symbol.  This is only used by Ada, and only when the
419        'ada_mangled' field is zero.  */
420     struct obstack *obstack;
421
422     /* This is used by languages which wish to store a demangled name.
423        currently used by Ada, C++, and Objective C.  */
424     const char *demangled_name;
425   }
426   language_specific;
427
428   /* Record the source code language that applies to this symbol.
429      This is used to select one of the fields from the language specific
430      union above.  */
431
432   ENUM_BITFIELD(language) language : LANGUAGE_BITS;
433
434   /* This is only used by Ada.  If set, then the 'demangled_name' field
435      of language_specific is valid.  Otherwise, the 'obstack' field is
436      valid.  */
437   unsigned int ada_mangled : 1;
438
439   /* Which section is this symbol in?  This is an index into
440      section_offsets for this objfile.  Negative means that the symbol
441      does not get relocated relative to a section.  */
442
443   short section;
444 };
445
446 extern void symbol_set_demangled_name (struct general_symbol_info *,
447                                        const char *,
448                                        struct obstack *);
449
450 extern const char *symbol_get_demangled_name
451   (const struct general_symbol_info *);
452
453 extern CORE_ADDR symbol_overlayed_address (CORE_ADDR, struct obj_section *);
454
455 /* Note that all the following SYMBOL_* macros are used with the
456    SYMBOL argument being either a partial symbol or
457    a full symbol.  Both types have a ginfo field.  In particular
458    the SYMBOL_SET_LANGUAGE, SYMBOL_DEMANGLED_NAME, etc.
459    macros cannot be entirely substituted by
460    functions, unless the callers are changed to pass in the ginfo
461    field only, instead of the SYMBOL parameter.  */
462
463 #define SYMBOL_VALUE(symbol)            (symbol)->ginfo.value.ivalue
464 #define SYMBOL_VALUE_ADDRESS(symbol)    (symbol)->ginfo.value.address
465 #define SYMBOL_VALUE_BYTES(symbol)      (symbol)->ginfo.value.bytes
466 #define SYMBOL_VALUE_COMMON_BLOCK(symbol) (symbol)->ginfo.value.common_block
467 #define SYMBOL_BLOCK_VALUE(symbol)      (symbol)->ginfo.value.block
468 #define SYMBOL_VALUE_CHAIN(symbol)      (symbol)->ginfo.value.chain
469 #define SYMBOL_LANGUAGE(symbol)         (symbol)->ginfo.language
470 #define SYMBOL_SECTION(symbol)          (symbol)->ginfo.section
471 #define SYMBOL_OBJ_SECTION(objfile, symbol)                     \
472   (((symbol)->ginfo.section >= 0)                               \
473    ? (&(((objfile)->sections)[(symbol)->ginfo.section]))        \
474    : NULL)
475
476 /* Initializes the language dependent portion of a symbol
477    depending upon the language for the symbol.  */
478 #define SYMBOL_SET_LANGUAGE(symbol,language,obstack)    \
479   (symbol_set_language (&(symbol)->ginfo, (language), (obstack)))
480 extern void symbol_set_language (struct general_symbol_info *symbol,
481                                  enum language language,
482                                  struct obstack *obstack);
483
484 /* Set just the linkage name of a symbol; do not try to demangle
485    it.  Used for constructs which do not have a mangled name,
486    e.g. struct tags.  Unlike SYMBOL_SET_NAMES, linkage_name must
487    be terminated and either already on the objfile's obstack or
488    permanently allocated.  */
489 #define SYMBOL_SET_LINKAGE_NAME(symbol,linkage_name) \
490   (symbol)->ginfo.name = (linkage_name)
491
492 /* Set the linkage and natural names of a symbol, by demangling
493    the linkage name.  */
494 #define SYMBOL_SET_NAMES(symbol,linkage_name,len,copy_name,objfile)     \
495   symbol_set_names (&(symbol)->ginfo, linkage_name, len, copy_name, objfile)
496 extern void symbol_set_names (struct general_symbol_info *symbol,
497                               const char *linkage_name, int len, int copy_name,
498                               struct objfile *objfile);
499
500 /* Now come lots of name accessor macros.  Short version as to when to
501    use which: Use SYMBOL_NATURAL_NAME to refer to the name of the
502    symbol in the original source code.  Use SYMBOL_LINKAGE_NAME if you
503    want to know what the linker thinks the symbol's name is.  Use
504    SYMBOL_PRINT_NAME for output.  Use SYMBOL_DEMANGLED_NAME if you
505    specifically need to know whether SYMBOL_NATURAL_NAME and
506    SYMBOL_LINKAGE_NAME are different.  */
507
508 /* Return SYMBOL's "natural" name, i.e. the name that it was called in
509    the original source code.  In languages like C++ where symbols may
510    be mangled for ease of manipulation by the linker, this is the
511    demangled name.  */
512
513 #define SYMBOL_NATURAL_NAME(symbol) \
514   (symbol_natural_name (&(symbol)->ginfo))
515 extern const char *symbol_natural_name
516   (const struct general_symbol_info *symbol);
517
518 /* Return SYMBOL's name from the point of view of the linker.  In
519    languages like C++ where symbols may be mangled for ease of
520    manipulation by the linker, this is the mangled name; otherwise,
521    it's the same as SYMBOL_NATURAL_NAME.  */
522
523 #define SYMBOL_LINKAGE_NAME(symbol)     (symbol)->ginfo.name
524
525 /* Return the demangled name for a symbol based on the language for
526    that symbol.  If no demangled name exists, return NULL.  */
527 #define SYMBOL_DEMANGLED_NAME(symbol) \
528   (symbol_demangled_name (&(symbol)->ginfo))
529 extern const char *symbol_demangled_name
530   (const struct general_symbol_info *symbol);
531
532 /* Macro that returns a version of the name of a symbol that is
533    suitable for output.  In C++ this is the "demangled" form of the
534    name if demangle is on and the "mangled" form of the name if
535    demangle is off.  In other languages this is just the symbol name.
536    The result should never be NULL.  Don't use this for internal
537    purposes (e.g. storing in a hashtable): it's only suitable for output.
538
539    N.B. symbol may be anything with a ginfo member,
540    e.g., struct symbol or struct minimal_symbol.  */
541
542 #define SYMBOL_PRINT_NAME(symbol)                                       \
543   (demangle ? SYMBOL_NATURAL_NAME (symbol) : SYMBOL_LINKAGE_NAME (symbol))
544 extern int demangle;
545
546 /* Macro that returns the name to be used when sorting and searching symbols.
547    In C++, we search for the demangled form of a name,
548    and so sort symbols accordingly.  In Ada, however, we search by mangled
549    name.  If there is no distinct demangled name, then SYMBOL_SEARCH_NAME
550    returns the same value (same pointer) as SYMBOL_LINKAGE_NAME.  */
551 #define SYMBOL_SEARCH_NAME(symbol)                                       \
552    (symbol_search_name (&(symbol)->ginfo))
553 extern const char *symbol_search_name (const struct general_symbol_info *ginfo);
554
555 /* Return true if NAME matches the "search" name of SYMBOL, according
556    to the symbol's language.  */
557 #define SYMBOL_MATCHES_SEARCH_NAME(symbol, name)                       \
558   symbol_matches_search_name (&(symbol)->ginfo, (name))
559
560 /* Helper for SYMBOL_MATCHES_SEARCH_NAME that works with both symbols
561    and psymbols.  */
562 extern bool symbol_matches_search_name
563   (const struct general_symbol_info *gsymbol,
564    const lookup_name_info &name);
565
566 /* Compute the hash of the given symbol search name of a symbol of
567    language LANGUAGE.  */
568 extern unsigned int search_name_hash (enum language language,
569                                       const char *search_name);
570
571 /* Classification types for a minimal symbol.  These should be taken as
572    "advisory only", since if gdb can't easily figure out a
573    classification it simply selects mst_unknown.  It may also have to
574    guess when it can't figure out which is a better match between two
575    types (mst_data versus mst_bss) for example.  Since the minimal
576    symbol info is sometimes derived from the BFD library's view of a
577    file, we need to live with what information bfd supplies.  */
578
579 enum minimal_symbol_type
580 {
581   mst_unknown = 0,              /* Unknown type, the default */
582   mst_text,                     /* Generally executable instructions */
583
584   /* A GNU ifunc symbol, in the .text section.  GDB uses to know
585      whether the user is setting a breakpoint on a GNU ifunc function,
586      and thus GDB needs to actually set the breakpoint on the target
587      function.  It is also used to know whether the program stepped
588      into an ifunc resolver -- the resolver may get a separate
589      symbol/alias under a different name, but it'll have the same
590      address as the ifunc symbol.  */
591   mst_text_gnu_ifunc,           /* Executable code returning address
592                                    of executable code */
593
594   /* A GNU ifunc function descriptor symbol, in a data section
595      (typically ".opd").  Seen on architectures that use function
596      descriptors, like PPC64/ELFv1.  In this case, this symbol's value
597      is the address of the descriptor.  There'll be a corresponding
598      mst_text_gnu_ifunc synthetic symbol for the text/entry
599      address.  */
600   mst_data_gnu_ifunc,           /* Executable code returning address
601                                    of executable code */
602
603   mst_slot_got_plt,             /* GOT entries for .plt sections */
604   mst_data,                     /* Generally initialized data */
605   mst_bss,                      /* Generally uninitialized data */
606   mst_abs,                      /* Generally absolute (nonrelocatable) */
607   /* GDB uses mst_solib_trampoline for the start address of a shared
608      library trampoline entry.  Breakpoints for shared library functions
609      are put there if the shared library is not yet loaded.
610      After the shared library is loaded, lookup_minimal_symbol will
611      prefer the minimal symbol from the shared library (usually
612      a mst_text symbol) over the mst_solib_trampoline symbol, and the
613      breakpoints will be moved to their true address in the shared
614      library via breakpoint_re_set.  */
615   mst_solib_trampoline,         /* Shared library trampoline code */
616   /* For the mst_file* types, the names are only guaranteed to be unique
617      within a given .o file.  */
618   mst_file_text,                /* Static version of mst_text */
619   mst_file_data,                /* Static version of mst_data */
620   mst_file_bss,                 /* Static version of mst_bss */
621   nr_minsym_types
622 };
623
624 /* The number of enum minimal_symbol_type values, with some padding for
625    reasonable growth.  */
626 #define MINSYM_TYPE_BITS 4
627 gdb_static_assert (nr_minsym_types <= (1 << MINSYM_TYPE_BITS));
628
629 /* Define a simple structure used to hold some very basic information about
630    all defined global symbols (text, data, bss, abs, etc).  The only required
631    information is the general_symbol_info.
632
633    In many cases, even if a file was compiled with no special options for
634    debugging at all, as long as was not stripped it will contain sufficient
635    information to build a useful minimal symbol table using this structure.
636    Even when a file contains enough debugging information to build a full
637    symbol table, these minimal symbols are still useful for quickly mapping
638    between names and addresses, and vice versa.  They are also sometimes
639    used to figure out what full symbol table entries need to be read in.  */
640
641 struct minimal_symbol
642 {
643
644   /* The general symbol info required for all types of symbols.
645
646      The SYMBOL_VALUE_ADDRESS contains the address that this symbol
647      corresponds to.  */
648
649   struct general_symbol_info mginfo;
650
651   /* Size of this symbol.  dbx_end_psymtab in dbxread.c uses this
652      information to calculate the end of the partial symtab based on the
653      address of the last symbol plus the size of the last symbol.  */
654
655   unsigned long size;
656
657   /* Which source file is this symbol in?  Only relevant for mst_file_*.  */
658   const char *filename;
659
660   /* Classification type for this minimal symbol.  */
661
662   ENUM_BITFIELD(minimal_symbol_type) type : MINSYM_TYPE_BITS;
663
664   /* Non-zero if this symbol was created by gdb.
665      Such symbols do not appear in the output of "info var|fun".  */
666   unsigned int created_by_gdb : 1;
667
668   /* Two flag bits provided for the use of the target.  */
669   unsigned int target_flag_1 : 1;
670   unsigned int target_flag_2 : 1;
671
672   /* Nonzero iff the size of the minimal symbol has been set.
673      Symbol size information can sometimes not be determined, because
674      the object file format may not carry that piece of information.  */
675   unsigned int has_size : 1;
676
677   /* Minimal symbols with the same hash key are kept on a linked
678      list.  This is the link.  */
679
680   struct minimal_symbol *hash_next;
681
682   /* Minimal symbols are stored in two different hash tables.  This is
683      the `next' pointer for the demangled hash table.  */
684
685   struct minimal_symbol *demangled_hash_next;
686 };
687
688 #define MSYMBOL_TARGET_FLAG_1(msymbol)  (msymbol)->target_flag_1
689 #define MSYMBOL_TARGET_FLAG_2(msymbol)  (msymbol)->target_flag_2
690 #define MSYMBOL_SIZE(msymbol)           ((msymbol)->size + 0)
691 #define SET_MSYMBOL_SIZE(msymbol, sz)           \
692   do                                            \
693     {                                           \
694       (msymbol)->size = sz;                     \
695       (msymbol)->has_size = 1;                  \
696     } while (0)
697 #define MSYMBOL_HAS_SIZE(msymbol)       ((msymbol)->has_size + 0)
698 #define MSYMBOL_TYPE(msymbol)           (msymbol)->type
699
700 #define MSYMBOL_VALUE(symbol)           (symbol)->mginfo.value.ivalue
701 /* The unrelocated address of the minimal symbol.  */
702 #define MSYMBOL_VALUE_RAW_ADDRESS(symbol) ((symbol)->mginfo.value.address + 0)
703 /* The relocated address of the minimal symbol, using the section
704    offsets from OBJFILE.  */
705 #define MSYMBOL_VALUE_ADDRESS(objfile, symbol)                          \
706   ((symbol)->mginfo.value.address                                       \
707    + ANOFFSET ((objfile)->section_offsets, ((symbol)->mginfo.section)))
708 /* For a bound minsym, we can easily compute the address directly.  */
709 #define BMSYMBOL_VALUE_ADDRESS(symbol) \
710   MSYMBOL_VALUE_ADDRESS ((symbol).objfile, (symbol).minsym)
711 #define SET_MSYMBOL_VALUE_ADDRESS(symbol, new_value)    \
712   ((symbol)->mginfo.value.address = (new_value))
713 #define MSYMBOL_VALUE_BYTES(symbol)     (symbol)->mginfo.value.bytes
714 #define MSYMBOL_BLOCK_VALUE(symbol)     (symbol)->mginfo.value.block
715 #define MSYMBOL_VALUE_CHAIN(symbol)     (symbol)->mginfo.value.chain
716 #define MSYMBOL_LANGUAGE(symbol)        (symbol)->mginfo.language
717 #define MSYMBOL_SECTION(symbol)         (symbol)->mginfo.section
718 #define MSYMBOL_OBJ_SECTION(objfile, symbol)                    \
719   (((symbol)->mginfo.section >= 0)                              \
720    ? (&(((objfile)->sections)[(symbol)->mginfo.section]))       \
721    : NULL)
722
723 #define MSYMBOL_NATURAL_NAME(symbol) \
724   (symbol_natural_name (&(symbol)->mginfo))
725 #define MSYMBOL_LINKAGE_NAME(symbol)    (symbol)->mginfo.name
726 #define MSYMBOL_PRINT_NAME(symbol)                                      \
727   (demangle ? MSYMBOL_NATURAL_NAME (symbol) : MSYMBOL_LINKAGE_NAME (symbol))
728 #define MSYMBOL_DEMANGLED_NAME(symbol) \
729   (symbol_demangled_name (&(symbol)->mginfo))
730 #define MSYMBOL_SET_LANGUAGE(symbol,language,obstack)   \
731   (symbol_set_language (&(symbol)->mginfo, (language), (obstack)))
732 #define MSYMBOL_SEARCH_NAME(symbol)                                      \
733    (symbol_search_name (&(symbol)->mginfo))
734 #define MSYMBOL_SET_NAMES(symbol,linkage_name,len,copy_name,objfile)    \
735   symbol_set_names (&(symbol)->mginfo, linkage_name, len, copy_name, objfile)
736
737 #include "minsyms.h"
738
739 \f
740
741 /* Represent one symbol name; a variable, constant, function or typedef.  */
742
743 /* Different name domains for symbols.  Looking up a symbol specifies a
744    domain and ignores symbol definitions in other name domains.  */
745
746 typedef enum domain_enum_tag
747 {
748   /* UNDEF_DOMAIN is used when a domain has not been discovered or
749      none of the following apply.  This usually indicates an error either
750      in the symbol information or in gdb's handling of symbols.  */
751
752   UNDEF_DOMAIN,
753
754   /* VAR_DOMAIN is the usual domain.  In C, this contains variables,
755      function names, typedef names and enum type values.  */
756
757   VAR_DOMAIN,
758
759   /* STRUCT_DOMAIN is used in C to hold struct, union and enum type names.
760      Thus, if `struct foo' is used in a C program, it produces a symbol named
761      `foo' in the STRUCT_DOMAIN.  */
762
763   STRUCT_DOMAIN,
764
765   /* MODULE_DOMAIN is used in Fortran to hold module type names.  */
766
767   MODULE_DOMAIN,
768
769   /* LABEL_DOMAIN may be used for names of labels (for gotos).  */
770
771   LABEL_DOMAIN,
772
773   /* Fortran common blocks.  Their naming must be separate from VAR_DOMAIN.
774      They also always use LOC_COMMON_BLOCK.  */
775   COMMON_BLOCK_DOMAIN,
776
777   /* This must remain last.  */
778   NR_DOMAINS
779 } domain_enum;
780
781 /* The number of bits in a symbol used to represent the domain.  */
782
783 #define SYMBOL_DOMAIN_BITS 3
784 gdb_static_assert (NR_DOMAINS <= (1 << SYMBOL_DOMAIN_BITS));
785
786 extern const char *domain_name (domain_enum);
787
788 /* Searching domains, used for `search_symbols'.  Element numbers are
789    hardcoded in GDB, check all enum uses before changing it.  */
790
791 enum search_domain
792 {
793   /* Everything in VAR_DOMAIN minus FUNCTIONS_DOMAIN and
794      TYPES_DOMAIN.  */
795   VARIABLES_DOMAIN = 0,
796
797   /* All functions -- for some reason not methods, though.  */
798   FUNCTIONS_DOMAIN = 1,
799
800   /* All defined types */
801   TYPES_DOMAIN = 2,
802
803   /* Any type.  */
804   ALL_DOMAIN = 3
805 };
806
807 extern const char *search_domain_name (enum search_domain);
808
809 /* An address-class says where to find the value of a symbol.  */
810
811 enum address_class
812 {
813   /* Not used; catches errors.  */
814
815   LOC_UNDEF,
816
817   /* Value is constant int SYMBOL_VALUE, host byteorder.  */
818
819   LOC_CONST,
820
821   /* Value is at fixed address SYMBOL_VALUE_ADDRESS.  */
822
823   LOC_STATIC,
824
825   /* Value is in register.  SYMBOL_VALUE is the register number
826      in the original debug format.  SYMBOL_REGISTER_OPS holds a
827      function that can be called to transform this into the
828      actual register number this represents in a specific target
829      architecture (gdbarch).
830
831      For some symbol formats (stabs, for some compilers at least),
832      the compiler generates two symbols, an argument and a register.
833      In some cases we combine them to a single LOC_REGISTER in symbol
834      reading, but currently not for all cases (e.g. it's passed on the
835      stack and then loaded into a register).  */
836
837   LOC_REGISTER,
838
839   /* It's an argument; the value is at SYMBOL_VALUE offset in arglist.  */
840
841   LOC_ARG,
842
843   /* Value address is at SYMBOL_VALUE offset in arglist.  */
844
845   LOC_REF_ARG,
846
847   /* Value is in specified register.  Just like LOC_REGISTER except the
848      register holds the address of the argument instead of the argument
849      itself.  This is currently used for the passing of structs and unions
850      on sparc and hppa.  It is also used for call by reference where the
851      address is in a register, at least by mipsread.c.  */
852
853   LOC_REGPARM_ADDR,
854
855   /* Value is a local variable at SYMBOL_VALUE offset in stack frame.  */
856
857   LOC_LOCAL,
858
859   /* Value not used; definition in SYMBOL_TYPE.  Symbols in the domain
860      STRUCT_DOMAIN all have this class.  */
861
862   LOC_TYPEDEF,
863
864   /* Value is address SYMBOL_VALUE_ADDRESS in the code.  */
865
866   LOC_LABEL,
867
868   /* In a symbol table, value is SYMBOL_BLOCK_VALUE of a `struct block'.
869      In a partial symbol table, SYMBOL_VALUE_ADDRESS is the start address
870      of the block.  Function names have this class.  */
871
872   LOC_BLOCK,
873
874   /* Value is a constant byte-sequence pointed to by SYMBOL_VALUE_BYTES, in
875      target byte order.  */
876
877   LOC_CONST_BYTES,
878
879   /* Value is at fixed address, but the address of the variable has
880      to be determined from the minimal symbol table whenever the
881      variable is referenced.
882      This happens if debugging information for a global symbol is
883      emitted and the corresponding minimal symbol is defined
884      in another object file or runtime common storage.
885      The linker might even remove the minimal symbol if the global
886      symbol is never referenced, in which case the symbol remains
887      unresolved.
888      
889      GDB would normally find the symbol in the minimal symbol table if it will
890      not find it in the full symbol table.  But a reference to an external
891      symbol in a local block shadowing other definition requires full symbol
892      without possibly having its address available for LOC_STATIC.  Testcase
893      is provided as `gdb.dwarf2/dw2-unresolved.exp'.
894
895      This is also used for thread local storage (TLS) variables.  In this case,
896      the address of the TLS variable must be determined when the variable is
897      referenced, from the MSYMBOL_VALUE_RAW_ADDRESS, which is the offset
898      of the TLS variable in the thread local storage of the shared
899      library/object.  */
900
901   LOC_UNRESOLVED,
902
903   /* The variable does not actually exist in the program.
904      The value is ignored.  */
905
906   LOC_OPTIMIZED_OUT,
907
908   /* The variable's address is computed by a set of location
909      functions (see "struct symbol_computed_ops" below).  */
910   LOC_COMPUTED,
911
912   /* The variable uses general_symbol_info->value->common_block field.
913      It also always uses COMMON_BLOCK_DOMAIN.  */
914   LOC_COMMON_BLOCK,
915
916   /* Not used, just notes the boundary of the enum.  */
917   LOC_FINAL_VALUE
918 };
919
920 /* The number of bits needed for values in enum address_class, with some
921    padding for reasonable growth, and room for run-time registered address
922    classes. See symtab.c:MAX_SYMBOL_IMPLS.
923    This is a #define so that we can have a assertion elsewhere to
924    verify that we have reserved enough space for synthetic address
925    classes.  */
926 #define SYMBOL_ACLASS_BITS 5
927 gdb_static_assert (LOC_FINAL_VALUE <= (1 << SYMBOL_ACLASS_BITS));
928
929 /* The methods needed to implement LOC_COMPUTED.  These methods can
930    use the symbol's .aux_value for additional per-symbol information.
931
932    At present this is only used to implement location expressions.  */
933
934 struct symbol_computed_ops
935 {
936
937   /* Return the value of the variable SYMBOL, relative to the stack
938      frame FRAME.  If the variable has been optimized out, return
939      zero.
940
941      Iff `read_needs_frame (SYMBOL)' is not SYMBOL_NEEDS_FRAME, then
942      FRAME may be zero.  */
943
944   struct value *(*read_variable) (struct symbol * symbol,
945                                   struct frame_info * frame);
946
947   /* Read variable SYMBOL like read_variable at (callee) FRAME's function
948      entry.  SYMBOL should be a function parameter, otherwise
949      NO_ENTRY_VALUE_ERROR will be thrown.  */
950   struct value *(*read_variable_at_entry) (struct symbol *symbol,
951                                            struct frame_info *frame);
952
953   /* Find the "symbol_needs_kind" value for the given symbol.  This
954      value determines whether reading the symbol needs memory (e.g., a
955      global variable), just registers (a thread-local), or a frame (a
956      local variable).  */
957   enum symbol_needs_kind (*get_symbol_read_needs) (struct symbol * symbol);
958
959   /* Write to STREAM a natural-language description of the location of
960      SYMBOL, in the context of ADDR.  */
961   void (*describe_location) (struct symbol * symbol, CORE_ADDR addr,
962                              struct ui_file * stream);
963
964   /* Non-zero if this symbol's address computation is dependent on PC.  */
965   unsigned char location_has_loclist;
966
967   /* Tracepoint support.  Append bytecodes to the tracepoint agent
968      expression AX that push the address of the object SYMBOL.  Set
969      VALUE appropriately.  Note --- for objects in registers, this
970      needn't emit any code; as long as it sets VALUE properly, then
971      the caller will generate the right code in the process of
972      treating this as an lvalue or rvalue.  */
973
974   void (*tracepoint_var_ref) (struct symbol *symbol, struct agent_expr *ax,
975                               struct axs_value *value);
976
977   /* Generate C code to compute the location of SYMBOL.  The C code is
978      emitted to STREAM.  GDBARCH is the current architecture and PC is
979      the PC at which SYMBOL's location should be evaluated.
980      REGISTERS_USED is a vector indexed by register number; the
981      generator function should set an element in this vector if the
982      corresponding register is needed by the location computation.
983      The generated C code must assign the location to a local
984      variable; this variable's name is RESULT_NAME.  */
985
986   void (*generate_c_location) (struct symbol *symbol, string_file &stream,
987                                struct gdbarch *gdbarch,
988                                unsigned char *registers_used,
989                                CORE_ADDR pc, const char *result_name);
990
991 };
992
993 /* The methods needed to implement LOC_BLOCK for inferior functions.
994    These methods can use the symbol's .aux_value for additional
995    per-symbol information.  */
996
997 struct symbol_block_ops
998 {
999   /* Fill in *START and *LENGTH with DWARF block data of function
1000      FRAMEFUNC valid for inferior context address PC.  Set *LENGTH to
1001      zero if such location is not valid for PC; *START is left
1002      uninitialized in such case.  */
1003   void (*find_frame_base_location) (struct symbol *framefunc, CORE_ADDR pc,
1004                                     const gdb_byte **start, size_t *length);
1005
1006   /* Return the frame base address.  FRAME is the frame for which we want to
1007      compute the base address while FRAMEFUNC is the symbol for the
1008      corresponding function.  Return 0 on failure (FRAMEFUNC may not hold the
1009      information we need).
1010
1011      This method is designed to work with static links (nested functions
1012      handling).  Static links are function properties whose evaluation returns
1013      the frame base address for the enclosing frame.  However, there are
1014      multiple definitions for "frame base": the content of the frame base
1015      register, the CFA as defined by DWARF unwinding information, ...
1016
1017      So this specific method is supposed to compute the frame base address such
1018      as for nested fuctions, the static link computes the same address.  For
1019      instance, considering DWARF debugging information, the static link is
1020      computed with DW_AT_static_link and this method must be used to compute
1021      the corresponding DW_AT_frame_base attribute.  */
1022   CORE_ADDR (*get_frame_base) (struct symbol *framefunc,
1023                                struct frame_info *frame);
1024 };
1025
1026 /* Functions used with LOC_REGISTER and LOC_REGPARM_ADDR.  */
1027
1028 struct symbol_register_ops
1029 {
1030   int (*register_number) (struct symbol *symbol, struct gdbarch *gdbarch);
1031 };
1032
1033 /* Objects of this type are used to find the address class and the
1034    various computed ops vectors of a symbol.  */
1035
1036 struct symbol_impl
1037 {
1038   enum address_class aclass;
1039
1040   /* Used with LOC_COMPUTED.  */
1041   const struct symbol_computed_ops *ops_computed;
1042
1043   /* Used with LOC_BLOCK.  */
1044   const struct symbol_block_ops *ops_block;
1045
1046   /* Used with LOC_REGISTER and LOC_REGPARM_ADDR.  */
1047   const struct symbol_register_ops *ops_register;
1048 };
1049
1050 /* struct symbol has some subclasses.  This enum is used to
1051    differentiate between them.  */
1052
1053 enum symbol_subclass_kind
1054 {
1055   /* Plain struct symbol.  */
1056   SYMBOL_NONE,
1057
1058   /* struct template_symbol.  */
1059   SYMBOL_TEMPLATE,
1060
1061   /* struct rust_vtable_symbol.  */
1062   SYMBOL_RUST_VTABLE
1063 };
1064
1065 /* This structure is space critical.  See space comments at the top.  */
1066
1067 struct symbol
1068 {
1069
1070   /* The general symbol info required for all types of symbols.  */
1071
1072   struct general_symbol_info ginfo;
1073
1074   /* Data type of value */
1075
1076   struct type *type;
1077
1078   /* The owner of this symbol.
1079      Which one to use is defined by symbol.is_objfile_owned.  */
1080
1081   union
1082   {
1083     /* The symbol table containing this symbol.  This is the file associated
1084        with LINE.  It can be NULL during symbols read-in but it is never NULL
1085        during normal operation.  */
1086     struct symtab *symtab;
1087
1088     /* For types defined by the architecture.  */
1089     struct gdbarch *arch;
1090   } owner;
1091
1092   /* Domain code.  */
1093
1094   ENUM_BITFIELD(domain_enum_tag) domain : SYMBOL_DOMAIN_BITS;
1095
1096   /* Address class.  This holds an index into the 'symbol_impls'
1097      table.  The actual enum address_class value is stored there,
1098      alongside any per-class ops vectors.  */
1099
1100   unsigned int aclass_index : SYMBOL_ACLASS_BITS;
1101
1102   /* If non-zero then symbol is objfile-owned, use owner.symtab.
1103      Otherwise symbol is arch-owned, use owner.arch.  */
1104
1105   unsigned int is_objfile_owned : 1;
1106
1107   /* Whether this is an argument.  */
1108
1109   unsigned is_argument : 1;
1110
1111   /* Whether this is an inlined function (class LOC_BLOCK only).  */
1112   unsigned is_inlined : 1;
1113
1114   /* The concrete type of this symbol.  */
1115
1116   ENUM_BITFIELD (symbol_subclass_kind) subclass : 2;
1117
1118   /* Line number of this symbol's definition, except for inlined
1119      functions.  For an inlined function (class LOC_BLOCK and
1120      SYMBOL_INLINED set) this is the line number of the function's call
1121      site.  Inlined function symbols are not definitions, and they are
1122      never found by symbol table lookup.
1123      If this symbol is arch-owned, LINE shall be zero.
1124
1125      FIXME: Should we really make the assumption that nobody will try
1126      to debug files longer than 64K lines?  What about machine
1127      generated programs?  */
1128
1129   unsigned short line;
1130
1131   /* An arbitrary data pointer, allowing symbol readers to record
1132      additional information on a per-symbol basis.  Note that this data
1133      must be allocated using the same obstack as the symbol itself.  */
1134   /* So far it is only used by:
1135      LOC_COMPUTED: to find the location information
1136      LOC_BLOCK (DWARF2 function): information used internally by the
1137      DWARF 2 code --- specifically, the location expression for the frame
1138      base for this function.  */
1139   /* FIXME drow/2003-02-21: For the LOC_BLOCK case, it might be better
1140      to add a magic symbol to the block containing this information,
1141      or to have a generic debug info annotation slot for symbols.  */
1142
1143   void *aux_value;
1144
1145   struct symbol *hash_next;
1146 };
1147
1148 /* Several lookup functions return both a symbol and the block in which the
1149    symbol is found.  This structure is used in these cases.  */
1150
1151 struct block_symbol
1152 {
1153   /* The symbol that was found, or NULL if no symbol was found.  */
1154   struct symbol *symbol;
1155
1156   /* If SYMBOL is not NULL, then this is the block in which the symbol is
1157      defined.  */
1158   const struct block *block;
1159 };
1160
1161 extern const struct symbol_impl *symbol_impls;
1162
1163 /* For convenience.  All fields are NULL.  This means "there is no
1164    symbol".  */
1165 extern const struct block_symbol null_block_symbol;
1166
1167 /* Note: There is no accessor macro for symbol.owner because it is
1168    "private".  */
1169
1170 #define SYMBOL_DOMAIN(symbol)   (symbol)->domain
1171 #define SYMBOL_IMPL(symbol)             (symbol_impls[(symbol)->aclass_index])
1172 #define SYMBOL_ACLASS_INDEX(symbol)     (symbol)->aclass_index
1173 #define SYMBOL_CLASS(symbol)            (SYMBOL_IMPL (symbol).aclass)
1174 #define SYMBOL_OBJFILE_OWNED(symbol)    ((symbol)->is_objfile_owned)
1175 #define SYMBOL_IS_ARGUMENT(symbol)      (symbol)->is_argument
1176 #define SYMBOL_INLINED(symbol)          (symbol)->is_inlined
1177 #define SYMBOL_IS_CPLUS_TEMPLATE_FUNCTION(symbol) \
1178   (((symbol)->subclass) == SYMBOL_TEMPLATE)
1179 #define SYMBOL_TYPE(symbol)             (symbol)->type
1180 #define SYMBOL_LINE(symbol)             (symbol)->line
1181 #define SYMBOL_COMPUTED_OPS(symbol)     (SYMBOL_IMPL (symbol).ops_computed)
1182 #define SYMBOL_BLOCK_OPS(symbol)        (SYMBOL_IMPL (symbol).ops_block)
1183 #define SYMBOL_REGISTER_OPS(symbol)     (SYMBOL_IMPL (symbol).ops_register)
1184 #define SYMBOL_LOCATION_BATON(symbol)   (symbol)->aux_value
1185
1186 extern int register_symbol_computed_impl (enum address_class,
1187                                           const struct symbol_computed_ops *);
1188
1189 extern int register_symbol_block_impl (enum address_class aclass,
1190                                        const struct symbol_block_ops *ops);
1191
1192 extern int register_symbol_register_impl (enum address_class,
1193                                           const struct symbol_register_ops *);
1194
1195 /* Return the OBJFILE of SYMBOL.
1196    It is an error to call this if symbol.is_objfile_owned is false, which
1197    only happens for architecture-provided types.  */
1198
1199 extern struct objfile *symbol_objfile (const struct symbol *symbol);
1200
1201 /* Return the ARCH of SYMBOL.  */
1202
1203 extern struct gdbarch *symbol_arch (const struct symbol *symbol);
1204
1205 /* Return the SYMTAB of SYMBOL.
1206    It is an error to call this if symbol.is_objfile_owned is false, which
1207    only happens for architecture-provided types.  */
1208
1209 extern struct symtab *symbol_symtab (const struct symbol *symbol);
1210
1211 /* Set the symtab of SYMBOL to SYMTAB.
1212    It is an error to call this if symbol.is_objfile_owned is false, which
1213    only happens for architecture-provided types.  */
1214
1215 extern void symbol_set_symtab (struct symbol *symbol, struct symtab *symtab);
1216
1217 /* An instance of this type is used to represent a C++ template
1218    function.  A symbol is really of this type iff
1219    SYMBOL_IS_CPLUS_TEMPLATE_FUNCTION is true.  */
1220
1221 struct template_symbol : public symbol
1222 {
1223   /* The number of template arguments.  */
1224   int n_template_arguments;
1225
1226   /* The template arguments.  This is an array with
1227      N_TEMPLATE_ARGUMENTS elements.  */
1228   struct symbol **template_arguments;
1229 };
1230
1231 /* A symbol that represents a Rust virtual table object.  */
1232
1233 struct rust_vtable_symbol : public symbol
1234 {
1235   /* The concrete type for which this vtable was created; that is, in
1236      "impl Trait for Type", this is "Type".  */
1237   struct type *concrete_type;
1238 };
1239
1240 \f
1241 /* Each item represents a line-->pc (or the reverse) mapping.  This is
1242    somewhat more wasteful of space than one might wish, but since only
1243    the files which are actually debugged are read in to core, we don't
1244    waste much space.  */
1245
1246 struct linetable_entry
1247 {
1248   int line;
1249   CORE_ADDR pc;
1250 };
1251
1252 /* The order of entries in the linetable is significant.  They should
1253    be sorted by increasing values of the pc field.  If there is more than
1254    one entry for a given pc, then I'm not sure what should happen (and
1255    I not sure whether we currently handle it the best way).
1256
1257    Example: a C for statement generally looks like this
1258
1259    10   0x100   - for the init/test part of a for stmt.
1260    20   0x200
1261    30   0x300
1262    10   0x400   - for the increment part of a for stmt.
1263
1264    If an entry has a line number of zero, it marks the start of a PC
1265    range for which no line number information is available.  It is
1266    acceptable, though wasteful of table space, for such a range to be
1267    zero length.  */
1268
1269 struct linetable
1270 {
1271   int nitems;
1272
1273   /* Actually NITEMS elements.  If you don't like this use of the
1274      `struct hack', you can shove it up your ANSI (seriously, if the
1275      committee tells us how to do it, we can probably go along).  */
1276   struct linetable_entry item[1];
1277 };
1278
1279 /* How to relocate the symbols from each section in a symbol file.
1280    Each struct contains an array of offsets.
1281    The ordering and meaning of the offsets is file-type-dependent;
1282    typically it is indexed by section numbers or symbol types or
1283    something like that.
1284
1285    To give us flexibility in changing the internal representation
1286    of these offsets, the ANOFFSET macro must be used to insert and
1287    extract offset values in the struct.  */
1288
1289 struct section_offsets
1290 {
1291   CORE_ADDR offsets[1];         /* As many as needed.  */
1292 };
1293
1294 #define ANOFFSET(secoff, whichone) \
1295   ((whichone == -1)                       \
1296    ? (internal_error (__FILE__, __LINE__, \
1297                       _("Section index is uninitialized")), -1) \
1298    : secoff->offsets[whichone])
1299
1300 /* The size of a section_offsets table for N sections.  */
1301 #define SIZEOF_N_SECTION_OFFSETS(n) \
1302   (sizeof (struct section_offsets) \
1303    + sizeof (((struct section_offsets *) 0)->offsets) * ((n)-1))
1304
1305 /* Each source file or header is represented by a struct symtab.
1306    The name "symtab" is historical, another name for it is "filetab".
1307    These objects are chained through the `next' field.  */
1308
1309 struct symtab
1310 {
1311   /* Unordered chain of all filetabs in the compunit,  with the exception
1312      that the "main" source file is the first entry in the list.  */
1313
1314   struct symtab *next;
1315
1316   /* Backlink to containing compunit symtab.  */
1317
1318   struct compunit_symtab *compunit_symtab;
1319
1320   /* Table mapping core addresses to line numbers for this file.
1321      Can be NULL if none.  Never shared between different symtabs.  */
1322
1323   struct linetable *linetable;
1324
1325   /* Name of this source file.  This pointer is never NULL.  */
1326
1327   const char *filename;
1328
1329   /* Total number of lines found in source file.  */
1330
1331   int nlines;
1332
1333   /* line_charpos[N] is the position of the (N-1)th line of the
1334      source file.  "position" means something we can lseek() to; it
1335      is not guaranteed to be useful any other way.  */
1336
1337   int *line_charpos;
1338
1339   /* Language of this source file.  */
1340
1341   enum language language;
1342
1343   /* Full name of file as found by searching the source path.
1344      NULL if not yet known.  */
1345
1346   char *fullname;
1347 };
1348
1349 #define SYMTAB_COMPUNIT(symtab) ((symtab)->compunit_symtab)
1350 #define SYMTAB_LINETABLE(symtab) ((symtab)->linetable)
1351 #define SYMTAB_LANGUAGE(symtab) ((symtab)->language)
1352 #define SYMTAB_BLOCKVECTOR(symtab) \
1353   COMPUNIT_BLOCKVECTOR (SYMTAB_COMPUNIT (symtab))
1354 #define SYMTAB_OBJFILE(symtab) \
1355   COMPUNIT_OBJFILE (SYMTAB_COMPUNIT (symtab))
1356 #define SYMTAB_PSPACE(symtab) (SYMTAB_OBJFILE (symtab)->pspace)
1357 #define SYMTAB_DIRNAME(symtab) \
1358   COMPUNIT_DIRNAME (SYMTAB_COMPUNIT (symtab))
1359
1360 typedef struct symtab *symtab_ptr;
1361 DEF_VEC_P (symtab_ptr);
1362
1363 /* Compunit symtabs contain the actual "symbol table", aka blockvector, as well
1364    as the list of all source files (what gdb has historically associated with
1365    the term "symtab").
1366    Additional information is recorded here that is common to all symtabs in a
1367    compilation unit (DWARF or otherwise).
1368
1369    Example:
1370    For the case of a program built out of these files:
1371
1372    foo.c
1373      foo1.h
1374      foo2.h
1375    bar.c
1376      foo1.h
1377      bar.h
1378
1379    This is recorded as:
1380
1381    objfile -> foo.c(cu) -> bar.c(cu) -> NULL
1382                 |            |
1383                 v            v
1384               foo.c        bar.c
1385                 |            |
1386                 v            v
1387               foo1.h       foo1.h
1388                 |            |
1389                 v            v
1390               foo2.h       bar.h
1391                 |            |
1392                 v            v
1393                NULL         NULL
1394
1395    where "foo.c(cu)" and "bar.c(cu)" are struct compunit_symtab objects,
1396    and the files foo.c, etc. are struct symtab objects.  */
1397
1398 struct compunit_symtab
1399 {
1400   /* Unordered chain of all compunit symtabs of this objfile.  */
1401   struct compunit_symtab *next;
1402
1403   /* Object file from which this symtab information was read.  */
1404   struct objfile *objfile;
1405
1406   /* Name of the symtab.
1407      This is *not* intended to be a usable filename, and is
1408      for debugging purposes only.  */
1409   const char *name;
1410
1411   /* Unordered list of file symtabs, except that by convention the "main"
1412      source file (e.g., .c, .cc) is guaranteed to be first.
1413      Each symtab is a file, either the "main" source file (e.g., .c, .cc)
1414      or header (e.g., .h).  */
1415   struct symtab *filetabs;
1416
1417   /* Last entry in FILETABS list.
1418      Subfiles are added to the end of the list so they accumulate in order,
1419      with the main source subfile living at the front.
1420      The main reason is so that the main source file symtab is at the head
1421      of the list, and the rest appear in order for debugging convenience.  */
1422   struct symtab *last_filetab;
1423
1424   /* Non-NULL string that identifies the format of the debugging information,
1425      such as "stabs", "dwarf 1", "dwarf 2", "coff", etc.  This is mostly useful
1426      for automated testing of gdb but may also be information that is
1427      useful to the user.  */
1428   const char *debugformat;
1429
1430   /* String of producer version information, or NULL if we don't know.  */
1431   const char *producer;
1432
1433   /* Directory in which it was compiled, or NULL if we don't know.  */
1434   const char *dirname;
1435
1436   /* List of all symbol scope blocks for this symtab.  It is shared among
1437      all symtabs in a given compilation unit.  */
1438   const struct blockvector *blockvector;
1439
1440   /* Section in objfile->section_offsets for the blockvector and
1441      the linetable.  Probably always SECT_OFF_TEXT.  */
1442   int block_line_section;
1443
1444   /* Symtab has been compiled with both optimizations and debug info so that
1445      GDB may stop skipping prologues as variables locations are valid already
1446      at function entry points.  */
1447   unsigned int locations_valid : 1;
1448
1449   /* DWARF unwinder for this CU is valid even for epilogues (PC at the return
1450      instruction).  This is supported by GCC since 4.5.0.  */
1451   unsigned int epilogue_unwind_valid : 1;
1452
1453   /* struct call_site entries for this compilation unit or NULL.  */
1454   htab_t call_site_htab;
1455
1456   /* The macro table for this symtab.  Like the blockvector, this
1457      is shared between different symtabs in a given compilation unit.
1458      It's debatable whether it *should* be shared among all the symtabs in
1459      the given compilation unit, but it currently is.  */
1460   struct macro_table *macro_table;
1461
1462   /* If non-NULL, then this points to a NULL-terminated vector of
1463      included compunits.  When searching the static or global
1464      block of this compunit, the corresponding block of all
1465      included compunits will also be searched.  Note that this
1466      list must be flattened -- the symbol reader is responsible for
1467      ensuring that this vector contains the transitive closure of all
1468      included compunits.  */
1469   struct compunit_symtab **includes;
1470
1471   /* If this is an included compunit, this points to one includer
1472      of the table.  This user is considered the canonical compunit
1473      containing this one.  An included compunit may itself be
1474      included by another.  */
1475   struct compunit_symtab *user;
1476 };
1477
1478 #define COMPUNIT_OBJFILE(cust) ((cust)->objfile)
1479 #define COMPUNIT_FILETABS(cust) ((cust)->filetabs)
1480 #define COMPUNIT_DEBUGFORMAT(cust) ((cust)->debugformat)
1481 #define COMPUNIT_PRODUCER(cust) ((cust)->producer)
1482 #define COMPUNIT_DIRNAME(cust) ((cust)->dirname)
1483 #define COMPUNIT_BLOCKVECTOR(cust) ((cust)->blockvector)
1484 #define COMPUNIT_BLOCK_LINE_SECTION(cust) ((cust)->block_line_section)
1485 #define COMPUNIT_LOCATIONS_VALID(cust) ((cust)->locations_valid)
1486 #define COMPUNIT_EPILOGUE_UNWIND_VALID(cust) ((cust)->epilogue_unwind_valid)
1487 #define COMPUNIT_CALL_SITE_HTAB(cust) ((cust)->call_site_htab)
1488 #define COMPUNIT_MACRO_TABLE(cust) ((cust)->macro_table)
1489
1490 /* Iterate over all file tables (struct symtab) within a compunit.  */
1491
1492 #define ALL_COMPUNIT_FILETABS(cu, s) \
1493   for ((s) = (cu) -> filetabs; (s) != NULL; (s) = (s) -> next)
1494
1495 /* Return the primary symtab of CUST.  */
1496
1497 extern struct symtab *
1498   compunit_primary_filetab (const struct compunit_symtab *cust);
1499
1500 /* Return the language of CUST.  */
1501
1502 extern enum language compunit_language (const struct compunit_symtab *cust);
1503
1504 typedef struct compunit_symtab *compunit_symtab_ptr;
1505 DEF_VEC_P (compunit_symtab_ptr);
1506
1507 \f
1508
1509 /* The virtual function table is now an array of structures which have the
1510    form { int16 offset, delta; void *pfn; }. 
1511
1512    In normal virtual function tables, OFFSET is unused.
1513    DELTA is the amount which is added to the apparent object's base
1514    address in order to point to the actual object to which the
1515    virtual function should be applied.
1516    PFN is a pointer to the virtual function.
1517
1518    Note that this macro is g++ specific (FIXME).  */
1519
1520 #define VTBL_FNADDR_OFFSET 2
1521
1522 /* External variables and functions for the objects described above.  */
1523
1524 /* True if we are nested inside psymtab_to_symtab.  */
1525
1526 extern int currently_reading_symtab;
1527
1528 /* symtab.c lookup functions */
1529
1530 extern const char multiple_symbols_ask[];
1531 extern const char multiple_symbols_all[];
1532 extern const char multiple_symbols_cancel[];
1533
1534 const char *multiple_symbols_select_mode (void);
1535
1536 int symbol_matches_domain (enum language symbol_language, 
1537                            domain_enum symbol_domain,
1538                            domain_enum domain);
1539
1540 /* lookup a symbol table by source file name.  */
1541
1542 extern struct symtab *lookup_symtab (const char *);
1543
1544 /* An object of this type is passed as the 'is_a_field_of_this'
1545    argument to lookup_symbol and lookup_symbol_in_language.  */
1546
1547 struct field_of_this_result
1548 {
1549   /* The type in which the field was found.  If this is NULL then the
1550      symbol was not found in 'this'.  If non-NULL, then one of the
1551      other fields will be non-NULL as well.  */
1552
1553   struct type *type;
1554
1555   /* If the symbol was found as an ordinary field of 'this', then this
1556      is non-NULL and points to the particular field.  */
1557
1558   struct field *field;
1559
1560   /* If the symbol was found as a function field of 'this', then this
1561      is non-NULL and points to the particular field.  */
1562
1563   struct fn_fieldlist *fn_field;
1564 };
1565
1566 /* Find the definition for a specified symbol name NAME
1567    in domain DOMAIN in language LANGUAGE, visible from lexical block BLOCK
1568    if non-NULL or from global/static blocks if BLOCK is NULL.
1569    Returns the struct symbol pointer, or NULL if no symbol is found.
1570    C++: if IS_A_FIELD_OF_THIS is non-NULL on entry, check to see if
1571    NAME is a field of the current implied argument `this'.  If so fill in the
1572    fields of IS_A_FIELD_OF_THIS, otherwise the fields are set to NULL.
1573    The symbol's section is fixed up if necessary.  */
1574
1575 extern struct block_symbol
1576   lookup_symbol_in_language (const char *,
1577                              const struct block *,
1578                              const domain_enum,
1579                              enum language,
1580                              struct field_of_this_result *);
1581
1582 /* Same as lookup_symbol_in_language, but using the current language.  */
1583
1584 extern struct block_symbol lookup_symbol (const char *,
1585                                           const struct block *,
1586                                           const domain_enum,
1587                                           struct field_of_this_result *);
1588
1589 /* Find the definition for a specified symbol search name in domain
1590    DOMAIN, visible from lexical block BLOCK if non-NULL or from
1591    global/static blocks if BLOCK is NULL.  The passed-in search name
1592    should not come from the user; instead it should already be a
1593    search name as retrieved from a
1594    SYMBOL_SEARCH_NAME/MSYMBOL_SEARCH_NAME call.  See definition of
1595    symbol_name_match_type::SEARCH_NAME.  Returns the struct symbol
1596    pointer, or NULL if no symbol is found.  The symbol's section is
1597    fixed up if necessary.  */
1598
1599 extern struct block_symbol lookup_symbol_search_name (const char *search_name,
1600                                                       const struct block *block,
1601                                                       domain_enum domain);
1602
1603 /* A default version of lookup_symbol_nonlocal for use by languages
1604    that can't think of anything better to do.
1605    This implements the C lookup rules.  */
1606
1607 extern struct block_symbol
1608   basic_lookup_symbol_nonlocal (const struct language_defn *langdef,
1609                                 const char *,
1610                                 const struct block *,
1611                                 const domain_enum);
1612
1613 /* Some helper functions for languages that need to write their own
1614    lookup_symbol_nonlocal functions.  */
1615
1616 /* Lookup a symbol in the static block associated to BLOCK, if there
1617    is one; do nothing if BLOCK is NULL or a global block.
1618    Upon success fixes up the symbol's section if necessary.  */
1619
1620 extern struct block_symbol
1621   lookup_symbol_in_static_block (const char *name,
1622                                  const struct block *block,
1623                                  const domain_enum domain);
1624
1625 /* Search all static file-level symbols for NAME from DOMAIN.
1626    Upon success fixes up the symbol's section if necessary.  */
1627
1628 extern struct block_symbol lookup_static_symbol (const char *name,
1629                                                  const domain_enum domain);
1630
1631 /* Lookup a symbol in all files' global blocks.
1632
1633    If BLOCK is non-NULL then it is used for two things:
1634    1) If a target-specific lookup routine for libraries exists, then use the
1635       routine for the objfile of BLOCK, and
1636    2) The objfile of BLOCK is used to assist in determining the search order
1637       if the target requires it.
1638       See gdbarch_iterate_over_objfiles_in_search_order.
1639
1640    Upon success fixes up the symbol's section if necessary.  */
1641
1642 extern struct block_symbol
1643   lookup_global_symbol (const char *name,
1644                         const struct block *block,
1645                         const domain_enum domain);
1646
1647 /* Lookup a symbol in block BLOCK.
1648    Upon success fixes up the symbol's section if necessary.  */
1649
1650 extern struct symbol *
1651   lookup_symbol_in_block (const char *name,
1652                           symbol_name_match_type match_type,
1653                           const struct block *block,
1654                           const domain_enum domain);
1655
1656 /* Look up the `this' symbol for LANG in BLOCK.  Return the symbol if
1657    found, or NULL if not found.  */
1658
1659 extern struct block_symbol
1660   lookup_language_this (const struct language_defn *lang,
1661                         const struct block *block);
1662
1663 /* Lookup a [struct, union, enum] by name, within a specified block.  */
1664
1665 extern struct type *lookup_struct (const char *, const struct block *);
1666
1667 extern struct type *lookup_union (const char *, const struct block *);
1668
1669 extern struct type *lookup_enum (const char *, const struct block *);
1670
1671 /* from blockframe.c: */
1672
1673 /* lookup the function symbol corresponding to the address.  */
1674
1675 extern struct symbol *find_pc_function (CORE_ADDR);
1676
1677 /* lookup the function corresponding to the address and section.  */
1678
1679 extern struct symbol *find_pc_sect_function (CORE_ADDR, struct obj_section *);
1680
1681 /* Find the symbol at the given address.  Returns NULL if no symbol
1682    found.  Only exact matches for ADDRESS are considered.  */
1683
1684 extern struct symbol *find_symbol_at_address (CORE_ADDR);
1685
1686 /* lookup function from address, return name, start addr and end addr.  */
1687
1688 extern int find_pc_partial_function (CORE_ADDR, const char **, CORE_ADDR *,
1689                                      CORE_ADDR *);
1690
1691 /* Return the type of a function with its first instruction exactly at
1692    the PC address.  Return NULL otherwise.  */
1693
1694 extern struct type *find_function_type (CORE_ADDR pc);
1695
1696 /* See if we can figure out the function's actual type from the type
1697    that the resolver returns.  RESOLVER_FUNADDR is the address of the
1698    ifunc resolver.  */
1699
1700 extern struct type *find_gnu_ifunc_target_type (CORE_ADDR resolver_funaddr);
1701
1702 /* Find the GNU ifunc minimal symbol that matches SYM.  */
1703 extern bound_minimal_symbol find_gnu_ifunc (const symbol *sym);
1704
1705 extern void clear_pc_function_cache (void);
1706
1707 /* Expand symtab containing PC, SECTION if not already expanded.  */
1708
1709 extern void expand_symtab_containing_pc (CORE_ADDR, struct obj_section *);
1710
1711 /* lookup full symbol table by address.  */
1712
1713 extern struct compunit_symtab *find_pc_compunit_symtab (CORE_ADDR);
1714
1715 /* lookup full symbol table by address and section.  */
1716
1717 extern struct compunit_symtab *
1718   find_pc_sect_compunit_symtab (CORE_ADDR, struct obj_section *);
1719
1720 extern int find_pc_line_pc_range (CORE_ADDR, CORE_ADDR *, CORE_ADDR *);
1721
1722 extern void reread_symbols (void);
1723
1724 /* Look up a type named NAME in STRUCT_DOMAIN in the current language.
1725    The type returned must not be opaque -- i.e., must have at least one field
1726    defined.  */
1727
1728 extern struct type *lookup_transparent_type (const char *);
1729
1730 extern struct type *basic_lookup_transparent_type (const char *);
1731
1732 /* Macro for name of symbol to indicate a file compiled with gcc.  */
1733 #ifndef GCC_COMPILED_FLAG_SYMBOL
1734 #define GCC_COMPILED_FLAG_SYMBOL "gcc_compiled."
1735 #endif
1736
1737 /* Macro for name of symbol to indicate a file compiled with gcc2.  */
1738 #ifndef GCC2_COMPILED_FLAG_SYMBOL
1739 #define GCC2_COMPILED_FLAG_SYMBOL "gcc2_compiled."
1740 #endif
1741
1742 extern int in_gnu_ifunc_stub (CORE_ADDR pc);
1743
1744 /* Functions for resolving STT_GNU_IFUNC symbols which are implemented only
1745    for ELF symbol files.  */
1746
1747 struct gnu_ifunc_fns
1748 {
1749   /* See elf_gnu_ifunc_resolve_addr for its real implementation.  */
1750   CORE_ADDR (*gnu_ifunc_resolve_addr) (struct gdbarch *gdbarch, CORE_ADDR pc);
1751
1752   /* See elf_gnu_ifunc_resolve_name for its real implementation.  */
1753   int (*gnu_ifunc_resolve_name) (const char *function_name,
1754                                  CORE_ADDR *function_address_p);
1755
1756   /* See elf_gnu_ifunc_resolver_stop for its real implementation.  */
1757   void (*gnu_ifunc_resolver_stop) (struct breakpoint *b);
1758
1759   /* See elf_gnu_ifunc_resolver_return_stop for its real implementation.  */
1760   void (*gnu_ifunc_resolver_return_stop) (struct breakpoint *b);
1761 };
1762
1763 #define gnu_ifunc_resolve_addr gnu_ifunc_fns_p->gnu_ifunc_resolve_addr
1764 #define gnu_ifunc_resolve_name gnu_ifunc_fns_p->gnu_ifunc_resolve_name
1765 #define gnu_ifunc_resolver_stop gnu_ifunc_fns_p->gnu_ifunc_resolver_stop
1766 #define gnu_ifunc_resolver_return_stop \
1767   gnu_ifunc_fns_p->gnu_ifunc_resolver_return_stop
1768
1769 extern const struct gnu_ifunc_fns *gnu_ifunc_fns_p;
1770
1771 extern CORE_ADDR find_solib_trampoline_target (struct frame_info *, CORE_ADDR);
1772
1773 struct symtab_and_line
1774 {
1775   /* The program space of this sal.  */
1776   struct program_space *pspace = NULL;
1777
1778   struct symtab *symtab = NULL;
1779   struct symbol *symbol = NULL;
1780   struct obj_section *section = NULL;
1781   struct minimal_symbol *msymbol = NULL;
1782   /* Line number.  Line numbers start at 1 and proceed through symtab->nlines.
1783      0 is never a valid line number; it is used to indicate that line number
1784      information is not available.  */
1785   int line = 0;
1786
1787   CORE_ADDR pc = 0;
1788   CORE_ADDR end = 0;
1789   bool explicit_pc = false;
1790   bool explicit_line = false;
1791
1792   /* The probe associated with this symtab_and_line.  */
1793   probe *prob = NULL;
1794   /* If PROBE is not NULL, then this is the objfile in which the probe
1795      originated.  */
1796   struct objfile *objfile = NULL;
1797 };
1798
1799 \f
1800
1801 /* Given a pc value, return line number it is in.  Second arg nonzero means
1802    if pc is on the boundary use the previous statement's line number.  */
1803
1804 extern struct symtab_and_line find_pc_line (CORE_ADDR, int);
1805
1806 /* Same function, but specify a section as well as an address.  */
1807
1808 extern struct symtab_and_line find_pc_sect_line (CORE_ADDR,
1809                                                  struct obj_section *, int);
1810
1811 /* Wrapper around find_pc_line to just return the symtab.  */
1812
1813 extern struct symtab *find_pc_line_symtab (CORE_ADDR);
1814
1815 /* Given a symtab and line number, return the pc there.  */
1816
1817 extern int find_line_pc (struct symtab *, int, CORE_ADDR *);
1818
1819 extern int find_line_pc_range (struct symtab_and_line, CORE_ADDR *,
1820                                CORE_ADDR *);
1821
1822 extern void resolve_sal_pc (struct symtab_and_line *);
1823
1824 /* solib.c */
1825
1826 extern void clear_solib (void);
1827
1828 /* source.c */
1829
1830 extern int identify_source_line (struct symtab *, int, int, CORE_ADDR);
1831
1832 /* Flags passed as 4th argument to print_source_lines.  */
1833
1834 enum print_source_lines_flag
1835   {
1836     /* Do not print an error message.  */
1837     PRINT_SOURCE_LINES_NOERROR = (1 << 0),
1838
1839     /* Print the filename in front of the source lines.  */
1840     PRINT_SOURCE_LINES_FILENAME = (1 << 1)
1841   };
1842 DEF_ENUM_FLAGS_TYPE (enum print_source_lines_flag, print_source_lines_flags);
1843
1844 extern void print_source_lines (struct symtab *, int, int,
1845                                 print_source_lines_flags);
1846
1847 extern void forget_cached_source_info_for_objfile (struct objfile *);
1848 extern void forget_cached_source_info (void);
1849
1850 extern void select_source_symtab (struct symtab *);
1851
1852 /* The reason we're calling into a completion match list collector
1853    function.  */
1854 enum class complete_symbol_mode
1855   {
1856     /* Completing an expression.  */
1857     EXPRESSION,
1858
1859     /* Completing a linespec.  */
1860     LINESPEC,
1861   };
1862
1863 extern void default_collect_symbol_completion_matches_break_on
1864   (completion_tracker &tracker,
1865    complete_symbol_mode mode,
1866    symbol_name_match_type name_match_type,
1867    const char *text, const char *word, const char *break_on,
1868    enum type_code code);
1869 extern void default_collect_symbol_completion_matches
1870   (completion_tracker &tracker,
1871    complete_symbol_mode,
1872    symbol_name_match_type name_match_type,
1873    const char *,
1874    const char *,
1875    enum type_code);
1876 extern void collect_symbol_completion_matches
1877   (completion_tracker &tracker,
1878    complete_symbol_mode mode,
1879    symbol_name_match_type name_match_type,
1880    const char *, const char *);
1881 extern void collect_symbol_completion_matches_type (completion_tracker &tracker,
1882                                                     const char *, const char *,
1883                                                     enum type_code);
1884
1885 extern void collect_file_symbol_completion_matches
1886   (completion_tracker &tracker,
1887    complete_symbol_mode,
1888    symbol_name_match_type name_match_type,
1889    const char *, const char *, const char *);
1890
1891 extern completion_list
1892   make_source_files_completion_list (const char *, const char *);
1893
1894 /* Return whether SYM is a function/method, as opposed to a data symbol.  */
1895
1896 extern bool symbol_is_function_or_method (symbol *sym);
1897
1898 /* Return whether MSYMBOL is a function/method, as opposed to a data
1899    symbol */
1900
1901 extern bool symbol_is_function_or_method (minimal_symbol *msymbol);
1902
1903 /* Return whether SYM should be skipped in completion mode MODE.  In
1904    linespec mode, we're only interested in functions/methods.  */
1905
1906 template<typename Symbol>
1907 static bool
1908 completion_skip_symbol (complete_symbol_mode mode, Symbol *sym)
1909 {
1910   return (mode == complete_symbol_mode::LINESPEC
1911           && !symbol_is_function_or_method (sym));
1912 }
1913
1914 /* symtab.c */
1915
1916 int matching_obj_sections (struct obj_section *, struct obj_section *);
1917
1918 extern struct symtab *find_line_symtab (struct symtab *, int, int *, int *);
1919
1920 /* Given a function symbol SYM, find the symtab and line for the start
1921    of the function.  If FUNFIRSTLINE is true, we want the first line
1922    of real code inside the function.  */
1923 extern symtab_and_line find_function_start_sal (symbol *sym, bool
1924                                                 funfirstline);
1925
1926 /* Same, but start with a function address/section instead of a
1927    symbol.  */
1928 extern symtab_and_line find_function_start_sal (CORE_ADDR func_addr,
1929                                                 obj_section *section,
1930                                                 bool funfirstline);
1931
1932 extern void skip_prologue_sal (struct symtab_and_line *);
1933
1934 /* symtab.c */
1935
1936 extern CORE_ADDR skip_prologue_using_sal (struct gdbarch *gdbarch,
1937                                           CORE_ADDR func_addr);
1938
1939 extern struct symbol *fixup_symbol_section (struct symbol *,
1940                                             struct objfile *);
1941
1942 /* If MSYMBOL is an text symbol, look for a function debug symbol with
1943    the same address.  Returns NULL if not found.  This is necessary in
1944    case a function is an alias to some other function, because debug
1945    information is only emitted for the alias target function's
1946    definition, not for the alias.  */
1947 extern symbol *find_function_alias_target (bound_minimal_symbol msymbol);
1948
1949 /* Symbol searching */
1950 /* Note: struct symbol_search, search_symbols, et.al. are declared here,
1951    instead of making them local to symtab.c, for gdbtk's sake.  */
1952
1953 /* When using search_symbols, a vector of the following structs is
1954    returned.  */
1955 struct symbol_search
1956 {
1957   symbol_search (int block_, struct symbol *symbol_)
1958     : block (block_),
1959       symbol (symbol_)
1960   {
1961     msymbol.minsym = nullptr;
1962     msymbol.objfile = nullptr;
1963   }
1964
1965   symbol_search (int block_, struct minimal_symbol *minsym,
1966                  struct objfile *objfile)
1967     : block (block_),
1968       symbol (nullptr)
1969   {
1970     msymbol.minsym = minsym;
1971     msymbol.objfile = objfile;
1972   }
1973
1974   bool operator< (const symbol_search &other) const
1975   {
1976     return compare_search_syms (*this, other) < 0;
1977   }
1978
1979   bool operator== (const symbol_search &other) const
1980   {
1981     return compare_search_syms (*this, other) == 0;
1982   }
1983
1984   /* The block in which the match was found.  Could be, for example,
1985      STATIC_BLOCK or GLOBAL_BLOCK.  */
1986   int block;
1987
1988   /* Information describing what was found.
1989
1990      If symbol is NOT NULL, then information was found for this match.  */
1991   struct symbol *symbol;
1992
1993   /* If msymbol is non-null, then a match was made on something for
1994      which only minimal_symbols exist.  */
1995   struct bound_minimal_symbol msymbol;
1996
1997 private:
1998
1999   static int compare_search_syms (const symbol_search &sym_a,
2000                                   const symbol_search &sym_b);
2001 };
2002
2003 extern std::vector<symbol_search> search_symbols (const char *,
2004                                                   enum search_domain, int,
2005                                                   const char **);
2006
2007 /* The name of the ``main'' function.
2008    FIXME: cagney/2001-03-20: Can't make main_name() const since some
2009    of the calling code currently assumes that the string isn't
2010    const.  */
2011 extern /*const */ char *main_name (void);
2012 extern enum language main_language (void);
2013
2014 /* Lookup symbol NAME from DOMAIN in MAIN_OBJFILE's global blocks.
2015    This searches MAIN_OBJFILE as well as any associated separate debug info
2016    objfiles of MAIN_OBJFILE.
2017    Upon success fixes up the symbol's section if necessary.  */
2018
2019 extern struct block_symbol
2020   lookup_global_symbol_from_objfile (struct objfile *main_objfile,
2021                                      const char *name,
2022                                      const domain_enum domain);
2023
2024 /* Return 1 if the supplied producer string matches the ARM RealView
2025    compiler (armcc).  */
2026 int producer_is_realview (const char *producer);
2027
2028 void fixup_section (struct general_symbol_info *ginfo,
2029                     CORE_ADDR addr, struct objfile *objfile);
2030
2031 /* Look up objfile containing BLOCK.  */
2032
2033 struct objfile *lookup_objfile_from_block (const struct block *block);
2034
2035 extern unsigned int symtab_create_debug;
2036
2037 extern unsigned int symbol_lookup_debug;
2038
2039 extern int basenames_may_differ;
2040
2041 int compare_filenames_for_search (const char *filename,
2042                                   const char *search_name);
2043
2044 int compare_glob_filenames_for_search (const char *filename,
2045                                        const char *search_name);
2046
2047 bool iterate_over_some_symtabs (const char *name,
2048                                 const char *real_path,
2049                                 struct compunit_symtab *first,
2050                                 struct compunit_symtab *after_last,
2051                                 gdb::function_view<bool (symtab *)> callback);
2052
2053 void iterate_over_symtabs (const char *name,
2054                            gdb::function_view<bool (symtab *)> callback);
2055
2056
2057 std::vector<CORE_ADDR> find_pcs_for_symtab_line
2058     (struct symtab *symtab, int line, struct linetable_entry **best_entry);
2059
2060 /* Prototype for callbacks for LA_ITERATE_OVER_SYMBOLS.  The callback
2061    is called once per matching symbol SYM.  The callback should return
2062    true to indicate that LA_ITERATE_OVER_SYMBOLS should continue
2063    iterating, or false to indicate that the iteration should end.  */
2064
2065 typedef bool (symbol_found_callback_ftype) (symbol *sym);
2066
2067 void iterate_over_symbols (const struct block *block,
2068                            const lookup_name_info &name,
2069                            const domain_enum domain,
2070                            gdb::function_view<symbol_found_callback_ftype> callback);
2071
2072 /* Storage type used by demangle_for_lookup.  demangle_for_lookup
2073    either returns a const char * pointer that points to either of the
2074    fields of this type, or a pointer to the input NAME.  This is done
2075    this way because the underlying functions that demangle_for_lookup
2076    calls either return a std::string (e.g., cp_canonicalize_string) or
2077    a malloc'ed buffer (libiberty's demangled), and we want to avoid
2078    unnecessary reallocation/string copying.  */
2079 class demangle_result_storage
2080 {
2081 public:
2082
2083   /* Swap the std::string storage with STR, and return a pointer to
2084      the beginning of the new string.  */
2085   const char *swap_string (std::string &str)
2086   {
2087     std::swap (m_string, str);
2088     return m_string.c_str ();
2089   }
2090
2091   /* Set the malloc storage to now point at PTR.  Any previous malloc
2092      storage is released.  */
2093   const char *set_malloc_ptr (char *ptr)
2094   {
2095     m_malloc.reset (ptr);
2096     return ptr;
2097   }
2098
2099 private:
2100
2101   /* The storage.  */
2102   std::string m_string;
2103   gdb::unique_xmalloc_ptr<char> m_malloc;
2104 };
2105
2106 const char *
2107   demangle_for_lookup (const char *name, enum language lang,
2108                        demangle_result_storage &storage);
2109
2110 struct symbol *allocate_symbol (struct objfile *);
2111
2112 void initialize_objfile_symbol (struct symbol *);
2113
2114 struct template_symbol *allocate_template_symbol (struct objfile *);
2115
2116 /* Test to see if the symbol of language SYMBOL_LANGUAGE specified by
2117    SYMNAME (which is already demangled for C++ symbols) matches
2118    SYM_TEXT in the first SYM_TEXT_LEN characters.  If so, add it to
2119    the current completion list.  */
2120 void completion_list_add_name (completion_tracker &tracker,
2121                                language symbol_language,
2122                                const char *symname,
2123                                const lookup_name_info &lookup_name,
2124                                const char *text, const char *word);
2125
2126 #endif /* !defined(SYMTAB_H) */