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