Remove DEF_VECs from symtab.h
[deliverable/binutils-gdb.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 /* Compunit symtabs contain the actual "symbol table", aka blockvector, as well
1361 as the list of all source files (what gdb has historically associated with
1362 the term "symtab").
1363 Additional information is recorded here that is common to all symtabs in a
1364 compilation unit (DWARF or otherwise).
1365
1366 Example:
1367 For the case of a program built out of these files:
1368
1369 foo.c
1370 foo1.h
1371 foo2.h
1372 bar.c
1373 foo1.h
1374 bar.h
1375
1376 This is recorded as:
1377
1378 objfile -> foo.c(cu) -> bar.c(cu) -> NULL
1379 | |
1380 v v
1381 foo.c bar.c
1382 | |
1383 v v
1384 foo1.h foo1.h
1385 | |
1386 v v
1387 foo2.h bar.h
1388 | |
1389 v v
1390 NULL NULL
1391
1392 where "foo.c(cu)" and "bar.c(cu)" are struct compunit_symtab objects,
1393 and the files foo.c, etc. are struct symtab objects. */
1394
1395 struct compunit_symtab
1396 {
1397 /* Unordered chain of all compunit symtabs of this objfile. */
1398 struct compunit_symtab *next;
1399
1400 /* Object file from which this symtab information was read. */
1401 struct objfile *objfile;
1402
1403 /* Name of the symtab.
1404 This is *not* intended to be a usable filename, and is
1405 for debugging purposes only. */
1406 const char *name;
1407
1408 /* Unordered list of file symtabs, except that by convention the "main"
1409 source file (e.g., .c, .cc) is guaranteed to be first.
1410 Each symtab is a file, either the "main" source file (e.g., .c, .cc)
1411 or header (e.g., .h). */
1412 struct symtab *filetabs;
1413
1414 /* Last entry in FILETABS list.
1415 Subfiles are added to the end of the list so they accumulate in order,
1416 with the main source subfile living at the front.
1417 The main reason is so that the main source file symtab is at the head
1418 of the list, and the rest appear in order for debugging convenience. */
1419 struct symtab *last_filetab;
1420
1421 /* Non-NULL string that identifies the format of the debugging information,
1422 such as "stabs", "dwarf 1", "dwarf 2", "coff", etc. This is mostly useful
1423 for automated testing of gdb but may also be information that is
1424 useful to the user. */
1425 const char *debugformat;
1426
1427 /* String of producer version information, or NULL if we don't know. */
1428 const char *producer;
1429
1430 /* Directory in which it was compiled, or NULL if we don't know. */
1431 const char *dirname;
1432
1433 /* List of all symbol scope blocks for this symtab. It is shared among
1434 all symtabs in a given compilation unit. */
1435 const struct blockvector *blockvector;
1436
1437 /* Section in objfile->section_offsets for the blockvector and
1438 the linetable. Probably always SECT_OFF_TEXT. */
1439 int block_line_section;
1440
1441 /* Symtab has been compiled with both optimizations and debug info so that
1442 GDB may stop skipping prologues as variables locations are valid already
1443 at function entry points. */
1444 unsigned int locations_valid : 1;
1445
1446 /* DWARF unwinder for this CU is valid even for epilogues (PC at the return
1447 instruction). This is supported by GCC since 4.5.0. */
1448 unsigned int epilogue_unwind_valid : 1;
1449
1450 /* struct call_site entries for this compilation unit or NULL. */
1451 htab_t call_site_htab;
1452
1453 /* The macro table for this symtab. Like the blockvector, this
1454 is shared between different symtabs in a given compilation unit.
1455 It's debatable whether it *should* be shared among all the symtabs in
1456 the given compilation unit, but it currently is. */
1457 struct macro_table *macro_table;
1458
1459 /* If non-NULL, then this points to a NULL-terminated vector of
1460 included compunits. When searching the static or global
1461 block of this compunit, the corresponding block of all
1462 included compunits will also be searched. Note that this
1463 list must be flattened -- the symbol reader is responsible for
1464 ensuring that this vector contains the transitive closure of all
1465 included compunits. */
1466 struct compunit_symtab **includes;
1467
1468 /* If this is an included compunit, this points to one includer
1469 of the table. This user is considered the canonical compunit
1470 containing this one. An included compunit may itself be
1471 included by another. */
1472 struct compunit_symtab *user;
1473 };
1474
1475 #define COMPUNIT_OBJFILE(cust) ((cust)->objfile)
1476 #define COMPUNIT_FILETABS(cust) ((cust)->filetabs)
1477 #define COMPUNIT_DEBUGFORMAT(cust) ((cust)->debugformat)
1478 #define COMPUNIT_PRODUCER(cust) ((cust)->producer)
1479 #define COMPUNIT_DIRNAME(cust) ((cust)->dirname)
1480 #define COMPUNIT_BLOCKVECTOR(cust) ((cust)->blockvector)
1481 #define COMPUNIT_BLOCK_LINE_SECTION(cust) ((cust)->block_line_section)
1482 #define COMPUNIT_LOCATIONS_VALID(cust) ((cust)->locations_valid)
1483 #define COMPUNIT_EPILOGUE_UNWIND_VALID(cust) ((cust)->epilogue_unwind_valid)
1484 #define COMPUNIT_CALL_SITE_HTAB(cust) ((cust)->call_site_htab)
1485 #define COMPUNIT_MACRO_TABLE(cust) ((cust)->macro_table)
1486
1487 /* Iterate over all file tables (struct symtab) within a compunit. */
1488
1489 #define ALL_COMPUNIT_FILETABS(cu, s) \
1490 for ((s) = (cu) -> filetabs; (s) != NULL; (s) = (s) -> next)
1491
1492 /* Return the primary symtab of CUST. */
1493
1494 extern struct symtab *
1495 compunit_primary_filetab (const struct compunit_symtab *cust);
1496
1497 /* Return the language of CUST. */
1498
1499 extern enum language compunit_language (const struct compunit_symtab *cust);
1500
1501 \f
1502
1503 /* The virtual function table is now an array of structures which have the
1504 form { int16 offset, delta; void *pfn; }.
1505
1506 In normal virtual function tables, OFFSET is unused.
1507 DELTA is the amount which is added to the apparent object's base
1508 address in order to point to the actual object to which the
1509 virtual function should be applied.
1510 PFN is a pointer to the virtual function.
1511
1512 Note that this macro is g++ specific (FIXME). */
1513
1514 #define VTBL_FNADDR_OFFSET 2
1515
1516 /* External variables and functions for the objects described above. */
1517
1518 /* True if we are nested inside psymtab_to_symtab. */
1519
1520 extern int currently_reading_symtab;
1521
1522 /* symtab.c lookup functions */
1523
1524 extern const char multiple_symbols_ask[];
1525 extern const char multiple_symbols_all[];
1526 extern const char multiple_symbols_cancel[];
1527
1528 const char *multiple_symbols_select_mode (void);
1529
1530 int symbol_matches_domain (enum language symbol_language,
1531 domain_enum symbol_domain,
1532 domain_enum domain);
1533
1534 /* lookup a symbol table by source file name. */
1535
1536 extern struct symtab *lookup_symtab (const char *);
1537
1538 /* An object of this type is passed as the 'is_a_field_of_this'
1539 argument to lookup_symbol and lookup_symbol_in_language. */
1540
1541 struct field_of_this_result
1542 {
1543 /* The type in which the field was found. If this is NULL then the
1544 symbol was not found in 'this'. If non-NULL, then one of the
1545 other fields will be non-NULL as well. */
1546
1547 struct type *type;
1548
1549 /* If the symbol was found as an ordinary field of 'this', then this
1550 is non-NULL and points to the particular field. */
1551
1552 struct field *field;
1553
1554 /* If the symbol was found as a function field of 'this', then this
1555 is non-NULL and points to the particular field. */
1556
1557 struct fn_fieldlist *fn_field;
1558 };
1559
1560 /* Find the definition for a specified symbol name NAME
1561 in domain DOMAIN in language LANGUAGE, visible from lexical block BLOCK
1562 if non-NULL or from global/static blocks if BLOCK is NULL.
1563 Returns the struct symbol pointer, or NULL if no symbol is found.
1564 C++: if IS_A_FIELD_OF_THIS is non-NULL on entry, check to see if
1565 NAME is a field of the current implied argument `this'. If so fill in the
1566 fields of IS_A_FIELD_OF_THIS, otherwise the fields are set to NULL.
1567 The symbol's section is fixed up if necessary. */
1568
1569 extern struct block_symbol
1570 lookup_symbol_in_language (const char *,
1571 const struct block *,
1572 const domain_enum,
1573 enum language,
1574 struct field_of_this_result *);
1575
1576 /* Same as lookup_symbol_in_language, but using the current language. */
1577
1578 extern struct block_symbol lookup_symbol (const char *,
1579 const struct block *,
1580 const domain_enum,
1581 struct field_of_this_result *);
1582
1583 /* Find the definition for a specified symbol search name in domain
1584 DOMAIN, visible from lexical block BLOCK if non-NULL or from
1585 global/static blocks if BLOCK is NULL. The passed-in search name
1586 should not come from the user; instead it should already be a
1587 search name as retrieved from a
1588 SYMBOL_SEARCH_NAME/MSYMBOL_SEARCH_NAME call. See definition of
1589 symbol_name_match_type::SEARCH_NAME. Returns the struct symbol
1590 pointer, or NULL if no symbol is found. The symbol's section is
1591 fixed up if necessary. */
1592
1593 extern struct block_symbol lookup_symbol_search_name (const char *search_name,
1594 const struct block *block,
1595 domain_enum domain);
1596
1597 /* A default version of lookup_symbol_nonlocal for use by languages
1598 that can't think of anything better to do.
1599 This implements the C lookup rules. */
1600
1601 extern struct block_symbol
1602 basic_lookup_symbol_nonlocal (const struct language_defn *langdef,
1603 const char *,
1604 const struct block *,
1605 const domain_enum);
1606
1607 /* Some helper functions for languages that need to write their own
1608 lookup_symbol_nonlocal functions. */
1609
1610 /* Lookup a symbol in the static block associated to BLOCK, if there
1611 is one; do nothing if BLOCK is NULL or a global block.
1612 Upon success fixes up the symbol's section if necessary. */
1613
1614 extern struct block_symbol
1615 lookup_symbol_in_static_block (const char *name,
1616 const struct block *block,
1617 const domain_enum domain);
1618
1619 /* Search all static file-level symbols for NAME from DOMAIN.
1620 Upon success fixes up the symbol's section if necessary. */
1621
1622 extern struct block_symbol lookup_static_symbol (const char *name,
1623 const domain_enum domain);
1624
1625 /* Lookup a symbol in all files' global blocks.
1626
1627 If BLOCK is non-NULL then it is used for two things:
1628 1) If a target-specific lookup routine for libraries exists, then use the
1629 routine for the objfile of BLOCK, and
1630 2) The objfile of BLOCK is used to assist in determining the search order
1631 if the target requires it.
1632 See gdbarch_iterate_over_objfiles_in_search_order.
1633
1634 Upon success fixes up the symbol's section if necessary. */
1635
1636 extern struct block_symbol
1637 lookup_global_symbol (const char *name,
1638 const struct block *block,
1639 const domain_enum domain);
1640
1641 /* Lookup a symbol in block BLOCK.
1642 Upon success fixes up the symbol's section if necessary. */
1643
1644 extern struct symbol *
1645 lookup_symbol_in_block (const char *name,
1646 symbol_name_match_type match_type,
1647 const struct block *block,
1648 const domain_enum domain);
1649
1650 /* Look up the `this' symbol for LANG in BLOCK. Return the symbol if
1651 found, or NULL if not found. */
1652
1653 extern struct block_symbol
1654 lookup_language_this (const struct language_defn *lang,
1655 const struct block *block);
1656
1657 /* Lookup a [struct, union, enum] by name, within a specified block. */
1658
1659 extern struct type *lookup_struct (const char *, const struct block *);
1660
1661 extern struct type *lookup_union (const char *, const struct block *);
1662
1663 extern struct type *lookup_enum (const char *, const struct block *);
1664
1665 /* from blockframe.c: */
1666
1667 /* lookup the function symbol corresponding to the address. The
1668 return value will not be an inlined function; the containing
1669 function will be returned instead. */
1670
1671 extern struct symbol *find_pc_function (CORE_ADDR);
1672
1673 /* lookup the function corresponding to the address and section. The
1674 return value will not be an inlined function; the containing
1675 function will be returned instead. */
1676
1677 extern struct symbol *find_pc_sect_function (CORE_ADDR, struct obj_section *);
1678
1679 /* lookup the function symbol corresponding to the address and
1680 section. The return value will be the closest enclosing function,
1681 which might be an inline function. */
1682
1683 extern struct symbol *find_pc_sect_containing_function
1684 (CORE_ADDR pc, struct obj_section *section);
1685
1686 /* Find the symbol at the given address. Returns NULL if no symbol
1687 found. Only exact matches for ADDRESS are considered. */
1688
1689 extern struct symbol *find_symbol_at_address (CORE_ADDR);
1690
1691 /* Finds the "function" (text symbol) that is smaller than PC but
1692 greatest of all of the potential text symbols in SECTION. Sets
1693 *NAME and/or *ADDRESS conditionally if that pointer is non-null.
1694 If ENDADDR is non-null, then set *ENDADDR to be the end of the
1695 function (exclusive). If the optional parameter BLOCK is non-null,
1696 then set *BLOCK to the address of the block corresponding to the
1697 function symbol, if such a symbol could be found during the lookup;
1698 nullptr is used as a return value for *BLOCK if no block is found.
1699 This function either succeeds or fails (not halfway succeeds). If
1700 it succeeds, it sets *NAME, *ADDRESS, and *ENDADDR to real
1701 information and returns 1. If it fails, it sets *NAME, *ADDRESS
1702 and *ENDADDR to zero and returns 0.
1703
1704 If the function in question occupies non-contiguous ranges,
1705 *ADDRESS and *ENDADDR are (subject to the conditions noted above) set
1706 to the start and end of the range in which PC is found. Thus
1707 *ADDRESS <= PC < *ENDADDR with no intervening gaps (in which ranges
1708 from other functions might be found).
1709
1710 This property allows find_pc_partial_function to be used (as it had
1711 been prior to the introduction of non-contiguous range support) by
1712 various tdep files for finding a start address and limit address
1713 for prologue analysis. This still isn't ideal, however, because we
1714 probably shouldn't be doing prologue analysis (in which
1715 instructions are scanned to determine frame size and stack layout)
1716 for any range that doesn't contain the entry pc. Moreover, a good
1717 argument can be made that prologue analysis ought to be performed
1718 starting from the entry pc even when PC is within some other range.
1719 This might suggest that *ADDRESS and *ENDADDR ought to be set to the
1720 limits of the entry pc range, but that will cause the
1721 *ADDRESS <= PC < *ENDADDR condition to be violated; many of the
1722 callers of find_pc_partial_function expect this condition to hold.
1723
1724 Callers which require the start and/or end addresses for the range
1725 containing the entry pc should instead call
1726 find_function_entry_range_from_pc. */
1727
1728 extern int find_pc_partial_function (CORE_ADDR pc, const char **name,
1729 CORE_ADDR *address, CORE_ADDR *endaddr,
1730 const struct block **block = nullptr);
1731
1732 /* Like find_pc_partial_function, above, but *ADDRESS and *ENDADDR are
1733 set to start and end addresses of the range containing the entry pc.
1734
1735 Note that it is not necessarily the case that (for non-NULL ADDRESS
1736 and ENDADDR arguments) the *ADDRESS <= PC < *ENDADDR condition will
1737 hold.
1738
1739 See comment for find_pc_partial_function, above, for further
1740 explanation. */
1741
1742 extern bool find_function_entry_range_from_pc (CORE_ADDR pc,
1743 const char **name,
1744 CORE_ADDR *address,
1745 CORE_ADDR *endaddr);
1746
1747 /* Return the type of a function with its first instruction exactly at
1748 the PC address. Return NULL otherwise. */
1749
1750 extern struct type *find_function_type (CORE_ADDR pc);
1751
1752 /* See if we can figure out the function's actual type from the type
1753 that the resolver returns. RESOLVER_FUNADDR is the address of the
1754 ifunc resolver. */
1755
1756 extern struct type *find_gnu_ifunc_target_type (CORE_ADDR resolver_funaddr);
1757
1758 /* Find the GNU ifunc minimal symbol that matches SYM. */
1759 extern bound_minimal_symbol find_gnu_ifunc (const symbol *sym);
1760
1761 extern void clear_pc_function_cache (void);
1762
1763 /* Expand symtab containing PC, SECTION if not already expanded. */
1764
1765 extern void expand_symtab_containing_pc (CORE_ADDR, struct obj_section *);
1766
1767 /* lookup full symbol table by address. */
1768
1769 extern struct compunit_symtab *find_pc_compunit_symtab (CORE_ADDR);
1770
1771 /* lookup full symbol table by address and section. */
1772
1773 extern struct compunit_symtab *
1774 find_pc_sect_compunit_symtab (CORE_ADDR, struct obj_section *);
1775
1776 extern int find_pc_line_pc_range (CORE_ADDR, CORE_ADDR *, CORE_ADDR *);
1777
1778 extern void reread_symbols (void);
1779
1780 /* Look up a type named NAME in STRUCT_DOMAIN in the current language.
1781 The type returned must not be opaque -- i.e., must have at least one field
1782 defined. */
1783
1784 extern struct type *lookup_transparent_type (const char *);
1785
1786 extern struct type *basic_lookup_transparent_type (const char *);
1787
1788 /* Macro for name of symbol to indicate a file compiled with gcc. */
1789 #ifndef GCC_COMPILED_FLAG_SYMBOL
1790 #define GCC_COMPILED_FLAG_SYMBOL "gcc_compiled."
1791 #endif
1792
1793 /* Macro for name of symbol to indicate a file compiled with gcc2. */
1794 #ifndef GCC2_COMPILED_FLAG_SYMBOL
1795 #define GCC2_COMPILED_FLAG_SYMBOL "gcc2_compiled."
1796 #endif
1797
1798 extern int in_gnu_ifunc_stub (CORE_ADDR pc);
1799
1800 /* Functions for resolving STT_GNU_IFUNC symbols which are implemented only
1801 for ELF symbol files. */
1802
1803 struct gnu_ifunc_fns
1804 {
1805 /* See elf_gnu_ifunc_resolve_addr for its real implementation. */
1806 CORE_ADDR (*gnu_ifunc_resolve_addr) (struct gdbarch *gdbarch, CORE_ADDR pc);
1807
1808 /* See elf_gnu_ifunc_resolve_name for its real implementation. */
1809 int (*gnu_ifunc_resolve_name) (const char *function_name,
1810 CORE_ADDR *function_address_p);
1811
1812 /* See elf_gnu_ifunc_resolver_stop for its real implementation. */
1813 void (*gnu_ifunc_resolver_stop) (struct breakpoint *b);
1814
1815 /* See elf_gnu_ifunc_resolver_return_stop for its real implementation. */
1816 void (*gnu_ifunc_resolver_return_stop) (struct breakpoint *b);
1817 };
1818
1819 #define gnu_ifunc_resolve_addr gnu_ifunc_fns_p->gnu_ifunc_resolve_addr
1820 #define gnu_ifunc_resolve_name gnu_ifunc_fns_p->gnu_ifunc_resolve_name
1821 #define gnu_ifunc_resolver_stop gnu_ifunc_fns_p->gnu_ifunc_resolver_stop
1822 #define gnu_ifunc_resolver_return_stop \
1823 gnu_ifunc_fns_p->gnu_ifunc_resolver_return_stop
1824
1825 extern const struct gnu_ifunc_fns *gnu_ifunc_fns_p;
1826
1827 extern CORE_ADDR find_solib_trampoline_target (struct frame_info *, CORE_ADDR);
1828
1829 struct symtab_and_line
1830 {
1831 /* The program space of this sal. */
1832 struct program_space *pspace = NULL;
1833
1834 struct symtab *symtab = NULL;
1835 struct symbol *symbol = NULL;
1836 struct obj_section *section = NULL;
1837 struct minimal_symbol *msymbol = NULL;
1838 /* Line number. Line numbers start at 1 and proceed through symtab->nlines.
1839 0 is never a valid line number; it is used to indicate that line number
1840 information is not available. */
1841 int line = 0;
1842
1843 CORE_ADDR pc = 0;
1844 CORE_ADDR end = 0;
1845 bool explicit_pc = false;
1846 bool explicit_line = false;
1847
1848 /* The probe associated with this symtab_and_line. */
1849 probe *prob = NULL;
1850 /* If PROBE is not NULL, then this is the objfile in which the probe
1851 originated. */
1852 struct objfile *objfile = NULL;
1853 };
1854
1855 \f
1856
1857 /* Given a pc value, return line number it is in. Second arg nonzero means
1858 if pc is on the boundary use the previous statement's line number. */
1859
1860 extern struct symtab_and_line find_pc_line (CORE_ADDR, int);
1861
1862 /* Same function, but specify a section as well as an address. */
1863
1864 extern struct symtab_and_line find_pc_sect_line (CORE_ADDR,
1865 struct obj_section *, int);
1866
1867 /* Wrapper around find_pc_line to just return the symtab. */
1868
1869 extern struct symtab *find_pc_line_symtab (CORE_ADDR);
1870
1871 /* Given a symtab and line number, return the pc there. */
1872
1873 extern int find_line_pc (struct symtab *, int, CORE_ADDR *);
1874
1875 extern int find_line_pc_range (struct symtab_and_line, CORE_ADDR *,
1876 CORE_ADDR *);
1877
1878 extern void resolve_sal_pc (struct symtab_and_line *);
1879
1880 /* solib.c */
1881
1882 extern void clear_solib (void);
1883
1884 /* source.c */
1885
1886 extern int identify_source_line (struct symtab *, int, int, CORE_ADDR);
1887
1888 /* Flags passed as 4th argument to print_source_lines. */
1889
1890 enum print_source_lines_flag
1891 {
1892 /* Do not print an error message. */
1893 PRINT_SOURCE_LINES_NOERROR = (1 << 0),
1894
1895 /* Print the filename in front of the source lines. */
1896 PRINT_SOURCE_LINES_FILENAME = (1 << 1)
1897 };
1898 DEF_ENUM_FLAGS_TYPE (enum print_source_lines_flag, print_source_lines_flags);
1899
1900 extern void print_source_lines (struct symtab *, int, int,
1901 print_source_lines_flags);
1902
1903 extern void forget_cached_source_info_for_objfile (struct objfile *);
1904 extern void forget_cached_source_info (void);
1905
1906 extern void select_source_symtab (struct symtab *);
1907
1908 /* The reason we're calling into a completion match list collector
1909 function. */
1910 enum class complete_symbol_mode
1911 {
1912 /* Completing an expression. */
1913 EXPRESSION,
1914
1915 /* Completing a linespec. */
1916 LINESPEC,
1917 };
1918
1919 extern void default_collect_symbol_completion_matches_break_on
1920 (completion_tracker &tracker,
1921 complete_symbol_mode mode,
1922 symbol_name_match_type name_match_type,
1923 const char *text, const char *word, const char *break_on,
1924 enum type_code code);
1925 extern void default_collect_symbol_completion_matches
1926 (completion_tracker &tracker,
1927 complete_symbol_mode,
1928 symbol_name_match_type name_match_type,
1929 const char *,
1930 const char *,
1931 enum type_code);
1932 extern void collect_symbol_completion_matches
1933 (completion_tracker &tracker,
1934 complete_symbol_mode mode,
1935 symbol_name_match_type name_match_type,
1936 const char *, const char *);
1937 extern void collect_symbol_completion_matches_type (completion_tracker &tracker,
1938 const char *, const char *,
1939 enum type_code);
1940
1941 extern void collect_file_symbol_completion_matches
1942 (completion_tracker &tracker,
1943 complete_symbol_mode,
1944 symbol_name_match_type name_match_type,
1945 const char *, const char *, const char *);
1946
1947 extern completion_list
1948 make_source_files_completion_list (const char *, const char *);
1949
1950 /* Return whether SYM is a function/method, as opposed to a data symbol. */
1951
1952 extern bool symbol_is_function_or_method (symbol *sym);
1953
1954 /* Return whether MSYMBOL is a function/method, as opposed to a data
1955 symbol */
1956
1957 extern bool symbol_is_function_or_method (minimal_symbol *msymbol);
1958
1959 /* Return whether SYM should be skipped in completion mode MODE. In
1960 linespec mode, we're only interested in functions/methods. */
1961
1962 template<typename Symbol>
1963 static bool
1964 completion_skip_symbol (complete_symbol_mode mode, Symbol *sym)
1965 {
1966 return (mode == complete_symbol_mode::LINESPEC
1967 && !symbol_is_function_or_method (sym));
1968 }
1969
1970 /* symtab.c */
1971
1972 int matching_obj_sections (struct obj_section *, struct obj_section *);
1973
1974 extern struct symtab *find_line_symtab (struct symtab *, int, int *, int *);
1975
1976 /* Given a function symbol SYM, find the symtab and line for the start
1977 of the function. If FUNFIRSTLINE is true, we want the first line
1978 of real code inside the function. */
1979 extern symtab_and_line find_function_start_sal (symbol *sym, bool
1980 funfirstline);
1981
1982 /* Same, but start with a function address/section instead of a
1983 symbol. */
1984 extern symtab_and_line find_function_start_sal (CORE_ADDR func_addr,
1985 obj_section *section,
1986 bool funfirstline);
1987
1988 extern void skip_prologue_sal (struct symtab_and_line *);
1989
1990 /* symtab.c */
1991
1992 extern CORE_ADDR skip_prologue_using_sal (struct gdbarch *gdbarch,
1993 CORE_ADDR func_addr);
1994
1995 extern struct symbol *fixup_symbol_section (struct symbol *,
1996 struct objfile *);
1997
1998 /* If MSYMBOL is an text symbol, look for a function debug symbol with
1999 the same address. Returns NULL if not found. This is necessary in
2000 case a function is an alias to some other function, because debug
2001 information is only emitted for the alias target function's
2002 definition, not for the alias. */
2003 extern symbol *find_function_alias_target (bound_minimal_symbol msymbol);
2004
2005 /* Symbol searching */
2006 /* Note: struct symbol_search, search_symbols, et.al. are declared here,
2007 instead of making them local to symtab.c, for gdbtk's sake. */
2008
2009 /* When using search_symbols, a vector of the following structs is
2010 returned. */
2011 struct symbol_search
2012 {
2013 symbol_search (int block_, struct symbol *symbol_)
2014 : block (block_),
2015 symbol (symbol_)
2016 {
2017 msymbol.minsym = nullptr;
2018 msymbol.objfile = nullptr;
2019 }
2020
2021 symbol_search (int block_, struct minimal_symbol *minsym,
2022 struct objfile *objfile)
2023 : block (block_),
2024 symbol (nullptr)
2025 {
2026 msymbol.minsym = minsym;
2027 msymbol.objfile = objfile;
2028 }
2029
2030 bool operator< (const symbol_search &other) const
2031 {
2032 return compare_search_syms (*this, other) < 0;
2033 }
2034
2035 bool operator== (const symbol_search &other) const
2036 {
2037 return compare_search_syms (*this, other) == 0;
2038 }
2039
2040 /* The block in which the match was found. Could be, for example,
2041 STATIC_BLOCK or GLOBAL_BLOCK. */
2042 int block;
2043
2044 /* Information describing what was found.
2045
2046 If symbol is NOT NULL, then information was found for this match. */
2047 struct symbol *symbol;
2048
2049 /* If msymbol is non-null, then a match was made on something for
2050 which only minimal_symbols exist. */
2051 struct bound_minimal_symbol msymbol;
2052
2053 private:
2054
2055 static int compare_search_syms (const symbol_search &sym_a,
2056 const symbol_search &sym_b);
2057 };
2058
2059 extern std::vector<symbol_search> search_symbols (const char *,
2060 enum search_domain, int,
2061 const char **);
2062
2063 /* The name of the ``main'' function.
2064 FIXME: cagney/2001-03-20: Can't make main_name() const since some
2065 of the calling code currently assumes that the string isn't
2066 const. */
2067 extern /*const */ char *main_name (void);
2068 extern enum language main_language (void);
2069
2070 /* Lookup symbol NAME from DOMAIN in MAIN_OBJFILE's global blocks.
2071 This searches MAIN_OBJFILE as well as any associated separate debug info
2072 objfiles of MAIN_OBJFILE.
2073 Upon success fixes up the symbol's section if necessary. */
2074
2075 extern struct block_symbol
2076 lookup_global_symbol_from_objfile (struct objfile *main_objfile,
2077 const char *name,
2078 const domain_enum domain);
2079
2080 /* Return 1 if the supplied producer string matches the ARM RealView
2081 compiler (armcc). */
2082 int producer_is_realview (const char *producer);
2083
2084 void fixup_section (struct general_symbol_info *ginfo,
2085 CORE_ADDR addr, struct objfile *objfile);
2086
2087 /* Look up objfile containing BLOCK. */
2088
2089 struct objfile *lookup_objfile_from_block (const struct block *block);
2090
2091 extern unsigned int symtab_create_debug;
2092
2093 extern unsigned int symbol_lookup_debug;
2094
2095 extern int basenames_may_differ;
2096
2097 int compare_filenames_for_search (const char *filename,
2098 const char *search_name);
2099
2100 int compare_glob_filenames_for_search (const char *filename,
2101 const char *search_name);
2102
2103 bool iterate_over_some_symtabs (const char *name,
2104 const char *real_path,
2105 struct compunit_symtab *first,
2106 struct compunit_symtab *after_last,
2107 gdb::function_view<bool (symtab *)> callback);
2108
2109 void iterate_over_symtabs (const char *name,
2110 gdb::function_view<bool (symtab *)> callback);
2111
2112
2113 std::vector<CORE_ADDR> find_pcs_for_symtab_line
2114 (struct symtab *symtab, int line, struct linetable_entry **best_entry);
2115
2116 /* Prototype for callbacks for LA_ITERATE_OVER_SYMBOLS. The callback
2117 is called once per matching symbol SYM. The callback should return
2118 true to indicate that LA_ITERATE_OVER_SYMBOLS should continue
2119 iterating, or false to indicate that the iteration should end. */
2120
2121 typedef bool (symbol_found_callback_ftype) (struct block_symbol *bsym);
2122
2123 void iterate_over_symbols (const struct block *block,
2124 const lookup_name_info &name,
2125 const domain_enum domain,
2126 gdb::function_view<symbol_found_callback_ftype> callback);
2127
2128 /* Storage type used by demangle_for_lookup. demangle_for_lookup
2129 either returns a const char * pointer that points to either of the
2130 fields of this type, or a pointer to the input NAME. This is done
2131 this way because the underlying functions that demangle_for_lookup
2132 calls either return a std::string (e.g., cp_canonicalize_string) or
2133 a malloc'ed buffer (libiberty's demangled), and we want to avoid
2134 unnecessary reallocation/string copying. */
2135 class demangle_result_storage
2136 {
2137 public:
2138
2139 /* Swap the std::string storage with STR, and return a pointer to
2140 the beginning of the new string. */
2141 const char *swap_string (std::string &str)
2142 {
2143 std::swap (m_string, str);
2144 return m_string.c_str ();
2145 }
2146
2147 /* Set the malloc storage to now point at PTR. Any previous malloc
2148 storage is released. */
2149 const char *set_malloc_ptr (char *ptr)
2150 {
2151 m_malloc.reset (ptr);
2152 return ptr;
2153 }
2154
2155 private:
2156
2157 /* The storage. */
2158 std::string m_string;
2159 gdb::unique_xmalloc_ptr<char> m_malloc;
2160 };
2161
2162 const char *
2163 demangle_for_lookup (const char *name, enum language lang,
2164 demangle_result_storage &storage);
2165
2166 struct symbol *allocate_symbol (struct objfile *);
2167
2168 void initialize_objfile_symbol (struct symbol *);
2169
2170 struct template_symbol *allocate_template_symbol (struct objfile *);
2171
2172 /* Test to see if the symbol of language SYMBOL_LANGUAGE specified by
2173 SYMNAME (which is already demangled for C++ symbols) matches
2174 SYM_TEXT in the first SYM_TEXT_LEN characters. If so, add it to
2175 the current completion list. */
2176 void completion_list_add_name (completion_tracker &tracker,
2177 language symbol_language,
2178 const char *symname,
2179 const lookup_name_info &lookup_name,
2180 const char *text, const char *word);
2181
2182 /* A simple symbol searching class. */
2183
2184 class symbol_searcher
2185 {
2186 public:
2187 /* Returns the symbols found for the search. */
2188 const std::vector<block_symbol> &
2189 matching_symbols () const
2190 {
2191 return m_symbols;
2192 }
2193
2194 /* Returns the minimal symbols found for the search. */
2195 const std::vector<bound_minimal_symbol> &
2196 matching_msymbols () const
2197 {
2198 return m_minimal_symbols;
2199 }
2200
2201 /* Search for all symbols named NAME in LANGUAGE with DOMAIN, restricting
2202 search to FILE_SYMTABS and SEARCH_PSPACE, both of which may be NULL
2203 to search all symtabs and program spaces. */
2204 void find_all_symbols (const std::string &name,
2205 const struct language_defn *language,
2206 enum search_domain search_domain,
2207 std::vector<symtab *> *search_symtabs,
2208 struct program_space *search_pspace);
2209
2210 /* Reset this object to perform another search. */
2211 void reset ()
2212 {
2213 m_symbols.clear ();
2214 m_minimal_symbols.clear ();
2215 }
2216
2217 private:
2218 /* Matching debug symbols. */
2219 std::vector<block_symbol> m_symbols;
2220
2221 /* Matching non-debug symbols. */
2222 std::vector<bound_minimal_symbol> m_minimal_symbols;
2223 };
2224
2225 #endif /* !defined(SYMTAB_H) */
This page took 0.080084 seconds and 5 git commands to generate.