1 /* Symbol table lookup for the GNU debugger, GDB.
3 Copyright (C) 1986-2014 Free Software Foundation, Inc.
5 This file is part of GDB.
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.
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.
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/>. */
30 #include "gdb_regex.h"
31 #include "expression.h"
36 #include "filenames.h" /* for FILENAME_CMP */
37 #include "objc-lang.h"
43 #include "cli/cli-utils.h"
47 #include "gdb_obstack.h"
49 #include "dictionary.h"
51 #include <sys/types.h>
56 #include "cp-support.h"
60 #include "macroscope.h"
62 #include "parser-defs.h"
64 /* Forward declarations for local functions. */
66 static void rbreak_command (char *, int);
68 static int find_line_common (struct linetable
*, int, int *, int);
70 static struct symbol
*lookup_symbol_aux (const char *name
,
71 const struct block
*block
,
72 const domain_enum domain
,
73 enum language language
,
74 struct field_of_this_result
*);
77 struct symbol
*lookup_local_symbol (const char *name
,
78 const struct block
*block
,
79 const domain_enum domain
,
80 enum language language
);
82 static struct symbol
*
83 lookup_symbol_in_objfile (struct objfile
*objfile
, int block_index
,
84 const char *name
, const domain_enum domain
);
86 extern initialize_file_ftype _initialize_symtab
;
88 /* Program space key for finding name and language of "main". */
90 static const struct program_space_data
*main_progspace_key
;
92 /* Type of the data stored on the program space. */
100 /* Language of "main". */
102 enum language language_of_main
;
105 /* When non-zero, print debugging messages related to symtab creation. */
106 unsigned int symtab_create_debug
= 0;
108 /* When non-zero, print debugging messages related to symbol lookup. */
109 unsigned int symbol_lookup_debug
= 0;
111 /* Non-zero if a file may be known by two different basenames.
112 This is the uncommon case, and significantly slows down gdb.
113 Default set to "off" to not slow down the common case. */
114 int basenames_may_differ
= 0;
116 /* Allow the user to configure the debugger behavior with respect
117 to multiple-choice menus when more than one symbol matches during
120 const char multiple_symbols_ask
[] = "ask";
121 const char multiple_symbols_all
[] = "all";
122 const char multiple_symbols_cancel
[] = "cancel";
123 static const char *const multiple_symbols_modes
[] =
125 multiple_symbols_ask
,
126 multiple_symbols_all
,
127 multiple_symbols_cancel
,
130 static const char *multiple_symbols_mode
= multiple_symbols_all
;
132 /* Read-only accessor to AUTO_SELECT_MODE. */
135 multiple_symbols_select_mode (void)
137 return multiple_symbols_mode
;
140 /* Block in which the most recently searched-for symbol was found.
141 Might be better to make this a parameter to lookup_symbol and
144 const struct block
*block_found
;
146 /* Return the name of a domain_enum. */
149 domain_name (domain_enum e
)
153 case UNDEF_DOMAIN
: return "UNDEF_DOMAIN";
154 case VAR_DOMAIN
: return "VAR_DOMAIN";
155 case STRUCT_DOMAIN
: return "STRUCT_DOMAIN";
156 case MODULE_DOMAIN
: return "MODULE_DOMAIN";
157 case LABEL_DOMAIN
: return "LABEL_DOMAIN";
158 case COMMON_BLOCK_DOMAIN
: return "COMMON_BLOCK_DOMAIN";
159 default: gdb_assert_not_reached ("bad domain_enum");
163 /* Return the name of a search_domain . */
166 search_domain_name (enum search_domain e
)
170 case VARIABLES_DOMAIN
: return "VARIABLES_DOMAIN";
171 case FUNCTIONS_DOMAIN
: return "FUNCTIONS_DOMAIN";
172 case TYPES_DOMAIN
: return "TYPES_DOMAIN";
173 case ALL_DOMAIN
: return "ALL_DOMAIN";
174 default: gdb_assert_not_reached ("bad search_domain");
181 compunit_primary_filetab (const struct compunit_symtab
*cust
)
183 gdb_assert (COMPUNIT_FILETABS (cust
) != NULL
);
185 /* The primary file symtab is the first one in the list. */
186 return COMPUNIT_FILETABS (cust
);
192 compunit_language (const struct compunit_symtab
*cust
)
194 struct symtab
*symtab
= compunit_primary_filetab (cust
);
196 /* The language of the compunit symtab is the language of its primary
198 return SYMTAB_LANGUAGE (symtab
);
201 /* See whether FILENAME matches SEARCH_NAME using the rule that we
202 advertise to the user. (The manual's description of linespecs
203 describes what we advertise). Returns true if they match, false
207 compare_filenames_for_search (const char *filename
, const char *search_name
)
209 int len
= strlen (filename
);
210 size_t search_len
= strlen (search_name
);
212 if (len
< search_len
)
215 /* The tail of FILENAME must match. */
216 if (FILENAME_CMP (filename
+ len
- search_len
, search_name
) != 0)
219 /* Either the names must completely match, or the character
220 preceding the trailing SEARCH_NAME segment of FILENAME must be a
223 The check !IS_ABSOLUTE_PATH ensures SEARCH_NAME "/dir/file.c"
224 cannot match FILENAME "/path//dir/file.c" - as user has requested
225 absolute path. The sama applies for "c:\file.c" possibly
226 incorrectly hypothetically matching "d:\dir\c:\file.c".
228 The HAS_DRIVE_SPEC purpose is to make FILENAME "c:file.c"
229 compatible with SEARCH_NAME "file.c". In such case a compiler had
230 to put the "c:file.c" name into debug info. Such compatibility
231 works only on GDB built for DOS host. */
232 return (len
== search_len
233 || (!IS_ABSOLUTE_PATH (search_name
)
234 && IS_DIR_SEPARATOR (filename
[len
- search_len
- 1]))
235 || (HAS_DRIVE_SPEC (filename
)
236 && STRIP_DRIVE_SPEC (filename
) == &filename
[len
- search_len
]));
239 /* Check for a symtab of a specific name by searching some symtabs.
240 This is a helper function for callbacks of iterate_over_symtabs.
242 If NAME is not absolute, then REAL_PATH is NULL
243 If NAME is absolute, then REAL_PATH is the gdb_realpath form of NAME.
245 The return value, NAME, REAL_PATH, CALLBACK, and DATA
246 are identical to the `map_symtabs_matching_filename' method of
247 quick_symbol_functions.
249 FIRST and AFTER_LAST indicate the range of compunit symtabs to search.
250 Each symtab within the specified compunit symtab is also searched.
251 AFTER_LAST is one past the last compunit symtab to search; NULL means to
252 search until the end of the list. */
255 iterate_over_some_symtabs (const char *name
,
256 const char *real_path
,
257 int (*callback
) (struct symtab
*symtab
,
260 struct compunit_symtab
*first
,
261 struct compunit_symtab
*after_last
)
263 struct compunit_symtab
*cust
;
265 const char* base_name
= lbasename (name
);
267 for (cust
= first
; cust
!= NULL
&& cust
!= after_last
; cust
= cust
->next
)
269 ALL_COMPUNIT_FILETABS (cust
, s
)
271 if (compare_filenames_for_search (s
->filename
, name
))
273 if (callback (s
, data
))
278 /* Before we invoke realpath, which can get expensive when many
279 files are involved, do a quick comparison of the basenames. */
280 if (! basenames_may_differ
281 && FILENAME_CMP (base_name
, lbasename (s
->filename
)) != 0)
284 if (compare_filenames_for_search (symtab_to_fullname (s
), name
))
286 if (callback (s
, data
))
291 /* If the user gave us an absolute path, try to find the file in
292 this symtab and use its absolute path. */
293 if (real_path
!= NULL
)
295 const char *fullname
= symtab_to_fullname (s
);
297 gdb_assert (IS_ABSOLUTE_PATH (real_path
));
298 gdb_assert (IS_ABSOLUTE_PATH (name
));
299 if (FILENAME_CMP (real_path
, fullname
) == 0)
301 if (callback (s
, data
))
312 /* Check for a symtab of a specific name; first in symtabs, then in
313 psymtabs. *If* there is no '/' in the name, a match after a '/'
314 in the symtab filename will also work.
316 Calls CALLBACK with each symtab that is found and with the supplied
317 DATA. If CALLBACK returns true, the search stops. */
320 iterate_over_symtabs (const char *name
,
321 int (*callback
) (struct symtab
*symtab
,
325 struct objfile
*objfile
;
326 char *real_path
= NULL
;
327 struct cleanup
*cleanups
= make_cleanup (null_cleanup
, NULL
);
329 /* Here we are interested in canonicalizing an absolute path, not
330 absolutizing a relative path. */
331 if (IS_ABSOLUTE_PATH (name
))
333 real_path
= gdb_realpath (name
);
334 make_cleanup (xfree
, real_path
);
335 gdb_assert (IS_ABSOLUTE_PATH (real_path
));
338 ALL_OBJFILES (objfile
)
340 if (iterate_over_some_symtabs (name
, real_path
, callback
, data
,
341 objfile
->compunit_symtabs
, NULL
))
343 do_cleanups (cleanups
);
348 /* Same search rules as above apply here, but now we look thru the
351 ALL_OBJFILES (objfile
)
354 && objfile
->sf
->qf
->map_symtabs_matching_filename (objfile
,
360 do_cleanups (cleanups
);
365 do_cleanups (cleanups
);
368 /* The callback function used by lookup_symtab. */
371 lookup_symtab_callback (struct symtab
*symtab
, void *data
)
373 struct symtab
**result_ptr
= data
;
375 *result_ptr
= symtab
;
379 /* A wrapper for iterate_over_symtabs that returns the first matching
383 lookup_symtab (const char *name
)
385 struct symtab
*result
= NULL
;
387 iterate_over_symtabs (name
, lookup_symtab_callback
, &result
);
392 /* Mangle a GDB method stub type. This actually reassembles the pieces of the
393 full method name, which consist of the class name (from T), the unadorned
394 method name from METHOD_ID, and the signature for the specific overload,
395 specified by SIGNATURE_ID. Note that this function is g++ specific. */
398 gdb_mangle_name (struct type
*type
, int method_id
, int signature_id
)
400 int mangled_name_len
;
402 struct fn_field
*f
= TYPE_FN_FIELDLIST1 (type
, method_id
);
403 struct fn_field
*method
= &f
[signature_id
];
404 const char *field_name
= TYPE_FN_FIELDLIST_NAME (type
, method_id
);
405 const char *physname
= TYPE_FN_FIELD_PHYSNAME (f
, signature_id
);
406 const char *newname
= type_name_no_tag (type
);
408 /* Does the form of physname indicate that it is the full mangled name
409 of a constructor (not just the args)? */
410 int is_full_physname_constructor
;
413 int is_destructor
= is_destructor_name (physname
);
414 /* Need a new type prefix. */
415 char *const_prefix
= method
->is_const
? "C" : "";
416 char *volatile_prefix
= method
->is_volatile
? "V" : "";
418 int len
= (newname
== NULL
? 0 : strlen (newname
));
420 /* Nothing to do if physname already contains a fully mangled v3 abi name
421 or an operator name. */
422 if ((physname
[0] == '_' && physname
[1] == 'Z')
423 || is_operator_name (field_name
))
424 return xstrdup (physname
);
426 is_full_physname_constructor
= is_constructor_name (physname
);
428 is_constructor
= is_full_physname_constructor
429 || (newname
&& strcmp (field_name
, newname
) == 0);
432 is_destructor
= (strncmp (physname
, "__dt", 4) == 0);
434 if (is_destructor
|| is_full_physname_constructor
)
436 mangled_name
= (char *) xmalloc (strlen (physname
) + 1);
437 strcpy (mangled_name
, physname
);
443 xsnprintf (buf
, sizeof (buf
), "__%s%s", const_prefix
, volatile_prefix
);
445 else if (physname
[0] == 't' || physname
[0] == 'Q')
447 /* The physname for template and qualified methods already includes
449 xsnprintf (buf
, sizeof (buf
), "__%s%s", const_prefix
, volatile_prefix
);
455 xsnprintf (buf
, sizeof (buf
), "__%s%s%d", const_prefix
,
456 volatile_prefix
, len
);
458 mangled_name_len
= ((is_constructor
? 0 : strlen (field_name
))
459 + strlen (buf
) + len
+ strlen (physname
) + 1);
461 mangled_name
= (char *) xmalloc (mangled_name_len
);
463 mangled_name
[0] = '\0';
465 strcpy (mangled_name
, field_name
);
467 strcat (mangled_name
, buf
);
468 /* If the class doesn't have a name, i.e. newname NULL, then we just
469 mangle it using 0 for the length of the class. Thus it gets mangled
470 as something starting with `::' rather than `classname::'. */
472 strcat (mangled_name
, newname
);
474 strcat (mangled_name
, physname
);
475 return (mangled_name
);
478 /* Set the demangled name of GSYMBOL to NAME. NAME must be already
479 correctly allocated. */
482 symbol_set_demangled_name (struct general_symbol_info
*gsymbol
,
484 struct obstack
*obstack
)
486 if (gsymbol
->language
== language_ada
)
490 gsymbol
->ada_mangled
= 0;
491 gsymbol
->language_specific
.obstack
= obstack
;
495 gsymbol
->ada_mangled
= 1;
496 gsymbol
->language_specific
.mangled_lang
.demangled_name
= name
;
500 gsymbol
->language_specific
.mangled_lang
.demangled_name
= name
;
503 /* Return the demangled name of GSYMBOL. */
506 symbol_get_demangled_name (const struct general_symbol_info
*gsymbol
)
508 if (gsymbol
->language
== language_ada
)
510 if (!gsymbol
->ada_mangled
)
515 return gsymbol
->language_specific
.mangled_lang
.demangled_name
;
519 /* Initialize the language dependent portion of a symbol
520 depending upon the language for the symbol. */
523 symbol_set_language (struct general_symbol_info
*gsymbol
,
524 enum language language
,
525 struct obstack
*obstack
)
527 gsymbol
->language
= language
;
528 if (gsymbol
->language
== language_cplus
529 || gsymbol
->language
== language_d
530 || gsymbol
->language
== language_go
531 || gsymbol
->language
== language_java
532 || gsymbol
->language
== language_objc
533 || gsymbol
->language
== language_fortran
)
535 symbol_set_demangled_name (gsymbol
, NULL
, obstack
);
537 else if (gsymbol
->language
== language_ada
)
539 gdb_assert (gsymbol
->ada_mangled
== 0);
540 gsymbol
->language_specific
.obstack
= obstack
;
544 memset (&gsymbol
->language_specific
, 0,
545 sizeof (gsymbol
->language_specific
));
549 /* Functions to initialize a symbol's mangled name. */
551 /* Objects of this type are stored in the demangled name hash table. */
552 struct demangled_name_entry
558 /* Hash function for the demangled name hash. */
561 hash_demangled_name_entry (const void *data
)
563 const struct demangled_name_entry
*e
= data
;
565 return htab_hash_string (e
->mangled
);
568 /* Equality function for the demangled name hash. */
571 eq_demangled_name_entry (const void *a
, const void *b
)
573 const struct demangled_name_entry
*da
= a
;
574 const struct demangled_name_entry
*db
= b
;
576 return strcmp (da
->mangled
, db
->mangled
) == 0;
579 /* Create the hash table used for demangled names. Each hash entry is
580 a pair of strings; one for the mangled name and one for the demangled
581 name. The entry is hashed via just the mangled name. */
584 create_demangled_names_hash (struct objfile
*objfile
)
586 /* Choose 256 as the starting size of the hash table, somewhat arbitrarily.
587 The hash table code will round this up to the next prime number.
588 Choosing a much larger table size wastes memory, and saves only about
589 1% in symbol reading. */
591 objfile
->per_bfd
->demangled_names_hash
= htab_create_alloc
592 (256, hash_demangled_name_entry
, eq_demangled_name_entry
,
593 NULL
, xcalloc
, xfree
);
596 /* Try to determine the demangled name for a symbol, based on the
597 language of that symbol. If the language is set to language_auto,
598 it will attempt to find any demangling algorithm that works and
599 then set the language appropriately. The returned name is allocated
600 by the demangler and should be xfree'd. */
603 symbol_find_demangled_name (struct general_symbol_info
*gsymbol
,
606 char *demangled
= NULL
;
608 if (gsymbol
->language
== language_unknown
)
609 gsymbol
->language
= language_auto
;
611 if (gsymbol
->language
== language_objc
612 || gsymbol
->language
== language_auto
)
615 objc_demangle (mangled
, 0);
616 if (demangled
!= NULL
)
618 gsymbol
->language
= language_objc
;
622 if (gsymbol
->language
== language_cplus
623 || gsymbol
->language
== language_auto
)
626 gdb_demangle (mangled
, DMGL_PARAMS
| DMGL_ANSI
);
627 if (demangled
!= NULL
)
629 gsymbol
->language
= language_cplus
;
633 if (gsymbol
->language
== language_java
)
636 gdb_demangle (mangled
,
637 DMGL_PARAMS
| DMGL_ANSI
| DMGL_JAVA
);
638 if (demangled
!= NULL
)
640 gsymbol
->language
= language_java
;
644 if (gsymbol
->language
== language_d
645 || gsymbol
->language
== language_auto
)
647 demangled
= d_demangle(mangled
, 0);
648 if (demangled
!= NULL
)
650 gsymbol
->language
= language_d
;
654 /* FIXME(dje): Continually adding languages here is clumsy.
655 Better to just call la_demangle if !auto, and if auto then call
656 a utility routine that tries successive languages in turn and reports
657 which one it finds. I realize the la_demangle options may be different
658 for different languages but there's already a FIXME for that. */
659 if (gsymbol
->language
== language_go
660 || gsymbol
->language
== language_auto
)
662 demangled
= go_demangle (mangled
, 0);
663 if (demangled
!= NULL
)
665 gsymbol
->language
= language_go
;
670 /* We could support `gsymbol->language == language_fortran' here to provide
671 module namespaces also for inferiors with only minimal symbol table (ELF
672 symbols). Just the mangling standard is not standardized across compilers
673 and there is no DW_AT_producer available for inferiors with only the ELF
674 symbols to check the mangling kind. */
676 /* Check for Ada symbols last. See comment below explaining why. */
678 if (gsymbol
->language
== language_auto
)
680 const char *demangled
= ada_decode (mangled
);
682 if (demangled
!= mangled
&& demangled
!= NULL
&& demangled
[0] != '<')
684 /* Set the gsymbol language to Ada, but still return NULL.
685 Two reasons for that:
687 1. For Ada, we prefer computing the symbol's decoded name
688 on the fly rather than pre-compute it, in order to save
689 memory (Ada projects are typically very large).
691 2. There are some areas in the definition of the GNAT
692 encoding where, with a bit of bad luck, we might be able
693 to decode a non-Ada symbol, generating an incorrect
694 demangled name (Eg: names ending with "TB" for instance
695 are identified as task bodies and so stripped from
696 the decoded name returned).
698 Returning NULL, here, helps us get a little bit of
699 the best of both worlds. Because we're last, we should
700 not affect any of the other languages that were able to
701 demangle the symbol before us; we get to correctly tag
702 Ada symbols as such; and even if we incorrectly tagged
703 a non-Ada symbol, which should be rare, any routing
704 through the Ada language should be transparent (Ada
705 tries to behave much like C/C++ with non-Ada symbols). */
706 gsymbol
->language
= language_ada
;
714 /* Set both the mangled and demangled (if any) names for GSYMBOL based
715 on LINKAGE_NAME and LEN. Ordinarily, NAME is copied onto the
716 objfile's obstack; but if COPY_NAME is 0 and if NAME is
717 NUL-terminated, then this function assumes that NAME is already
718 correctly saved (either permanently or with a lifetime tied to the
719 objfile), and it will not be copied.
721 The hash table corresponding to OBJFILE is used, and the memory
722 comes from the per-BFD storage_obstack. LINKAGE_NAME is copied,
723 so the pointer can be discarded after calling this function. */
725 /* We have to be careful when dealing with Java names: when we run
726 into a Java minimal symbol, we don't know it's a Java symbol, so it
727 gets demangled as a C++ name. This is unfortunate, but there's not
728 much we can do about it: but when demangling partial symbols and
729 regular symbols, we'd better not reuse the wrong demangled name.
730 (See PR gdb/1039.) We solve this by putting a distinctive prefix
731 on Java names when storing them in the hash table. */
733 /* FIXME: carlton/2003-03-13: This is an unfortunate situation. I
734 don't mind the Java prefix so much: different languages have
735 different demangling requirements, so it's only natural that we
736 need to keep language data around in our demangling cache. But
737 it's not good that the minimal symbol has the wrong demangled name.
738 Unfortunately, I can't think of any easy solution to that
741 #define JAVA_PREFIX "##JAVA$$"
742 #define JAVA_PREFIX_LEN 8
745 symbol_set_names (struct general_symbol_info
*gsymbol
,
746 const char *linkage_name
, int len
, int copy_name
,
747 struct objfile
*objfile
)
749 struct demangled_name_entry
**slot
;
750 /* A 0-terminated copy of the linkage name. */
751 const char *linkage_name_copy
;
752 /* A copy of the linkage name that might have a special Java prefix
753 added to it, for use when looking names up in the hash table. */
754 const char *lookup_name
;
755 /* The length of lookup_name. */
757 struct demangled_name_entry entry
;
758 struct objfile_per_bfd_storage
*per_bfd
= objfile
->per_bfd
;
760 if (gsymbol
->language
== language_ada
)
762 /* In Ada, we do the symbol lookups using the mangled name, so
763 we can save some space by not storing the demangled name.
765 As a side note, we have also observed some overlap between
766 the C++ mangling and Ada mangling, similarly to what has
767 been observed with Java. Because we don't store the demangled
768 name with the symbol, we don't need to use the same trick
771 gsymbol
->name
= linkage_name
;
774 char *name
= obstack_alloc (&per_bfd
->storage_obstack
, len
+ 1);
776 memcpy (name
, linkage_name
, len
);
778 gsymbol
->name
= name
;
780 symbol_set_demangled_name (gsymbol
, NULL
, &per_bfd
->storage_obstack
);
785 if (per_bfd
->demangled_names_hash
== NULL
)
786 create_demangled_names_hash (objfile
);
788 /* The stabs reader generally provides names that are not
789 NUL-terminated; most of the other readers don't do this, so we
790 can just use the given copy, unless we're in the Java case. */
791 if (gsymbol
->language
== language_java
)
795 lookup_len
= len
+ JAVA_PREFIX_LEN
;
796 alloc_name
= alloca (lookup_len
+ 1);
797 memcpy (alloc_name
, JAVA_PREFIX
, JAVA_PREFIX_LEN
);
798 memcpy (alloc_name
+ JAVA_PREFIX_LEN
, linkage_name
, len
);
799 alloc_name
[lookup_len
] = '\0';
801 lookup_name
= alloc_name
;
802 linkage_name_copy
= alloc_name
+ JAVA_PREFIX_LEN
;
804 else if (linkage_name
[len
] != '\0')
809 alloc_name
= alloca (lookup_len
+ 1);
810 memcpy (alloc_name
, linkage_name
, len
);
811 alloc_name
[lookup_len
] = '\0';
813 lookup_name
= alloc_name
;
814 linkage_name_copy
= alloc_name
;
819 lookup_name
= linkage_name
;
820 linkage_name_copy
= linkage_name
;
823 entry
.mangled
= lookup_name
;
824 slot
= ((struct demangled_name_entry
**)
825 htab_find_slot (per_bfd
->demangled_names_hash
,
828 /* If this name is not in the hash table, add it. */
830 /* A C version of the symbol may have already snuck into the table.
831 This happens to, e.g., main.init (__go_init_main). Cope. */
832 || (gsymbol
->language
== language_go
833 && (*slot
)->demangled
[0] == '\0'))
835 char *demangled_name
= symbol_find_demangled_name (gsymbol
,
837 int demangled_len
= demangled_name
? strlen (demangled_name
) : 0;
839 /* Suppose we have demangled_name==NULL, copy_name==0, and
840 lookup_name==linkage_name. In this case, we already have the
841 mangled name saved, and we don't have a demangled name. So,
842 you might think we could save a little space by not recording
843 this in the hash table at all.
845 It turns out that it is actually important to still save such
846 an entry in the hash table, because storing this name gives
847 us better bcache hit rates for partial symbols. */
848 if (!copy_name
&& lookup_name
== linkage_name
)
850 *slot
= obstack_alloc (&per_bfd
->storage_obstack
,
851 offsetof (struct demangled_name_entry
,
853 + demangled_len
+ 1);
854 (*slot
)->mangled
= lookup_name
;
860 /* If we must copy the mangled name, put it directly after
861 the demangled name so we can have a single
863 *slot
= obstack_alloc (&per_bfd
->storage_obstack
,
864 offsetof (struct demangled_name_entry
,
866 + lookup_len
+ demangled_len
+ 2);
867 mangled_ptr
= &((*slot
)->demangled
[demangled_len
+ 1]);
868 strcpy (mangled_ptr
, lookup_name
);
869 (*slot
)->mangled
= mangled_ptr
;
872 if (demangled_name
!= NULL
)
874 strcpy ((*slot
)->demangled
, demangled_name
);
875 xfree (demangled_name
);
878 (*slot
)->demangled
[0] = '\0';
881 gsymbol
->name
= (*slot
)->mangled
+ lookup_len
- len
;
882 if ((*slot
)->demangled
[0] != '\0')
883 symbol_set_demangled_name (gsymbol
, (*slot
)->demangled
,
884 &per_bfd
->storage_obstack
);
886 symbol_set_demangled_name (gsymbol
, NULL
, &per_bfd
->storage_obstack
);
889 /* Return the source code name of a symbol. In languages where
890 demangling is necessary, this is the demangled name. */
893 symbol_natural_name (const struct general_symbol_info
*gsymbol
)
895 switch (gsymbol
->language
)
902 case language_fortran
:
903 if (symbol_get_demangled_name (gsymbol
) != NULL
)
904 return symbol_get_demangled_name (gsymbol
);
907 return ada_decode_symbol (gsymbol
);
911 return gsymbol
->name
;
914 /* Return the demangled name for a symbol based on the language for
915 that symbol. If no demangled name exists, return NULL. */
918 symbol_demangled_name (const struct general_symbol_info
*gsymbol
)
920 const char *dem_name
= NULL
;
922 switch (gsymbol
->language
)
929 case language_fortran
:
930 dem_name
= symbol_get_demangled_name (gsymbol
);
933 dem_name
= ada_decode_symbol (gsymbol
);
941 /* Return the search name of a symbol---generally the demangled or
942 linkage name of the symbol, depending on how it will be searched for.
943 If there is no distinct demangled name, then returns the same value
944 (same pointer) as SYMBOL_LINKAGE_NAME. */
947 symbol_search_name (const struct general_symbol_info
*gsymbol
)
949 if (gsymbol
->language
== language_ada
)
950 return gsymbol
->name
;
952 return symbol_natural_name (gsymbol
);
955 /* Initialize the structure fields to zero values. */
958 init_sal (struct symtab_and_line
*sal
)
960 memset (sal
, 0, sizeof (*sal
));
964 /* Return 1 if the two sections are the same, or if they could
965 plausibly be copies of each other, one in an original object
966 file and another in a separated debug file. */
969 matching_obj_sections (struct obj_section
*obj_first
,
970 struct obj_section
*obj_second
)
972 asection
*first
= obj_first
? obj_first
->the_bfd_section
: NULL
;
973 asection
*second
= obj_second
? obj_second
->the_bfd_section
: NULL
;
976 /* If they're the same section, then they match. */
980 /* If either is NULL, give up. */
981 if (first
== NULL
|| second
== NULL
)
984 /* This doesn't apply to absolute symbols. */
985 if (first
->owner
== NULL
|| second
->owner
== NULL
)
988 /* If they're in the same object file, they must be different sections. */
989 if (first
->owner
== second
->owner
)
992 /* Check whether the two sections are potentially corresponding. They must
993 have the same size, address, and name. We can't compare section indexes,
994 which would be more reliable, because some sections may have been
996 if (bfd_get_section_size (first
) != bfd_get_section_size (second
))
999 /* In-memory addresses may start at a different offset, relativize them. */
1000 if (bfd_get_section_vma (first
->owner
, first
)
1001 - bfd_get_start_address (first
->owner
)
1002 != bfd_get_section_vma (second
->owner
, second
)
1003 - bfd_get_start_address (second
->owner
))
1006 if (bfd_get_section_name (first
->owner
, first
) == NULL
1007 || bfd_get_section_name (second
->owner
, second
) == NULL
1008 || strcmp (bfd_get_section_name (first
->owner
, first
),
1009 bfd_get_section_name (second
->owner
, second
)) != 0)
1012 /* Otherwise check that they are in corresponding objfiles. */
1015 if (obj
->obfd
== first
->owner
)
1017 gdb_assert (obj
!= NULL
);
1019 if (obj
->separate_debug_objfile
!= NULL
1020 && obj
->separate_debug_objfile
->obfd
== second
->owner
)
1022 if (obj
->separate_debug_objfile_backlink
!= NULL
1023 && obj
->separate_debug_objfile_backlink
->obfd
== second
->owner
)
1032 expand_symtab_containing_pc (CORE_ADDR pc
, struct obj_section
*section
)
1034 struct objfile
*objfile
;
1035 struct bound_minimal_symbol msymbol
;
1037 /* If we know that this is not a text address, return failure. This is
1038 necessary because we loop based on texthigh and textlow, which do
1039 not include the data ranges. */
1040 msymbol
= lookup_minimal_symbol_by_pc_section (pc
, section
);
1042 && (MSYMBOL_TYPE (msymbol
.minsym
) == mst_data
1043 || MSYMBOL_TYPE (msymbol
.minsym
) == mst_bss
1044 || MSYMBOL_TYPE (msymbol
.minsym
) == mst_abs
1045 || MSYMBOL_TYPE (msymbol
.minsym
) == mst_file_data
1046 || MSYMBOL_TYPE (msymbol
.minsym
) == mst_file_bss
))
1049 ALL_OBJFILES (objfile
)
1051 struct compunit_symtab
*cust
= NULL
;
1054 cust
= objfile
->sf
->qf
->find_pc_sect_compunit_symtab (objfile
, msymbol
,
1061 /* Debug symbols usually don't have section information. We need to dig that
1062 out of the minimal symbols and stash that in the debug symbol. */
1065 fixup_section (struct general_symbol_info
*ginfo
,
1066 CORE_ADDR addr
, struct objfile
*objfile
)
1068 struct minimal_symbol
*msym
;
1070 /* First, check whether a minimal symbol with the same name exists
1071 and points to the same address. The address check is required
1072 e.g. on PowerPC64, where the minimal symbol for a function will
1073 point to the function descriptor, while the debug symbol will
1074 point to the actual function code. */
1075 msym
= lookup_minimal_symbol_by_pc_name (addr
, ginfo
->name
, objfile
);
1077 ginfo
->section
= MSYMBOL_SECTION (msym
);
1080 /* Static, function-local variables do appear in the linker
1081 (minimal) symbols, but are frequently given names that won't
1082 be found via lookup_minimal_symbol(). E.g., it has been
1083 observed in frv-uclinux (ELF) executables that a static,
1084 function-local variable named "foo" might appear in the
1085 linker symbols as "foo.6" or "foo.3". Thus, there is no
1086 point in attempting to extend the lookup-by-name mechanism to
1087 handle this case due to the fact that there can be multiple
1090 So, instead, search the section table when lookup by name has
1091 failed. The ``addr'' and ``endaddr'' fields may have already
1092 been relocated. If so, the relocation offset (i.e. the
1093 ANOFFSET value) needs to be subtracted from these values when
1094 performing the comparison. We unconditionally subtract it,
1095 because, when no relocation has been performed, the ANOFFSET
1096 value will simply be zero.
1098 The address of the symbol whose section we're fixing up HAS
1099 NOT BEEN adjusted (relocated) yet. It can't have been since
1100 the section isn't yet known and knowing the section is
1101 necessary in order to add the correct relocation value. In
1102 other words, we wouldn't even be in this function (attempting
1103 to compute the section) if it were already known.
1105 Note that it is possible to search the minimal symbols
1106 (subtracting the relocation value if necessary) to find the
1107 matching minimal symbol, but this is overkill and much less
1108 efficient. It is not necessary to find the matching minimal
1109 symbol, only its section.
1111 Note that this technique (of doing a section table search)
1112 can fail when unrelocated section addresses overlap. For
1113 this reason, we still attempt a lookup by name prior to doing
1114 a search of the section table. */
1116 struct obj_section
*s
;
1119 ALL_OBJFILE_OSECTIONS (objfile
, s
)
1121 int idx
= s
- objfile
->sections
;
1122 CORE_ADDR offset
= ANOFFSET (objfile
->section_offsets
, idx
);
1127 if (obj_section_addr (s
) - offset
<= addr
1128 && addr
< obj_section_endaddr (s
) - offset
)
1130 ginfo
->section
= idx
;
1135 /* If we didn't find the section, assume it is in the first
1136 section. If there is no allocated section, then it hardly
1137 matters what we pick, so just pick zero. */
1141 ginfo
->section
= fallback
;
1146 fixup_symbol_section (struct symbol
*sym
, struct objfile
*objfile
)
1153 /* We either have an OBJFILE, or we can get at it from the sym's
1154 symtab. Anything else is a bug. */
1155 gdb_assert (objfile
|| symbol_symtab (sym
));
1157 if (objfile
== NULL
)
1158 objfile
= symbol_objfile (sym
);
1160 if (SYMBOL_OBJ_SECTION (objfile
, sym
))
1163 /* We should have an objfile by now. */
1164 gdb_assert (objfile
);
1166 switch (SYMBOL_CLASS (sym
))
1170 addr
= SYMBOL_VALUE_ADDRESS (sym
);
1173 addr
= BLOCK_START (SYMBOL_BLOCK_VALUE (sym
));
1177 /* Nothing else will be listed in the minsyms -- no use looking
1182 fixup_section (&sym
->ginfo
, addr
, objfile
);
1187 /* Compute the demangled form of NAME as used by the various symbol
1188 lookup functions. The result is stored in *RESULT_NAME. Returns a
1189 cleanup which can be used to clean up the result.
1191 For Ada, this function just sets *RESULT_NAME to NAME, unmodified.
1192 Normally, Ada symbol lookups are performed using the encoded name
1193 rather than the demangled name, and so it might seem to make sense
1194 for this function to return an encoded version of NAME.
1195 Unfortunately, we cannot do this, because this function is used in
1196 circumstances where it is not appropriate to try to encode NAME.
1197 For instance, when displaying the frame info, we demangle the name
1198 of each parameter, and then perform a symbol lookup inside our
1199 function using that demangled name. In Ada, certain functions
1200 have internally-generated parameters whose name contain uppercase
1201 characters. Encoding those name would result in those uppercase
1202 characters to become lowercase, and thus cause the symbol lookup
1206 demangle_for_lookup (const char *name
, enum language lang
,
1207 const char **result_name
)
1209 char *demangled_name
= NULL
;
1210 const char *modified_name
= NULL
;
1211 struct cleanup
*cleanup
= make_cleanup (null_cleanup
, 0);
1213 modified_name
= name
;
1215 /* If we are using C++, D, Go, or Java, demangle the name before doing a
1216 lookup, so we can always binary search. */
1217 if (lang
== language_cplus
)
1219 demangled_name
= gdb_demangle (name
, DMGL_ANSI
| DMGL_PARAMS
);
1222 modified_name
= demangled_name
;
1223 make_cleanup (xfree
, demangled_name
);
1227 /* If we were given a non-mangled name, canonicalize it
1228 according to the language (so far only for C++). */
1229 demangled_name
= cp_canonicalize_string (name
);
1232 modified_name
= demangled_name
;
1233 make_cleanup (xfree
, demangled_name
);
1237 else if (lang
== language_java
)
1239 demangled_name
= gdb_demangle (name
,
1240 DMGL_ANSI
| DMGL_PARAMS
| DMGL_JAVA
);
1243 modified_name
= demangled_name
;
1244 make_cleanup (xfree
, demangled_name
);
1247 else if (lang
== language_d
)
1249 demangled_name
= d_demangle (name
, 0);
1252 modified_name
= demangled_name
;
1253 make_cleanup (xfree
, demangled_name
);
1256 else if (lang
== language_go
)
1258 demangled_name
= go_demangle (name
, 0);
1261 modified_name
= demangled_name
;
1262 make_cleanup (xfree
, demangled_name
);
1266 *result_name
= modified_name
;
1272 This function (or rather its subordinates) have a bunch of loops and
1273 it would seem to be attractive to put in some QUIT's (though I'm not really
1274 sure whether it can run long enough to be really important). But there
1275 are a few calls for which it would appear to be bad news to quit
1276 out of here: e.g., find_proc_desc in alpha-mdebug-tdep.c. (Note
1277 that there is C++ code below which can error(), but that probably
1278 doesn't affect these calls since they are looking for a known
1279 variable and thus can probably assume it will never hit the C++
1283 lookup_symbol_in_language (const char *name
, const struct block
*block
,
1284 const domain_enum domain
, enum language lang
,
1285 struct field_of_this_result
*is_a_field_of_this
)
1287 const char *modified_name
;
1288 struct symbol
*returnval
;
1289 struct cleanup
*cleanup
= demangle_for_lookup (name
, lang
, &modified_name
);
1291 returnval
= lookup_symbol_aux (modified_name
, block
, domain
, lang
,
1292 is_a_field_of_this
);
1293 do_cleanups (cleanup
);
1301 lookup_symbol (const char *name
, const struct block
*block
,
1303 struct field_of_this_result
*is_a_field_of_this
)
1305 return lookup_symbol_in_language (name
, block
, domain
,
1306 current_language
->la_language
,
1307 is_a_field_of_this
);
1313 lookup_language_this (const struct language_defn
*lang
,
1314 const struct block
*block
)
1316 if (lang
->la_name_of_this
== NULL
|| block
== NULL
)
1319 if (symbol_lookup_debug
> 1)
1321 struct objfile
*objfile
= lookup_objfile_from_block (block
);
1323 fprintf_unfiltered (gdb_stdlog
,
1324 "lookup_language_this (%s, %s (objfile %s))",
1325 lang
->la_name
, host_address_to_string (block
),
1326 objfile_debug_name (objfile
));
1333 sym
= block_lookup_symbol (block
, lang
->la_name_of_this
, VAR_DOMAIN
);
1336 if (symbol_lookup_debug
> 1)
1338 fprintf_unfiltered (gdb_stdlog
, " = %s (%s, block %s)\n",
1339 SYMBOL_PRINT_NAME (sym
),
1340 host_address_to_string (sym
),
1341 host_address_to_string (block
));
1343 block_found
= block
;
1346 if (BLOCK_FUNCTION (block
))
1348 block
= BLOCK_SUPERBLOCK (block
);
1351 if (symbol_lookup_debug
> 1)
1352 fprintf_unfiltered (gdb_stdlog
, " = NULL\n");
1356 /* Given TYPE, a structure/union,
1357 return 1 if the component named NAME from the ultimate target
1358 structure/union is defined, otherwise, return 0. */
1361 check_field (struct type
*type
, const char *name
,
1362 struct field_of_this_result
*is_a_field_of_this
)
1366 /* The type may be a stub. */
1367 CHECK_TYPEDEF (type
);
1369 for (i
= TYPE_NFIELDS (type
) - 1; i
>= TYPE_N_BASECLASSES (type
); i
--)
1371 const char *t_field_name
= TYPE_FIELD_NAME (type
, i
);
1373 if (t_field_name
&& (strcmp_iw (t_field_name
, name
) == 0))
1375 is_a_field_of_this
->type
= type
;
1376 is_a_field_of_this
->field
= &TYPE_FIELD (type
, i
);
1381 /* C++: If it was not found as a data field, then try to return it
1382 as a pointer to a method. */
1384 for (i
= TYPE_NFN_FIELDS (type
) - 1; i
>= 0; --i
)
1386 if (strcmp_iw (TYPE_FN_FIELDLIST_NAME (type
, i
), name
) == 0)
1388 is_a_field_of_this
->type
= type
;
1389 is_a_field_of_this
->fn_field
= &TYPE_FN_FIELDLIST (type
, i
);
1394 for (i
= TYPE_N_BASECLASSES (type
) - 1; i
>= 0; i
--)
1395 if (check_field (TYPE_BASECLASS (type
, i
), name
, is_a_field_of_this
))
1401 /* Behave like lookup_symbol except that NAME is the natural name
1402 (e.g., demangled name) of the symbol that we're looking for. */
1404 static struct symbol
*
1405 lookup_symbol_aux (const char *name
, const struct block
*block
,
1406 const domain_enum domain
, enum language language
,
1407 struct field_of_this_result
*is_a_field_of_this
)
1410 const struct language_defn
*langdef
;
1412 if (symbol_lookup_debug
)
1414 struct objfile
*objfile
= lookup_objfile_from_block (block
);
1416 fprintf_unfiltered (gdb_stdlog
,
1417 "lookup_symbol_aux (%s, %s (objfile %s), %s, %s)\n",
1418 name
, host_address_to_string (block
),
1420 ? objfile_debug_name (objfile
) : "NULL",
1421 domain_name (domain
), language_str (language
));
1424 /* Make sure we do something sensible with is_a_field_of_this, since
1425 the callers that set this parameter to some non-null value will
1426 certainly use it later. If we don't set it, the contents of
1427 is_a_field_of_this are undefined. */
1428 if (is_a_field_of_this
!= NULL
)
1429 memset (is_a_field_of_this
, 0, sizeof (*is_a_field_of_this
));
1431 /* Search specified block and its superiors. Don't search
1432 STATIC_BLOCK or GLOBAL_BLOCK. */
1434 sym
= lookup_local_symbol (name
, block
, domain
, language
);
1437 if (symbol_lookup_debug
)
1439 fprintf_unfiltered (gdb_stdlog
, "lookup_symbol_aux (...) = %s\n",
1440 host_address_to_string (sym
));
1445 /* If requested to do so by the caller and if appropriate for LANGUAGE,
1446 check to see if NAME is a field of `this'. */
1448 langdef
= language_def (language
);
1450 /* Don't do this check if we are searching for a struct. It will
1451 not be found by check_field, but will be found by other
1453 if (is_a_field_of_this
!= NULL
&& domain
!= STRUCT_DOMAIN
)
1455 struct symbol
*sym
= lookup_language_this (langdef
, block
);
1459 struct type
*t
= sym
->type
;
1461 /* I'm not really sure that type of this can ever
1462 be typedefed; just be safe. */
1464 if (TYPE_CODE (t
) == TYPE_CODE_PTR
1465 || TYPE_CODE (t
) == TYPE_CODE_REF
)
1466 t
= TYPE_TARGET_TYPE (t
);
1468 if (TYPE_CODE (t
) != TYPE_CODE_STRUCT
1469 && TYPE_CODE (t
) != TYPE_CODE_UNION
)
1470 error (_("Internal error: `%s' is not an aggregate"),
1471 langdef
->la_name_of_this
);
1473 if (check_field (t
, name
, is_a_field_of_this
))
1475 if (symbol_lookup_debug
)
1477 fprintf_unfiltered (gdb_stdlog
,
1478 "lookup_symbol_aux (...) = NULL\n");
1485 /* Now do whatever is appropriate for LANGUAGE to look
1486 up static and global variables. */
1488 sym
= langdef
->la_lookup_symbol_nonlocal (name
, block
, domain
);
1491 if (symbol_lookup_debug
)
1493 fprintf_unfiltered (gdb_stdlog
, "lookup_symbol_aux (...) = %s\n",
1494 host_address_to_string (sym
));
1499 /* Now search all static file-level symbols. Not strictly correct,
1500 but more useful than an error. */
1502 sym
= lookup_static_symbol (name
, domain
);
1503 if (symbol_lookup_debug
)
1505 fprintf_unfiltered (gdb_stdlog
, "lookup_symbol_aux (...) = %s\n",
1506 sym
!= NULL
? host_address_to_string (sym
) : "NULL");
1511 /* Check to see if the symbol is defined in BLOCK or its superiors.
1512 Don't search STATIC_BLOCK or GLOBAL_BLOCK. */
1514 static struct symbol
*
1515 lookup_local_symbol (const char *name
, const struct block
*block
,
1516 const domain_enum domain
,
1517 enum language language
)
1520 const struct block
*static_block
= block_static_block (block
);
1521 const char *scope
= block_scope (block
);
1523 /* Check if either no block is specified or it's a global block. */
1525 if (static_block
== NULL
)
1528 while (block
!= static_block
)
1530 sym
= lookup_symbol_in_block (name
, block
, domain
);
1534 if (language
== language_cplus
|| language
== language_fortran
)
1536 sym
= cp_lookup_symbol_imports_or_template (scope
, name
, block
,
1542 if (BLOCK_FUNCTION (block
) != NULL
&& block_inlined_p (block
))
1544 block
= BLOCK_SUPERBLOCK (block
);
1547 /* We've reached the end of the function without finding a result. */
1555 lookup_objfile_from_block (const struct block
*block
)
1557 struct objfile
*obj
;
1558 struct compunit_symtab
*cust
;
1563 block
= block_global_block (block
);
1564 /* Look through all blockvectors. */
1565 ALL_COMPUNITS (obj
, cust
)
1566 if (block
== BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust
),
1569 if (obj
->separate_debug_objfile_backlink
)
1570 obj
= obj
->separate_debug_objfile_backlink
;
1581 lookup_symbol_in_block (const char *name
, const struct block
*block
,
1582 const domain_enum domain
)
1586 if (symbol_lookup_debug
> 1)
1588 struct objfile
*objfile
= lookup_objfile_from_block (block
);
1590 fprintf_unfiltered (gdb_stdlog
,
1591 "lookup_symbol_in_block (%s, %s (objfile %s), %s)",
1592 name
, host_address_to_string (block
),
1593 objfile_debug_name (objfile
),
1594 domain_name (domain
));
1597 sym
= block_lookup_symbol (block
, name
, domain
);
1600 if (symbol_lookup_debug
> 1)
1602 fprintf_unfiltered (gdb_stdlog
, " = %s\n",
1603 host_address_to_string (sym
));
1605 block_found
= block
;
1606 return fixup_symbol_section (sym
, NULL
);
1609 if (symbol_lookup_debug
> 1)
1610 fprintf_unfiltered (gdb_stdlog
, " = NULL\n");
1617 lookup_global_symbol_from_objfile (struct objfile
*main_objfile
,
1619 const domain_enum domain
)
1621 struct objfile
*objfile
;
1623 for (objfile
= main_objfile
;
1625 objfile
= objfile_separate_debug_iterate (main_objfile
, objfile
))
1627 struct symbol
*sym
= lookup_symbol_in_objfile (objfile
, GLOBAL_BLOCK
,
1637 /* Check to see if the symbol is defined in one of the OBJFILE's
1638 symtabs. BLOCK_INDEX should be either GLOBAL_BLOCK or STATIC_BLOCK,
1639 depending on whether or not we want to search global symbols or
1642 static struct symbol
*
1643 lookup_symbol_in_objfile_symtabs (struct objfile
*objfile
, int block_index
,
1644 const char *name
, const domain_enum domain
)
1646 struct compunit_symtab
*cust
;
1648 gdb_assert (block_index
== GLOBAL_BLOCK
|| block_index
== STATIC_BLOCK
);
1650 if (symbol_lookup_debug
> 1)
1652 fprintf_unfiltered (gdb_stdlog
,
1653 "lookup_symbol_in_objfile_symtabs (%s, %s, %s, %s)",
1654 objfile_debug_name (objfile
),
1655 block_index
== GLOBAL_BLOCK
1656 ? "GLOBAL_BLOCK" : "STATIC_BLOCK",
1657 name
, domain_name (domain
));
1660 ALL_OBJFILE_COMPUNITS (objfile
, cust
)
1662 const struct blockvector
*bv
;
1663 const struct block
*block
;
1666 bv
= COMPUNIT_BLOCKVECTOR (cust
);
1667 block
= BLOCKVECTOR_BLOCK (bv
, block_index
);
1668 sym
= block_lookup_symbol_primary (block
, name
, domain
);
1671 if (symbol_lookup_debug
> 1)
1673 fprintf_unfiltered (gdb_stdlog
, " = %s (block %s)\n",
1674 host_address_to_string (sym
),
1675 host_address_to_string (block
));
1677 block_found
= block
;
1678 return fixup_symbol_section (sym
, objfile
);
1682 if (symbol_lookup_debug
> 1)
1683 fprintf_unfiltered (gdb_stdlog
, " = NULL\n");
1687 /* Wrapper around lookup_symbol_in_objfile_symtabs for search_symbols.
1688 Look up LINKAGE_NAME in DOMAIN in the global and static blocks of OBJFILE
1689 and all associated separate debug objfiles.
1691 Normally we only look in OBJFILE, and not any separate debug objfiles
1692 because the outer loop will cause them to be searched too. This case is
1693 different. Here we're called from search_symbols where it will only
1694 call us for the the objfile that contains a matching minsym. */
1696 static struct symbol
*
1697 lookup_symbol_in_objfile_from_linkage_name (struct objfile
*objfile
,
1698 const char *linkage_name
,
1701 enum language lang
= current_language
->la_language
;
1702 const char *modified_name
;
1703 struct cleanup
*cleanup
= demangle_for_lookup (linkage_name
, lang
,
1705 struct objfile
*main_objfile
, *cur_objfile
;
1707 if (objfile
->separate_debug_objfile_backlink
)
1708 main_objfile
= objfile
->separate_debug_objfile_backlink
;
1710 main_objfile
= objfile
;
1712 for (cur_objfile
= main_objfile
;
1714 cur_objfile
= objfile_separate_debug_iterate (main_objfile
, cur_objfile
))
1718 sym
= lookup_symbol_in_objfile_symtabs (cur_objfile
, GLOBAL_BLOCK
,
1719 modified_name
, domain
);
1721 sym
= lookup_symbol_in_objfile_symtabs (cur_objfile
, STATIC_BLOCK
,
1722 modified_name
, domain
);
1725 do_cleanups (cleanup
);
1730 do_cleanups (cleanup
);
1734 /* A helper function that throws an exception when a symbol was found
1735 in a psymtab but not in a symtab. */
1737 static void ATTRIBUTE_NORETURN
1738 error_in_psymtab_expansion (int block_index
, const char *name
,
1739 struct compunit_symtab
*cust
)
1742 Internal: %s symbol `%s' found in %s psymtab but not in symtab.\n\
1743 %s may be an inlined function, or may be a template function\n \
1744 (if a template, try specifying an instantiation: %s<type>)."),
1745 block_index
== GLOBAL_BLOCK
? "global" : "static",
1747 symtab_to_filename_for_display (compunit_primary_filetab (cust
)),
1751 /* A helper function for various lookup routines that interfaces with
1752 the "quick" symbol table functions. */
1754 static struct symbol
*
1755 lookup_symbol_via_quick_fns (struct objfile
*objfile
, int block_index
,
1756 const char *name
, const domain_enum domain
)
1758 struct compunit_symtab
*cust
;
1759 const struct blockvector
*bv
;
1760 const struct block
*block
;
1766 if (symbol_lookup_debug
> 1)
1768 fprintf_unfiltered (gdb_stdlog
,
1769 "lookup_symbol_via_quick_fns (%s, %s, %s, %s)\n",
1770 objfile_debug_name (objfile
),
1771 block_index
== GLOBAL_BLOCK
1772 ? "GLOBAL_BLOCK" : "STATIC_BLOCK",
1773 name
, domain_name (domain
));
1776 cust
= objfile
->sf
->qf
->lookup_symbol (objfile
, block_index
, name
, domain
);
1779 if (symbol_lookup_debug
> 1)
1781 fprintf_unfiltered (gdb_stdlog
,
1782 "lookup_symbol_via_quick_fns (...) = NULL\n");
1787 bv
= COMPUNIT_BLOCKVECTOR (cust
);
1788 block
= BLOCKVECTOR_BLOCK (bv
, block_index
);
1789 sym
= block_lookup_symbol (block
, name
, domain
);
1791 error_in_psymtab_expansion (block_index
, name
, cust
);
1793 if (symbol_lookup_debug
> 1)
1795 fprintf_unfiltered (gdb_stdlog
,
1796 "lookup_symbol_via_quick_fns (...) = %s (block %s)\n",
1797 host_address_to_string (sym
),
1798 host_address_to_string (block
));
1801 block_found
= block
;
1802 return fixup_symbol_section (sym
, objfile
);
1808 basic_lookup_symbol_nonlocal (const char *name
,
1809 const struct block
*block
,
1810 const domain_enum domain
)
1814 /* NOTE: carlton/2003-05-19: The comments below were written when
1815 this (or what turned into this) was part of lookup_symbol_aux;
1816 I'm much less worried about these questions now, since these
1817 decisions have turned out well, but I leave these comments here
1820 /* NOTE: carlton/2002-12-05: There is a question as to whether or
1821 not it would be appropriate to search the current global block
1822 here as well. (That's what this code used to do before the
1823 is_a_field_of_this check was moved up.) On the one hand, it's
1824 redundant with the lookup in all objfiles search that happens
1825 next. On the other hand, if decode_line_1 is passed an argument
1826 like filename:var, then the user presumably wants 'var' to be
1827 searched for in filename. On the third hand, there shouldn't be
1828 multiple global variables all of which are named 'var', and it's
1829 not like decode_line_1 has ever restricted its search to only
1830 global variables in a single filename. All in all, only
1831 searching the static block here seems best: it's correct and it's
1834 /* NOTE: carlton/2002-12-05: There's also a possible performance
1835 issue here: if you usually search for global symbols in the
1836 current file, then it would be slightly better to search the
1837 current global block before searching all the symtabs. But there
1838 are other factors that have a much greater effect on performance
1839 than that one, so I don't think we should worry about that for
1842 /* NOTE: dje/2014-10-26: The lookup in all objfiles search could skip
1843 the current objfile. Searching the current objfile first is useful
1844 for both matching user expectations as well as performance. */
1846 sym
= lookup_symbol_in_static_block (name
, block
, domain
);
1850 return lookup_global_symbol (name
, block
, domain
);
1856 lookup_symbol_in_static_block (const char *name
,
1857 const struct block
*block
,
1858 const domain_enum domain
)
1860 const struct block
*static_block
= block_static_block (block
);
1863 if (static_block
== NULL
)
1866 if (symbol_lookup_debug
)
1868 struct objfile
*objfile
= lookup_objfile_from_block (static_block
);
1870 fprintf_unfiltered (gdb_stdlog
,
1871 "lookup_symbol_in_static_block (%s, %s (objfile %s),"
1874 host_address_to_string (block
),
1875 objfile_debug_name (objfile
),
1876 domain_name (domain
));
1879 sym
= lookup_symbol_in_block (name
, static_block
, domain
);
1880 if (symbol_lookup_debug
)
1882 fprintf_unfiltered (gdb_stdlog
,
1883 "lookup_symbol_in_static_block (...) = %s\n",
1884 sym
!= NULL
? host_address_to_string (sym
) : "NULL");
1889 /* Perform the standard symbol lookup of NAME in OBJFILE:
1890 1) First search expanded symtabs, and if not found
1891 2) Search the "quick" symtabs (partial or .gdb_index).
1892 BLOCK_INDEX is one of GLOBAL_BLOCK or STATIC_BLOCK. */
1894 static struct symbol
*
1895 lookup_symbol_in_objfile (struct objfile
*objfile
, int block_index
,
1896 const char *name
, const domain_enum domain
)
1898 struct symbol
*result
;
1900 if (symbol_lookup_debug
)
1902 fprintf_unfiltered (gdb_stdlog
,
1903 "lookup_symbol_in_objfile (%s, %s, %s, %s)\n",
1904 objfile_debug_name (objfile
),
1905 block_index
== GLOBAL_BLOCK
1906 ? "GLOBAL_BLOCK" : "STATIC_BLOCK",
1907 name
, domain_name (domain
));
1910 result
= lookup_symbol_in_objfile_symtabs (objfile
, block_index
,
1914 if (symbol_lookup_debug
)
1916 fprintf_unfiltered (gdb_stdlog
,
1917 "lookup_symbol_in_objfile (...) = %s"
1919 host_address_to_string (result
));
1924 result
= lookup_symbol_via_quick_fns (objfile
, block_index
,
1926 if (symbol_lookup_debug
)
1928 fprintf_unfiltered (gdb_stdlog
,
1929 "lookup_symbol_in_objfile (...) = %s%s\n",
1931 ? host_address_to_string (result
)
1933 result
!= NULL
? " (via quick fns)" : "");
1941 lookup_static_symbol (const char *name
, const domain_enum domain
)
1943 struct objfile
*objfile
;
1944 struct symbol
*result
;
1946 ALL_OBJFILES (objfile
)
1948 result
= lookup_symbol_in_objfile (objfile
, STATIC_BLOCK
, name
, domain
);
1956 /* Private data to be used with lookup_symbol_global_iterator_cb. */
1958 struct global_sym_lookup_data
1960 /* The name of the symbol we are searching for. */
1963 /* The domain to use for our search. */
1966 /* The field where the callback should store the symbol if found.
1967 It should be initialized to NULL before the search is started. */
1968 struct symbol
*result
;
1971 /* A callback function for gdbarch_iterate_over_objfiles_in_search_order.
1972 It searches by name for a symbol in the GLOBAL_BLOCK of the given
1973 OBJFILE. The arguments for the search are passed via CB_DATA,
1974 which in reality is a pointer to struct global_sym_lookup_data. */
1977 lookup_symbol_global_iterator_cb (struct objfile
*objfile
,
1980 struct global_sym_lookup_data
*data
=
1981 (struct global_sym_lookup_data
*) cb_data
;
1983 gdb_assert (data
->result
== NULL
);
1985 data
->result
= lookup_symbol_in_objfile (objfile
, GLOBAL_BLOCK
,
1986 data
->name
, data
->domain
);
1988 /* If we found a match, tell the iterator to stop. Otherwise,
1990 return (data
->result
!= NULL
);
1996 lookup_global_symbol (const char *name
,
1997 const struct block
*block
,
1998 const domain_enum domain
)
2000 struct symbol
*sym
= NULL
;
2001 struct objfile
*objfile
= NULL
;
2002 struct global_sym_lookup_data lookup_data
;
2004 /* Call library-specific lookup procedure. */
2005 objfile
= lookup_objfile_from_block (block
);
2006 if (objfile
!= NULL
)
2007 sym
= solib_global_lookup (objfile
, name
, domain
);
2011 memset (&lookup_data
, 0, sizeof (lookup_data
));
2012 lookup_data
.name
= name
;
2013 lookup_data
.domain
= domain
;
2014 gdbarch_iterate_over_objfiles_in_search_order
2015 (objfile
!= NULL
? get_objfile_arch (objfile
) : target_gdbarch (),
2016 lookup_symbol_global_iterator_cb
, &lookup_data
, objfile
);
2018 return lookup_data
.result
;
2022 symbol_matches_domain (enum language symbol_language
,
2023 domain_enum symbol_domain
,
2026 /* For C++ "struct foo { ... }" also defines a typedef for "foo".
2027 A Java class declaration also defines a typedef for the class.
2028 Similarly, any Ada type declaration implicitly defines a typedef. */
2029 if (symbol_language
== language_cplus
2030 || symbol_language
== language_d
2031 || symbol_language
== language_java
2032 || symbol_language
== language_ada
)
2034 if ((domain
== VAR_DOMAIN
|| domain
== STRUCT_DOMAIN
)
2035 && symbol_domain
== STRUCT_DOMAIN
)
2038 /* For all other languages, strict match is required. */
2039 return (symbol_domain
== domain
);
2045 lookup_transparent_type (const char *name
)
2047 return current_language
->la_lookup_transparent_type (name
);
2050 /* A helper for basic_lookup_transparent_type that interfaces with the
2051 "quick" symbol table functions. */
2053 static struct type
*
2054 basic_lookup_transparent_type_quick (struct objfile
*objfile
, int block_index
,
2057 struct compunit_symtab
*cust
;
2058 const struct blockvector
*bv
;
2059 struct block
*block
;
2064 cust
= objfile
->sf
->qf
->lookup_symbol (objfile
, block_index
, name
,
2069 bv
= COMPUNIT_BLOCKVECTOR (cust
);
2070 block
= BLOCKVECTOR_BLOCK (bv
, block_index
);
2071 sym
= block_lookup_symbol (block
, name
, STRUCT_DOMAIN
);
2073 error_in_psymtab_expansion (block_index
, name
, cust
);
2075 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym
)))
2076 return SYMBOL_TYPE (sym
);
2081 /* The standard implementation of lookup_transparent_type. This code
2082 was modeled on lookup_symbol -- the parts not relevant to looking
2083 up types were just left out. In particular it's assumed here that
2084 types are available in STRUCT_DOMAIN and only in file-static or
2088 basic_lookup_transparent_type (const char *name
)
2091 struct compunit_symtab
*cust
;
2092 const struct blockvector
*bv
;
2093 struct objfile
*objfile
;
2094 struct block
*block
;
2097 /* Now search all the global symbols. Do the symtab's first, then
2098 check the psymtab's. If a psymtab indicates the existence
2099 of the desired name as a global, then do psymtab-to-symtab
2100 conversion on the fly and return the found symbol. */
2102 ALL_OBJFILES (objfile
)
2104 ALL_OBJFILE_COMPUNITS (objfile
, cust
)
2106 bv
= COMPUNIT_BLOCKVECTOR (cust
);
2107 block
= BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
);
2108 sym
= block_lookup_symbol (block
, name
, STRUCT_DOMAIN
);
2109 if (sym
&& !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym
)))
2111 return SYMBOL_TYPE (sym
);
2116 ALL_OBJFILES (objfile
)
2118 t
= basic_lookup_transparent_type_quick (objfile
, GLOBAL_BLOCK
, name
);
2123 /* Now search the static file-level symbols.
2124 Not strictly correct, but more useful than an error.
2125 Do the symtab's first, then
2126 check the psymtab's. If a psymtab indicates the existence
2127 of the desired name as a file-level static, then do psymtab-to-symtab
2128 conversion on the fly and return the found symbol. */
2130 ALL_OBJFILES (objfile
)
2132 ALL_OBJFILE_COMPUNITS (objfile
, cust
)
2134 bv
= COMPUNIT_BLOCKVECTOR (cust
);
2135 block
= BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
);
2136 sym
= block_lookup_symbol (block
, name
, STRUCT_DOMAIN
);
2137 if (sym
&& !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym
)))
2139 return SYMBOL_TYPE (sym
);
2144 ALL_OBJFILES (objfile
)
2146 t
= basic_lookup_transparent_type_quick (objfile
, STATIC_BLOCK
, name
);
2151 return (struct type
*) 0;
2154 /* Iterate over the symbols named NAME, matching DOMAIN, in BLOCK.
2156 For each symbol that matches, CALLBACK is called. The symbol and
2157 DATA are passed to the callback.
2159 If CALLBACK returns zero, the iteration ends. Otherwise, the
2160 search continues. */
2163 iterate_over_symbols (const struct block
*block
, const char *name
,
2164 const domain_enum domain
,
2165 symbol_found_callback_ftype
*callback
,
2168 struct block_iterator iter
;
2171 ALL_BLOCK_SYMBOLS_WITH_NAME (block
, name
, iter
, sym
)
2173 if (symbol_matches_domain (SYMBOL_LANGUAGE (sym
),
2174 SYMBOL_DOMAIN (sym
), domain
))
2176 if (!callback (sym
, data
))
2182 /* Find the compunit symtab associated with PC and SECTION.
2183 This will read in debug info as necessary. */
2185 struct compunit_symtab
*
2186 find_pc_sect_compunit_symtab (CORE_ADDR pc
, struct obj_section
*section
)
2188 struct compunit_symtab
*cust
;
2189 struct compunit_symtab
*best_cust
= NULL
;
2190 struct objfile
*objfile
;
2191 CORE_ADDR distance
= 0;
2192 struct bound_minimal_symbol msymbol
;
2194 /* If we know that this is not a text address, return failure. This is
2195 necessary because we loop based on the block's high and low code
2196 addresses, which do not include the data ranges, and because
2197 we call find_pc_sect_psymtab which has a similar restriction based
2198 on the partial_symtab's texthigh and textlow. */
2199 msymbol
= lookup_minimal_symbol_by_pc_section (pc
, section
);
2201 && (MSYMBOL_TYPE (msymbol
.minsym
) == mst_data
2202 || MSYMBOL_TYPE (msymbol
.minsym
) == mst_bss
2203 || MSYMBOL_TYPE (msymbol
.minsym
) == mst_abs
2204 || MSYMBOL_TYPE (msymbol
.minsym
) == mst_file_data
2205 || MSYMBOL_TYPE (msymbol
.minsym
) == mst_file_bss
))
2208 /* Search all symtabs for the one whose file contains our address, and which
2209 is the smallest of all the ones containing the address. This is designed
2210 to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000
2211 and symtab b is at 0x2000-0x3000. So the GLOBAL_BLOCK for a is from
2212 0x1000-0x4000, but for address 0x2345 we want to return symtab b.
2214 This happens for native ecoff format, where code from included files
2215 gets its own symtab. The symtab for the included file should have
2216 been read in already via the dependency mechanism.
2217 It might be swifter to create several symtabs with the same name
2218 like xcoff does (I'm not sure).
2220 It also happens for objfiles that have their functions reordered.
2221 For these, the symtab we are looking for is not necessarily read in. */
2223 ALL_COMPUNITS (objfile
, cust
)
2226 const struct blockvector
*bv
;
2228 bv
= COMPUNIT_BLOCKVECTOR (cust
);
2229 b
= BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
);
2231 if (BLOCK_START (b
) <= pc
2232 && BLOCK_END (b
) > pc
2234 || BLOCK_END (b
) - BLOCK_START (b
) < distance
))
2236 /* For an objfile that has its functions reordered,
2237 find_pc_psymtab will find the proper partial symbol table
2238 and we simply return its corresponding symtab. */
2239 /* In order to better support objfiles that contain both
2240 stabs and coff debugging info, we continue on if a psymtab
2242 if ((objfile
->flags
& OBJF_REORDERED
) && objfile
->sf
)
2244 struct compunit_symtab
*result
;
2247 = objfile
->sf
->qf
->find_pc_sect_compunit_symtab (objfile
,
2256 struct block_iterator iter
;
2257 struct symbol
*sym
= NULL
;
2259 ALL_BLOCK_SYMBOLS (b
, iter
, sym
)
2261 fixup_symbol_section (sym
, objfile
);
2262 if (matching_obj_sections (SYMBOL_OBJ_SECTION (objfile
, sym
),
2267 continue; /* No symbol in this symtab matches
2270 distance
= BLOCK_END (b
) - BLOCK_START (b
);
2275 if (best_cust
!= NULL
)
2278 /* Not found in symtabs, search the "quick" symtabs (e.g. psymtabs). */
2280 ALL_OBJFILES (objfile
)
2282 struct compunit_symtab
*result
;
2286 result
= objfile
->sf
->qf
->find_pc_sect_compunit_symtab (objfile
,
2297 /* Find the compunit symtab associated with PC.
2298 This will read in debug info as necessary.
2299 Backward compatibility, no section. */
2301 struct compunit_symtab
*
2302 find_pc_compunit_symtab (CORE_ADDR pc
)
2304 return find_pc_sect_compunit_symtab (pc
, find_pc_mapped_section (pc
));
2308 /* Find the source file and line number for a given PC value and SECTION.
2309 Return a structure containing a symtab pointer, a line number,
2310 and a pc range for the entire source line.
2311 The value's .pc field is NOT the specified pc.
2312 NOTCURRENT nonzero means, if specified pc is on a line boundary,
2313 use the line that ends there. Otherwise, in that case, the line
2314 that begins there is used. */
2316 /* The big complication here is that a line may start in one file, and end just
2317 before the start of another file. This usually occurs when you #include
2318 code in the middle of a subroutine. To properly find the end of a line's PC
2319 range, we must search all symtabs associated with this compilation unit, and
2320 find the one whose first PC is closer than that of the next line in this
2323 /* If it's worth the effort, we could be using a binary search. */
2325 struct symtab_and_line
2326 find_pc_sect_line (CORE_ADDR pc
, struct obj_section
*section
, int notcurrent
)
2328 struct compunit_symtab
*cust
;
2329 struct symtab
*iter_s
;
2330 struct linetable
*l
;
2333 struct linetable_entry
*item
;
2334 struct symtab_and_line val
;
2335 const struct blockvector
*bv
;
2336 struct bound_minimal_symbol msymbol
;
2338 /* Info on best line seen so far, and where it starts, and its file. */
2340 struct linetable_entry
*best
= NULL
;
2341 CORE_ADDR best_end
= 0;
2342 struct symtab
*best_symtab
= 0;
2344 /* Store here the first line number
2345 of a file which contains the line at the smallest pc after PC.
2346 If we don't find a line whose range contains PC,
2347 we will use a line one less than this,
2348 with a range from the start of that file to the first line's pc. */
2349 struct linetable_entry
*alt
= NULL
;
2351 /* Info on best line seen in this file. */
2353 struct linetable_entry
*prev
;
2355 /* If this pc is not from the current frame,
2356 it is the address of the end of a call instruction.
2357 Quite likely that is the start of the following statement.
2358 But what we want is the statement containing the instruction.
2359 Fudge the pc to make sure we get that. */
2361 init_sal (&val
); /* initialize to zeroes */
2363 val
.pspace
= current_program_space
;
2365 /* It's tempting to assume that, if we can't find debugging info for
2366 any function enclosing PC, that we shouldn't search for line
2367 number info, either. However, GAS can emit line number info for
2368 assembly files --- very helpful when debugging hand-written
2369 assembly code. In such a case, we'd have no debug info for the
2370 function, but we would have line info. */
2375 /* elz: added this because this function returned the wrong
2376 information if the pc belongs to a stub (import/export)
2377 to call a shlib function. This stub would be anywhere between
2378 two functions in the target, and the line info was erroneously
2379 taken to be the one of the line before the pc. */
2381 /* RT: Further explanation:
2383 * We have stubs (trampolines) inserted between procedures.
2385 * Example: "shr1" exists in a shared library, and a "shr1" stub also
2386 * exists in the main image.
2388 * In the minimal symbol table, we have a bunch of symbols
2389 * sorted by start address. The stubs are marked as "trampoline",
2390 * the others appear as text. E.g.:
2392 * Minimal symbol table for main image
2393 * main: code for main (text symbol)
2394 * shr1: stub (trampoline symbol)
2395 * foo: code for foo (text symbol)
2397 * Minimal symbol table for "shr1" image:
2399 * shr1: code for shr1 (text symbol)
2402 * So the code below is trying to detect if we are in the stub
2403 * ("shr1" stub), and if so, find the real code ("shr1" trampoline),
2404 * and if found, do the symbolization from the real-code address
2405 * rather than the stub address.
2407 * Assumptions being made about the minimal symbol table:
2408 * 1. lookup_minimal_symbol_by_pc() will return a trampoline only
2409 * if we're really in the trampoline.s If we're beyond it (say
2410 * we're in "foo" in the above example), it'll have a closer
2411 * symbol (the "foo" text symbol for example) and will not
2412 * return the trampoline.
2413 * 2. lookup_minimal_symbol_text() will find a real text symbol
2414 * corresponding to the trampoline, and whose address will
2415 * be different than the trampoline address. I put in a sanity
2416 * check for the address being the same, to avoid an
2417 * infinite recursion.
2419 msymbol
= lookup_minimal_symbol_by_pc (pc
);
2420 if (msymbol
.minsym
!= NULL
)
2421 if (MSYMBOL_TYPE (msymbol
.minsym
) == mst_solib_trampoline
)
2423 struct bound_minimal_symbol mfunsym
2424 = lookup_minimal_symbol_text (MSYMBOL_LINKAGE_NAME (msymbol
.minsym
),
2427 if (mfunsym
.minsym
== NULL
)
2428 /* I eliminated this warning since it is coming out
2429 * in the following situation:
2430 * gdb shmain // test program with shared libraries
2431 * (gdb) break shr1 // function in shared lib
2432 * Warning: In stub for ...
2433 * In the above situation, the shared lib is not loaded yet,
2434 * so of course we can't find the real func/line info,
2435 * but the "break" still works, and the warning is annoying.
2436 * So I commented out the warning. RT */
2437 /* warning ("In stub for %s; unable to find real function/line info",
2438 SYMBOL_LINKAGE_NAME (msymbol)); */
2441 else if (BMSYMBOL_VALUE_ADDRESS (mfunsym
)
2442 == BMSYMBOL_VALUE_ADDRESS (msymbol
))
2443 /* Avoid infinite recursion */
2444 /* See above comment about why warning is commented out. */
2445 /* warning ("In stub for %s; unable to find real function/line info",
2446 SYMBOL_LINKAGE_NAME (msymbol)); */
2450 return find_pc_line (BMSYMBOL_VALUE_ADDRESS (mfunsym
), 0);
2454 cust
= find_pc_sect_compunit_symtab (pc
, section
);
2457 /* If no symbol information, return previous pc. */
2464 bv
= COMPUNIT_BLOCKVECTOR (cust
);
2466 /* Look at all the symtabs that share this blockvector.
2467 They all have the same apriori range, that we found was right;
2468 but they have different line tables. */
2470 ALL_COMPUNIT_FILETABS (cust
, iter_s
)
2472 /* Find the best line in this symtab. */
2473 l
= SYMTAB_LINETABLE (iter_s
);
2479 /* I think len can be zero if the symtab lacks line numbers
2480 (e.g. gcc -g1). (Either that or the LINETABLE is NULL;
2481 I'm not sure which, and maybe it depends on the symbol
2487 item
= l
->item
; /* Get first line info. */
2489 /* Is this file's first line closer than the first lines of other files?
2490 If so, record this file, and its first line, as best alternate. */
2491 if (item
->pc
> pc
&& (!alt
|| item
->pc
< alt
->pc
))
2494 for (i
= 0; i
< len
; i
++, item
++)
2496 /* Leave prev pointing to the linetable entry for the last line
2497 that started at or before PC. */
2504 /* At this point, prev points at the line whose start addr is <= pc, and
2505 item points at the next line. If we ran off the end of the linetable
2506 (pc >= start of the last line), then prev == item. If pc < start of
2507 the first line, prev will not be set. */
2509 /* Is this file's best line closer than the best in the other files?
2510 If so, record this file, and its best line, as best so far. Don't
2511 save prev if it represents the end of a function (i.e. line number
2512 0) instead of a real line. */
2514 if (prev
&& prev
->line
&& (!best
|| prev
->pc
> best
->pc
))
2517 best_symtab
= iter_s
;
2519 /* Discard BEST_END if it's before the PC of the current BEST. */
2520 if (best_end
<= best
->pc
)
2524 /* If another line (denoted by ITEM) is in the linetable and its
2525 PC is after BEST's PC, but before the current BEST_END, then
2526 use ITEM's PC as the new best_end. */
2527 if (best
&& i
< len
&& item
->pc
> best
->pc
2528 && (best_end
== 0 || best_end
> item
->pc
))
2529 best_end
= item
->pc
;
2534 /* If we didn't find any line number info, just return zeros.
2535 We used to return alt->line - 1 here, but that could be
2536 anywhere; if we don't have line number info for this PC,
2537 don't make some up. */
2540 else if (best
->line
== 0)
2542 /* If our best fit is in a range of PC's for which no line
2543 number info is available (line number is zero) then we didn't
2544 find any valid line information. */
2549 val
.symtab
= best_symtab
;
2550 val
.line
= best
->line
;
2552 if (best_end
&& (!alt
|| best_end
< alt
->pc
))
2557 val
.end
= BLOCK_END (BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
));
2559 val
.section
= section
;
2563 /* Backward compatibility (no section). */
2565 struct symtab_and_line
2566 find_pc_line (CORE_ADDR pc
, int notcurrent
)
2568 struct obj_section
*section
;
2570 section
= find_pc_overlay (pc
);
2571 if (pc_in_unmapped_range (pc
, section
))
2572 pc
= overlay_mapped_address (pc
, section
);
2573 return find_pc_sect_line (pc
, section
, notcurrent
);
2579 find_pc_line_symtab (CORE_ADDR pc
)
2581 struct symtab_and_line sal
;
2583 /* This always passes zero for NOTCURRENT to find_pc_line.
2584 There are currently no callers that ever pass non-zero. */
2585 sal
= find_pc_line (pc
, 0);
2589 /* Find line number LINE in any symtab whose name is the same as
2592 If found, return the symtab that contains the linetable in which it was
2593 found, set *INDEX to the index in the linetable of the best entry
2594 found, and set *EXACT_MATCH nonzero if the value returned is an
2597 If not found, return NULL. */
2600 find_line_symtab (struct symtab
*symtab
, int line
,
2601 int *index
, int *exact_match
)
2603 int exact
= 0; /* Initialized here to avoid a compiler warning. */
2605 /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE
2609 struct linetable
*best_linetable
;
2610 struct symtab
*best_symtab
;
2612 /* First try looking it up in the given symtab. */
2613 best_linetable
= SYMTAB_LINETABLE (symtab
);
2614 best_symtab
= symtab
;
2615 best_index
= find_line_common (best_linetable
, line
, &exact
, 0);
2616 if (best_index
< 0 || !exact
)
2618 /* Didn't find an exact match. So we better keep looking for
2619 another symtab with the same name. In the case of xcoff,
2620 multiple csects for one source file (produced by IBM's FORTRAN
2621 compiler) produce multiple symtabs (this is unavoidable
2622 assuming csects can be at arbitrary places in memory and that
2623 the GLOBAL_BLOCK of a symtab has a begin and end address). */
2625 /* BEST is the smallest linenumber > LINE so far seen,
2626 or 0 if none has been seen so far.
2627 BEST_INDEX and BEST_LINETABLE identify the item for it. */
2630 struct objfile
*objfile
;
2631 struct compunit_symtab
*cu
;
2634 if (best_index
>= 0)
2635 best
= best_linetable
->item
[best_index
].line
;
2639 ALL_OBJFILES (objfile
)
2642 objfile
->sf
->qf
->expand_symtabs_with_fullname (objfile
,
2643 symtab_to_fullname (symtab
));
2646 ALL_FILETABS (objfile
, cu
, s
)
2648 struct linetable
*l
;
2651 if (FILENAME_CMP (symtab
->filename
, s
->filename
) != 0)
2653 if (FILENAME_CMP (symtab_to_fullname (symtab
),
2654 symtab_to_fullname (s
)) != 0)
2656 l
= SYMTAB_LINETABLE (s
);
2657 ind
= find_line_common (l
, line
, &exact
, 0);
2667 if (best
== 0 || l
->item
[ind
].line
< best
)
2669 best
= l
->item
[ind
].line
;
2682 *index
= best_index
;
2684 *exact_match
= exact
;
2689 /* Given SYMTAB, returns all the PCs function in the symtab that
2690 exactly match LINE. Returns NULL if there are no exact matches,
2691 but updates BEST_ITEM in this case. */
2694 find_pcs_for_symtab_line (struct symtab
*symtab
, int line
,
2695 struct linetable_entry
**best_item
)
2698 VEC (CORE_ADDR
) *result
= NULL
;
2700 /* First, collect all the PCs that are at this line. */
2706 idx
= find_line_common (SYMTAB_LINETABLE (symtab
), line
, &was_exact
,
2713 struct linetable_entry
*item
= &SYMTAB_LINETABLE (symtab
)->item
[idx
];
2715 if (*best_item
== NULL
|| item
->line
< (*best_item
)->line
)
2721 VEC_safe_push (CORE_ADDR
, result
,
2722 SYMTAB_LINETABLE (symtab
)->item
[idx
].pc
);
2730 /* Set the PC value for a given source file and line number and return true.
2731 Returns zero for invalid line number (and sets the PC to 0).
2732 The source file is specified with a struct symtab. */
2735 find_line_pc (struct symtab
*symtab
, int line
, CORE_ADDR
*pc
)
2737 struct linetable
*l
;
2744 symtab
= find_line_symtab (symtab
, line
, &ind
, NULL
);
2747 l
= SYMTAB_LINETABLE (symtab
);
2748 *pc
= l
->item
[ind
].pc
;
2755 /* Find the range of pc values in a line.
2756 Store the starting pc of the line into *STARTPTR
2757 and the ending pc (start of next line) into *ENDPTR.
2758 Returns 1 to indicate success.
2759 Returns 0 if could not find the specified line. */
2762 find_line_pc_range (struct symtab_and_line sal
, CORE_ADDR
*startptr
,
2765 CORE_ADDR startaddr
;
2766 struct symtab_and_line found_sal
;
2769 if (startaddr
== 0 && !find_line_pc (sal
.symtab
, sal
.line
, &startaddr
))
2772 /* This whole function is based on address. For example, if line 10 has
2773 two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then
2774 "info line *0x123" should say the line goes from 0x100 to 0x200
2775 and "info line *0x355" should say the line goes from 0x300 to 0x400.
2776 This also insures that we never give a range like "starts at 0x134
2777 and ends at 0x12c". */
2779 found_sal
= find_pc_sect_line (startaddr
, sal
.section
, 0);
2780 if (found_sal
.line
!= sal
.line
)
2782 /* The specified line (sal) has zero bytes. */
2783 *startptr
= found_sal
.pc
;
2784 *endptr
= found_sal
.pc
;
2788 *startptr
= found_sal
.pc
;
2789 *endptr
= found_sal
.end
;
2794 /* Given a line table and a line number, return the index into the line
2795 table for the pc of the nearest line whose number is >= the specified one.
2796 Return -1 if none is found. The value is >= 0 if it is an index.
2797 START is the index at which to start searching the line table.
2799 Set *EXACT_MATCH nonzero if the value returned is an exact match. */
2802 find_line_common (struct linetable
*l
, int lineno
,
2803 int *exact_match
, int start
)
2808 /* BEST is the smallest linenumber > LINENO so far seen,
2809 or 0 if none has been seen so far.
2810 BEST_INDEX identifies the item for it. */
2812 int best_index
= -1;
2823 for (i
= start
; i
< len
; i
++)
2825 struct linetable_entry
*item
= &(l
->item
[i
]);
2827 if (item
->line
== lineno
)
2829 /* Return the first (lowest address) entry which matches. */
2834 if (item
->line
> lineno
&& (best
== 0 || item
->line
< best
))
2841 /* If we got here, we didn't get an exact match. */
2846 find_pc_line_pc_range (CORE_ADDR pc
, CORE_ADDR
*startptr
, CORE_ADDR
*endptr
)
2848 struct symtab_and_line sal
;
2850 sal
= find_pc_line (pc
, 0);
2853 return sal
.symtab
!= 0;
2856 /* Given a function symbol SYM, find the symtab and line for the start
2858 If the argument FUNFIRSTLINE is nonzero, we want the first line
2859 of real code inside the function. */
2861 struct symtab_and_line
2862 find_function_start_sal (struct symbol
*sym
, int funfirstline
)
2864 struct symtab_and_line sal
;
2865 struct obj_section
*section
;
2867 fixup_symbol_section (sym
, NULL
);
2868 section
= SYMBOL_OBJ_SECTION (symbol_objfile (sym
), sym
);
2869 sal
= find_pc_sect_line (BLOCK_START (SYMBOL_BLOCK_VALUE (sym
)), section
, 0);
2871 /* We always should have a line for the function start address.
2872 If we don't, something is odd. Create a plain SAL refering
2873 just the PC and hope that skip_prologue_sal (if requested)
2874 can find a line number for after the prologue. */
2875 if (sal
.pc
< BLOCK_START (SYMBOL_BLOCK_VALUE (sym
)))
2878 sal
.pspace
= current_program_space
;
2879 sal
.pc
= BLOCK_START (SYMBOL_BLOCK_VALUE (sym
));
2880 sal
.section
= section
;
2884 skip_prologue_sal (&sal
);
2889 /* Given a function start address FUNC_ADDR and SYMTAB, find the first
2890 address for that function that has an entry in SYMTAB's line info
2891 table. If such an entry cannot be found, return FUNC_ADDR
2895 skip_prologue_using_lineinfo (CORE_ADDR func_addr
, struct symtab
*symtab
)
2897 CORE_ADDR func_start
, func_end
;
2898 struct linetable
*l
;
2901 /* Give up if this symbol has no lineinfo table. */
2902 l
= SYMTAB_LINETABLE (symtab
);
2906 /* Get the range for the function's PC values, or give up if we
2907 cannot, for some reason. */
2908 if (!find_pc_partial_function (func_addr
, NULL
, &func_start
, &func_end
))
2911 /* Linetable entries are ordered by PC values, see the commentary in
2912 symtab.h where `struct linetable' is defined. Thus, the first
2913 entry whose PC is in the range [FUNC_START..FUNC_END[ is the
2914 address we are looking for. */
2915 for (i
= 0; i
< l
->nitems
; i
++)
2917 struct linetable_entry
*item
= &(l
->item
[i
]);
2919 /* Don't use line numbers of zero, they mark special entries in
2920 the table. See the commentary on symtab.h before the
2921 definition of struct linetable. */
2922 if (item
->line
> 0 && func_start
<= item
->pc
&& item
->pc
< func_end
)
2929 /* Adjust SAL to the first instruction past the function prologue.
2930 If the PC was explicitly specified, the SAL is not changed.
2931 If the line number was explicitly specified, at most the SAL's PC
2932 is updated. If SAL is already past the prologue, then do nothing. */
2935 skip_prologue_sal (struct symtab_and_line
*sal
)
2938 struct symtab_and_line start_sal
;
2939 struct cleanup
*old_chain
;
2940 CORE_ADDR pc
, saved_pc
;
2941 struct obj_section
*section
;
2943 struct objfile
*objfile
;
2944 struct gdbarch
*gdbarch
;
2945 const struct block
*b
, *function_block
;
2946 int force_skip
, skip
;
2948 /* Do not change the SAL if PC was specified explicitly. */
2949 if (sal
->explicit_pc
)
2952 old_chain
= save_current_space_and_thread ();
2953 switch_to_program_space_and_thread (sal
->pspace
);
2955 sym
= find_pc_sect_function (sal
->pc
, sal
->section
);
2958 fixup_symbol_section (sym
, NULL
);
2960 objfile
= symbol_objfile (sym
);
2961 pc
= BLOCK_START (SYMBOL_BLOCK_VALUE (sym
));
2962 section
= SYMBOL_OBJ_SECTION (objfile
, sym
);
2963 name
= SYMBOL_LINKAGE_NAME (sym
);
2967 struct bound_minimal_symbol msymbol
2968 = lookup_minimal_symbol_by_pc_section (sal
->pc
, sal
->section
);
2970 if (msymbol
.minsym
== NULL
)
2972 do_cleanups (old_chain
);
2976 objfile
= msymbol
.objfile
;
2977 pc
= BMSYMBOL_VALUE_ADDRESS (msymbol
);
2978 section
= MSYMBOL_OBJ_SECTION (objfile
, msymbol
.minsym
);
2979 name
= MSYMBOL_LINKAGE_NAME (msymbol
.minsym
);
2982 gdbarch
= get_objfile_arch (objfile
);
2984 /* Process the prologue in two passes. In the first pass try to skip the
2985 prologue (SKIP is true) and verify there is a real need for it (indicated
2986 by FORCE_SKIP). If no such reason was found run a second pass where the
2987 prologue is not skipped (SKIP is false). */
2992 /* Be conservative - allow direct PC (without skipping prologue) only if we
2993 have proven the CU (Compilation Unit) supports it. sal->SYMTAB does not
2994 have to be set by the caller so we use SYM instead. */
2996 && COMPUNIT_LOCATIONS_VALID (SYMTAB_COMPUNIT (symbol_symtab (sym
))))
3004 /* If the function is in an unmapped overlay, use its unmapped LMA address,
3005 so that gdbarch_skip_prologue has something unique to work on. */
3006 if (section_is_overlay (section
) && !section_is_mapped (section
))
3007 pc
= overlay_unmapped_address (pc
, section
);
3009 /* Skip "first line" of function (which is actually its prologue). */
3010 pc
+= gdbarch_deprecated_function_start_offset (gdbarch
);
3011 if (gdbarch_skip_entrypoint_p (gdbarch
))
3012 pc
= gdbarch_skip_entrypoint (gdbarch
, pc
);
3014 pc
= gdbarch_skip_prologue (gdbarch
, pc
);
3016 /* For overlays, map pc back into its mapped VMA range. */
3017 pc
= overlay_mapped_address (pc
, section
);
3019 /* Calculate line number. */
3020 start_sal
= find_pc_sect_line (pc
, section
, 0);
3022 /* Check if gdbarch_skip_prologue left us in mid-line, and the next
3023 line is still part of the same function. */
3024 if (skip
&& start_sal
.pc
!= pc
3025 && (sym
? (BLOCK_START (SYMBOL_BLOCK_VALUE (sym
)) <= start_sal
.end
3026 && start_sal
.end
< BLOCK_END (SYMBOL_BLOCK_VALUE (sym
)))
3027 : (lookup_minimal_symbol_by_pc_section (start_sal
.end
, section
).minsym
3028 == lookup_minimal_symbol_by_pc_section (pc
, section
).minsym
)))
3030 /* First pc of next line */
3032 /* Recalculate the line number (might not be N+1). */
3033 start_sal
= find_pc_sect_line (pc
, section
, 0);
3036 /* On targets with executable formats that don't have a concept of
3037 constructors (ELF with .init has, PE doesn't), gcc emits a call
3038 to `__main' in `main' between the prologue and before user
3040 if (gdbarch_skip_main_prologue_p (gdbarch
)
3041 && name
&& strcmp_iw (name
, "main") == 0)
3043 pc
= gdbarch_skip_main_prologue (gdbarch
, pc
);
3044 /* Recalculate the line number (might not be N+1). */
3045 start_sal
= find_pc_sect_line (pc
, section
, 0);
3049 while (!force_skip
&& skip
--);
3051 /* If we still don't have a valid source line, try to find the first
3052 PC in the lineinfo table that belongs to the same function. This
3053 happens with COFF debug info, which does not seem to have an
3054 entry in lineinfo table for the code after the prologue which has
3055 no direct relation to source. For example, this was found to be
3056 the case with the DJGPP target using "gcc -gcoff" when the
3057 compiler inserted code after the prologue to make sure the stack
3059 if (!force_skip
&& sym
&& start_sal
.symtab
== NULL
)
3061 pc
= skip_prologue_using_lineinfo (pc
, symbol_symtab (sym
));
3062 /* Recalculate the line number. */
3063 start_sal
= find_pc_sect_line (pc
, section
, 0);
3066 do_cleanups (old_chain
);
3068 /* If we're already past the prologue, leave SAL unchanged. Otherwise
3069 forward SAL to the end of the prologue. */
3074 sal
->section
= section
;
3076 /* Unless the explicit_line flag was set, update the SAL line
3077 and symtab to correspond to the modified PC location. */
3078 if (sal
->explicit_line
)
3081 sal
->symtab
= start_sal
.symtab
;
3082 sal
->line
= start_sal
.line
;
3083 sal
->end
= start_sal
.end
;
3085 /* Check if we are now inside an inlined function. If we can,
3086 use the call site of the function instead. */
3087 b
= block_for_pc_sect (sal
->pc
, sal
->section
);
3088 function_block
= NULL
;
3091 if (BLOCK_FUNCTION (b
) != NULL
&& block_inlined_p (b
))
3093 else if (BLOCK_FUNCTION (b
) != NULL
)
3095 b
= BLOCK_SUPERBLOCK (b
);
3097 if (function_block
!= NULL
3098 && SYMBOL_LINE (BLOCK_FUNCTION (function_block
)) != 0)
3100 sal
->line
= SYMBOL_LINE (BLOCK_FUNCTION (function_block
));
3101 sal
->symtab
= symbol_symtab (BLOCK_FUNCTION (function_block
));
3105 /* Given PC at the function's start address, attempt to find the
3106 prologue end using SAL information. Return zero if the skip fails.
3108 A non-optimized prologue traditionally has one SAL for the function
3109 and a second for the function body. A single line function has
3110 them both pointing at the same line.
3112 An optimized prologue is similar but the prologue may contain
3113 instructions (SALs) from the instruction body. Need to skip those
3114 while not getting into the function body.
3116 The functions end point and an increasing SAL line are used as
3117 indicators of the prologue's endpoint.
3119 This code is based on the function refine_prologue_limit
3123 skip_prologue_using_sal (struct gdbarch
*gdbarch
, CORE_ADDR func_addr
)
3125 struct symtab_and_line prologue_sal
;
3128 const struct block
*bl
;
3130 /* Get an initial range for the function. */
3131 find_pc_partial_function (func_addr
, NULL
, &start_pc
, &end_pc
);
3132 start_pc
+= gdbarch_deprecated_function_start_offset (gdbarch
);
3134 prologue_sal
= find_pc_line (start_pc
, 0);
3135 if (prologue_sal
.line
!= 0)
3137 /* For languages other than assembly, treat two consecutive line
3138 entries at the same address as a zero-instruction prologue.
3139 The GNU assembler emits separate line notes for each instruction
3140 in a multi-instruction macro, but compilers generally will not
3142 if (prologue_sal
.symtab
->language
!= language_asm
)
3144 struct linetable
*linetable
= SYMTAB_LINETABLE (prologue_sal
.symtab
);
3147 /* Skip any earlier lines, and any end-of-sequence marker
3148 from a previous function. */
3149 while (linetable
->item
[idx
].pc
!= prologue_sal
.pc
3150 || linetable
->item
[idx
].line
== 0)
3153 if (idx
+1 < linetable
->nitems
3154 && linetable
->item
[idx
+1].line
!= 0
3155 && linetable
->item
[idx
+1].pc
== start_pc
)
3159 /* If there is only one sal that covers the entire function,
3160 then it is probably a single line function, like
3162 if (prologue_sal
.end
>= end_pc
)
3165 while (prologue_sal
.end
< end_pc
)
3167 struct symtab_and_line sal
;
3169 sal
= find_pc_line (prologue_sal
.end
, 0);
3172 /* Assume that a consecutive SAL for the same (or larger)
3173 line mark the prologue -> body transition. */
3174 if (sal
.line
>= prologue_sal
.line
)
3176 /* Likewise if we are in a different symtab altogether
3177 (e.g. within a file included via #include). */
3178 if (sal
.symtab
!= prologue_sal
.symtab
)
3181 /* The line number is smaller. Check that it's from the
3182 same function, not something inlined. If it's inlined,
3183 then there is no point comparing the line numbers. */
3184 bl
= block_for_pc (prologue_sal
.end
);
3187 if (block_inlined_p (bl
))
3189 if (BLOCK_FUNCTION (bl
))
3194 bl
= BLOCK_SUPERBLOCK (bl
);
3199 /* The case in which compiler's optimizer/scheduler has
3200 moved instructions into the prologue. We look ahead in
3201 the function looking for address ranges whose
3202 corresponding line number is less the first one that we
3203 found for the function. This is more conservative then
3204 refine_prologue_limit which scans a large number of SALs
3205 looking for any in the prologue. */
3210 if (prologue_sal
.end
< end_pc
)
3211 /* Return the end of this line, or zero if we could not find a
3213 return prologue_sal
.end
;
3215 /* Don't return END_PC, which is past the end of the function. */
3216 return prologue_sal
.pc
;
3219 /* If P is of the form "operator[ \t]+..." where `...' is
3220 some legitimate operator text, return a pointer to the
3221 beginning of the substring of the operator text.
3222 Otherwise, return "". */
3225 operator_chars (const char *p
, const char **end
)
3228 if (strncmp (p
, "operator", 8))
3232 /* Don't get faked out by `operator' being part of a longer
3234 if (isalpha (*p
) || *p
== '_' || *p
== '$' || *p
== '\0')
3237 /* Allow some whitespace between `operator' and the operator symbol. */
3238 while (*p
== ' ' || *p
== '\t')
3241 /* Recognize 'operator TYPENAME'. */
3243 if (isalpha (*p
) || *p
== '_' || *p
== '$')
3245 const char *q
= p
+ 1;
3247 while (isalnum (*q
) || *q
== '_' || *q
== '$')
3256 case '\\': /* regexp quoting */
3259 if (p
[2] == '=') /* 'operator\*=' */
3261 else /* 'operator\*' */
3265 else if (p
[1] == '[')
3268 error (_("mismatched quoting on brackets, "
3269 "try 'operator\\[\\]'"));
3270 else if (p
[2] == '\\' && p
[3] == ']')
3272 *end
= p
+ 4; /* 'operator\[\]' */
3276 error (_("nothing is allowed between '[' and ']'"));
3280 /* Gratuitous qoute: skip it and move on. */
3302 if (p
[0] == '-' && p
[1] == '>')
3304 /* Struct pointer member operator 'operator->'. */
3307 *end
= p
+ 3; /* 'operator->*' */
3310 else if (p
[2] == '\\')
3312 *end
= p
+ 4; /* Hopefully 'operator->\*' */
3317 *end
= p
+ 2; /* 'operator->' */
3321 if (p
[1] == '=' || p
[1] == p
[0])
3332 error (_("`operator ()' must be specified "
3333 "without whitespace in `()'"));
3338 error (_("`operator ?:' must be specified "
3339 "without whitespace in `?:'"));
3344 error (_("`operator []' must be specified "
3345 "without whitespace in `[]'"));
3349 error (_("`operator %s' not supported"), p
);
3358 /* Cache to watch for file names already seen by filename_seen. */
3360 struct filename_seen_cache
3362 /* Table of files seen so far. */
3364 /* Initial size of the table. It automagically grows from here. */
3365 #define INITIAL_FILENAME_SEEN_CACHE_SIZE 100
3368 /* filename_seen_cache constructor. */
3370 static struct filename_seen_cache
*
3371 create_filename_seen_cache (void)
3373 struct filename_seen_cache
*cache
;
3375 cache
= XNEW (struct filename_seen_cache
);
3376 cache
->tab
= htab_create_alloc (INITIAL_FILENAME_SEEN_CACHE_SIZE
,
3377 filename_hash
, filename_eq
,
3378 NULL
, xcalloc
, xfree
);
3383 /* Empty the cache, but do not delete it. */
3386 clear_filename_seen_cache (struct filename_seen_cache
*cache
)
3388 htab_empty (cache
->tab
);
3391 /* filename_seen_cache destructor.
3392 This takes a void * argument as it is generally used as a cleanup. */
3395 delete_filename_seen_cache (void *ptr
)
3397 struct filename_seen_cache
*cache
= ptr
;
3399 htab_delete (cache
->tab
);
3403 /* If FILE is not already in the table of files in CACHE, return zero;
3404 otherwise return non-zero. Optionally add FILE to the table if ADD
3407 NOTE: We don't manage space for FILE, we assume FILE lives as long
3408 as the caller needs. */
3411 filename_seen (struct filename_seen_cache
*cache
, const char *file
, int add
)
3415 /* Is FILE in tab? */
3416 slot
= htab_find_slot (cache
->tab
, file
, add
? INSERT
: NO_INSERT
);
3420 /* No; maybe add it to tab. */
3422 *slot
= (char *) file
;
3427 /* Data structure to maintain printing state for output_source_filename. */
3429 struct output_source_filename_data
3431 /* Cache of what we've seen so far. */
3432 struct filename_seen_cache
*filename_seen_cache
;
3434 /* Flag of whether we're printing the first one. */
3438 /* Slave routine for sources_info. Force line breaks at ,'s.
3439 NAME is the name to print.
3440 DATA contains the state for printing and watching for duplicates. */
3443 output_source_filename (const char *name
,
3444 struct output_source_filename_data
*data
)
3446 /* Since a single source file can result in several partial symbol
3447 tables, we need to avoid printing it more than once. Note: if
3448 some of the psymtabs are read in and some are not, it gets
3449 printed both under "Source files for which symbols have been
3450 read" and "Source files for which symbols will be read in on
3451 demand". I consider this a reasonable way to deal with the
3452 situation. I'm not sure whether this can also happen for
3453 symtabs; it doesn't hurt to check. */
3455 /* Was NAME already seen? */
3456 if (filename_seen (data
->filename_seen_cache
, name
, 1))
3458 /* Yes; don't print it again. */
3462 /* No; print it and reset *FIRST. */
3464 printf_filtered (", ");
3468 fputs_filtered (name
, gdb_stdout
);
3471 /* A callback for map_partial_symbol_filenames. */
3474 output_partial_symbol_filename (const char *filename
, const char *fullname
,
3477 output_source_filename (fullname
? fullname
: filename
, data
);
3481 sources_info (char *ignore
, int from_tty
)
3483 struct compunit_symtab
*cu
;
3485 struct objfile
*objfile
;
3486 struct output_source_filename_data data
;
3487 struct cleanup
*cleanups
;
3489 if (!have_full_symbols () && !have_partial_symbols ())
3491 error (_("No symbol table is loaded. Use the \"file\" command."));
3494 data
.filename_seen_cache
= create_filename_seen_cache ();
3495 cleanups
= make_cleanup (delete_filename_seen_cache
,
3496 data
.filename_seen_cache
);
3498 printf_filtered ("Source files for which symbols have been read in:\n\n");
3501 ALL_FILETABS (objfile
, cu
, s
)
3503 const char *fullname
= symtab_to_fullname (s
);
3505 output_source_filename (fullname
, &data
);
3507 printf_filtered ("\n\n");
3509 printf_filtered ("Source files for which symbols "
3510 "will be read in on demand:\n\n");
3512 clear_filename_seen_cache (data
.filename_seen_cache
);
3514 map_symbol_filenames (output_partial_symbol_filename
, &data
,
3515 1 /*need_fullname*/);
3516 printf_filtered ("\n");
3518 do_cleanups (cleanups
);
3521 /* Compare FILE against all the NFILES entries of FILES. If BASENAMES is
3522 non-zero compare only lbasename of FILES. */
3525 file_matches (const char *file
, const char *files
[], int nfiles
, int basenames
)
3529 if (file
!= NULL
&& nfiles
!= 0)
3531 for (i
= 0; i
< nfiles
; i
++)
3533 if (compare_filenames_for_search (file
, (basenames
3534 ? lbasename (files
[i
])
3539 else if (nfiles
== 0)
3544 /* Free any memory associated with a search. */
3547 free_search_symbols (struct symbol_search
*symbols
)
3549 struct symbol_search
*p
;
3550 struct symbol_search
*next
;
3552 for (p
= symbols
; p
!= NULL
; p
= next
)
3560 do_free_search_symbols_cleanup (void *symbolsp
)
3562 struct symbol_search
*symbols
= *(struct symbol_search
**) symbolsp
;
3564 free_search_symbols (symbols
);
3568 make_cleanup_free_search_symbols (struct symbol_search
**symbolsp
)
3570 return make_cleanup (do_free_search_symbols_cleanup
, symbolsp
);
3573 /* Helper function for sort_search_symbols_remove_dups and qsort. Can only
3574 sort symbols, not minimal symbols. */
3577 compare_search_syms (const void *sa
, const void *sb
)
3579 struct symbol_search
*sym_a
= *(struct symbol_search
**) sa
;
3580 struct symbol_search
*sym_b
= *(struct symbol_search
**) sb
;
3583 c
= FILENAME_CMP (symbol_symtab (sym_a
->symbol
)->filename
,
3584 symbol_symtab (sym_b
->symbol
)->filename
);
3588 if (sym_a
->block
!= sym_b
->block
)
3589 return sym_a
->block
- sym_b
->block
;
3591 return strcmp (SYMBOL_PRINT_NAME (sym_a
->symbol
),
3592 SYMBOL_PRINT_NAME (sym_b
->symbol
));
3595 /* Sort the NFOUND symbols in list FOUND and remove duplicates.
3596 The duplicates are freed, and the new list is returned in
3597 *NEW_HEAD, *NEW_TAIL. */
3600 sort_search_symbols_remove_dups (struct symbol_search
*found
, int nfound
,
3601 struct symbol_search
**new_head
,
3602 struct symbol_search
**new_tail
)
3604 struct symbol_search
**symbols
, *symp
, *old_next
;
3607 gdb_assert (found
!= NULL
&& nfound
> 0);
3609 /* Build an array out of the list so we can easily sort them. */
3610 symbols
= (struct symbol_search
**) xmalloc (sizeof (struct symbol_search
*)
3613 for (i
= 0; i
< nfound
; i
++)
3615 gdb_assert (symp
!= NULL
);
3616 gdb_assert (symp
->block
>= 0 && symp
->block
<= 1);
3620 gdb_assert (symp
== NULL
);
3622 qsort (symbols
, nfound
, sizeof (struct symbol_search
*),
3623 compare_search_syms
);
3625 /* Collapse out the dups. */
3626 for (i
= 1, j
= 1; i
< nfound
; ++i
)
3628 if (compare_search_syms (&symbols
[j
- 1], &symbols
[i
]) != 0)
3629 symbols
[j
++] = symbols
[i
];
3634 symbols
[j
- 1]->next
= NULL
;
3636 /* Rebuild the linked list. */
3637 for (i
= 0; i
< nunique
- 1; i
++)
3638 symbols
[i
]->next
= symbols
[i
+ 1];
3639 symbols
[nunique
- 1]->next
= NULL
;
3641 *new_head
= symbols
[0];
3642 *new_tail
= symbols
[nunique
- 1];
3646 /* An object of this type is passed as the user_data to the
3647 expand_symtabs_matching method. */
3648 struct search_symbols_data
3653 /* It is true if PREG contains valid data, false otherwise. */
3654 unsigned preg_p
: 1;
3658 /* A callback for expand_symtabs_matching. */
3661 search_symbols_file_matches (const char *filename
, void *user_data
,
3664 struct search_symbols_data
*data
= user_data
;
3666 return file_matches (filename
, data
->files
, data
->nfiles
, basenames
);
3669 /* A callback for expand_symtabs_matching. */
3672 search_symbols_name_matches (const char *symname
, void *user_data
)
3674 struct search_symbols_data
*data
= user_data
;
3676 return !data
->preg_p
|| regexec (&data
->preg
, symname
, 0, NULL
, 0) == 0;
3679 /* Search the symbol table for matches to the regular expression REGEXP,
3680 returning the results in *MATCHES.
3682 Only symbols of KIND are searched:
3683 VARIABLES_DOMAIN - search all symbols, excluding functions, type names,
3684 and constants (enums)
3685 FUNCTIONS_DOMAIN - search all functions
3686 TYPES_DOMAIN - search all type names
3687 ALL_DOMAIN - an internal error for this function
3689 free_search_symbols should be called when *MATCHES is no longer needed.
3691 Within each file the results are sorted locally; each symtab's global and
3692 static blocks are separately alphabetized.
3693 Duplicate entries are removed. */
3696 search_symbols (const char *regexp
, enum search_domain kind
,
3697 int nfiles
, const char *files
[],
3698 struct symbol_search
**matches
)
3700 struct compunit_symtab
*cust
;
3701 const struct blockvector
*bv
;
3704 struct block_iterator iter
;
3706 struct objfile
*objfile
;
3707 struct minimal_symbol
*msymbol
;
3709 static const enum minimal_symbol_type types
[]
3710 = {mst_data
, mst_text
, mst_abs
};
3711 static const enum minimal_symbol_type types2
[]
3712 = {mst_bss
, mst_file_text
, mst_abs
};
3713 static const enum minimal_symbol_type types3
[]
3714 = {mst_file_data
, mst_solib_trampoline
, mst_abs
};
3715 static const enum minimal_symbol_type types4
[]
3716 = {mst_file_bss
, mst_text_gnu_ifunc
, mst_abs
};
3717 enum minimal_symbol_type ourtype
;
3718 enum minimal_symbol_type ourtype2
;
3719 enum minimal_symbol_type ourtype3
;
3720 enum minimal_symbol_type ourtype4
;
3721 struct symbol_search
*found
;
3722 struct symbol_search
*tail
;
3723 struct search_symbols_data datum
;
3726 /* OLD_CHAIN .. RETVAL_CHAIN is always freed, RETVAL_CHAIN .. current
3727 CLEANUP_CHAIN is freed only in the case of an error. */
3728 struct cleanup
*old_chain
= make_cleanup (null_cleanup
, NULL
);
3729 struct cleanup
*retval_chain
;
3731 gdb_assert (kind
<= TYPES_DOMAIN
);
3733 ourtype
= types
[kind
];
3734 ourtype2
= types2
[kind
];
3735 ourtype3
= types3
[kind
];
3736 ourtype4
= types4
[kind
];
3743 /* Make sure spacing is right for C++ operators.
3744 This is just a courtesy to make the matching less sensitive
3745 to how many spaces the user leaves between 'operator'
3746 and <TYPENAME> or <OPERATOR>. */
3748 const char *opname
= operator_chars (regexp
, &opend
);
3753 int fix
= -1; /* -1 means ok; otherwise number of
3756 if (isalpha (*opname
) || *opname
== '_' || *opname
== '$')
3758 /* There should 1 space between 'operator' and 'TYPENAME'. */
3759 if (opname
[-1] != ' ' || opname
[-2] == ' ')
3764 /* There should 0 spaces between 'operator' and 'OPERATOR'. */
3765 if (opname
[-1] == ' ')
3768 /* If wrong number of spaces, fix it. */
3771 char *tmp
= (char *) alloca (8 + fix
+ strlen (opname
) + 1);
3773 sprintf (tmp
, "operator%.*s%s", fix
, " ", opname
);
3778 errcode
= regcomp (&datum
.preg
, regexp
,
3779 REG_NOSUB
| (case_sensitivity
== case_sensitive_off
3783 char *err
= get_regcomp_error (errcode
, &datum
.preg
);
3785 make_cleanup (xfree
, err
);
3786 error (_("Invalid regexp (%s): %s"), err
, regexp
);
3789 make_regfree_cleanup (&datum
.preg
);
3792 /* Search through the partial symtabs *first* for all symbols
3793 matching the regexp. That way we don't have to reproduce all of
3794 the machinery below. */
3796 datum
.nfiles
= nfiles
;
3797 datum
.files
= files
;
3798 expand_symtabs_matching ((nfiles
== 0
3800 : search_symbols_file_matches
),
3801 search_symbols_name_matches
,
3804 /* Here, we search through the minimal symbol tables for functions
3805 and variables that match, and force their symbols to be read.
3806 This is in particular necessary for demangled variable names,
3807 which are no longer put into the partial symbol tables.
3808 The symbol will then be found during the scan of symtabs below.
3810 For functions, find_pc_symtab should succeed if we have debug info
3811 for the function, for variables we have to call
3812 lookup_symbol_in_objfile_from_linkage_name to determine if the variable
3814 If the lookup fails, set found_misc so that we will rescan to print
3815 any matching symbols without debug info.
3816 We only search the objfile the msymbol came from, we no longer search
3817 all objfiles. In large programs (1000s of shared libs) searching all
3818 objfiles is not worth the pain. */
3820 if (nfiles
== 0 && (kind
== VARIABLES_DOMAIN
|| kind
== FUNCTIONS_DOMAIN
))
3822 ALL_MSYMBOLS (objfile
, msymbol
)
3826 if (msymbol
->created_by_gdb
)
3829 if (MSYMBOL_TYPE (msymbol
) == ourtype
3830 || MSYMBOL_TYPE (msymbol
) == ourtype2
3831 || MSYMBOL_TYPE (msymbol
) == ourtype3
3832 || MSYMBOL_TYPE (msymbol
) == ourtype4
)
3835 || regexec (&datum
.preg
, MSYMBOL_NATURAL_NAME (msymbol
), 0,
3838 /* Note: An important side-effect of these lookup functions
3839 is to expand the symbol table if msymbol is found, for the
3840 benefit of the next loop on ALL_COMPUNITS. */
3841 if (kind
== FUNCTIONS_DOMAIN
3842 ? (find_pc_compunit_symtab
3843 (MSYMBOL_VALUE_ADDRESS (objfile
, msymbol
)) == NULL
)
3844 : (lookup_symbol_in_objfile_from_linkage_name
3845 (objfile
, MSYMBOL_LINKAGE_NAME (msymbol
), VAR_DOMAIN
)
3856 retval_chain
= make_cleanup_free_search_symbols (&found
);
3858 ALL_COMPUNITS (objfile
, cust
)
3860 bv
= COMPUNIT_BLOCKVECTOR (cust
);
3861 for (i
= GLOBAL_BLOCK
; i
<= STATIC_BLOCK
; i
++)
3863 b
= BLOCKVECTOR_BLOCK (bv
, i
);
3864 ALL_BLOCK_SYMBOLS (b
, iter
, sym
)
3866 struct symtab
*real_symtab
= symbol_symtab (sym
);
3870 /* Check first sole REAL_SYMTAB->FILENAME. It does not need to be
3871 a substring of symtab_to_fullname as it may contain "./" etc. */
3872 if ((file_matches (real_symtab
->filename
, files
, nfiles
, 0)
3873 || ((basenames_may_differ
3874 || file_matches (lbasename (real_symtab
->filename
),
3876 && file_matches (symtab_to_fullname (real_symtab
),
3879 || regexec (&datum
.preg
, SYMBOL_NATURAL_NAME (sym
), 0,
3881 && ((kind
== VARIABLES_DOMAIN
3882 && SYMBOL_CLASS (sym
) != LOC_TYPEDEF
3883 && SYMBOL_CLASS (sym
) != LOC_UNRESOLVED
3884 && SYMBOL_CLASS (sym
) != LOC_BLOCK
3885 /* LOC_CONST can be used for more than just enums,
3886 e.g., c++ static const members.
3887 We only want to skip enums here. */
3888 && !(SYMBOL_CLASS (sym
) == LOC_CONST
3889 && (TYPE_CODE (SYMBOL_TYPE (sym
))
3890 == TYPE_CODE_ENUM
)))
3891 || (kind
== FUNCTIONS_DOMAIN
3892 && SYMBOL_CLASS (sym
) == LOC_BLOCK
)
3893 || (kind
== TYPES_DOMAIN
3894 && SYMBOL_CLASS (sym
) == LOC_TYPEDEF
))))
3897 struct symbol_search
*psr
= (struct symbol_search
*)
3898 xmalloc (sizeof (struct symbol_search
));
3901 memset (&psr
->msymbol
, 0, sizeof (psr
->msymbol
));
3916 sort_search_symbols_remove_dups (found
, nfound
, &found
, &tail
);
3917 /* Note: nfound is no longer useful beyond this point. */
3920 /* If there are no eyes, avoid all contact. I mean, if there are
3921 no debug symbols, then add matching minsyms. */
3923 if (found_misc
|| (nfiles
== 0 && kind
!= FUNCTIONS_DOMAIN
))
3925 ALL_MSYMBOLS (objfile
, msymbol
)
3929 if (msymbol
->created_by_gdb
)
3932 if (MSYMBOL_TYPE (msymbol
) == ourtype
3933 || MSYMBOL_TYPE (msymbol
) == ourtype2
3934 || MSYMBOL_TYPE (msymbol
) == ourtype3
3935 || MSYMBOL_TYPE (msymbol
) == ourtype4
)
3938 || regexec (&datum
.preg
, MSYMBOL_NATURAL_NAME (msymbol
), 0,
3941 /* For functions we can do a quick check of whether the
3942 symbol might be found via find_pc_symtab. */
3943 if (kind
!= FUNCTIONS_DOMAIN
3944 || (find_pc_compunit_symtab
3945 (MSYMBOL_VALUE_ADDRESS (objfile
, msymbol
)) == NULL
))
3947 if (lookup_symbol_in_objfile_from_linkage_name
3948 (objfile
, MSYMBOL_LINKAGE_NAME (msymbol
), VAR_DOMAIN
)
3952 struct symbol_search
*psr
= (struct symbol_search
*)
3953 xmalloc (sizeof (struct symbol_search
));
3955 psr
->msymbol
.minsym
= msymbol
;
3956 psr
->msymbol
.objfile
= objfile
;
3971 discard_cleanups (retval_chain
);
3972 do_cleanups (old_chain
);
3976 /* Helper function for symtab_symbol_info, this function uses
3977 the data returned from search_symbols() to print information
3978 regarding the match to gdb_stdout. */
3981 print_symbol_info (enum search_domain kind
,
3983 int block
, const char *last
)
3985 struct symtab
*s
= symbol_symtab (sym
);
3986 const char *s_filename
= symtab_to_filename_for_display (s
);
3988 if (last
== NULL
|| filename_cmp (last
, s_filename
) != 0)
3990 fputs_filtered ("\nFile ", gdb_stdout
);
3991 fputs_filtered (s_filename
, gdb_stdout
);
3992 fputs_filtered (":\n", gdb_stdout
);
3995 if (kind
!= TYPES_DOMAIN
&& block
== STATIC_BLOCK
)
3996 printf_filtered ("static ");
3998 /* Typedef that is not a C++ class. */
3999 if (kind
== TYPES_DOMAIN
4000 && SYMBOL_DOMAIN (sym
) != STRUCT_DOMAIN
)
4001 typedef_print (SYMBOL_TYPE (sym
), sym
, gdb_stdout
);
4002 /* variable, func, or typedef-that-is-c++-class. */
4003 else if (kind
< TYPES_DOMAIN
4004 || (kind
== TYPES_DOMAIN
4005 && SYMBOL_DOMAIN (sym
) == STRUCT_DOMAIN
))
4007 type_print (SYMBOL_TYPE (sym
),
4008 (SYMBOL_CLASS (sym
) == LOC_TYPEDEF
4009 ? "" : SYMBOL_PRINT_NAME (sym
)),
4012 printf_filtered (";\n");
4016 /* This help function for symtab_symbol_info() prints information
4017 for non-debugging symbols to gdb_stdout. */
4020 print_msymbol_info (struct bound_minimal_symbol msymbol
)
4022 struct gdbarch
*gdbarch
= get_objfile_arch (msymbol
.objfile
);
4025 if (gdbarch_addr_bit (gdbarch
) <= 32)
4026 tmp
= hex_string_custom (BMSYMBOL_VALUE_ADDRESS (msymbol
)
4027 & (CORE_ADDR
) 0xffffffff,
4030 tmp
= hex_string_custom (BMSYMBOL_VALUE_ADDRESS (msymbol
),
4032 printf_filtered ("%s %s\n",
4033 tmp
, MSYMBOL_PRINT_NAME (msymbol
.minsym
));
4036 /* This is the guts of the commands "info functions", "info types", and
4037 "info variables". It calls search_symbols to find all matches and then
4038 print_[m]symbol_info to print out some useful information about the
4042 symtab_symbol_info (char *regexp
, enum search_domain kind
, int from_tty
)
4044 static const char * const classnames
[] =
4045 {"variable", "function", "type"};
4046 struct symbol_search
*symbols
;
4047 struct symbol_search
*p
;
4048 struct cleanup
*old_chain
;
4049 const char *last_filename
= NULL
;
4052 gdb_assert (kind
<= TYPES_DOMAIN
);
4054 /* Must make sure that if we're interrupted, symbols gets freed. */
4055 search_symbols (regexp
, kind
, 0, NULL
, &symbols
);
4056 old_chain
= make_cleanup_free_search_symbols (&symbols
);
4059 printf_filtered (_("All %ss matching regular expression \"%s\":\n"),
4060 classnames
[kind
], regexp
);
4062 printf_filtered (_("All defined %ss:\n"), classnames
[kind
]);
4064 for (p
= symbols
; p
!= NULL
; p
= p
->next
)
4068 if (p
->msymbol
.minsym
!= NULL
)
4072 printf_filtered (_("\nNon-debugging symbols:\n"));
4075 print_msymbol_info (p
->msymbol
);
4079 print_symbol_info (kind
,
4084 = symtab_to_filename_for_display (symbol_symtab (p
->symbol
));
4088 do_cleanups (old_chain
);
4092 variables_info (char *regexp
, int from_tty
)
4094 symtab_symbol_info (regexp
, VARIABLES_DOMAIN
, from_tty
);
4098 functions_info (char *regexp
, int from_tty
)
4100 symtab_symbol_info (regexp
, FUNCTIONS_DOMAIN
, from_tty
);
4105 types_info (char *regexp
, int from_tty
)
4107 symtab_symbol_info (regexp
, TYPES_DOMAIN
, from_tty
);
4110 /* Breakpoint all functions matching regular expression. */
4113 rbreak_command_wrapper (char *regexp
, int from_tty
)
4115 rbreak_command (regexp
, from_tty
);
4118 /* A cleanup function that calls end_rbreak_breakpoints. */
4121 do_end_rbreak_breakpoints (void *ignore
)
4123 end_rbreak_breakpoints ();
4127 rbreak_command (char *regexp
, int from_tty
)
4129 struct symbol_search
*ss
;
4130 struct symbol_search
*p
;
4131 struct cleanup
*old_chain
;
4132 char *string
= NULL
;
4134 const char **files
= NULL
;
4135 const char *file_name
;
4140 char *colon
= strchr (regexp
, ':');
4142 if (colon
&& *(colon
+ 1) != ':')
4147 colon_index
= colon
- regexp
;
4148 local_name
= alloca (colon_index
+ 1);
4149 memcpy (local_name
, regexp
, colon_index
);
4150 local_name
[colon_index
--] = 0;
4151 while (isspace (local_name
[colon_index
]))
4152 local_name
[colon_index
--] = 0;
4153 file_name
= local_name
;
4156 regexp
= skip_spaces (colon
+ 1);
4160 search_symbols (regexp
, FUNCTIONS_DOMAIN
, nfiles
, files
, &ss
);
4161 old_chain
= make_cleanup_free_search_symbols (&ss
);
4162 make_cleanup (free_current_contents
, &string
);
4164 start_rbreak_breakpoints ();
4165 make_cleanup (do_end_rbreak_breakpoints
, NULL
);
4166 for (p
= ss
; p
!= NULL
; p
= p
->next
)
4168 if (p
->msymbol
.minsym
== NULL
)
4170 struct symtab
*symtab
= symbol_symtab (p
->symbol
);
4171 const char *fullname
= symtab_to_fullname (symtab
);
4173 int newlen
= (strlen (fullname
)
4174 + strlen (SYMBOL_LINKAGE_NAME (p
->symbol
))
4179 string
= xrealloc (string
, newlen
);
4182 strcpy (string
, fullname
);
4183 strcat (string
, ":'");
4184 strcat (string
, SYMBOL_LINKAGE_NAME (p
->symbol
));
4185 strcat (string
, "'");
4186 break_command (string
, from_tty
);
4187 print_symbol_info (FUNCTIONS_DOMAIN
,
4190 symtab_to_filename_for_display (symtab
));
4194 int newlen
= (strlen (MSYMBOL_LINKAGE_NAME (p
->msymbol
.minsym
)) + 3);
4198 string
= xrealloc (string
, newlen
);
4201 strcpy (string
, "'");
4202 strcat (string
, MSYMBOL_LINKAGE_NAME (p
->msymbol
.minsym
));
4203 strcat (string
, "'");
4205 break_command (string
, from_tty
);
4206 printf_filtered ("<function, no debug info> %s;\n",
4207 MSYMBOL_PRINT_NAME (p
->msymbol
.minsym
));
4211 do_cleanups (old_chain
);
4215 /* Evaluate if NAME matches SYM_TEXT and SYM_TEXT_LEN.
4217 Either sym_text[sym_text_len] != '(' and then we search for any
4218 symbol starting with SYM_TEXT text.
4220 Otherwise sym_text[sym_text_len] == '(' and then we require symbol name to
4221 be terminated at that point. Partial symbol tables do not have parameters
4225 compare_symbol_name (const char *name
, const char *sym_text
, int sym_text_len
)
4227 int (*ncmp
) (const char *, const char *, size_t);
4229 ncmp
= (case_sensitivity
== case_sensitive_on
? strncmp
: strncasecmp
);
4231 if (ncmp (name
, sym_text
, sym_text_len
) != 0)
4234 if (sym_text
[sym_text_len
] == '(')
4236 /* User searches for `name(someth...'. Require NAME to be terminated.
4237 Normally psymtabs and gdbindex have no parameter types so '\0' will be
4238 present but accept even parameters presence. In this case this
4239 function is in fact strcmp_iw but whitespace skipping is not supported
4240 for tab completion. */
4242 if (name
[sym_text_len
] != '\0' && name
[sym_text_len
] != '(')
4249 /* Free any memory associated with a completion list. */
4252 free_completion_list (VEC (char_ptr
) **list_ptr
)
4257 for (i
= 0; VEC_iterate (char_ptr
, *list_ptr
, i
, p
); ++i
)
4259 VEC_free (char_ptr
, *list_ptr
);
4262 /* Callback for make_cleanup. */
4265 do_free_completion_list (void *list
)
4267 free_completion_list (list
);
4270 /* Helper routine for make_symbol_completion_list. */
4272 static VEC (char_ptr
) *return_val
;
4274 #define COMPLETION_LIST_ADD_SYMBOL(symbol, sym_text, len, text, word) \
4275 completion_list_add_name \
4276 (SYMBOL_NATURAL_NAME (symbol), (sym_text), (len), (text), (word))
4278 #define MCOMPLETION_LIST_ADD_SYMBOL(symbol, sym_text, len, text, word) \
4279 completion_list_add_name \
4280 (MSYMBOL_NATURAL_NAME (symbol), (sym_text), (len), (text), (word))
4282 /* Test to see if the symbol specified by SYMNAME (which is already
4283 demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN
4284 characters. If so, add it to the current completion list. */
4287 completion_list_add_name (const char *symname
,
4288 const char *sym_text
, int sym_text_len
,
4289 const char *text
, const char *word
)
4291 /* Clip symbols that cannot match. */
4292 if (!compare_symbol_name (symname
, sym_text
, sym_text_len
))
4295 /* We have a match for a completion, so add SYMNAME to the current list
4296 of matches. Note that the name is moved to freshly malloc'd space. */
4301 if (word
== sym_text
)
4303 new = xmalloc (strlen (symname
) + 5);
4304 strcpy (new, symname
);
4306 else if (word
> sym_text
)
4308 /* Return some portion of symname. */
4309 new = xmalloc (strlen (symname
) + 5);
4310 strcpy (new, symname
+ (word
- sym_text
));
4314 /* Return some of SYM_TEXT plus symname. */
4315 new = xmalloc (strlen (symname
) + (sym_text
- word
) + 5);
4316 strncpy (new, word
, sym_text
- word
);
4317 new[sym_text
- word
] = '\0';
4318 strcat (new, symname
);
4321 VEC_safe_push (char_ptr
, return_val
, new);
4325 /* ObjC: In case we are completing on a selector, look as the msymbol
4326 again and feed all the selectors into the mill. */
4329 completion_list_objc_symbol (struct minimal_symbol
*msymbol
,
4330 const char *sym_text
, int sym_text_len
,
4331 const char *text
, const char *word
)
4333 static char *tmp
= NULL
;
4334 static unsigned int tmplen
= 0;
4336 const char *method
, *category
, *selector
;
4339 method
= MSYMBOL_NATURAL_NAME (msymbol
);
4341 /* Is it a method? */
4342 if ((method
[0] != '-') && (method
[0] != '+'))
4345 if (sym_text
[0] == '[')
4346 /* Complete on shortened method method. */
4347 completion_list_add_name (method
+ 1, sym_text
, sym_text_len
, text
, word
);
4349 while ((strlen (method
) + 1) >= tmplen
)
4355 tmp
= xrealloc (tmp
, tmplen
);
4357 selector
= strchr (method
, ' ');
4358 if (selector
!= NULL
)
4361 category
= strchr (method
, '(');
4363 if ((category
!= NULL
) && (selector
!= NULL
))
4365 memcpy (tmp
, method
, (category
- method
));
4366 tmp
[category
- method
] = ' ';
4367 memcpy (tmp
+ (category
- method
) + 1, selector
, strlen (selector
) + 1);
4368 completion_list_add_name (tmp
, sym_text
, sym_text_len
, text
, word
);
4369 if (sym_text
[0] == '[')
4370 completion_list_add_name (tmp
+ 1, sym_text
, sym_text_len
, text
, word
);
4373 if (selector
!= NULL
)
4375 /* Complete on selector only. */
4376 strcpy (tmp
, selector
);
4377 tmp2
= strchr (tmp
, ']');
4381 completion_list_add_name (tmp
, sym_text
, sym_text_len
, text
, word
);
4385 /* Break the non-quoted text based on the characters which are in
4386 symbols. FIXME: This should probably be language-specific. */
4389 language_search_unquoted_string (const char *text
, const char *p
)
4391 for (; p
> text
; --p
)
4393 if (isalnum (p
[-1]) || p
[-1] == '_' || p
[-1] == '\0')
4397 if ((current_language
->la_language
== language_objc
))
4399 if (p
[-1] == ':') /* Might be part of a method name. */
4401 else if (p
[-1] == '[' && (p
[-2] == '-' || p
[-2] == '+'))
4402 p
-= 2; /* Beginning of a method name. */
4403 else if (p
[-1] == ' ' || p
[-1] == '(' || p
[-1] == ')')
4404 { /* Might be part of a method name. */
4407 /* Seeing a ' ' or a '(' is not conclusive evidence
4408 that we are in the middle of a method name. However,
4409 finding "-[" or "+[" should be pretty un-ambiguous.
4410 Unfortunately we have to find it now to decide. */
4413 if (isalnum (t
[-1]) || t
[-1] == '_' ||
4414 t
[-1] == ' ' || t
[-1] == ':' ||
4415 t
[-1] == '(' || t
[-1] == ')')
4420 if (t
[-1] == '[' && (t
[-2] == '-' || t
[-2] == '+'))
4421 p
= t
- 2; /* Method name detected. */
4422 /* Else we leave with p unchanged. */
4432 completion_list_add_fields (struct symbol
*sym
, const char *sym_text
,
4433 int sym_text_len
, const char *text
,
4436 if (SYMBOL_CLASS (sym
) == LOC_TYPEDEF
)
4438 struct type
*t
= SYMBOL_TYPE (sym
);
4439 enum type_code c
= TYPE_CODE (t
);
4442 if (c
== TYPE_CODE_UNION
|| c
== TYPE_CODE_STRUCT
)
4443 for (j
= TYPE_N_BASECLASSES (t
); j
< TYPE_NFIELDS (t
); j
++)
4444 if (TYPE_FIELD_NAME (t
, j
))
4445 completion_list_add_name (TYPE_FIELD_NAME (t
, j
),
4446 sym_text
, sym_text_len
, text
, word
);
4450 /* Type of the user_data argument passed to add_macro_name or
4451 symbol_completion_matcher. The contents are simply whatever is
4452 needed by completion_list_add_name. */
4453 struct add_name_data
4455 const char *sym_text
;
4461 /* A callback used with macro_for_each and macro_for_each_in_scope.
4462 This adds a macro's name to the current completion list. */
4465 add_macro_name (const char *name
, const struct macro_definition
*ignore
,
4466 struct macro_source_file
*ignore2
, int ignore3
,
4469 struct add_name_data
*datum
= (struct add_name_data
*) user_data
;
4471 completion_list_add_name (name
,
4472 datum
->sym_text
, datum
->sym_text_len
,
4473 datum
->text
, datum
->word
);
4476 /* A callback for expand_symtabs_matching. */
4479 symbol_completion_matcher (const char *name
, void *user_data
)
4481 struct add_name_data
*datum
= (struct add_name_data
*) user_data
;
4483 return compare_symbol_name (name
, datum
->sym_text
, datum
->sym_text_len
);
4487 default_make_symbol_completion_list_break_on (const char *text
,
4489 const char *break_on
,
4490 enum type_code code
)
4492 /* Problem: All of the symbols have to be copied because readline
4493 frees them. I'm not going to worry about this; hopefully there
4494 won't be that many. */
4497 struct compunit_symtab
*cust
;
4498 struct minimal_symbol
*msymbol
;
4499 struct objfile
*objfile
;
4500 const struct block
*b
;
4501 const struct block
*surrounding_static_block
, *surrounding_global_block
;
4502 struct block_iterator iter
;
4503 /* The symbol we are completing on. Points in same buffer as text. */
4504 const char *sym_text
;
4505 /* Length of sym_text. */
4507 struct add_name_data datum
;
4508 struct cleanup
*back_to
;
4510 /* Now look for the symbol we are supposed to complete on. */
4514 const char *quote_pos
= NULL
;
4516 /* First see if this is a quoted string. */
4518 for (p
= text
; *p
!= '\0'; ++p
)
4520 if (quote_found
!= '\0')
4522 if (*p
== quote_found
)
4523 /* Found close quote. */
4525 else if (*p
== '\\' && p
[1] == quote_found
)
4526 /* A backslash followed by the quote character
4527 doesn't end the string. */
4530 else if (*p
== '\'' || *p
== '"')
4536 if (quote_found
== '\'')
4537 /* A string within single quotes can be a symbol, so complete on it. */
4538 sym_text
= quote_pos
+ 1;
4539 else if (quote_found
== '"')
4540 /* A double-quoted string is never a symbol, nor does it make sense
4541 to complete it any other way. */
4547 /* It is not a quoted string. Break it based on the characters
4548 which are in symbols. */
4551 if (isalnum (p
[-1]) || p
[-1] == '_' || p
[-1] == '\0'
4552 || p
[-1] == ':' || strchr (break_on
, p
[-1]) != NULL
)
4561 sym_text_len
= strlen (sym_text
);
4563 /* Prepare SYM_TEXT_LEN for compare_symbol_name. */
4565 if (current_language
->la_language
== language_cplus
4566 || current_language
->la_language
== language_java
4567 || current_language
->la_language
== language_fortran
)
4569 /* These languages may have parameters entered by user but they are never
4570 present in the partial symbol tables. */
4572 const char *cs
= memchr (sym_text
, '(', sym_text_len
);
4575 sym_text_len
= cs
- sym_text
;
4577 gdb_assert (sym_text
[sym_text_len
] == '\0' || sym_text
[sym_text_len
] == '(');
4580 back_to
= make_cleanup (do_free_completion_list
, &return_val
);
4582 datum
.sym_text
= sym_text
;
4583 datum
.sym_text_len
= sym_text_len
;
4587 /* Look through the partial symtabs for all symbols which begin
4588 by matching SYM_TEXT. Expand all CUs that you find to the list.
4589 The real names will get added by COMPLETION_LIST_ADD_SYMBOL below. */
4590 expand_symtabs_matching (NULL
, symbol_completion_matcher
, ALL_DOMAIN
,
4593 /* At this point scan through the misc symbol vectors and add each
4594 symbol you find to the list. Eventually we want to ignore
4595 anything that isn't a text symbol (everything else will be
4596 handled by the psymtab code above). */
4598 if (code
== TYPE_CODE_UNDEF
)
4600 ALL_MSYMBOLS (objfile
, msymbol
)
4603 MCOMPLETION_LIST_ADD_SYMBOL (msymbol
, sym_text
, sym_text_len
, text
,
4606 completion_list_objc_symbol (msymbol
, sym_text
, sym_text_len
, text
,
4611 /* Search upwards from currently selected frame (so that we can
4612 complete on local vars). Also catch fields of types defined in
4613 this places which match our text string. Only complete on types
4614 visible from current context. */
4616 b
= get_selected_block (0);
4617 surrounding_static_block
= block_static_block (b
);
4618 surrounding_global_block
= block_global_block (b
);
4619 if (surrounding_static_block
!= NULL
)
4620 while (b
!= surrounding_static_block
)
4624 ALL_BLOCK_SYMBOLS (b
, iter
, sym
)
4626 if (code
== TYPE_CODE_UNDEF
)
4628 COMPLETION_LIST_ADD_SYMBOL (sym
, sym_text
, sym_text_len
, text
,
4630 completion_list_add_fields (sym
, sym_text
, sym_text_len
, text
,
4633 else if (SYMBOL_DOMAIN (sym
) == STRUCT_DOMAIN
4634 && TYPE_CODE (SYMBOL_TYPE (sym
)) == code
)
4635 COMPLETION_LIST_ADD_SYMBOL (sym
, sym_text
, sym_text_len
, text
,
4639 /* Stop when we encounter an enclosing function. Do not stop for
4640 non-inlined functions - the locals of the enclosing function
4641 are in scope for a nested function. */
4642 if (BLOCK_FUNCTION (b
) != NULL
&& block_inlined_p (b
))
4644 b
= BLOCK_SUPERBLOCK (b
);
4647 /* Add fields from the file's types; symbols will be added below. */
4649 if (code
== TYPE_CODE_UNDEF
)
4651 if (surrounding_static_block
!= NULL
)
4652 ALL_BLOCK_SYMBOLS (surrounding_static_block
, iter
, sym
)
4653 completion_list_add_fields (sym
, sym_text
, sym_text_len
, text
, word
);
4655 if (surrounding_global_block
!= NULL
)
4656 ALL_BLOCK_SYMBOLS (surrounding_global_block
, iter
, sym
)
4657 completion_list_add_fields (sym
, sym_text
, sym_text_len
, text
, word
);
4660 /* Go through the symtabs and check the externs and statics for
4661 symbols which match. */
4663 ALL_COMPUNITS (objfile
, cust
)
4666 b
= BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust
), GLOBAL_BLOCK
);
4667 ALL_BLOCK_SYMBOLS (b
, iter
, sym
)
4669 if (code
== TYPE_CODE_UNDEF
4670 || (SYMBOL_DOMAIN (sym
) == STRUCT_DOMAIN
4671 && TYPE_CODE (SYMBOL_TYPE (sym
)) == code
))
4672 COMPLETION_LIST_ADD_SYMBOL (sym
, sym_text
, sym_text_len
, text
, word
);
4676 ALL_COMPUNITS (objfile
, cust
)
4679 b
= BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust
), STATIC_BLOCK
);
4680 ALL_BLOCK_SYMBOLS (b
, iter
, sym
)
4682 if (code
== TYPE_CODE_UNDEF
4683 || (SYMBOL_DOMAIN (sym
) == STRUCT_DOMAIN
4684 && TYPE_CODE (SYMBOL_TYPE (sym
)) == code
))
4685 COMPLETION_LIST_ADD_SYMBOL (sym
, sym_text
, sym_text_len
, text
, word
);
4689 /* Skip macros if we are completing a struct tag -- arguable but
4690 usually what is expected. */
4691 if (current_language
->la_macro_expansion
== macro_expansion_c
4692 && code
== TYPE_CODE_UNDEF
)
4694 struct macro_scope
*scope
;
4696 /* Add any macros visible in the default scope. Note that this
4697 may yield the occasional wrong result, because an expression
4698 might be evaluated in a scope other than the default. For
4699 example, if the user types "break file:line if <TAB>", the
4700 resulting expression will be evaluated at "file:line" -- but
4701 at there does not seem to be a way to detect this at
4703 scope
= default_macro_scope ();
4706 macro_for_each_in_scope (scope
->file
, scope
->line
,
4707 add_macro_name
, &datum
);
4711 /* User-defined macros are always visible. */
4712 macro_for_each (macro_user_macros
, add_macro_name
, &datum
);
4715 discard_cleanups (back_to
);
4716 return (return_val
);
4720 default_make_symbol_completion_list (const char *text
, const char *word
,
4721 enum type_code code
)
4723 return default_make_symbol_completion_list_break_on (text
, word
, "", code
);
4726 /* Return a vector of all symbols (regardless of class) which begin by
4727 matching TEXT. If the answer is no symbols, then the return value
4731 make_symbol_completion_list (const char *text
, const char *word
)
4733 return current_language
->la_make_symbol_completion_list (text
, word
,
4737 /* Like make_symbol_completion_list, but only return STRUCT_DOMAIN
4738 symbols whose type code is CODE. */
4741 make_symbol_completion_type (const char *text
, const char *word
,
4742 enum type_code code
)
4744 gdb_assert (code
== TYPE_CODE_UNION
4745 || code
== TYPE_CODE_STRUCT
4746 || code
== TYPE_CODE_ENUM
);
4747 return current_language
->la_make_symbol_completion_list (text
, word
, code
);
4750 /* Like make_symbol_completion_list, but suitable for use as a
4751 completion function. */
4754 make_symbol_completion_list_fn (struct cmd_list_element
*ignore
,
4755 const char *text
, const char *word
)
4757 return make_symbol_completion_list (text
, word
);
4760 /* Like make_symbol_completion_list, but returns a list of symbols
4761 defined in a source file FILE. */
4764 make_file_symbol_completion_list (const char *text
, const char *word
,
4765 const char *srcfile
)
4770 struct block_iterator iter
;
4771 /* The symbol we are completing on. Points in same buffer as text. */
4772 const char *sym_text
;
4773 /* Length of sym_text. */
4776 /* Now look for the symbol we are supposed to complete on.
4777 FIXME: This should be language-specific. */
4781 const char *quote_pos
= NULL
;
4783 /* First see if this is a quoted string. */
4785 for (p
= text
; *p
!= '\0'; ++p
)
4787 if (quote_found
!= '\0')
4789 if (*p
== quote_found
)
4790 /* Found close quote. */
4792 else if (*p
== '\\' && p
[1] == quote_found
)
4793 /* A backslash followed by the quote character
4794 doesn't end the string. */
4797 else if (*p
== '\'' || *p
== '"')
4803 if (quote_found
== '\'')
4804 /* A string within single quotes can be a symbol, so complete on it. */
4805 sym_text
= quote_pos
+ 1;
4806 else if (quote_found
== '"')
4807 /* A double-quoted string is never a symbol, nor does it make sense
4808 to complete it any other way. */
4814 /* Not a quoted string. */
4815 sym_text
= language_search_unquoted_string (text
, p
);
4819 sym_text_len
= strlen (sym_text
);
4823 /* Find the symtab for SRCFILE (this loads it if it was not yet read
4825 s
= lookup_symtab (srcfile
);
4828 /* Maybe they typed the file with leading directories, while the
4829 symbol tables record only its basename. */
4830 const char *tail
= lbasename (srcfile
);
4833 s
= lookup_symtab (tail
);
4836 /* If we have no symtab for that file, return an empty list. */
4838 return (return_val
);
4840 /* Go through this symtab and check the externs and statics for
4841 symbols which match. */
4843 b
= BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (s
), GLOBAL_BLOCK
);
4844 ALL_BLOCK_SYMBOLS (b
, iter
, sym
)
4846 COMPLETION_LIST_ADD_SYMBOL (sym
, sym_text
, sym_text_len
, text
, word
);
4849 b
= BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (s
), STATIC_BLOCK
);
4850 ALL_BLOCK_SYMBOLS (b
, iter
, sym
)
4852 COMPLETION_LIST_ADD_SYMBOL (sym
, sym_text
, sym_text_len
, text
, word
);
4855 return (return_val
);
4858 /* A helper function for make_source_files_completion_list. It adds
4859 another file name to a list of possible completions, growing the
4860 list as necessary. */
4863 add_filename_to_list (const char *fname
, const char *text
, const char *word
,
4864 VEC (char_ptr
) **list
)
4867 size_t fnlen
= strlen (fname
);
4871 /* Return exactly fname. */
4872 new = xmalloc (fnlen
+ 5);
4873 strcpy (new, fname
);
4875 else if (word
> text
)
4877 /* Return some portion of fname. */
4878 new = xmalloc (fnlen
+ 5);
4879 strcpy (new, fname
+ (word
- text
));
4883 /* Return some of TEXT plus fname. */
4884 new = xmalloc (fnlen
+ (text
- word
) + 5);
4885 strncpy (new, word
, text
- word
);
4886 new[text
- word
] = '\0';
4887 strcat (new, fname
);
4889 VEC_safe_push (char_ptr
, *list
, new);
4893 not_interesting_fname (const char *fname
)
4895 static const char *illegal_aliens
[] = {
4896 "_globals_", /* inserted by coff_symtab_read */
4901 for (i
= 0; illegal_aliens
[i
]; i
++)
4903 if (filename_cmp (fname
, illegal_aliens
[i
]) == 0)
4909 /* An object of this type is passed as the user_data argument to
4910 map_partial_symbol_filenames. */
4911 struct add_partial_filename_data
4913 struct filename_seen_cache
*filename_seen_cache
;
4917 VEC (char_ptr
) **list
;
4920 /* A callback for map_partial_symbol_filenames. */
4923 maybe_add_partial_symtab_filename (const char *filename
, const char *fullname
,
4926 struct add_partial_filename_data
*data
= user_data
;
4928 if (not_interesting_fname (filename
))
4930 if (!filename_seen (data
->filename_seen_cache
, filename
, 1)
4931 && filename_ncmp (filename
, data
->text
, data
->text_len
) == 0)
4933 /* This file matches for a completion; add it to the
4934 current list of matches. */
4935 add_filename_to_list (filename
, data
->text
, data
->word
, data
->list
);
4939 const char *base_name
= lbasename (filename
);
4941 if (base_name
!= filename
4942 && !filename_seen (data
->filename_seen_cache
, base_name
, 1)
4943 && filename_ncmp (base_name
, data
->text
, data
->text_len
) == 0)
4944 add_filename_to_list (base_name
, data
->text
, data
->word
, data
->list
);
4948 /* Return a vector of all source files whose names begin with matching
4949 TEXT. The file names are looked up in the symbol tables of this
4950 program. If the answer is no matchess, then the return value is
4954 make_source_files_completion_list (const char *text
, const char *word
)
4956 struct compunit_symtab
*cu
;
4958 struct objfile
*objfile
;
4959 size_t text_len
= strlen (text
);
4960 VEC (char_ptr
) *list
= NULL
;
4961 const char *base_name
;
4962 struct add_partial_filename_data datum
;
4963 struct filename_seen_cache
*filename_seen_cache
;
4964 struct cleanup
*back_to
, *cache_cleanup
;
4966 if (!have_full_symbols () && !have_partial_symbols ())
4969 back_to
= make_cleanup (do_free_completion_list
, &list
);
4971 filename_seen_cache
= create_filename_seen_cache ();
4972 cache_cleanup
= make_cleanup (delete_filename_seen_cache
,
4973 filename_seen_cache
);
4975 ALL_FILETABS (objfile
, cu
, s
)
4977 if (not_interesting_fname (s
->filename
))
4979 if (!filename_seen (filename_seen_cache
, s
->filename
, 1)
4980 && filename_ncmp (s
->filename
, text
, text_len
) == 0)
4982 /* This file matches for a completion; add it to the current
4984 add_filename_to_list (s
->filename
, text
, word
, &list
);
4988 /* NOTE: We allow the user to type a base name when the
4989 debug info records leading directories, but not the other
4990 way around. This is what subroutines of breakpoint
4991 command do when they parse file names. */
4992 base_name
= lbasename (s
->filename
);
4993 if (base_name
!= s
->filename
4994 && !filename_seen (filename_seen_cache
, base_name
, 1)
4995 && filename_ncmp (base_name
, text
, text_len
) == 0)
4996 add_filename_to_list (base_name
, text
, word
, &list
);
5000 datum
.filename_seen_cache
= filename_seen_cache
;
5003 datum
.text_len
= text_len
;
5005 map_symbol_filenames (maybe_add_partial_symtab_filename
, &datum
,
5006 0 /*need_fullname*/);
5008 do_cleanups (cache_cleanup
);
5009 discard_cleanups (back_to
);
5016 /* Return the "main_info" object for the current program space. If
5017 the object has not yet been created, create it and fill in some
5020 static struct main_info
*
5021 get_main_info (void)
5023 struct main_info
*info
= program_space_data (current_program_space
,
5024 main_progspace_key
);
5028 /* It may seem strange to store the main name in the progspace
5029 and also in whatever objfile happens to see a main name in
5030 its debug info. The reason for this is mainly historical:
5031 gdb returned "main" as the name even if no function named
5032 "main" was defined the program; and this approach lets us
5033 keep compatibility. */
5034 info
= XCNEW (struct main_info
);
5035 info
->language_of_main
= language_unknown
;
5036 set_program_space_data (current_program_space
, main_progspace_key
,
5043 /* A cleanup to destroy a struct main_info when a progspace is
5047 main_info_cleanup (struct program_space
*pspace
, void *data
)
5049 struct main_info
*info
= data
;
5052 xfree (info
->name_of_main
);
5057 set_main_name (const char *name
, enum language lang
)
5059 struct main_info
*info
= get_main_info ();
5061 if (info
->name_of_main
!= NULL
)
5063 xfree (info
->name_of_main
);
5064 info
->name_of_main
= NULL
;
5065 info
->language_of_main
= language_unknown
;
5069 info
->name_of_main
= xstrdup (name
);
5070 info
->language_of_main
= lang
;
5074 /* Deduce the name of the main procedure, and set NAME_OF_MAIN
5078 find_main_name (void)
5080 const char *new_main_name
;
5081 struct objfile
*objfile
;
5083 /* First check the objfiles to see whether a debuginfo reader has
5084 picked up the appropriate main name. Historically the main name
5085 was found in a more or less random way; this approach instead
5086 relies on the order of objfile creation -- which still isn't
5087 guaranteed to get the correct answer, but is just probably more
5089 ALL_OBJFILES (objfile
)
5091 if (objfile
->per_bfd
->name_of_main
!= NULL
)
5093 set_main_name (objfile
->per_bfd
->name_of_main
,
5094 objfile
->per_bfd
->language_of_main
);
5099 /* Try to see if the main procedure is in Ada. */
5100 /* FIXME: brobecker/2005-03-07: Another way of doing this would
5101 be to add a new method in the language vector, and call this
5102 method for each language until one of them returns a non-empty
5103 name. This would allow us to remove this hard-coded call to
5104 an Ada function. It is not clear that this is a better approach
5105 at this point, because all methods need to be written in a way
5106 such that false positives never be returned. For instance, it is
5107 important that a method does not return a wrong name for the main
5108 procedure if the main procedure is actually written in a different
5109 language. It is easy to guaranty this with Ada, since we use a
5110 special symbol generated only when the main in Ada to find the name
5111 of the main procedure. It is difficult however to see how this can
5112 be guarantied for languages such as C, for instance. This suggests
5113 that order of call for these methods becomes important, which means
5114 a more complicated approach. */
5115 new_main_name
= ada_main_name ();
5116 if (new_main_name
!= NULL
)
5118 set_main_name (new_main_name
, language_ada
);
5122 new_main_name
= d_main_name ();
5123 if (new_main_name
!= NULL
)
5125 set_main_name (new_main_name
, language_d
);
5129 new_main_name
= go_main_name ();
5130 if (new_main_name
!= NULL
)
5132 set_main_name (new_main_name
, language_go
);
5136 new_main_name
= pascal_main_name ();
5137 if (new_main_name
!= NULL
)
5139 set_main_name (new_main_name
, language_pascal
);
5143 /* The languages above didn't identify the name of the main procedure.
5144 Fallback to "main". */
5145 set_main_name ("main", language_unknown
);
5151 struct main_info
*info
= get_main_info ();
5153 if (info
->name_of_main
== NULL
)
5156 return info
->name_of_main
;
5159 /* Return the language of the main function. If it is not known,
5160 return language_unknown. */
5163 main_language (void)
5165 struct main_info
*info
= get_main_info ();
5167 if (info
->name_of_main
== NULL
)
5170 return info
->language_of_main
;
5173 /* Handle ``executable_changed'' events for the symtab module. */
5176 symtab_observer_executable_changed (void)
5178 /* NAME_OF_MAIN may no longer be the same, so reset it for now. */
5179 set_main_name (NULL
, language_unknown
);
5182 /* Return 1 if the supplied producer string matches the ARM RealView
5183 compiler (armcc). */
5186 producer_is_realview (const char *producer
)
5188 static const char *const arm_idents
[] = {
5189 "ARM C Compiler, ADS",
5190 "Thumb C Compiler, ADS",
5191 "ARM C++ Compiler, ADS",
5192 "Thumb C++ Compiler, ADS",
5193 "ARM/Thumb C/C++ Compiler, RVCT",
5194 "ARM C/C++ Compiler, RVCT"
5198 if (producer
== NULL
)
5201 for (i
= 0; i
< ARRAY_SIZE (arm_idents
); i
++)
5202 if (strncmp (producer
, arm_idents
[i
], strlen (arm_idents
[i
])) == 0)
5210 /* The next index to hand out in response to a registration request. */
5212 static int next_aclass_value
= LOC_FINAL_VALUE
;
5214 /* The maximum number of "aclass" registrations we support. This is
5215 constant for convenience. */
5216 #define MAX_SYMBOL_IMPLS (LOC_FINAL_VALUE + 10)
5218 /* The objects representing the various "aclass" values. The elements
5219 from 0 up to LOC_FINAL_VALUE-1 represent themselves, and subsequent
5220 elements are those registered at gdb initialization time. */
5222 static struct symbol_impl symbol_impl
[MAX_SYMBOL_IMPLS
];
5224 /* The globally visible pointer. This is separate from 'symbol_impl'
5225 so that it can be const. */
5227 const struct symbol_impl
*symbol_impls
= &symbol_impl
[0];
5229 /* Make sure we saved enough room in struct symbol. */
5231 gdb_static_assert (MAX_SYMBOL_IMPLS
<= (1 << SYMBOL_ACLASS_BITS
));
5233 /* Register a computed symbol type. ACLASS must be LOC_COMPUTED. OPS
5234 is the ops vector associated with this index. This returns the new
5235 index, which should be used as the aclass_index field for symbols
5239 register_symbol_computed_impl (enum address_class aclass
,
5240 const struct symbol_computed_ops
*ops
)
5242 int result
= next_aclass_value
++;
5244 gdb_assert (aclass
== LOC_COMPUTED
);
5245 gdb_assert (result
< MAX_SYMBOL_IMPLS
);
5246 symbol_impl
[result
].aclass
= aclass
;
5247 symbol_impl
[result
].ops_computed
= ops
;
5249 /* Sanity check OPS. */
5250 gdb_assert (ops
!= NULL
);
5251 gdb_assert (ops
->tracepoint_var_ref
!= NULL
);
5252 gdb_assert (ops
->describe_location
!= NULL
);
5253 gdb_assert (ops
->read_needs_frame
!= NULL
);
5254 gdb_assert (ops
->read_variable
!= NULL
);
5259 /* Register a function with frame base type. ACLASS must be LOC_BLOCK.
5260 OPS is the ops vector associated with this index. This returns the
5261 new index, which should be used as the aclass_index field for symbols
5265 register_symbol_block_impl (enum address_class aclass
,
5266 const struct symbol_block_ops
*ops
)
5268 int result
= next_aclass_value
++;
5270 gdb_assert (aclass
== LOC_BLOCK
);
5271 gdb_assert (result
< MAX_SYMBOL_IMPLS
);
5272 symbol_impl
[result
].aclass
= aclass
;
5273 symbol_impl
[result
].ops_block
= ops
;
5275 /* Sanity check OPS. */
5276 gdb_assert (ops
!= NULL
);
5277 gdb_assert (ops
->find_frame_base_location
!= NULL
);
5282 /* Register a register symbol type. ACLASS must be LOC_REGISTER or
5283 LOC_REGPARM_ADDR. OPS is the register ops vector associated with
5284 this index. This returns the new index, which should be used as
5285 the aclass_index field for symbols of this type. */
5288 register_symbol_register_impl (enum address_class aclass
,
5289 const struct symbol_register_ops
*ops
)
5291 int result
= next_aclass_value
++;
5293 gdb_assert (aclass
== LOC_REGISTER
|| aclass
== LOC_REGPARM_ADDR
);
5294 gdb_assert (result
< MAX_SYMBOL_IMPLS
);
5295 symbol_impl
[result
].aclass
= aclass
;
5296 symbol_impl
[result
].ops_register
= ops
;
5301 /* Initialize elements of 'symbol_impl' for the constants in enum
5305 initialize_ordinary_address_classes (void)
5309 for (i
= 0; i
< LOC_FINAL_VALUE
; ++i
)
5310 symbol_impl
[i
].aclass
= i
;
5315 /* Initialize the symbol SYM. */
5318 initialize_symbol (struct symbol
*sym
)
5320 memset (sym
, 0, sizeof (*sym
));
5321 SYMBOL_SECTION (sym
) = -1;
5324 /* Allocate and initialize a new 'struct symbol' on OBJFILE's
5328 allocate_symbol (struct objfile
*objfile
)
5330 struct symbol
*result
;
5332 result
= OBSTACK_ZALLOC (&objfile
->objfile_obstack
, struct symbol
);
5333 SYMBOL_SECTION (result
) = -1;
5338 /* Allocate and initialize a new 'struct template_symbol' on OBJFILE's
5341 struct template_symbol
*
5342 allocate_template_symbol (struct objfile
*objfile
)
5344 struct template_symbol
*result
;
5346 result
= OBSTACK_ZALLOC (&objfile
->objfile_obstack
, struct template_symbol
);
5347 SYMBOL_SECTION (&result
->base
) = -1;
5355 symbol_objfile (const struct symbol
*symbol
)
5357 return SYMTAB_OBJFILE (symbol
->symtab
);
5363 symbol_arch (const struct symbol
*symbol
)
5365 return get_objfile_arch (symbol_objfile (symbol
));
5371 symbol_symtab (const struct symbol
*symbol
)
5373 return symbol
->symtab
;
5379 symbol_set_symtab (struct symbol
*symbol
, struct symtab
*symtab
)
5381 symbol
->symtab
= symtab
;
5387 _initialize_symtab (void)
5389 initialize_ordinary_address_classes ();
5392 = register_program_space_data_with_cleanup (NULL
, main_info_cleanup
);
5394 add_info ("variables", variables_info
, _("\
5395 All global and static variable names, or those matching REGEXP."));
5397 add_com ("whereis", class_info
, variables_info
, _("\
5398 All global and static variable names, or those matching REGEXP."));
5400 add_info ("functions", functions_info
,
5401 _("All function names, or those matching REGEXP."));
5403 /* FIXME: This command has at least the following problems:
5404 1. It prints builtin types (in a very strange and confusing fashion).
5405 2. It doesn't print right, e.g. with
5406 typedef struct foo *FOO
5407 type_print prints "FOO" when we want to make it (in this situation)
5408 print "struct foo *".
5409 I also think "ptype" or "whatis" is more likely to be useful (but if
5410 there is much disagreement "info types" can be fixed). */
5411 add_info ("types", types_info
,
5412 _("All type names, or those matching REGEXP."));
5414 add_info ("sources", sources_info
,
5415 _("Source files in the program."));
5417 add_com ("rbreak", class_breakpoint
, rbreak_command
,
5418 _("Set a breakpoint for all functions matching REGEXP."));
5422 add_com ("lf", class_info
, sources_info
,
5423 _("Source files in the program"));
5424 add_com ("lg", class_info
, variables_info
, _("\
5425 All global and static variable names, or those matching REGEXP."));
5428 add_setshow_enum_cmd ("multiple-symbols", no_class
,
5429 multiple_symbols_modes
, &multiple_symbols_mode
,
5431 Set the debugger behavior when more than one symbol are possible matches\n\
5432 in an expression."), _("\
5433 Show how the debugger handles ambiguities in expressions."), _("\
5434 Valid values are \"ask\", \"all\", \"cancel\", and the default is \"all\"."),
5435 NULL
, NULL
, &setlist
, &showlist
);
5437 add_setshow_boolean_cmd ("basenames-may-differ", class_obscure
,
5438 &basenames_may_differ
, _("\
5439 Set whether a source file may have multiple base names."), _("\
5440 Show whether a source file may have multiple base names."), _("\
5441 (A \"base name\" is the name of a file with the directory part removed.\n\
5442 Example: The base name of \"/home/user/hello.c\" is \"hello.c\".)\n\
5443 If set, GDB will canonicalize file names (e.g., expand symlinks)\n\
5444 before comparing them. Canonicalization is an expensive operation,\n\
5445 but it allows the same file be known by more than one base name.\n\
5446 If not set (the default), all source files are assumed to have just\n\
5447 one base name, and gdb will do file name comparisons more efficiently."),
5449 &setlist
, &showlist
);
5451 add_setshow_zuinteger_cmd ("symtab-create", no_class
, &symtab_create_debug
,
5452 _("Set debugging of symbol table creation."),
5453 _("Show debugging of symbol table creation."), _("\
5454 When enabled (non-zero), debugging messages are printed when building\n\
5455 symbol tables. A value of 1 (one) normally provides enough information.\n\
5456 A value greater than 1 provides more verbose information."),
5459 &setdebuglist
, &showdebuglist
);
5461 add_setshow_zuinteger_cmd ("symbol-lookup", no_class
, &symbol_lookup_debug
,
5463 Set debugging of symbol lookup."), _("\
5464 Show debugging of symbol lookup."), _("\
5465 When enabled (non-zero), symbol lookups are logged."),
5467 &setdebuglist
, &showdebuglist
);
5469 observer_attach_executable_changed (symtab_observer_executable_changed
);