1 /* Symbol table lookup for the GNU debugger, GDB.
3 Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
4 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2007, 2008
5 Free Software Foundation, Inc.
7 This file is part of GDB.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
32 #include "call-cmds.h"
33 #include "gdb_regex.h"
34 #include "expression.h"
40 #include "filenames.h" /* for FILENAME_CMP */
41 #include "objc-lang.h"
47 #include "gdb_obstack.h"
49 #include "dictionary.h"
51 #include <sys/types.h>
53 #include "gdb_string.h"
58 #include "gdb_assert.h"
61 /* Prototypes for local functions */
63 static void completion_list_add_name (char *, char *, int, char *, char *);
65 static void rbreak_command (char *, int);
67 static void types_info (char *, int);
69 static void functions_info (char *, int);
71 static void variables_info (char *, int);
73 static void sources_info (char *, int);
75 static void output_source_filename (const char *, int *);
77 static int find_line_common (struct linetable *, int, int *);
79 /* This one is used by linespec.c */
81 char *operator_chars (char *p, char **end);
83 static struct symbol *lookup_symbol_aux (const char *name,
84 const char *linkage_name,
85 const struct block *block,
86 const domain_enum domain,
87 enum language language,
88 int *is_a_field_of_this,
89 struct symtab **symtab);
92 struct symbol *lookup_symbol_aux_local (const char *name,
93 const char *linkage_name,
94 const struct block *block,
95 const domain_enum domain,
96 struct symtab **symtab);
99 struct symbol *lookup_symbol_aux_symtabs (int block_index,
101 const char *linkage_name,
102 const domain_enum domain,
103 struct symtab **symtab);
106 struct symbol *lookup_symbol_aux_psymtabs (int block_index,
108 const char *linkage_name,
109 const domain_enum domain,
110 struct symtab **symtab);
112 static void fixup_section (struct general_symbol_info *, struct objfile *);
114 static int file_matches (char *, char **, int);
116 static void print_symbol_info (domain_enum,
117 struct symtab *, struct symbol *, int, char *);
119 static void print_msymbol_info (struct minimal_symbol *);
121 static void symtab_symbol_info (char *, domain_enum, int);
123 void _initialize_symtab (void);
127 /* The single non-language-specific builtin type */
128 struct type *builtin_type_error;
130 /* Block in which the most recently searched-for symbol was found.
131 Might be better to make this a parameter to lookup_symbol and
134 const struct block *block_found;
136 /* Check for a symtab of a specific name; first in symtabs, then in
137 psymtabs. *If* there is no '/' in the name, a match after a '/'
138 in the symtab filename will also work. */
141 lookup_symtab (const char *name)
144 struct partial_symtab *ps;
145 struct objfile *objfile;
146 char *real_path = NULL;
147 char *full_path = NULL;
149 /* Here we are interested in canonicalizing an absolute path, not
150 absolutizing a relative path. */
151 if (IS_ABSOLUTE_PATH (name))
153 full_path = xfullpath (name);
154 make_cleanup (xfree, full_path);
155 real_path = gdb_realpath (name);
156 make_cleanup (xfree, real_path);
161 /* First, search for an exact match */
163 ALL_SYMTABS (objfile, s)
165 if (FILENAME_CMP (name, s->filename) == 0)
170 /* If the user gave us an absolute path, try to find the file in
171 this symtab and use its absolute path. */
173 if (full_path != NULL)
175 const char *fp = symtab_to_fullname (s);
176 if (fp != NULL && FILENAME_CMP (full_path, fp) == 0)
182 if (real_path != NULL)
184 char *fullname = symtab_to_fullname (s);
185 if (fullname != NULL)
187 char *rp = gdb_realpath (fullname);
188 make_cleanup (xfree, rp);
189 if (FILENAME_CMP (real_path, rp) == 0)
197 /* Now, search for a matching tail (only if name doesn't have any dirs) */
199 if (lbasename (name) == name)
200 ALL_SYMTABS (objfile, s)
202 if (FILENAME_CMP (lbasename (s->filename), name) == 0)
206 /* Same search rules as above apply here, but now we look thru the
209 ps = lookup_partial_symtab (name);
214 error (_("Internal: readin %s pst for `%s' found when no symtab found."),
217 s = PSYMTAB_TO_SYMTAB (ps);
222 /* At this point, we have located the psymtab for this file, but
223 the conversion to a symtab has failed. This usually happens
224 when we are looking up an include file. In this case,
225 PSYMTAB_TO_SYMTAB doesn't return a symtab, even though one has
226 been created. So, we need to run through the symtabs again in
227 order to find the file.
228 XXX - This is a crock, and should be fixed inside of the the
229 symbol parsing routines. */
233 /* Lookup the partial symbol table of a source file named NAME.
234 *If* there is no '/' in the name, a match after a '/'
235 in the psymtab filename will also work. */
237 struct partial_symtab *
238 lookup_partial_symtab (const char *name)
240 struct partial_symtab *pst;
241 struct objfile *objfile;
242 char *full_path = NULL;
243 char *real_path = NULL;
245 /* Here we are interested in canonicalizing an absolute path, not
246 absolutizing a relative path. */
247 if (IS_ABSOLUTE_PATH (name))
249 full_path = xfullpath (name);
250 make_cleanup (xfree, full_path);
251 real_path = gdb_realpath (name);
252 make_cleanup (xfree, real_path);
255 ALL_PSYMTABS (objfile, pst)
257 if (FILENAME_CMP (name, pst->filename) == 0)
262 /* If the user gave us an absolute path, try to find the file in
263 this symtab and use its absolute path. */
264 if (full_path != NULL)
266 psymtab_to_fullname (pst);
267 if (pst->fullname != NULL
268 && FILENAME_CMP (full_path, pst->fullname) == 0)
274 if (real_path != NULL)
277 psymtab_to_fullname (pst);
278 if (pst->fullname != NULL)
280 rp = gdb_realpath (pst->fullname);
281 make_cleanup (xfree, rp);
283 if (rp != NULL && FILENAME_CMP (real_path, rp) == 0)
290 /* Now, search for a matching tail (only if name doesn't have any dirs) */
292 if (lbasename (name) == name)
293 ALL_PSYMTABS (objfile, pst)
295 if (FILENAME_CMP (lbasename (pst->filename), name) == 0)
302 /* Mangle a GDB method stub type. This actually reassembles the pieces of the
303 full method name, which consist of the class name (from T), the unadorned
304 method name from METHOD_ID, and the signature for the specific overload,
305 specified by SIGNATURE_ID. Note that this function is g++ specific. */
308 gdb_mangle_name (struct type *type, int method_id, int signature_id)
310 int mangled_name_len;
312 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, method_id);
313 struct fn_field *method = &f[signature_id];
314 char *field_name = TYPE_FN_FIELDLIST_NAME (type, method_id);
315 char *physname = TYPE_FN_FIELD_PHYSNAME (f, signature_id);
316 char *newname = type_name_no_tag (type);
318 /* Does the form of physname indicate that it is the full mangled name
319 of a constructor (not just the args)? */
320 int is_full_physname_constructor;
323 int is_destructor = is_destructor_name (physname);
324 /* Need a new type prefix. */
325 char *const_prefix = method->is_const ? "C" : "";
326 char *volatile_prefix = method->is_volatile ? "V" : "";
328 int len = (newname == NULL ? 0 : strlen (newname));
330 /* Nothing to do if physname already contains a fully mangled v3 abi name
331 or an operator name. */
332 if ((physname[0] == '_' && physname[1] == 'Z')
333 || is_operator_name (field_name))
334 return xstrdup (physname);
336 is_full_physname_constructor = is_constructor_name (physname);
339 is_full_physname_constructor || (newname && strcmp (field_name, newname) == 0);
342 is_destructor = (strncmp (physname, "__dt", 4) == 0);
344 if (is_destructor || is_full_physname_constructor)
346 mangled_name = (char *) xmalloc (strlen (physname) + 1);
347 strcpy (mangled_name, physname);
353 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
355 else if (physname[0] == 't' || physname[0] == 'Q')
357 /* The physname for template and qualified methods already includes
359 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
365 sprintf (buf, "__%s%s%d", const_prefix, volatile_prefix, len);
367 mangled_name_len = ((is_constructor ? 0 : strlen (field_name))
368 + strlen (buf) + len + strlen (physname) + 1);
371 mangled_name = (char *) xmalloc (mangled_name_len);
373 mangled_name[0] = '\0';
375 strcpy (mangled_name, field_name);
377 strcat (mangled_name, buf);
378 /* If the class doesn't have a name, i.e. newname NULL, then we just
379 mangle it using 0 for the length of the class. Thus it gets mangled
380 as something starting with `::' rather than `classname::'. */
382 strcat (mangled_name, newname);
384 strcat (mangled_name, physname);
385 return (mangled_name);
389 /* Initialize the language dependent portion of a symbol
390 depending upon the language for the symbol. */
392 symbol_init_language_specific (struct general_symbol_info *gsymbol,
393 enum language language)
395 gsymbol->language = language;
396 if (gsymbol->language == language_cplus
397 || gsymbol->language == language_java
398 || gsymbol->language == language_objc)
400 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
404 memset (&gsymbol->language_specific, 0,
405 sizeof (gsymbol->language_specific));
409 /* Functions to initialize a symbol's mangled name. */
411 /* Create the hash table used for demangled names. Each hash entry is
412 a pair of strings; one for the mangled name and one for the demangled
413 name. The entry is hashed via just the mangled name. */
416 create_demangled_names_hash (struct objfile *objfile)
418 /* Choose 256 as the starting size of the hash table, somewhat arbitrarily.
419 The hash table code will round this up to the next prime number.
420 Choosing a much larger table size wastes memory, and saves only about
421 1% in symbol reading. */
423 objfile->demangled_names_hash = htab_create_alloc
424 (256, htab_hash_string, (int (*) (const void *, const void *)) streq,
425 NULL, xcalloc, xfree);
428 /* Try to determine the demangled name for a symbol, based on the
429 language of that symbol. If the language is set to language_auto,
430 it will attempt to find any demangling algorithm that works and
431 then set the language appropriately. The returned name is allocated
432 by the demangler and should be xfree'd. */
435 symbol_find_demangled_name (struct general_symbol_info *gsymbol,
438 char *demangled = NULL;
440 if (gsymbol->language == language_unknown)
441 gsymbol->language = language_auto;
443 if (gsymbol->language == language_objc
444 || gsymbol->language == language_auto)
447 objc_demangle (mangled, 0);
448 if (demangled != NULL)
450 gsymbol->language = language_objc;
454 if (gsymbol->language == language_cplus
455 || gsymbol->language == language_auto)
458 cplus_demangle (mangled, DMGL_PARAMS | DMGL_ANSI);
459 if (demangled != NULL)
461 gsymbol->language = language_cplus;
465 if (gsymbol->language == language_java)
468 cplus_demangle (mangled,
469 DMGL_PARAMS | DMGL_ANSI | DMGL_JAVA);
470 if (demangled != NULL)
472 gsymbol->language = language_java;
479 /* Set both the mangled and demangled (if any) names for GSYMBOL based
480 on LINKAGE_NAME and LEN. The hash table corresponding to OBJFILE
481 is used, and the memory comes from that objfile's objfile_obstack.
482 LINKAGE_NAME is copied, so the pointer can be discarded after
483 calling this function. */
485 /* We have to be careful when dealing with Java names: when we run
486 into a Java minimal symbol, we don't know it's a Java symbol, so it
487 gets demangled as a C++ name. This is unfortunate, but there's not
488 much we can do about it: but when demangling partial symbols and
489 regular symbols, we'd better not reuse the wrong demangled name.
490 (See PR gdb/1039.) We solve this by putting a distinctive prefix
491 on Java names when storing them in the hash table. */
493 /* FIXME: carlton/2003-03-13: This is an unfortunate situation. I
494 don't mind the Java prefix so much: different languages have
495 different demangling requirements, so it's only natural that we
496 need to keep language data around in our demangling cache. But
497 it's not good that the minimal symbol has the wrong demangled name.
498 Unfortunately, I can't think of any easy solution to that
501 #define JAVA_PREFIX "##JAVA$$"
502 #define JAVA_PREFIX_LEN 8
505 symbol_set_names (struct general_symbol_info *gsymbol,
506 const char *linkage_name, int len, struct objfile *objfile)
509 /* A 0-terminated copy of the linkage name. */
510 const char *linkage_name_copy;
511 /* A copy of the linkage name that might have a special Java prefix
512 added to it, for use when looking names up in the hash table. */
513 const char *lookup_name;
514 /* The length of lookup_name. */
517 if (objfile->demangled_names_hash == NULL)
518 create_demangled_names_hash (objfile);
520 if (gsymbol->language == language_ada)
522 /* In Ada, we do the symbol lookups using the mangled name, so
523 we can save some space by not storing the demangled name.
525 As a side note, we have also observed some overlap between
526 the C++ mangling and Ada mangling, similarly to what has
527 been observed with Java. Because we don't store the demangled
528 name with the symbol, we don't need to use the same trick
530 gsymbol->name = obstack_alloc (&objfile->objfile_obstack, len + 1);
531 memcpy (gsymbol->name, linkage_name, len);
532 gsymbol->name[len] = '\0';
533 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
538 /* The stabs reader generally provides names that are not
539 NUL-terminated; most of the other readers don't do this, so we
540 can just use the given copy, unless we're in the Java case. */
541 if (gsymbol->language == language_java)
544 lookup_len = len + JAVA_PREFIX_LEN;
546 alloc_name = alloca (lookup_len + 1);
547 memcpy (alloc_name, JAVA_PREFIX, JAVA_PREFIX_LEN);
548 memcpy (alloc_name + JAVA_PREFIX_LEN, linkage_name, len);
549 alloc_name[lookup_len] = '\0';
551 lookup_name = alloc_name;
552 linkage_name_copy = alloc_name + JAVA_PREFIX_LEN;
554 else if (linkage_name[len] != '\0')
559 alloc_name = alloca (lookup_len + 1);
560 memcpy (alloc_name, linkage_name, len);
561 alloc_name[lookup_len] = '\0';
563 lookup_name = alloc_name;
564 linkage_name_copy = alloc_name;
569 lookup_name = linkage_name;
570 linkage_name_copy = linkage_name;
573 slot = (char **) htab_find_slot (objfile->demangled_names_hash,
574 lookup_name, INSERT);
576 /* If this name is not in the hash table, add it. */
579 char *demangled_name = symbol_find_demangled_name (gsymbol,
581 int demangled_len = demangled_name ? strlen (demangled_name) : 0;
583 /* If there is a demangled name, place it right after the mangled name.
584 Otherwise, just place a second zero byte after the end of the mangled
586 *slot = obstack_alloc (&objfile->objfile_obstack,
587 lookup_len + demangled_len + 2);
588 memcpy (*slot, lookup_name, lookup_len + 1);
589 if (demangled_name != NULL)
591 memcpy (*slot + lookup_len + 1, demangled_name, demangled_len + 1);
592 xfree (demangled_name);
595 (*slot)[lookup_len + 1] = '\0';
598 gsymbol->name = *slot + lookup_len - len;
599 if ((*slot)[lookup_len + 1] != '\0')
600 gsymbol->language_specific.cplus_specific.demangled_name
601 = &(*slot)[lookup_len + 1];
603 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
606 /* Initialize the demangled name of GSYMBOL if possible. Any required space
607 to store the name is obtained from the specified obstack. The function
608 symbol_set_names, above, should be used instead where possible for more
609 efficient memory usage. */
612 symbol_init_demangled_name (struct general_symbol_info *gsymbol,
613 struct obstack *obstack)
615 char *mangled = gsymbol->name;
616 char *demangled = NULL;
618 demangled = symbol_find_demangled_name (gsymbol, mangled);
619 if (gsymbol->language == language_cplus
620 || gsymbol->language == language_java
621 || gsymbol->language == language_objc)
625 gsymbol->language_specific.cplus_specific.demangled_name
626 = obsavestring (demangled, strlen (demangled), obstack);
630 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
634 /* Unknown language; just clean up quietly. */
640 /* Return the source code name of a symbol. In languages where
641 demangling is necessary, this is the demangled name. */
644 symbol_natural_name (const struct general_symbol_info *gsymbol)
646 switch (gsymbol->language)
651 if (gsymbol->language_specific.cplus_specific.demangled_name != NULL)
652 return gsymbol->language_specific.cplus_specific.demangled_name;
655 if (gsymbol->language_specific.cplus_specific.demangled_name != NULL)
656 return gsymbol->language_specific.cplus_specific.demangled_name;
658 return ada_decode_symbol (gsymbol);
663 return gsymbol->name;
666 /* Return the demangled name for a symbol based on the language for
667 that symbol. If no demangled name exists, return NULL. */
669 symbol_demangled_name (struct general_symbol_info *gsymbol)
671 switch (gsymbol->language)
676 if (gsymbol->language_specific.cplus_specific.demangled_name != NULL)
677 return gsymbol->language_specific.cplus_specific.demangled_name;
680 if (gsymbol->language_specific.cplus_specific.demangled_name != NULL)
681 return gsymbol->language_specific.cplus_specific.demangled_name;
683 return ada_decode_symbol (gsymbol);
691 /* Return the search name of a symbol---generally the demangled or
692 linkage name of the symbol, depending on how it will be searched for.
693 If there is no distinct demangled name, then returns the same value
694 (same pointer) as SYMBOL_LINKAGE_NAME. */
696 symbol_search_name (const struct general_symbol_info *gsymbol)
698 if (gsymbol->language == language_ada)
699 return gsymbol->name;
701 return symbol_natural_name (gsymbol);
704 /* Initialize the structure fields to zero values. */
706 init_sal (struct symtab_and_line *sal)
713 sal->explicit_pc = 0;
714 sal->explicit_line = 0;
718 /* Return 1 if the two sections are the same, or if they could
719 plausibly be copies of each other, one in an original object
720 file and another in a separated debug file. */
723 matching_bfd_sections (asection *first, asection *second)
727 /* If they're the same section, then they match. */
731 /* If either is NULL, give up. */
732 if (first == NULL || second == NULL)
735 /* This doesn't apply to absolute symbols. */
736 if (first->owner == NULL || second->owner == NULL)
739 /* If they're in the same object file, they must be different sections. */
740 if (first->owner == second->owner)
743 /* Check whether the two sections are potentially corresponding. They must
744 have the same size, address, and name. We can't compare section indexes,
745 which would be more reliable, because some sections may have been
747 if (bfd_get_section_size (first) != bfd_get_section_size (second))
750 /* In-memory addresses may start at a different offset, relativize them. */
751 if (bfd_get_section_vma (first->owner, first)
752 - bfd_get_start_address (first->owner)
753 != bfd_get_section_vma (second->owner, second)
754 - bfd_get_start_address (second->owner))
757 if (bfd_get_section_name (first->owner, first) == NULL
758 || bfd_get_section_name (second->owner, second) == NULL
759 || strcmp (bfd_get_section_name (first->owner, first),
760 bfd_get_section_name (second->owner, second)) != 0)
763 /* Otherwise check that they are in corresponding objfiles. */
766 if (obj->obfd == first->owner)
768 gdb_assert (obj != NULL);
770 if (obj->separate_debug_objfile != NULL
771 && obj->separate_debug_objfile->obfd == second->owner)
773 if (obj->separate_debug_objfile_backlink != NULL
774 && obj->separate_debug_objfile_backlink->obfd == second->owner)
780 /* Find which partial symtab contains PC and SECTION. Return 0 if
781 none. We return the psymtab that contains a symbol whose address
782 exactly matches PC, or, if we cannot find an exact match, the
783 psymtab that contains a symbol whose address is closest to PC. */
784 struct partial_symtab *
785 find_pc_sect_psymtab (CORE_ADDR pc, asection *section)
787 struct partial_symtab *pst;
788 struct objfile *objfile;
789 struct minimal_symbol *msymbol;
791 /* If we know that this is not a text address, return failure. This is
792 necessary because we loop based on texthigh and textlow, which do
793 not include the data ranges. */
794 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
796 && (msymbol->type == mst_data
797 || msymbol->type == mst_bss
798 || msymbol->type == mst_abs
799 || msymbol->type == mst_file_data
800 || msymbol->type == mst_file_bss))
803 ALL_PSYMTABS (objfile, pst)
805 if (pc >= pst->textlow && pc < pst->texthigh)
807 struct partial_symtab *tpst;
808 struct partial_symtab *best_pst = pst;
809 CORE_ADDR best_addr = pst->textlow;
811 /* An objfile that has its functions reordered might have
812 many partial symbol tables containing the PC, but
813 we want the partial symbol table that contains the
814 function containing the PC. */
815 if (!(objfile->flags & OBJF_REORDERED) &&
816 section == 0) /* can't validate section this way */
822 /* The code range of partial symtabs sometimes overlap, so, in
823 the loop below, we need to check all partial symtabs and
824 find the one that fits better for the given PC address. We
825 select the partial symtab that contains a symbol whose
826 address is closest to the PC address. By closest we mean
827 that find_pc_sect_symbol returns the symbol with address
828 that is closest and still less than the given PC. */
829 for (tpst = pst; tpst != NULL; tpst = tpst->next)
831 if (pc >= tpst->textlow && pc < tpst->texthigh)
833 struct partial_symbol *p;
836 /* NOTE: This assumes that every psymbol has a
837 corresponding msymbol, which is not necessarily
838 true; the debug info might be much richer than the
839 object's symbol table. */
840 p = find_pc_sect_psymbol (tpst, pc, section);
842 && SYMBOL_VALUE_ADDRESS (p)
843 == SYMBOL_VALUE_ADDRESS (msymbol))
846 /* Also accept the textlow value of a psymtab as a
847 "symbol", to provide some support for partial
848 symbol tables with line information but no debug
849 symbols (e.g. those produced by an assembler). */
851 this_addr = SYMBOL_VALUE_ADDRESS (p);
853 this_addr = tpst->textlow;
855 /* Check whether it is closer than our current
856 BEST_ADDR. Since this symbol address is
857 necessarily lower or equal to PC, the symbol closer
858 to PC is the symbol which address is the highest.
859 This way we return the psymtab which contains such
860 best match symbol. This can help in cases where the
861 symbol information/debuginfo is not complete, like
862 for instance on IRIX6 with gcc, where no debug info
863 is emitted for statics. (See also the nodebug.exp
865 if (this_addr > best_addr)
867 best_addr = this_addr;
878 /* Find which partial symtab contains PC. Return 0 if none.
879 Backward compatibility, no section */
881 struct partial_symtab *
882 find_pc_psymtab (CORE_ADDR pc)
884 return find_pc_sect_psymtab (pc, find_pc_mapped_section (pc));
887 /* Find which partial symbol within a psymtab matches PC and SECTION.
888 Return 0 if none. Check all psymtabs if PSYMTAB is 0. */
890 struct partial_symbol *
891 find_pc_sect_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc,
894 struct partial_symbol *best = NULL, *p, **pp;
898 psymtab = find_pc_sect_psymtab (pc, section);
902 /* Cope with programs that start at address 0 */
903 best_pc = (psymtab->textlow != 0) ? psymtab->textlow - 1 : 0;
905 /* Search the global symbols as well as the static symbols, so that
906 find_pc_partial_function doesn't use a minimal symbol and thus
907 cache a bad endaddr. */
908 for (pp = psymtab->objfile->global_psymbols.list + psymtab->globals_offset;
909 (pp - (psymtab->objfile->global_psymbols.list + psymtab->globals_offset)
910 < psymtab->n_global_syms);
914 if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
915 && SYMBOL_CLASS (p) == LOC_BLOCK
916 && pc >= SYMBOL_VALUE_ADDRESS (p)
917 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
918 || (psymtab->textlow == 0
919 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
921 if (section) /* match on a specific section */
923 fixup_psymbol_section (p, psymtab->objfile);
924 if (!matching_bfd_sections (SYMBOL_BFD_SECTION (p), section))
927 best_pc = SYMBOL_VALUE_ADDRESS (p);
932 for (pp = psymtab->objfile->static_psymbols.list + psymtab->statics_offset;
933 (pp - (psymtab->objfile->static_psymbols.list + psymtab->statics_offset)
934 < psymtab->n_static_syms);
938 if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
939 && SYMBOL_CLASS (p) == LOC_BLOCK
940 && pc >= SYMBOL_VALUE_ADDRESS (p)
941 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
942 || (psymtab->textlow == 0
943 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
945 if (section) /* match on a specific section */
947 fixup_psymbol_section (p, psymtab->objfile);
948 if (!matching_bfd_sections (SYMBOL_BFD_SECTION (p), section))
951 best_pc = SYMBOL_VALUE_ADDRESS (p);
959 /* Find which partial symbol within a psymtab matches PC. Return 0 if none.
960 Check all psymtabs if PSYMTAB is 0. Backwards compatibility, no section. */
962 struct partial_symbol *
963 find_pc_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc)
965 return find_pc_sect_psymbol (psymtab, pc, find_pc_mapped_section (pc));
968 /* Debug symbols usually don't have section information. We need to dig that
969 out of the minimal symbols and stash that in the debug symbol. */
972 fixup_section (struct general_symbol_info *ginfo, struct objfile *objfile)
974 struct minimal_symbol *msym;
975 msym = lookup_minimal_symbol (ginfo->name, NULL, objfile);
979 ginfo->bfd_section = SYMBOL_BFD_SECTION (msym);
980 ginfo->section = SYMBOL_SECTION (msym);
984 /* Static, function-local variables do appear in the linker
985 (minimal) symbols, but are frequently given names that won't
986 be found via lookup_minimal_symbol(). E.g., it has been
987 observed in frv-uclinux (ELF) executables that a static,
988 function-local variable named "foo" might appear in the
989 linker symbols as "foo.6" or "foo.3". Thus, there is no
990 point in attempting to extend the lookup-by-name mechanism to
991 handle this case due to the fact that there can be multiple
994 So, instead, search the section table when lookup by name has
995 failed. The ``addr'' and ``endaddr'' fields may have already
996 been relocated. If so, the relocation offset (i.e. the
997 ANOFFSET value) needs to be subtracted from these values when
998 performing the comparison. We unconditionally subtract it,
999 because, when no relocation has been performed, the ANOFFSET
1000 value will simply be zero.
1002 The address of the symbol whose section we're fixing up HAS
1003 NOT BEEN adjusted (relocated) yet. It can't have been since
1004 the section isn't yet known and knowing the section is
1005 necessary in order to add the correct relocation value. In
1006 other words, we wouldn't even be in this function (attempting
1007 to compute the section) if it were already known.
1009 Note that it is possible to search the minimal symbols
1010 (subtracting the relocation value if necessary) to find the
1011 matching minimal symbol, but this is overkill and much less
1012 efficient. It is not necessary to find the matching minimal
1013 symbol, only its section.
1015 Note that this technique (of doing a section table search)
1016 can fail when unrelocated section addresses overlap. For
1017 this reason, we still attempt a lookup by name prior to doing
1018 a search of the section table. */
1021 struct obj_section *s;
1023 addr = ginfo->value.address;
1025 ALL_OBJFILE_OSECTIONS (objfile, s)
1027 int idx = s->the_bfd_section->index;
1028 CORE_ADDR offset = ANOFFSET (objfile->section_offsets, idx);
1030 if (s->addr - offset <= addr && addr < s->endaddr - offset)
1032 ginfo->bfd_section = s->the_bfd_section;
1033 ginfo->section = idx;
1041 fixup_symbol_section (struct symbol *sym, struct objfile *objfile)
1046 if (SYMBOL_BFD_SECTION (sym))
1049 fixup_section (&sym->ginfo, objfile);
1054 struct partial_symbol *
1055 fixup_psymbol_section (struct partial_symbol *psym, struct objfile *objfile)
1060 if (SYMBOL_BFD_SECTION (psym))
1063 fixup_section (&psym->ginfo, objfile);
1068 /* Find the definition for a specified symbol name NAME
1069 in domain DOMAIN, visible from lexical block BLOCK.
1070 Returns the struct symbol pointer, or zero if no symbol is found.
1071 If SYMTAB is non-NULL, store the symbol table in which the
1072 symbol was found there, or NULL if not found.
1073 C++: if IS_A_FIELD_OF_THIS is nonzero on entry, check to see if
1074 NAME is a field of the current implied argument `this'. If so set
1075 *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero.
1076 BLOCK_FOUND is set to the block in which NAME is found (in the case of
1077 a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
1079 /* This function has a bunch of loops in it and it would seem to be
1080 attractive to put in some QUIT's (though I'm not really sure
1081 whether it can run long enough to be really important). But there
1082 are a few calls for which it would appear to be bad news to quit
1083 out of here: find_proc_desc in alpha-tdep.c and mips-tdep.c. (Note
1084 that there is C++ code below which can error(), but that probably
1085 doesn't affect these calls since they are looking for a known
1086 variable and thus can probably assume it will never hit the C++
1090 lookup_symbol_in_language (const char *name, const struct block *block,
1091 const domain_enum domain, enum language lang,
1092 int *is_a_field_of_this,
1093 struct symtab **symtab)
1095 char *demangled_name = NULL;
1096 const char *modified_name = NULL;
1097 const char *mangled_name = NULL;
1098 int needtofreename = 0;
1099 struct symbol *returnval;
1101 modified_name = name;
1103 /* If we are using C++ or Java, demangle the name before doing a lookup, so
1104 we can always binary search. */
1105 if (lang == language_cplus)
1107 demangled_name = cplus_demangle (name, DMGL_ANSI | DMGL_PARAMS);
1110 mangled_name = name;
1111 modified_name = demangled_name;
1115 else if (lang == language_java)
1117 demangled_name = cplus_demangle (name,
1118 DMGL_ANSI | DMGL_PARAMS | DMGL_JAVA);
1121 mangled_name = name;
1122 modified_name = demangled_name;
1127 if (case_sensitivity == case_sensitive_off)
1132 len = strlen (name);
1133 copy = (char *) alloca (len + 1);
1134 for (i= 0; i < len; i++)
1135 copy[i] = tolower (name[i]);
1137 modified_name = copy;
1140 returnval = lookup_symbol_aux (modified_name, mangled_name, block,
1142 is_a_field_of_this, symtab);
1144 xfree (demangled_name);
1146 /* Override the returned symtab with the symbol's specific one. */
1147 if (returnval != NULL && symtab != NULL)
1148 *symtab = SYMBOL_SYMTAB (returnval);
1153 /* Behave like lookup_symbol_in_language, but performed with the
1154 current language. */
1157 lookup_symbol (const char *name, const struct block *block,
1158 domain_enum domain, int *is_a_field_of_this,
1159 struct symtab **symtab)
1161 return lookup_symbol_in_language (name, block, domain,
1162 current_language->la_language,
1163 is_a_field_of_this, symtab);
1166 /* Behave like lookup_symbol except that NAME is the natural name
1167 of the symbol that we're looking for and, if LINKAGE_NAME is
1168 non-NULL, ensure that the symbol's linkage name matches as
1171 static struct symbol *
1172 lookup_symbol_aux (const char *name, const char *linkage_name,
1173 const struct block *block, const domain_enum domain,
1174 enum language language,
1175 int *is_a_field_of_this, struct symtab **symtab)
1178 const struct language_defn *langdef;
1180 /* Make sure we do something sensible with is_a_field_of_this, since
1181 the callers that set this parameter to some non-null value will
1182 certainly use it later and expect it to be either 0 or 1.
1183 If we don't set it, the contents of is_a_field_of_this are
1185 if (is_a_field_of_this != NULL)
1186 *is_a_field_of_this = 0;
1188 /* Search specified block and its superiors. Don't search
1189 STATIC_BLOCK or GLOBAL_BLOCK. */
1191 sym = lookup_symbol_aux_local (name, linkage_name, block, domain,
1196 /* If requested to do so by the caller and if appropriate for LANGUAGE,
1197 check to see if NAME is a field of `this'. */
1199 langdef = language_def (language);
1201 if (langdef->la_value_of_this != NULL
1202 && is_a_field_of_this != NULL)
1204 struct value *v = langdef->la_value_of_this (0);
1206 if (v && check_field (v, name))
1208 *is_a_field_of_this = 1;
1215 /* Now do whatever is appropriate for LANGUAGE to look
1216 up static and global variables. */
1218 sym = langdef->la_lookup_symbol_nonlocal (name, linkage_name,
1219 block, domain, symtab);
1223 /* Now search all static file-level symbols. Not strictly correct,
1224 but more useful than an error. Do the symtabs first, then check
1225 the psymtabs. If a psymtab indicates the existence of the
1226 desired name as a file-level static, then do psymtab-to-symtab
1227 conversion on the fly and return the found symbol. */
1229 sym = lookup_symbol_aux_symtabs (STATIC_BLOCK, name, linkage_name,
1234 sym = lookup_symbol_aux_psymtabs (STATIC_BLOCK, name, linkage_name,
1244 /* Check to see if the symbol is defined in BLOCK or its superiors.
1245 Don't search STATIC_BLOCK or GLOBAL_BLOCK. */
1247 static struct symbol *
1248 lookup_symbol_aux_local (const char *name, const char *linkage_name,
1249 const struct block *block,
1250 const domain_enum domain,
1251 struct symtab **symtab)
1254 const struct block *static_block = block_static_block (block);
1256 /* Check if either no block is specified or it's a global block. */
1258 if (static_block == NULL)
1261 while (block != static_block)
1263 sym = lookup_symbol_aux_block (name, linkage_name, block, domain,
1267 block = BLOCK_SUPERBLOCK (block);
1270 /* We've reached the static block without finding a result. */
1275 /* Look up OBJFILE to BLOCK. */
1277 static struct objfile *
1278 lookup_objfile_from_block (const struct block *block)
1280 struct objfile *obj;
1286 block = block_global_block (block);
1287 /* Go through SYMTABS. */
1288 ALL_SYMTABS (obj, s)
1289 if (block == BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK))
1295 /* Look up a symbol in a block; if found, locate its symtab, fixup the
1296 symbol, and set block_found appropriately. */
1299 lookup_symbol_aux_block (const char *name, const char *linkage_name,
1300 const struct block *block,
1301 const domain_enum domain,
1302 struct symtab **symtab)
1305 struct objfile *objfile = NULL;
1306 struct blockvector *bv;
1308 struct symtab *s = NULL;
1310 sym = lookup_block_symbol (block, name, linkage_name, domain);
1313 block_found = block;
1316 /* Search the list of symtabs for one which contains the
1317 address of the start of this block. */
1318 ALL_PRIMARY_SYMTABS (objfile, s)
1320 bv = BLOCKVECTOR (s);
1321 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1322 if (BLOCK_START (b) <= BLOCK_START (block)
1323 && BLOCK_END (b) > BLOCK_START (block))
1330 return fixup_symbol_section (sym, objfile);
1336 /* Check all global symbols in OBJFILE in symtabs and
1340 lookup_global_symbol_from_objfile (const struct objfile *objfile,
1342 const char *linkage_name,
1343 const domain_enum domain,
1344 struct symtab **symtab)
1347 struct blockvector *bv;
1348 const struct block *block;
1350 struct partial_symtab *ps;
1352 /* Go through symtabs. */
1353 ALL_OBJFILE_SYMTABS (objfile, s)
1355 bv = BLOCKVECTOR (s);
1356 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1357 sym = lookup_block_symbol (block, name, linkage_name, domain);
1360 block_found = block;
1363 return fixup_symbol_section (sym, (struct objfile *)objfile);
1367 /* Now go through psymtabs. */
1368 ALL_OBJFILE_PSYMTABS (objfile, ps)
1371 && lookup_partial_symbol (ps, name, linkage_name,
1374 s = PSYMTAB_TO_SYMTAB (ps);
1375 bv = BLOCKVECTOR (s);
1376 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1377 sym = lookup_block_symbol (block, name, linkage_name, domain);
1380 return fixup_symbol_section (sym, (struct objfile *)objfile);
1384 if (objfile->separate_debug_objfile)
1385 return lookup_global_symbol_from_objfile (objfile->separate_debug_objfile,
1386 name, linkage_name, domain,
1392 /* Check to see if the symbol is defined in one of the symtabs.
1393 BLOCK_INDEX should be either GLOBAL_BLOCK or STATIC_BLOCK,
1394 depending on whether or not we want to search global symbols or
1397 static struct symbol *
1398 lookup_symbol_aux_symtabs (int block_index,
1399 const char *name, const char *linkage_name,
1400 const domain_enum domain,
1401 struct symtab **symtab)
1404 struct objfile *objfile;
1405 struct blockvector *bv;
1406 const struct block *block;
1409 ALL_PRIMARY_SYMTABS (objfile, s)
1411 bv = BLOCKVECTOR (s);
1412 block = BLOCKVECTOR_BLOCK (bv, block_index);
1413 sym = lookup_block_symbol (block, name, linkage_name, domain);
1416 block_found = block;
1419 return fixup_symbol_section (sym, objfile);
1426 /* Check to see if the symbol is defined in one of the partial
1427 symtabs. BLOCK_INDEX should be either GLOBAL_BLOCK or
1428 STATIC_BLOCK, depending on whether or not we want to search global
1429 symbols or static symbols. */
1431 static struct symbol *
1432 lookup_symbol_aux_psymtabs (int block_index, const char *name,
1433 const char *linkage_name,
1434 const domain_enum domain,
1435 struct symtab **symtab)
1438 struct objfile *objfile;
1439 struct blockvector *bv;
1440 const struct block *block;
1441 struct partial_symtab *ps;
1443 const int psymtab_index = (block_index == GLOBAL_BLOCK ? 1 : 0);
1445 ALL_PSYMTABS (objfile, ps)
1448 && lookup_partial_symbol (ps, name, linkage_name,
1449 psymtab_index, domain))
1451 s = PSYMTAB_TO_SYMTAB (ps);
1452 bv = BLOCKVECTOR (s);
1453 block = BLOCKVECTOR_BLOCK (bv, block_index);
1454 sym = lookup_block_symbol (block, name, linkage_name, domain);
1457 /* This shouldn't be necessary, but as a last resort try
1458 looking in the statics even though the psymtab claimed
1459 the symbol was global, or vice-versa. It's possible
1460 that the psymtab gets it wrong in some cases. */
1462 /* FIXME: carlton/2002-09-30: Should we really do that?
1463 If that happens, isn't it likely to be a GDB error, in
1464 which case we should fix the GDB error rather than
1465 silently dealing with it here? So I'd vote for
1466 removing the check for the symbol in the other
1468 block = BLOCKVECTOR_BLOCK (bv,
1469 block_index == GLOBAL_BLOCK ?
1470 STATIC_BLOCK : GLOBAL_BLOCK);
1471 sym = lookup_block_symbol (block, name, linkage_name, domain);
1473 error (_("Internal: %s symbol `%s' found in %s psymtab but not in symtab.\n%s may be an inlined function, or may be a template function\n(if a template, try specifying an instantiation: %s<type>)."),
1474 block_index == GLOBAL_BLOCK ? "global" : "static",
1475 name, ps->filename, name, name);
1479 return fixup_symbol_section (sym, objfile);
1486 /* A default version of lookup_symbol_nonlocal for use by languages
1487 that can't think of anything better to do. This implements the C
1491 basic_lookup_symbol_nonlocal (const char *name,
1492 const char *linkage_name,
1493 const struct block *block,
1494 const domain_enum domain,
1495 struct symtab **symtab)
1499 /* NOTE: carlton/2003-05-19: The comments below were written when
1500 this (or what turned into this) was part of lookup_symbol_aux;
1501 I'm much less worried about these questions now, since these
1502 decisions have turned out well, but I leave these comments here
1505 /* NOTE: carlton/2002-12-05: There is a question as to whether or
1506 not it would be appropriate to search the current global block
1507 here as well. (That's what this code used to do before the
1508 is_a_field_of_this check was moved up.) On the one hand, it's
1509 redundant with the lookup_symbol_aux_symtabs search that happens
1510 next. On the other hand, if decode_line_1 is passed an argument
1511 like filename:var, then the user presumably wants 'var' to be
1512 searched for in filename. On the third hand, there shouldn't be
1513 multiple global variables all of which are named 'var', and it's
1514 not like decode_line_1 has ever restricted its search to only
1515 global variables in a single filename. All in all, only
1516 searching the static block here seems best: it's correct and it's
1519 /* NOTE: carlton/2002-12-05: There's also a possible performance
1520 issue here: if you usually search for global symbols in the
1521 current file, then it would be slightly better to search the
1522 current global block before searching all the symtabs. But there
1523 are other factors that have a much greater effect on performance
1524 than that one, so I don't think we should worry about that for
1527 sym = lookup_symbol_static (name, linkage_name, block, domain, symtab);
1531 return lookup_symbol_global (name, linkage_name, block, domain, symtab);
1534 /* Lookup a symbol in the static block associated to BLOCK, if there
1535 is one; do nothing if BLOCK is NULL or a global block. */
1538 lookup_symbol_static (const char *name,
1539 const char *linkage_name,
1540 const struct block *block,
1541 const domain_enum domain,
1542 struct symtab **symtab)
1544 const struct block *static_block = block_static_block (block);
1546 if (static_block != NULL)
1547 return lookup_symbol_aux_block (name, linkage_name, static_block,
1553 /* Lookup a symbol in all files' global blocks (searching psymtabs if
1557 lookup_symbol_global (const char *name,
1558 const char *linkage_name,
1559 const struct block *block,
1560 const domain_enum domain,
1561 struct symtab **symtab)
1563 struct symbol *sym = NULL;
1564 struct objfile *objfile = NULL;
1566 /* Call library-specific lookup procedure. */
1567 objfile = lookup_objfile_from_block (block);
1568 if (objfile != NULL)
1569 sym = solib_global_lookup (objfile, name, linkage_name, domain, symtab);
1573 sym = lookup_symbol_aux_symtabs (GLOBAL_BLOCK, name, linkage_name,
1578 return lookup_symbol_aux_psymtabs (GLOBAL_BLOCK, name, linkage_name,
1582 /* Look, in partial_symtab PST, for symbol whose natural name is NAME.
1583 If LINKAGE_NAME is non-NULL, check in addition that the symbol's
1584 linkage name matches it. Check the global symbols if GLOBAL, the
1585 static symbols if not */
1587 struct partial_symbol *
1588 lookup_partial_symbol (struct partial_symtab *pst, const char *name,
1589 const char *linkage_name, int global,
1592 struct partial_symbol *temp;
1593 struct partial_symbol **start, **psym;
1594 struct partial_symbol **top, **real_top, **bottom, **center;
1595 int length = (global ? pst->n_global_syms : pst->n_static_syms);
1596 int do_linear_search = 1;
1603 pst->objfile->global_psymbols.list + pst->globals_offset :
1604 pst->objfile->static_psymbols.list + pst->statics_offset);
1606 if (global) /* This means we can use a binary search. */
1608 do_linear_search = 0;
1610 /* Binary search. This search is guaranteed to end with center
1611 pointing at the earliest partial symbol whose name might be
1612 correct. At that point *all* partial symbols with an
1613 appropriate name will be checked against the correct
1617 top = start + length - 1;
1619 while (top > bottom)
1621 center = bottom + (top - bottom) / 2;
1622 if (!(center < top))
1623 internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
1624 if (!do_linear_search
1625 && (SYMBOL_LANGUAGE (*center) == language_java))
1627 do_linear_search = 1;
1629 if (strcmp_iw_ordered (SYMBOL_SEARCH_NAME (*center), name) >= 0)
1635 bottom = center + 1;
1638 if (!(top == bottom))
1639 internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
1641 while (top <= real_top
1642 && (linkage_name != NULL
1643 ? strcmp (SYMBOL_LINKAGE_NAME (*top), linkage_name) == 0
1644 : SYMBOL_MATCHES_SEARCH_NAME (*top,name)))
1646 if (SYMBOL_DOMAIN (*top) == domain)
1654 /* Can't use a binary search or else we found during the binary search that
1655 we should also do a linear search. */
1657 if (do_linear_search)
1659 for (psym = start; psym < start + length; psym++)
1661 if (domain == SYMBOL_DOMAIN (*psym))
1663 if (linkage_name != NULL
1664 ? strcmp (SYMBOL_LINKAGE_NAME (*psym), linkage_name) == 0
1665 : SYMBOL_MATCHES_SEARCH_NAME (*psym, name))
1676 /* Look up a type named NAME in the struct_domain. The type returned
1677 must not be opaque -- i.e., must have at least one field
1681 lookup_transparent_type (const char *name)
1683 return current_language->la_lookup_transparent_type (name);
1686 /* The standard implementation of lookup_transparent_type. This code
1687 was modeled on lookup_symbol -- the parts not relevant to looking
1688 up types were just left out. In particular it's assumed here that
1689 types are available in struct_domain and only at file-static or
1693 basic_lookup_transparent_type (const char *name)
1696 struct symtab *s = NULL;
1697 struct partial_symtab *ps;
1698 struct blockvector *bv;
1699 struct objfile *objfile;
1700 struct block *block;
1702 /* Now search all the global symbols. Do the symtab's first, then
1703 check the psymtab's. If a psymtab indicates the existence
1704 of the desired name as a global, then do psymtab-to-symtab
1705 conversion on the fly and return the found symbol. */
1707 ALL_PRIMARY_SYMTABS (objfile, s)
1709 bv = BLOCKVECTOR (s);
1710 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1711 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1712 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1714 return SYMBOL_TYPE (sym);
1718 ALL_PSYMTABS (objfile, ps)
1720 if (!ps->readin && lookup_partial_symbol (ps, name, NULL,
1723 s = PSYMTAB_TO_SYMTAB (ps);
1724 bv = BLOCKVECTOR (s);
1725 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1726 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1729 /* This shouldn't be necessary, but as a last resort
1730 * try looking in the statics even though the psymtab
1731 * claimed the symbol was global. It's possible that
1732 * the psymtab gets it wrong in some cases.
1734 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1735 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1737 error (_("Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
1738 %s may be an inlined function, or may be a template function\n\
1739 (if a template, try specifying an instantiation: %s<type>)."),
1740 name, ps->filename, name, name);
1742 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1743 return SYMBOL_TYPE (sym);
1747 /* Now search the static file-level symbols.
1748 Not strictly correct, but more useful than an error.
1749 Do the symtab's first, then
1750 check the psymtab's. If a psymtab indicates the existence
1751 of the desired name as a file-level static, then do psymtab-to-symtab
1752 conversion on the fly and return the found symbol.
1755 ALL_PRIMARY_SYMTABS (objfile, s)
1757 bv = BLOCKVECTOR (s);
1758 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1759 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1760 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1762 return SYMBOL_TYPE (sym);
1766 ALL_PSYMTABS (objfile, ps)
1768 if (!ps->readin && lookup_partial_symbol (ps, name, NULL, 0, STRUCT_DOMAIN))
1770 s = PSYMTAB_TO_SYMTAB (ps);
1771 bv = BLOCKVECTOR (s);
1772 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1773 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1776 /* This shouldn't be necessary, but as a last resort
1777 * try looking in the globals even though the psymtab
1778 * claimed the symbol was static. It's possible that
1779 * the psymtab gets it wrong in some cases.
1781 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1782 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1784 error (_("Internal: static symbol `%s' found in %s psymtab but not in symtab.\n\
1785 %s may be an inlined function, or may be a template function\n\
1786 (if a template, try specifying an instantiation: %s<type>)."),
1787 name, ps->filename, name, name);
1789 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1790 return SYMBOL_TYPE (sym);
1793 return (struct type *) 0;
1797 /* Find the psymtab containing main(). */
1798 /* FIXME: What about languages without main() or specially linked
1799 executables that have no main() ? */
1801 struct partial_symtab *
1802 find_main_psymtab (void)
1804 struct partial_symtab *pst;
1805 struct objfile *objfile;
1807 ALL_PSYMTABS (objfile, pst)
1809 if (lookup_partial_symbol (pst, main_name (), NULL, 1, VAR_DOMAIN))
1817 /* Search BLOCK for symbol NAME in DOMAIN.
1819 Note that if NAME is the demangled form of a C++ symbol, we will fail
1820 to find a match during the binary search of the non-encoded names, but
1821 for now we don't worry about the slight inefficiency of looking for
1822 a match we'll never find, since it will go pretty quick. Once the
1823 binary search terminates, we drop through and do a straight linear
1824 search on the symbols. Each symbol which is marked as being a ObjC/C++
1825 symbol (language_cplus or language_objc set) has both the encoded and
1826 non-encoded names tested for a match.
1828 If LINKAGE_NAME is non-NULL, verify that any symbol we find has this
1829 particular mangled name.
1833 lookup_block_symbol (const struct block *block, const char *name,
1834 const char *linkage_name,
1835 const domain_enum domain)
1837 struct dict_iterator iter;
1840 if (!BLOCK_FUNCTION (block))
1842 for (sym = dict_iter_name_first (BLOCK_DICT (block), name, &iter);
1844 sym = dict_iter_name_next (name, &iter))
1846 if (SYMBOL_DOMAIN (sym) == domain
1847 && (linkage_name != NULL
1848 ? strcmp (SYMBOL_LINKAGE_NAME (sym), linkage_name) == 0 : 1))
1855 /* Note that parameter symbols do not always show up last in the
1856 list; this loop makes sure to take anything else other than
1857 parameter symbols first; it only uses parameter symbols as a
1858 last resort. Note that this only takes up extra computation
1861 struct symbol *sym_found = NULL;
1863 for (sym = dict_iter_name_first (BLOCK_DICT (block), name, &iter);
1865 sym = dict_iter_name_next (name, &iter))
1867 if (SYMBOL_DOMAIN (sym) == domain
1868 && (linkage_name != NULL
1869 ? strcmp (SYMBOL_LINKAGE_NAME (sym), linkage_name) == 0 : 1))
1872 if (SYMBOL_CLASS (sym) != LOC_ARG &&
1873 SYMBOL_CLASS (sym) != LOC_LOCAL_ARG &&
1874 SYMBOL_CLASS (sym) != LOC_REF_ARG &&
1875 SYMBOL_CLASS (sym) != LOC_REGPARM &&
1876 SYMBOL_CLASS (sym) != LOC_REGPARM_ADDR &&
1877 SYMBOL_CLASS (sym) != LOC_BASEREG_ARG &&
1878 SYMBOL_CLASS (sym) != LOC_COMPUTED_ARG)
1884 return (sym_found); /* Will be NULL if not found. */
1888 /* Find the symtab associated with PC and SECTION. Look through the
1889 psymtabs and read in another symtab if necessary. */
1892 find_pc_sect_symtab (CORE_ADDR pc, asection *section)
1895 struct blockvector *bv;
1896 struct symtab *s = NULL;
1897 struct symtab *best_s = NULL;
1898 struct partial_symtab *ps;
1899 struct objfile *objfile;
1900 CORE_ADDR distance = 0;
1901 struct minimal_symbol *msymbol;
1903 /* If we know that this is not a text address, return failure. This is
1904 necessary because we loop based on the block's high and low code
1905 addresses, which do not include the data ranges, and because
1906 we call find_pc_sect_psymtab which has a similar restriction based
1907 on the partial_symtab's texthigh and textlow. */
1908 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
1910 && (msymbol->type == mst_data
1911 || msymbol->type == mst_bss
1912 || msymbol->type == mst_abs
1913 || msymbol->type == mst_file_data
1914 || msymbol->type == mst_file_bss))
1917 /* Search all symtabs for the one whose file contains our address, and which
1918 is the smallest of all the ones containing the address. This is designed
1919 to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000
1920 and symtab b is at 0x2000-0x3000. So the GLOBAL_BLOCK for a is from
1921 0x1000-0x4000, but for address 0x2345 we want to return symtab b.
1923 This happens for native ecoff format, where code from included files
1924 gets its own symtab. The symtab for the included file should have
1925 been read in already via the dependency mechanism.
1926 It might be swifter to create several symtabs with the same name
1927 like xcoff does (I'm not sure).
1929 It also happens for objfiles that have their functions reordered.
1930 For these, the symtab we are looking for is not necessarily read in. */
1932 ALL_PRIMARY_SYMTABS (objfile, s)
1934 bv = BLOCKVECTOR (s);
1935 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1937 if (BLOCK_START (b) <= pc
1938 && BLOCK_END (b) > pc
1940 || BLOCK_END (b) - BLOCK_START (b) < distance))
1942 /* For an objfile that has its functions reordered,
1943 find_pc_psymtab will find the proper partial symbol table
1944 and we simply return its corresponding symtab. */
1945 /* In order to better support objfiles that contain both
1946 stabs and coff debugging info, we continue on if a psymtab
1948 if ((objfile->flags & OBJF_REORDERED) && objfile->psymtabs)
1950 ps = find_pc_sect_psymtab (pc, section);
1952 return PSYMTAB_TO_SYMTAB (ps);
1956 struct dict_iterator iter;
1957 struct symbol *sym = NULL;
1959 ALL_BLOCK_SYMBOLS (b, iter, sym)
1961 fixup_symbol_section (sym, objfile);
1962 if (matching_bfd_sections (SYMBOL_BFD_SECTION (sym), section))
1966 continue; /* no symbol in this symtab matches section */
1968 distance = BLOCK_END (b) - BLOCK_START (b);
1977 ps = find_pc_sect_psymtab (pc, section);
1981 /* Might want to error() here (in case symtab is corrupt and
1982 will cause a core dump), but maybe we can successfully
1983 continue, so let's not. */
1985 (Internal error: pc 0x%s in read in psymtab, but not in symtab.)\n"),
1987 s = PSYMTAB_TO_SYMTAB (ps);
1992 /* Find the symtab associated with PC. Look through the psymtabs and
1993 read in another symtab if necessary. Backward compatibility, no section */
1996 find_pc_symtab (CORE_ADDR pc)
1998 return find_pc_sect_symtab (pc, find_pc_mapped_section (pc));
2002 /* Find the source file and line number for a given PC value and SECTION.
2003 Return a structure containing a symtab pointer, a line number,
2004 and a pc range for the entire source line.
2005 The value's .pc field is NOT the specified pc.
2006 NOTCURRENT nonzero means, if specified pc is on a line boundary,
2007 use the line that ends there. Otherwise, in that case, the line
2008 that begins there is used. */
2010 /* The big complication here is that a line may start in one file, and end just
2011 before the start of another file. This usually occurs when you #include
2012 code in the middle of a subroutine. To properly find the end of a line's PC
2013 range, we must search all symtabs associated with this compilation unit, and
2014 find the one whose first PC is closer than that of the next line in this
2017 /* If it's worth the effort, we could be using a binary search. */
2019 struct symtab_and_line
2020 find_pc_sect_line (CORE_ADDR pc, struct bfd_section *section, int notcurrent)
2023 struct linetable *l;
2026 struct linetable_entry *item;
2027 struct symtab_and_line val;
2028 struct blockvector *bv;
2029 struct minimal_symbol *msymbol;
2030 struct minimal_symbol *mfunsym;
2032 /* Info on best line seen so far, and where it starts, and its file. */
2034 struct linetable_entry *best = NULL;
2035 CORE_ADDR best_end = 0;
2036 struct symtab *best_symtab = 0;
2038 /* Store here the first line number
2039 of a file which contains the line at the smallest pc after PC.
2040 If we don't find a line whose range contains PC,
2041 we will use a line one less than this,
2042 with a range from the start of that file to the first line's pc. */
2043 struct linetable_entry *alt = NULL;
2044 struct symtab *alt_symtab = 0;
2046 /* Info on best line seen in this file. */
2048 struct linetable_entry *prev;
2050 /* If this pc is not from the current frame,
2051 it is the address of the end of a call instruction.
2052 Quite likely that is the start of the following statement.
2053 But what we want is the statement containing the instruction.
2054 Fudge the pc to make sure we get that. */
2056 init_sal (&val); /* initialize to zeroes */
2058 /* It's tempting to assume that, if we can't find debugging info for
2059 any function enclosing PC, that we shouldn't search for line
2060 number info, either. However, GAS can emit line number info for
2061 assembly files --- very helpful when debugging hand-written
2062 assembly code. In such a case, we'd have no debug info for the
2063 function, but we would have line info. */
2068 /* elz: added this because this function returned the wrong
2069 information if the pc belongs to a stub (import/export)
2070 to call a shlib function. This stub would be anywhere between
2071 two functions in the target, and the line info was erroneously
2072 taken to be the one of the line before the pc.
2074 /* RT: Further explanation:
2076 * We have stubs (trampolines) inserted between procedures.
2078 * Example: "shr1" exists in a shared library, and a "shr1" stub also
2079 * exists in the main image.
2081 * In the minimal symbol table, we have a bunch of symbols
2082 * sorted by start address. The stubs are marked as "trampoline",
2083 * the others appear as text. E.g.:
2085 * Minimal symbol table for main image
2086 * main: code for main (text symbol)
2087 * shr1: stub (trampoline symbol)
2088 * foo: code for foo (text symbol)
2090 * Minimal symbol table for "shr1" image:
2092 * shr1: code for shr1 (text symbol)
2095 * So the code below is trying to detect if we are in the stub
2096 * ("shr1" stub), and if so, find the real code ("shr1" trampoline),
2097 * and if found, do the symbolization from the real-code address
2098 * rather than the stub address.
2100 * Assumptions being made about the minimal symbol table:
2101 * 1. lookup_minimal_symbol_by_pc() will return a trampoline only
2102 * if we're really in the trampoline. If we're beyond it (say
2103 * we're in "foo" in the above example), it'll have a closer
2104 * symbol (the "foo" text symbol for example) and will not
2105 * return the trampoline.
2106 * 2. lookup_minimal_symbol_text() will find a real text symbol
2107 * corresponding to the trampoline, and whose address will
2108 * be different than the trampoline address. I put in a sanity
2109 * check for the address being the same, to avoid an
2110 * infinite recursion.
2112 msymbol = lookup_minimal_symbol_by_pc (pc);
2113 if (msymbol != NULL)
2114 if (MSYMBOL_TYPE (msymbol) == mst_solib_trampoline)
2116 mfunsym = lookup_minimal_symbol_text (SYMBOL_LINKAGE_NAME (msymbol),
2118 if (mfunsym == NULL)
2119 /* I eliminated this warning since it is coming out
2120 * in the following situation:
2121 * gdb shmain // test program with shared libraries
2122 * (gdb) break shr1 // function in shared lib
2123 * Warning: In stub for ...
2124 * In the above situation, the shared lib is not loaded yet,
2125 * so of course we can't find the real func/line info,
2126 * but the "break" still works, and the warning is annoying.
2127 * So I commented out the warning. RT */
2128 /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
2130 else if (SYMBOL_VALUE_ADDRESS (mfunsym) == SYMBOL_VALUE_ADDRESS (msymbol))
2131 /* Avoid infinite recursion */
2132 /* See above comment about why warning is commented out */
2133 /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
2136 return find_pc_line (SYMBOL_VALUE_ADDRESS (mfunsym), 0);
2140 s = find_pc_sect_symtab (pc, section);
2143 /* if no symbol information, return previous pc */
2150 bv = BLOCKVECTOR (s);
2152 /* Look at all the symtabs that share this blockvector.
2153 They all have the same apriori range, that we found was right;
2154 but they have different line tables. */
2156 for (; s && BLOCKVECTOR (s) == bv; s = s->next)
2158 /* Find the best line in this symtab. */
2165 /* I think len can be zero if the symtab lacks line numbers
2166 (e.g. gcc -g1). (Either that or the LINETABLE is NULL;
2167 I'm not sure which, and maybe it depends on the symbol
2173 item = l->item; /* Get first line info */
2175 /* Is this file's first line closer than the first lines of other files?
2176 If so, record this file, and its first line, as best alternate. */
2177 if (item->pc > pc && (!alt || item->pc < alt->pc))
2183 for (i = 0; i < len; i++, item++)
2185 /* Leave prev pointing to the linetable entry for the last line
2186 that started at or before PC. */
2193 /* At this point, prev points at the line whose start addr is <= pc, and
2194 item points at the next line. If we ran off the end of the linetable
2195 (pc >= start of the last line), then prev == item. If pc < start of
2196 the first line, prev will not be set. */
2198 /* Is this file's best line closer than the best in the other files?
2199 If so, record this file, and its best line, as best so far. Don't
2200 save prev if it represents the end of a function (i.e. line number
2201 0) instead of a real line. */
2203 if (prev && prev->line && (!best || prev->pc > best->pc))
2208 /* Discard BEST_END if it's before the PC of the current BEST. */
2209 if (best_end <= best->pc)
2213 /* If another line (denoted by ITEM) is in the linetable and its
2214 PC is after BEST's PC, but before the current BEST_END, then
2215 use ITEM's PC as the new best_end. */
2216 if (best && i < len && item->pc > best->pc
2217 && (best_end == 0 || best_end > item->pc))
2218 best_end = item->pc;
2223 /* If we didn't find any line number info, just return zeros.
2224 We used to return alt->line - 1 here, but that could be
2225 anywhere; if we don't have line number info for this PC,
2226 don't make some up. */
2229 else if (best->line == 0)
2231 /* If our best fit is in a range of PC's for which no line
2232 number info is available (line number is zero) then we didn't
2233 find any valid line information. */
2238 val.symtab = best_symtab;
2239 val.line = best->line;
2241 if (best_end && (!alt || best_end < alt->pc))
2246 val.end = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2248 val.section = section;
2252 /* Backward compatibility (no section) */
2254 struct symtab_and_line
2255 find_pc_line (CORE_ADDR pc, int notcurrent)
2259 section = find_pc_overlay (pc);
2260 if (pc_in_unmapped_range (pc, section))
2261 pc = overlay_mapped_address (pc, section);
2262 return find_pc_sect_line (pc, section, notcurrent);
2265 /* Find line number LINE in any symtab whose name is the same as
2268 If found, return the symtab that contains the linetable in which it was
2269 found, set *INDEX to the index in the linetable of the best entry
2270 found, and set *EXACT_MATCH nonzero if the value returned is an
2273 If not found, return NULL. */
2276 find_line_symtab (struct symtab *symtab, int line, int *index, int *exact_match)
2280 /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE
2284 struct linetable *best_linetable;
2285 struct symtab *best_symtab;
2287 /* First try looking it up in the given symtab. */
2288 best_linetable = LINETABLE (symtab);
2289 best_symtab = symtab;
2290 best_index = find_line_common (best_linetable, line, &exact);
2291 if (best_index < 0 || !exact)
2293 /* Didn't find an exact match. So we better keep looking for
2294 another symtab with the same name. In the case of xcoff,
2295 multiple csects for one source file (produced by IBM's FORTRAN
2296 compiler) produce multiple symtabs (this is unavoidable
2297 assuming csects can be at arbitrary places in memory and that
2298 the GLOBAL_BLOCK of a symtab has a begin and end address). */
2300 /* BEST is the smallest linenumber > LINE so far seen,
2301 or 0 if none has been seen so far.
2302 BEST_INDEX and BEST_LINETABLE identify the item for it. */
2305 struct objfile *objfile;
2307 struct partial_symtab *p;
2309 if (best_index >= 0)
2310 best = best_linetable->item[best_index].line;
2314 ALL_PSYMTABS (objfile, p)
2316 if (strcmp (symtab->filename, p->filename) != 0)
2318 PSYMTAB_TO_SYMTAB (p);
2321 ALL_SYMTABS (objfile, s)
2323 struct linetable *l;
2326 if (strcmp (symtab->filename, s->filename) != 0)
2329 ind = find_line_common (l, line, &exact);
2339 if (best == 0 || l->item[ind].line < best)
2341 best = l->item[ind].line;
2354 *index = best_index;
2356 *exact_match = exact;
2361 /* Set the PC value for a given source file and line number and return true.
2362 Returns zero for invalid line number (and sets the PC to 0).
2363 The source file is specified with a struct symtab. */
2366 find_line_pc (struct symtab *symtab, int line, CORE_ADDR *pc)
2368 struct linetable *l;
2375 symtab = find_line_symtab (symtab, line, &ind, NULL);
2378 l = LINETABLE (symtab);
2379 *pc = l->item[ind].pc;
2386 /* Find the range of pc values in a line.
2387 Store the starting pc of the line into *STARTPTR
2388 and the ending pc (start of next line) into *ENDPTR.
2389 Returns 1 to indicate success.
2390 Returns 0 if could not find the specified line. */
2393 find_line_pc_range (struct symtab_and_line sal, CORE_ADDR *startptr,
2396 CORE_ADDR startaddr;
2397 struct symtab_and_line found_sal;
2400 if (startaddr == 0 && !find_line_pc (sal.symtab, sal.line, &startaddr))
2403 /* This whole function is based on address. For example, if line 10 has
2404 two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then
2405 "info line *0x123" should say the line goes from 0x100 to 0x200
2406 and "info line *0x355" should say the line goes from 0x300 to 0x400.
2407 This also insures that we never give a range like "starts at 0x134
2408 and ends at 0x12c". */
2410 found_sal = find_pc_sect_line (startaddr, sal.section, 0);
2411 if (found_sal.line != sal.line)
2413 /* The specified line (sal) has zero bytes. */
2414 *startptr = found_sal.pc;
2415 *endptr = found_sal.pc;
2419 *startptr = found_sal.pc;
2420 *endptr = found_sal.end;
2425 /* Given a line table and a line number, return the index into the line
2426 table for the pc of the nearest line whose number is >= the specified one.
2427 Return -1 if none is found. The value is >= 0 if it is an index.
2429 Set *EXACT_MATCH nonzero if the value returned is an exact match. */
2432 find_line_common (struct linetable *l, int lineno,
2438 /* BEST is the smallest linenumber > LINENO so far seen,
2439 or 0 if none has been seen so far.
2440 BEST_INDEX identifies the item for it. */
2442 int best_index = -1;
2453 for (i = 0; i < len; i++)
2455 struct linetable_entry *item = &(l->item[i]);
2457 if (item->line == lineno)
2459 /* Return the first (lowest address) entry which matches. */
2464 if (item->line > lineno && (best == 0 || item->line < best))
2471 /* If we got here, we didn't get an exact match. */
2476 find_pc_line_pc_range (CORE_ADDR pc, CORE_ADDR *startptr, CORE_ADDR *endptr)
2478 struct symtab_and_line sal;
2479 sal = find_pc_line (pc, 0);
2482 return sal.symtab != 0;
2485 /* Given a function symbol SYM, find the symtab and line for the start
2487 If the argument FUNFIRSTLINE is nonzero, we want the first line
2488 of real code inside the function. */
2490 struct symtab_and_line
2491 find_function_start_sal (struct symbol *sym, int funfirstline)
2494 struct symtab_and_line sal;
2496 pc = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
2497 fixup_symbol_section (sym, NULL);
2499 { /* skip "first line" of function (which is actually its prologue) */
2500 asection *section = SYMBOL_BFD_SECTION (sym);
2501 /* If function is in an unmapped overlay, use its unmapped LMA
2502 address, so that gdbarch_skip_prologue has something unique to work
2504 if (section_is_overlay (section) &&
2505 !section_is_mapped (section))
2506 pc = overlay_unmapped_address (pc, section);
2508 pc += gdbarch_deprecated_function_start_offset (current_gdbarch);
2509 pc = gdbarch_skip_prologue (current_gdbarch, pc);
2511 /* For overlays, map pc back into its mapped VMA range */
2512 pc = overlay_mapped_address (pc, section);
2514 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2516 /* Check if gdbarch_skip_prologue left us in mid-line, and the next
2517 line is still part of the same function. */
2519 && BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= sal.end
2520 && sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
2522 /* First pc of next line */
2524 /* Recalculate the line number (might not be N+1). */
2525 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2532 /* If P is of the form "operator[ \t]+..." where `...' is
2533 some legitimate operator text, return a pointer to the
2534 beginning of the substring of the operator text.
2535 Otherwise, return "". */
2537 operator_chars (char *p, char **end)
2540 if (strncmp (p, "operator", 8))
2544 /* Don't get faked out by `operator' being part of a longer
2546 if (isalpha (*p) || *p == '_' || *p == '$' || *p == '\0')
2549 /* Allow some whitespace between `operator' and the operator symbol. */
2550 while (*p == ' ' || *p == '\t')
2553 /* Recognize 'operator TYPENAME'. */
2555 if (isalpha (*p) || *p == '_' || *p == '$')
2558 while (isalnum (*q) || *q == '_' || *q == '$')
2567 case '\\': /* regexp quoting */
2570 if (p[2] == '=') /* 'operator\*=' */
2572 else /* 'operator\*' */
2576 else if (p[1] == '[')
2579 error (_("mismatched quoting on brackets, try 'operator\\[\\]'"));
2580 else if (p[2] == '\\' && p[3] == ']')
2582 *end = p + 4; /* 'operator\[\]' */
2586 error (_("nothing is allowed between '[' and ']'"));
2590 /* Gratuitous qoute: skip it and move on. */
2612 if (p[0] == '-' && p[1] == '>')
2614 /* Struct pointer member operator 'operator->'. */
2617 *end = p + 3; /* 'operator->*' */
2620 else if (p[2] == '\\')
2622 *end = p + 4; /* Hopefully 'operator->\*' */
2627 *end = p + 2; /* 'operator->' */
2631 if (p[1] == '=' || p[1] == p[0])
2642 error (_("`operator ()' must be specified without whitespace in `()'"));
2647 error (_("`operator ?:' must be specified without whitespace in `?:'"));
2652 error (_("`operator []' must be specified without whitespace in `[]'"));
2656 error (_("`operator %s' not supported"), p);
2665 /* If FILE is not already in the table of files, return zero;
2666 otherwise return non-zero. Optionally add FILE to the table if ADD
2667 is non-zero. If *FIRST is non-zero, forget the old table
2670 filename_seen (const char *file, int add, int *first)
2672 /* Table of files seen so far. */
2673 static const char **tab = NULL;
2674 /* Allocated size of tab in elements.
2675 Start with one 256-byte block (when using GNU malloc.c).
2676 24 is the malloc overhead when range checking is in effect. */
2677 static int tab_alloc_size = (256 - 24) / sizeof (char *);
2678 /* Current size of tab in elements. */
2679 static int tab_cur_size;
2685 tab = (const char **) xmalloc (tab_alloc_size * sizeof (*tab));
2689 /* Is FILE in tab? */
2690 for (p = tab; p < tab + tab_cur_size; p++)
2691 if (strcmp (*p, file) == 0)
2694 /* No; maybe add it to tab. */
2697 if (tab_cur_size == tab_alloc_size)
2699 tab_alloc_size *= 2;
2700 tab = (const char **) xrealloc ((char *) tab,
2701 tab_alloc_size * sizeof (*tab));
2703 tab[tab_cur_size++] = file;
2709 /* Slave routine for sources_info. Force line breaks at ,'s.
2710 NAME is the name to print and *FIRST is nonzero if this is the first
2711 name printed. Set *FIRST to zero. */
2713 output_source_filename (const char *name, int *first)
2715 /* Since a single source file can result in several partial symbol
2716 tables, we need to avoid printing it more than once. Note: if
2717 some of the psymtabs are read in and some are not, it gets
2718 printed both under "Source files for which symbols have been
2719 read" and "Source files for which symbols will be read in on
2720 demand". I consider this a reasonable way to deal with the
2721 situation. I'm not sure whether this can also happen for
2722 symtabs; it doesn't hurt to check. */
2724 /* Was NAME already seen? */
2725 if (filename_seen (name, 1, first))
2727 /* Yes; don't print it again. */
2730 /* No; print it and reset *FIRST. */
2737 printf_filtered (", ");
2741 fputs_filtered (name, gdb_stdout);
2745 sources_info (char *ignore, int from_tty)
2748 struct partial_symtab *ps;
2749 struct objfile *objfile;
2752 if (!have_full_symbols () && !have_partial_symbols ())
2754 error (_("No symbol table is loaded. Use the \"file\" command."));
2757 printf_filtered ("Source files for which symbols have been read in:\n\n");
2760 ALL_SYMTABS (objfile, s)
2762 const char *fullname = symtab_to_fullname (s);
2763 output_source_filename (fullname ? fullname : s->filename, &first);
2765 printf_filtered ("\n\n");
2767 printf_filtered ("Source files for which symbols will be read in on demand:\n\n");
2770 ALL_PSYMTABS (objfile, ps)
2774 const char *fullname = psymtab_to_fullname (ps);
2775 output_source_filename (fullname ? fullname : ps->filename, &first);
2778 printf_filtered ("\n");
2782 file_matches (char *file, char *files[], int nfiles)
2786 if (file != NULL && nfiles != 0)
2788 for (i = 0; i < nfiles; i++)
2790 if (strcmp (files[i], lbasename (file)) == 0)
2794 else if (nfiles == 0)
2799 /* Free any memory associated with a search. */
2801 free_search_symbols (struct symbol_search *symbols)
2803 struct symbol_search *p;
2804 struct symbol_search *next;
2806 for (p = symbols; p != NULL; p = next)
2814 do_free_search_symbols_cleanup (void *symbols)
2816 free_search_symbols (symbols);
2820 make_cleanup_free_search_symbols (struct symbol_search *symbols)
2822 return make_cleanup (do_free_search_symbols_cleanup, symbols);
2825 /* Helper function for sort_search_symbols and qsort. Can only
2826 sort symbols, not minimal symbols. */
2828 compare_search_syms (const void *sa, const void *sb)
2830 struct symbol_search **sym_a = (struct symbol_search **) sa;
2831 struct symbol_search **sym_b = (struct symbol_search **) sb;
2833 return strcmp (SYMBOL_PRINT_NAME ((*sym_a)->symbol),
2834 SYMBOL_PRINT_NAME ((*sym_b)->symbol));
2837 /* Sort the ``nfound'' symbols in the list after prevtail. Leave
2838 prevtail where it is, but update its next pointer to point to
2839 the first of the sorted symbols. */
2840 static struct symbol_search *
2841 sort_search_symbols (struct symbol_search *prevtail, int nfound)
2843 struct symbol_search **symbols, *symp, *old_next;
2846 symbols = (struct symbol_search **) xmalloc (sizeof (struct symbol_search *)
2848 symp = prevtail->next;
2849 for (i = 0; i < nfound; i++)
2854 /* Generally NULL. */
2857 qsort (symbols, nfound, sizeof (struct symbol_search *),
2858 compare_search_syms);
2861 for (i = 0; i < nfound; i++)
2863 symp->next = symbols[i];
2866 symp->next = old_next;
2872 /* Search the symbol table for matches to the regular expression REGEXP,
2873 returning the results in *MATCHES.
2875 Only symbols of KIND are searched:
2876 FUNCTIONS_DOMAIN - search all functions
2877 TYPES_DOMAIN - search all type names
2878 METHODS_DOMAIN - search all methods NOT IMPLEMENTED
2879 VARIABLES_DOMAIN - search all symbols, excluding functions, type names,
2880 and constants (enums)
2882 free_search_symbols should be called when *MATCHES is no longer needed.
2884 The results are sorted locally; each symtab's global and static blocks are
2885 separately alphabetized.
2888 search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
2889 struct symbol_search **matches)
2892 struct partial_symtab *ps;
2893 struct blockvector *bv;
2896 struct dict_iterator iter;
2898 struct partial_symbol **psym;
2899 struct objfile *objfile;
2900 struct minimal_symbol *msymbol;
2903 static enum minimal_symbol_type types[]
2905 {mst_data, mst_text, mst_abs, mst_unknown};
2906 static enum minimal_symbol_type types2[]
2908 {mst_bss, mst_file_text, mst_abs, mst_unknown};
2909 static enum minimal_symbol_type types3[]
2911 {mst_file_data, mst_solib_trampoline, mst_abs, mst_unknown};
2912 static enum minimal_symbol_type types4[]
2914 {mst_file_bss, mst_text, mst_abs, mst_unknown};
2915 enum minimal_symbol_type ourtype;
2916 enum minimal_symbol_type ourtype2;
2917 enum minimal_symbol_type ourtype3;
2918 enum minimal_symbol_type ourtype4;
2919 struct symbol_search *sr;
2920 struct symbol_search *psr;
2921 struct symbol_search *tail;
2922 struct cleanup *old_chain = NULL;
2924 if (kind < VARIABLES_DOMAIN)
2925 error (_("must search on specific domain"));
2927 ourtype = types[(int) (kind - VARIABLES_DOMAIN)];
2928 ourtype2 = types2[(int) (kind - VARIABLES_DOMAIN)];
2929 ourtype3 = types3[(int) (kind - VARIABLES_DOMAIN)];
2930 ourtype4 = types4[(int) (kind - VARIABLES_DOMAIN)];
2932 sr = *matches = NULL;
2937 /* Make sure spacing is right for C++ operators.
2938 This is just a courtesy to make the matching less sensitive
2939 to how many spaces the user leaves between 'operator'
2940 and <TYPENAME> or <OPERATOR>. */
2942 char *opname = operator_chars (regexp, &opend);
2945 int fix = -1; /* -1 means ok; otherwise number of spaces needed. */
2946 if (isalpha (*opname) || *opname == '_' || *opname == '$')
2948 /* There should 1 space between 'operator' and 'TYPENAME'. */
2949 if (opname[-1] != ' ' || opname[-2] == ' ')
2954 /* There should 0 spaces between 'operator' and 'OPERATOR'. */
2955 if (opname[-1] == ' ')
2958 /* If wrong number of spaces, fix it. */
2961 char *tmp = (char *) alloca (8 + fix + strlen (opname) + 1);
2962 sprintf (tmp, "operator%.*s%s", fix, " ", opname);
2967 if (0 != (val = re_comp (regexp)))
2968 error (_("Invalid regexp (%s): %s"), val, regexp);
2971 /* Search through the partial symtabs *first* for all symbols
2972 matching the regexp. That way we don't have to reproduce all of
2973 the machinery below. */
2975 ALL_PSYMTABS (objfile, ps)
2977 struct partial_symbol **bound, **gbound, **sbound;
2983 gbound = objfile->global_psymbols.list + ps->globals_offset + ps->n_global_syms;
2984 sbound = objfile->static_psymbols.list + ps->statics_offset + ps->n_static_syms;
2987 /* Go through all of the symbols stored in a partial
2988 symtab in one loop. */
2989 psym = objfile->global_psymbols.list + ps->globals_offset;
2994 if (bound == gbound && ps->n_static_syms != 0)
2996 psym = objfile->static_psymbols.list + ps->statics_offset;
3007 /* If it would match (logic taken from loop below)
3008 load the file and go on to the next one. We check the
3009 filename here, but that's a bit bogus: we don't know
3010 what file it really comes from until we have full
3011 symtabs. The symbol might be in a header file included by
3012 this psymtab. This only affects Insight. */
3013 if (file_matches (ps->filename, files, nfiles)
3015 || re_exec (SYMBOL_NATURAL_NAME (*psym)) != 0)
3016 && ((kind == VARIABLES_DOMAIN && SYMBOL_CLASS (*psym) != LOC_TYPEDEF
3017 && SYMBOL_CLASS (*psym) != LOC_BLOCK)
3018 || (kind == FUNCTIONS_DOMAIN && SYMBOL_CLASS (*psym) == LOC_BLOCK)
3019 || (kind == TYPES_DOMAIN && SYMBOL_CLASS (*psym) == LOC_TYPEDEF)
3020 || (kind == METHODS_DOMAIN && SYMBOL_CLASS (*psym) == LOC_BLOCK))))
3022 PSYMTAB_TO_SYMTAB (ps);
3030 /* Here, we search through the minimal symbol tables for functions
3031 and variables that match, and force their symbols to be read.
3032 This is in particular necessary for demangled variable names,
3033 which are no longer put into the partial symbol tables.
3034 The symbol will then be found during the scan of symtabs below.
3036 For functions, find_pc_symtab should succeed if we have debug info
3037 for the function, for variables we have to call lookup_symbol
3038 to determine if the variable has debug info.
3039 If the lookup fails, set found_misc so that we will rescan to print
3040 any matching symbols without debug info.
3043 if (nfiles == 0 && (kind == VARIABLES_DOMAIN || kind == FUNCTIONS_DOMAIN))
3045 ALL_MSYMBOLS (objfile, msymbol)
3047 if (MSYMBOL_TYPE (msymbol) == ourtype ||
3048 MSYMBOL_TYPE (msymbol) == ourtype2 ||
3049 MSYMBOL_TYPE (msymbol) == ourtype3 ||
3050 MSYMBOL_TYPE (msymbol) == ourtype4)
3053 || re_exec (SYMBOL_NATURAL_NAME (msymbol)) != 0)
3055 if (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol)))
3057 /* FIXME: carlton/2003-02-04: Given that the
3058 semantics of lookup_symbol keeps on changing
3059 slightly, it would be a nice idea if we had a
3060 function lookup_symbol_minsym that found the
3061 symbol associated to a given minimal symbol (if
3063 if (kind == FUNCTIONS_DOMAIN
3064 || lookup_symbol (SYMBOL_LINKAGE_NAME (msymbol),
3065 (struct block *) NULL,
3067 0, (struct symtab **) NULL)
3076 ALL_PRIMARY_SYMTABS (objfile, s)
3078 bv = BLOCKVECTOR (s);
3079 for (i = GLOBAL_BLOCK; i <= STATIC_BLOCK; i++)
3081 struct symbol_search *prevtail = tail;
3083 b = BLOCKVECTOR_BLOCK (bv, i);
3084 ALL_BLOCK_SYMBOLS (b, iter, sym)
3086 struct symtab *real_symtab = SYMBOL_SYMTAB (sym);
3089 if (file_matches (real_symtab->filename, files, nfiles)
3091 || re_exec (SYMBOL_NATURAL_NAME (sym)) != 0)
3092 && ((kind == VARIABLES_DOMAIN && SYMBOL_CLASS (sym) != LOC_TYPEDEF
3093 && SYMBOL_CLASS (sym) != LOC_BLOCK
3094 && SYMBOL_CLASS (sym) != LOC_CONST)
3095 || (kind == FUNCTIONS_DOMAIN && SYMBOL_CLASS (sym) == LOC_BLOCK)
3096 || (kind == TYPES_DOMAIN && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
3097 || (kind == METHODS_DOMAIN && SYMBOL_CLASS (sym) == LOC_BLOCK))))
3100 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
3102 psr->symtab = real_symtab;
3104 psr->msymbol = NULL;
3116 if (prevtail == NULL)
3118 struct symbol_search dummy;
3121 tail = sort_search_symbols (&dummy, nfound);
3124 old_chain = make_cleanup_free_search_symbols (sr);
3127 tail = sort_search_symbols (prevtail, nfound);
3132 /* If there are no eyes, avoid all contact. I mean, if there are
3133 no debug symbols, then print directly from the msymbol_vector. */
3135 if (found_misc || kind != FUNCTIONS_DOMAIN)
3137 ALL_MSYMBOLS (objfile, msymbol)
3139 if (MSYMBOL_TYPE (msymbol) == ourtype ||
3140 MSYMBOL_TYPE (msymbol) == ourtype2 ||
3141 MSYMBOL_TYPE (msymbol) == ourtype3 ||
3142 MSYMBOL_TYPE (msymbol) == ourtype4)
3145 || re_exec (SYMBOL_NATURAL_NAME (msymbol)) != 0)
3147 /* Functions: Look up by address. */
3148 if (kind != FUNCTIONS_DOMAIN ||
3149 (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol))))
3151 /* Variables/Absolutes: Look up by name */
3152 if (lookup_symbol (SYMBOL_LINKAGE_NAME (msymbol),
3153 (struct block *) NULL, VAR_DOMAIN,
3154 0, (struct symtab **) NULL) == NULL)
3157 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
3159 psr->msymbol = msymbol;
3166 old_chain = make_cleanup_free_search_symbols (sr);
3180 discard_cleanups (old_chain);
3183 /* Helper function for symtab_symbol_info, this function uses
3184 the data returned from search_symbols() to print information
3185 regarding the match to gdb_stdout.
3188 print_symbol_info (domain_enum kind, struct symtab *s, struct symbol *sym,
3189 int block, char *last)
3191 if (last == NULL || strcmp (last, s->filename) != 0)
3193 fputs_filtered ("\nFile ", gdb_stdout);
3194 fputs_filtered (s->filename, gdb_stdout);
3195 fputs_filtered (":\n", gdb_stdout);
3198 if (kind != TYPES_DOMAIN && block == STATIC_BLOCK)
3199 printf_filtered ("static ");
3201 /* Typedef that is not a C++ class */
3202 if (kind == TYPES_DOMAIN
3203 && SYMBOL_DOMAIN (sym) != STRUCT_DOMAIN)
3204 typedef_print (SYMBOL_TYPE (sym), sym, gdb_stdout);
3205 /* variable, func, or typedef-that-is-c++-class */
3206 else if (kind < TYPES_DOMAIN ||
3207 (kind == TYPES_DOMAIN &&
3208 SYMBOL_DOMAIN (sym) == STRUCT_DOMAIN))
3210 type_print (SYMBOL_TYPE (sym),
3211 (SYMBOL_CLASS (sym) == LOC_TYPEDEF
3212 ? "" : SYMBOL_PRINT_NAME (sym)),
3215 printf_filtered (";\n");
3219 /* This help function for symtab_symbol_info() prints information
3220 for non-debugging symbols to gdb_stdout.
3223 print_msymbol_info (struct minimal_symbol *msymbol)
3227 if (gdbarch_addr_bit (current_gdbarch) <= 32)
3228 tmp = hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol)
3229 & (CORE_ADDR) 0xffffffff,
3232 tmp = hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol),
3234 printf_filtered ("%s %s\n",
3235 tmp, SYMBOL_PRINT_NAME (msymbol));
3238 /* This is the guts of the commands "info functions", "info types", and
3239 "info variables". It calls search_symbols to find all matches and then
3240 print_[m]symbol_info to print out some useful information about the
3244 symtab_symbol_info (char *regexp, domain_enum kind, int from_tty)
3246 static char *classnames[]
3248 {"variable", "function", "type", "method"};
3249 struct symbol_search *symbols;
3250 struct symbol_search *p;
3251 struct cleanup *old_chain;
3252 char *last_filename = NULL;
3255 /* must make sure that if we're interrupted, symbols gets freed */
3256 search_symbols (regexp, kind, 0, (char **) NULL, &symbols);
3257 old_chain = make_cleanup_free_search_symbols (symbols);
3259 printf_filtered (regexp
3260 ? "All %ss matching regular expression \"%s\":\n"
3261 : "All defined %ss:\n",
3262 classnames[(int) (kind - VARIABLES_DOMAIN)], regexp);
3264 for (p = symbols; p != NULL; p = p->next)
3268 if (p->msymbol != NULL)
3272 printf_filtered ("\nNon-debugging symbols:\n");
3275 print_msymbol_info (p->msymbol);
3279 print_symbol_info (kind,
3284 last_filename = p->symtab->filename;
3288 do_cleanups (old_chain);
3292 variables_info (char *regexp, int from_tty)
3294 symtab_symbol_info (regexp, VARIABLES_DOMAIN, from_tty);
3298 functions_info (char *regexp, int from_tty)
3300 symtab_symbol_info (regexp, FUNCTIONS_DOMAIN, from_tty);
3305 types_info (char *regexp, int from_tty)
3307 symtab_symbol_info (regexp, TYPES_DOMAIN, from_tty);
3310 /* Breakpoint all functions matching regular expression. */
3313 rbreak_command_wrapper (char *regexp, int from_tty)
3315 rbreak_command (regexp, from_tty);
3319 rbreak_command (char *regexp, int from_tty)
3321 struct symbol_search *ss;
3322 struct symbol_search *p;
3323 struct cleanup *old_chain;
3325 search_symbols (regexp, FUNCTIONS_DOMAIN, 0, (char **) NULL, &ss);
3326 old_chain = make_cleanup_free_search_symbols (ss);
3328 for (p = ss; p != NULL; p = p->next)
3330 if (p->msymbol == NULL)
3332 char *string = alloca (strlen (p->symtab->filename)
3333 + strlen (SYMBOL_LINKAGE_NAME (p->symbol))
3335 strcpy (string, p->symtab->filename);
3336 strcat (string, ":'");
3337 strcat (string, SYMBOL_LINKAGE_NAME (p->symbol));
3338 strcat (string, "'");
3339 break_command (string, from_tty);
3340 print_symbol_info (FUNCTIONS_DOMAIN,
3344 p->symtab->filename);
3348 break_command (SYMBOL_LINKAGE_NAME (p->msymbol), from_tty);
3349 printf_filtered ("<function, no debug info> %s;\n",
3350 SYMBOL_PRINT_NAME (p->msymbol));
3354 do_cleanups (old_chain);
3358 /* Helper routine for make_symbol_completion_list. */
3360 static int return_val_size;
3361 static int return_val_index;
3362 static char **return_val;
3364 #define COMPLETION_LIST_ADD_SYMBOL(symbol, sym_text, len, text, word) \
3365 completion_list_add_name \
3366 (SYMBOL_NATURAL_NAME (symbol), (sym_text), (len), (text), (word))
3368 /* Test to see if the symbol specified by SYMNAME (which is already
3369 demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN
3370 characters. If so, add it to the current completion list. */
3373 completion_list_add_name (char *symname, char *sym_text, int sym_text_len,
3374 char *text, char *word)
3379 /* clip symbols that cannot match */
3381 if (strncmp (symname, sym_text, sym_text_len) != 0)
3386 /* We have a match for a completion, so add SYMNAME to the current list
3387 of matches. Note that the name is moved to freshly malloc'd space. */
3391 if (word == sym_text)
3393 new = xmalloc (strlen (symname) + 5);
3394 strcpy (new, symname);
3396 else if (word > sym_text)
3398 /* Return some portion of symname. */
3399 new = xmalloc (strlen (symname) + 5);
3400 strcpy (new, symname + (word - sym_text));
3404 /* Return some of SYM_TEXT plus symname. */
3405 new = xmalloc (strlen (symname) + (sym_text - word) + 5);
3406 strncpy (new, word, sym_text - word);
3407 new[sym_text - word] = '\0';
3408 strcat (new, symname);
3411 if (return_val_index + 3 > return_val_size)
3413 newsize = (return_val_size *= 2) * sizeof (char *);
3414 return_val = (char **) xrealloc ((char *) return_val, newsize);
3416 return_val[return_val_index++] = new;
3417 return_val[return_val_index] = NULL;
3421 /* ObjC: In case we are completing on a selector, look as the msymbol
3422 again and feed all the selectors into the mill. */
3425 completion_list_objc_symbol (struct minimal_symbol *msymbol, char *sym_text,
3426 int sym_text_len, char *text, char *word)
3428 static char *tmp = NULL;
3429 static unsigned int tmplen = 0;
3431 char *method, *category, *selector;
3434 method = SYMBOL_NATURAL_NAME (msymbol);
3436 /* Is it a method? */
3437 if ((method[0] != '-') && (method[0] != '+'))
3440 if (sym_text[0] == '[')
3441 /* Complete on shortened method method. */
3442 completion_list_add_name (method + 1, sym_text, sym_text_len, text, word);
3444 while ((strlen (method) + 1) >= tmplen)
3450 tmp = xrealloc (tmp, tmplen);
3452 selector = strchr (method, ' ');
3453 if (selector != NULL)
3456 category = strchr (method, '(');
3458 if ((category != NULL) && (selector != NULL))
3460 memcpy (tmp, method, (category - method));
3461 tmp[category - method] = ' ';
3462 memcpy (tmp + (category - method) + 1, selector, strlen (selector) + 1);
3463 completion_list_add_name (tmp, sym_text, sym_text_len, text, word);
3464 if (sym_text[0] == '[')
3465 completion_list_add_name (tmp + 1, sym_text, sym_text_len, text, word);
3468 if (selector != NULL)
3470 /* Complete on selector only. */
3471 strcpy (tmp, selector);
3472 tmp2 = strchr (tmp, ']');
3476 completion_list_add_name (tmp, sym_text, sym_text_len, text, word);
3480 /* Break the non-quoted text based on the characters which are in
3481 symbols. FIXME: This should probably be language-specific. */
3484 language_search_unquoted_string (char *text, char *p)
3486 for (; p > text; --p)
3488 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3492 if ((current_language->la_language == language_objc))
3494 if (p[-1] == ':') /* might be part of a method name */
3496 else if (p[-1] == '[' && (p[-2] == '-' || p[-2] == '+'))
3497 p -= 2; /* beginning of a method name */
3498 else if (p[-1] == ' ' || p[-1] == '(' || p[-1] == ')')
3499 { /* might be part of a method name */
3502 /* Seeing a ' ' or a '(' is not conclusive evidence
3503 that we are in the middle of a method name. However,
3504 finding "-[" or "+[" should be pretty un-ambiguous.
3505 Unfortunately we have to find it now to decide. */
3508 if (isalnum (t[-1]) || t[-1] == '_' ||
3509 t[-1] == ' ' || t[-1] == ':' ||
3510 t[-1] == '(' || t[-1] == ')')
3515 if (t[-1] == '[' && (t[-2] == '-' || t[-2] == '+'))
3516 p = t - 2; /* method name detected */
3517 /* else we leave with p unchanged */
3527 /* Return a NULL terminated array of all symbols (regardless of class)
3528 which begin by matching TEXT. If the answer is no symbols, then
3529 the return value is an array which contains only a NULL pointer.
3531 Problem: All of the symbols have to be copied because readline frees them.
3532 I'm not going to worry about this; hopefully there won't be that many. */
3535 make_symbol_completion_list (char *text, char *word)
3539 struct partial_symtab *ps;
3540 struct minimal_symbol *msymbol;
3541 struct objfile *objfile;
3542 struct block *b, *surrounding_static_block = 0;
3543 struct dict_iterator iter;
3545 struct partial_symbol **psym;
3546 /* The symbol we are completing on. Points in same buffer as text. */
3548 /* Length of sym_text. */
3551 /* Now look for the symbol we are supposed to complete on.
3552 FIXME: This should be language-specific. */
3556 char *quote_pos = NULL;
3558 /* First see if this is a quoted string. */
3560 for (p = text; *p != '\0'; ++p)
3562 if (quote_found != '\0')
3564 if (*p == quote_found)
3565 /* Found close quote. */
3567 else if (*p == '\\' && p[1] == quote_found)
3568 /* A backslash followed by the quote character
3569 doesn't end the string. */
3572 else if (*p == '\'' || *p == '"')
3578 if (quote_found == '\'')
3579 /* A string within single quotes can be a symbol, so complete on it. */
3580 sym_text = quote_pos + 1;
3581 else if (quote_found == '"')
3582 /* A double-quoted string is never a symbol, nor does it make sense
3583 to complete it any other way. */
3585 return_val = (char **) xmalloc (sizeof (char *));
3586 return_val[0] = NULL;
3591 /* It is not a quoted string. Break it based on the characters
3592 which are in symbols. */
3595 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3604 sym_text_len = strlen (sym_text);
3606 return_val_size = 100;
3607 return_val_index = 0;
3608 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3609 return_val[0] = NULL;
3611 /* Look through the partial symtabs for all symbols which begin
3612 by matching SYM_TEXT. Add each one that you find to the list. */
3614 ALL_PSYMTABS (objfile, ps)
3616 /* If the psymtab's been read in we'll get it when we search
3617 through the blockvector. */
3621 for (psym = objfile->global_psymbols.list + ps->globals_offset;
3622 psym < (objfile->global_psymbols.list + ps->globals_offset
3623 + ps->n_global_syms);
3626 /* If interrupted, then quit. */
3628 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3631 for (psym = objfile->static_psymbols.list + ps->statics_offset;
3632 psym < (objfile->static_psymbols.list + ps->statics_offset
3633 + ps->n_static_syms);
3637 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3641 /* At this point scan through the misc symbol vectors and add each
3642 symbol you find to the list. Eventually we want to ignore
3643 anything that isn't a text symbol (everything else will be
3644 handled by the psymtab code above). */
3646 ALL_MSYMBOLS (objfile, msymbol)
3649 COMPLETION_LIST_ADD_SYMBOL (msymbol, sym_text, sym_text_len, text, word);
3651 completion_list_objc_symbol (msymbol, sym_text, sym_text_len, text, word);
3654 /* Search upwards from currently selected frame (so that we can
3655 complete on local vars. */
3657 for (b = get_selected_block (0); b != NULL; b = BLOCK_SUPERBLOCK (b))
3659 if (!BLOCK_SUPERBLOCK (b))
3661 surrounding_static_block = b; /* For elmin of dups */
3664 /* Also catch fields of types defined in this places which match our
3665 text string. Only complete on types visible from current context. */
3667 ALL_BLOCK_SYMBOLS (b, iter, sym)
3670 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3671 if (SYMBOL_CLASS (sym) == LOC_TYPEDEF)
3673 struct type *t = SYMBOL_TYPE (sym);
3674 enum type_code c = TYPE_CODE (t);
3676 if (c == TYPE_CODE_UNION || c == TYPE_CODE_STRUCT)
3678 for (j = TYPE_N_BASECLASSES (t); j < TYPE_NFIELDS (t); j++)
3680 if (TYPE_FIELD_NAME (t, j))
3682 completion_list_add_name (TYPE_FIELD_NAME (t, j),
3683 sym_text, sym_text_len, text, word);
3691 /* Go through the symtabs and check the externs and statics for
3692 symbols which match. */
3694 ALL_PRIMARY_SYMTABS (objfile, s)
3697 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3698 ALL_BLOCK_SYMBOLS (b, iter, sym)
3700 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3704 ALL_PRIMARY_SYMTABS (objfile, s)
3707 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3708 /* Don't do this block twice. */
3709 if (b == surrounding_static_block)
3711 ALL_BLOCK_SYMBOLS (b, iter, sym)
3713 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3717 return (return_val);
3720 /* Like make_symbol_completion_list, but returns a list of symbols
3721 defined in a source file FILE. */
3724 make_file_symbol_completion_list (char *text, char *word, char *srcfile)
3729 struct dict_iterator iter;
3730 /* The symbol we are completing on. Points in same buffer as text. */
3732 /* Length of sym_text. */
3735 /* Now look for the symbol we are supposed to complete on.
3736 FIXME: This should be language-specific. */
3740 char *quote_pos = NULL;
3742 /* First see if this is a quoted string. */
3744 for (p = text; *p != '\0'; ++p)
3746 if (quote_found != '\0')
3748 if (*p == quote_found)
3749 /* Found close quote. */
3751 else if (*p == '\\' && p[1] == quote_found)
3752 /* A backslash followed by the quote character
3753 doesn't end the string. */
3756 else if (*p == '\'' || *p == '"')
3762 if (quote_found == '\'')
3763 /* A string within single quotes can be a symbol, so complete on it. */
3764 sym_text = quote_pos + 1;
3765 else if (quote_found == '"')
3766 /* A double-quoted string is never a symbol, nor does it make sense
3767 to complete it any other way. */
3769 return_val = (char **) xmalloc (sizeof (char *));
3770 return_val[0] = NULL;
3775 /* Not a quoted string. */
3776 sym_text = language_search_unquoted_string (text, p);
3780 sym_text_len = strlen (sym_text);
3782 return_val_size = 10;
3783 return_val_index = 0;
3784 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3785 return_val[0] = NULL;
3787 /* Find the symtab for SRCFILE (this loads it if it was not yet read
3789 s = lookup_symtab (srcfile);
3792 /* Maybe they typed the file with leading directories, while the
3793 symbol tables record only its basename. */
3794 const char *tail = lbasename (srcfile);
3797 s = lookup_symtab (tail);
3800 /* If we have no symtab for that file, return an empty list. */
3802 return (return_val);
3804 /* Go through this symtab and check the externs and statics for
3805 symbols which match. */
3807 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3808 ALL_BLOCK_SYMBOLS (b, iter, sym)
3810 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3813 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3814 ALL_BLOCK_SYMBOLS (b, iter, sym)
3816 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3819 return (return_val);
3822 /* A helper function for make_source_files_completion_list. It adds
3823 another file name to a list of possible completions, growing the
3824 list as necessary. */
3827 add_filename_to_list (const char *fname, char *text, char *word,
3828 char ***list, int *list_used, int *list_alloced)
3831 size_t fnlen = strlen (fname);
3833 if (*list_used + 1 >= *list_alloced)
3836 *list = (char **) xrealloc ((char *) *list,
3837 *list_alloced * sizeof (char *));
3842 /* Return exactly fname. */
3843 new = xmalloc (fnlen + 5);
3844 strcpy (new, fname);
3846 else if (word > text)
3848 /* Return some portion of fname. */
3849 new = xmalloc (fnlen + 5);
3850 strcpy (new, fname + (word - text));
3854 /* Return some of TEXT plus fname. */
3855 new = xmalloc (fnlen + (text - word) + 5);
3856 strncpy (new, word, text - word);
3857 new[text - word] = '\0';
3858 strcat (new, fname);
3860 (*list)[*list_used] = new;
3861 (*list)[++*list_used] = NULL;
3865 not_interesting_fname (const char *fname)
3867 static const char *illegal_aliens[] = {
3868 "_globals_", /* inserted by coff_symtab_read */
3873 for (i = 0; illegal_aliens[i]; i++)
3875 if (strcmp (fname, illegal_aliens[i]) == 0)
3881 /* Return a NULL terminated array of all source files whose names
3882 begin with matching TEXT. The file names are looked up in the
3883 symbol tables of this program. If the answer is no matchess, then
3884 the return value is an array which contains only a NULL pointer. */
3887 make_source_files_completion_list (char *text, char *word)
3890 struct partial_symtab *ps;
3891 struct objfile *objfile;
3893 int list_alloced = 1;
3895 size_t text_len = strlen (text);
3896 char **list = (char **) xmalloc (list_alloced * sizeof (char *));
3897 const char *base_name;
3901 if (!have_full_symbols () && !have_partial_symbols ())
3904 ALL_SYMTABS (objfile, s)
3906 if (not_interesting_fname (s->filename))
3908 if (!filename_seen (s->filename, 1, &first)
3909 #if HAVE_DOS_BASED_FILE_SYSTEM
3910 && strncasecmp (s->filename, text, text_len) == 0
3912 && strncmp (s->filename, text, text_len) == 0
3916 /* This file matches for a completion; add it to the current
3918 add_filename_to_list (s->filename, text, word,
3919 &list, &list_used, &list_alloced);
3923 /* NOTE: We allow the user to type a base name when the
3924 debug info records leading directories, but not the other
3925 way around. This is what subroutines of breakpoint
3926 command do when they parse file names. */
3927 base_name = lbasename (s->filename);
3928 if (base_name != s->filename
3929 && !filename_seen (base_name, 1, &first)
3930 #if HAVE_DOS_BASED_FILE_SYSTEM
3931 && strncasecmp (base_name, text, text_len) == 0
3933 && strncmp (base_name, text, text_len) == 0
3936 add_filename_to_list (base_name, text, word,
3937 &list, &list_used, &list_alloced);
3941 ALL_PSYMTABS (objfile, ps)
3943 if (not_interesting_fname (ps->filename))
3947 if (!filename_seen (ps->filename, 1, &first)
3948 #if HAVE_DOS_BASED_FILE_SYSTEM
3949 && strncasecmp (ps->filename, text, text_len) == 0
3951 && strncmp (ps->filename, text, text_len) == 0
3955 /* This file matches for a completion; add it to the
3956 current list of matches. */
3957 add_filename_to_list (ps->filename, text, word,
3958 &list, &list_used, &list_alloced);
3963 base_name = lbasename (ps->filename);
3964 if (base_name != ps->filename
3965 && !filename_seen (base_name, 1, &first)
3966 #if HAVE_DOS_BASED_FILE_SYSTEM
3967 && strncasecmp (base_name, text, text_len) == 0
3969 && strncmp (base_name, text, text_len) == 0
3972 add_filename_to_list (base_name, text, word,
3973 &list, &list_used, &list_alloced);
3981 /* Determine if PC is in the prologue of a function. The prologue is the area
3982 between the first instruction of a function, and the first executable line.
3983 Returns 1 if PC *might* be in prologue, 0 if definately *not* in prologue.
3985 If non-zero, func_start is where we think the prologue starts, possibly
3986 by previous examination of symbol table information.
3990 in_prologue (CORE_ADDR pc, CORE_ADDR func_start)
3992 struct symtab_and_line sal;
3993 CORE_ADDR func_addr, func_end;
3995 /* We have several sources of information we can consult to figure
3997 - Compilers usually emit line number info that marks the prologue
3998 as its own "source line". So the ending address of that "line"
3999 is the end of the prologue. If available, this is the most
4001 - The minimal symbols and partial symbols, which can usually tell
4002 us the starting and ending addresses of a function.
4003 - If we know the function's start address, we can call the
4004 architecture-defined gdbarch_skip_prologue function to analyze the
4005 instruction stream and guess where the prologue ends.
4006 - Our `func_start' argument; if non-zero, this is the caller's
4007 best guess as to the function's entry point. At the time of
4008 this writing, handle_inferior_event doesn't get this right, so
4009 it should be our last resort. */
4011 /* Consult the partial symbol table, to find which function
4013 if (! find_pc_partial_function (pc, NULL, &func_addr, &func_end))
4015 CORE_ADDR prologue_end;
4017 /* We don't even have minsym information, so fall back to using
4018 func_start, if given. */
4020 return 1; /* We *might* be in a prologue. */
4022 prologue_end = gdbarch_skip_prologue (current_gdbarch, func_start);
4024 return func_start <= pc && pc < prologue_end;
4027 /* If we have line number information for the function, that's
4028 usually pretty reliable. */
4029 sal = find_pc_line (func_addr, 0);
4031 /* Now sal describes the source line at the function's entry point,
4032 which (by convention) is the prologue. The end of that "line",
4033 sal.end, is the end of the prologue.
4035 Note that, for functions whose source code is all on a single
4036 line, the line number information doesn't always end up this way.
4037 So we must verify that our purported end-of-prologue address is
4038 *within* the function, not at its start or end. */
4040 || sal.end <= func_addr
4041 || func_end <= sal.end)
4043 /* We don't have any good line number info, so use the minsym
4044 information, together with the architecture-specific prologue
4046 CORE_ADDR prologue_end = gdbarch_skip_prologue
4047 (current_gdbarch, func_addr);
4049 return func_addr <= pc && pc < prologue_end;
4052 /* We have line number info, and it looks good. */
4053 return func_addr <= pc && pc < sal.end;
4056 /* Given PC at the function's start address, attempt to find the
4057 prologue end using SAL information. Return zero if the skip fails.
4059 A non-optimized prologue traditionally has one SAL for the function
4060 and a second for the function body. A single line function has
4061 them both pointing at the same line.
4063 An optimized prologue is similar but the prologue may contain
4064 instructions (SALs) from the instruction body. Need to skip those
4065 while not getting into the function body.
4067 The functions end point and an increasing SAL line are used as
4068 indicators of the prologue's endpoint.
4070 This code is based on the function refine_prologue_limit (versions
4071 found in both ia64 and ppc). */
4074 skip_prologue_using_sal (CORE_ADDR func_addr)
4076 struct symtab_and_line prologue_sal;
4080 /* Get an initial range for the function. */
4081 find_pc_partial_function (func_addr, NULL, &start_pc, &end_pc);
4082 start_pc += gdbarch_deprecated_function_start_offset (current_gdbarch);
4084 prologue_sal = find_pc_line (start_pc, 0);
4085 if (prologue_sal.line != 0)
4087 /* If there is only one sal that covers the entire function,
4088 then it is probably a single line function, like
4090 if (prologue_sal.end >= end_pc)
4092 while (prologue_sal.end < end_pc)
4094 struct symtab_and_line sal;
4096 sal = find_pc_line (prologue_sal.end, 0);
4099 /* Assume that a consecutive SAL for the same (or larger)
4100 line mark the prologue -> body transition. */
4101 if (sal.line >= prologue_sal.line)
4103 /* The case in which compiler's optimizer/scheduler has
4104 moved instructions into the prologue. We look ahead in
4105 the function looking for address ranges whose
4106 corresponding line number is less the first one that we
4107 found for the function. This is more conservative then
4108 refine_prologue_limit which scans a large number of SALs
4109 looking for any in the prologue */
4113 return prologue_sal.end;
4116 struct symtabs_and_lines
4117 decode_line_spec (char *string, int funfirstline)
4119 struct symtabs_and_lines sals;
4120 struct symtab_and_line cursal;
4123 error (_("Empty line specification."));
4125 /* We use whatever is set as the current source line. We do not try
4126 and get a default or it will recursively call us! */
4127 cursal = get_current_source_symtab_and_line ();
4129 sals = decode_line_1 (&string, funfirstline,
4130 cursal.symtab, cursal.line,
4131 (char ***) NULL, NULL);
4134 error (_("Junk at end of line specification: %s"), string);
4139 static char *name_of_main;
4142 set_main_name (const char *name)
4144 if (name_of_main != NULL)
4146 xfree (name_of_main);
4147 name_of_main = NULL;
4151 name_of_main = xstrdup (name);
4155 /* Deduce the name of the main procedure, and set NAME_OF_MAIN
4159 find_main_name (void)
4161 const char *new_main_name;
4163 /* Try to see if the main procedure is in Ada. */
4164 /* FIXME: brobecker/2005-03-07: Another way of doing this would
4165 be to add a new method in the language vector, and call this
4166 method for each language until one of them returns a non-empty
4167 name. This would allow us to remove this hard-coded call to
4168 an Ada function. It is not clear that this is a better approach
4169 at this point, because all methods need to be written in a way
4170 such that false positives never be returned. For instance, it is
4171 important that a method does not return a wrong name for the main
4172 procedure if the main procedure is actually written in a different
4173 language. It is easy to guaranty this with Ada, since we use a
4174 special symbol generated only when the main in Ada to find the name
4175 of the main procedure. It is difficult however to see how this can
4176 be guarantied for languages such as C, for instance. This suggests
4177 that order of call for these methods becomes important, which means
4178 a more complicated approach. */
4179 new_main_name = ada_main_name ();
4180 if (new_main_name != NULL)
4182 set_main_name (new_main_name);
4186 new_main_name = pascal_main_name ();
4187 if (new_main_name != NULL)
4189 set_main_name (new_main_name);
4193 /* The languages above didn't identify the name of the main procedure.
4194 Fallback to "main". */
4195 set_main_name ("main");
4201 if (name_of_main == NULL)
4204 return name_of_main;
4207 /* Handle ``executable_changed'' events for the symtab module. */
4210 symtab_observer_executable_changed (void *unused)
4212 /* NAME_OF_MAIN may no longer be the same, so reset it for now. */
4213 set_main_name (NULL);
4216 /* Helper to expand_line_sal below. Appends new sal to SAL,
4217 initializing it from SYMTAB, LINENO and PC. */
4219 append_expanded_sal (struct symtabs_and_lines *sal,
4220 struct symtab *symtab,
4221 int lineno, CORE_ADDR pc)
4223 CORE_ADDR func_addr, func_end;
4225 sal->sals = xrealloc (sal->sals,
4226 sizeof (sal->sals[0])
4227 * (sal->nelts + 1));
4228 init_sal (sal->sals + sal->nelts);
4229 sal->sals[sal->nelts].symtab = symtab;
4230 sal->sals[sal->nelts].section = NULL;
4231 sal->sals[sal->nelts].end = 0;
4232 sal->sals[sal->nelts].line = lineno;
4233 sal->sals[sal->nelts].pc = pc;
4237 /* Compute a set of all sals in
4238 the entire program that correspond to same file
4239 and line as SAL and return those. If there
4240 are several sals that belong to the same block,
4241 only one sal for the block is included in results. */
4243 struct symtabs_and_lines
4244 expand_line_sal (struct symtab_and_line sal)
4246 struct symtabs_and_lines ret, this_line;
4248 struct objfile *objfile;
4249 struct partial_symtab *psymtab;
4250 struct symtab *symtab;
4253 struct block **blocks = NULL;
4259 if (sal.symtab == NULL || sal.line == 0 || sal.pc != 0)
4261 ret.sals = xmalloc (sizeof (struct symtab_and_line));
4268 struct linetable_entry *best_item = 0;
4269 struct symtab *best_symtab = 0;
4274 /* We meed to find all symtabs for a file which name
4275 is described by sal. We cannot just directly
4276 iterate over symtabs, since a symtab might not be
4277 yet created. We also cannot iterate over psymtabs,
4278 calling PSYMTAB_TO_SYMTAB and working on that symtab,
4279 since PSYMTAB_TO_SYMTAB will return NULL for psymtab
4280 corresponding to an included file. Therefore, we do
4281 first pass over psymtabs, reading in those with
4282 the right name. Then, we iterate over symtabs, knowing
4283 that all symtabs we're interested in are loaded. */
4285 ALL_PSYMTABS (objfile, psymtab)
4287 if (strcmp (sal.symtab->filename,
4288 psymtab->filename) == 0)
4289 PSYMTAB_TO_SYMTAB (psymtab);
4293 /* For each symtab, we add all pcs to ret.sals. I'm actually
4294 not sure what to do if we have exact match in one symtab,
4295 and non-exact match on another symtab.
4297 ALL_SYMTABS (objfile, symtab)
4299 if (strcmp (sal.symtab->filename,
4300 symtab->filename) == 0)
4302 struct linetable *l;
4304 l = LINETABLE (symtab);
4309 for (j = 0; j < len; j++)
4311 struct linetable_entry *item = &(l->item[j]);
4313 if (item->line == lineno)
4316 append_expanded_sal (&ret, symtab, lineno, item->pc);
4318 else if (!exact && item->line > lineno
4319 && (best_item == NULL || item->line < best_item->line))
4323 best_symtab = symtab;
4328 if (!exact && best_item)
4329 append_expanded_sal (&ret, best_symtab, lineno, best_item->pc);
4332 /* For optimized code, compiler can scatter one source line accross
4333 disjoint ranges of PC values, even when no duplicate functions
4334 or inline functions are involved. For example, 'for (;;)' inside
4335 non-template non-inline non-ctor-or-dtor function can result
4336 in two PC ranges. In this case, we don't want to set breakpoint
4337 on first PC of each range. To filter such cases, we use containing
4338 blocks -- for each PC found above we see if there are other PCs
4339 that are in the same block. If yes, the other PCs are filtered out. */
4341 filter = xmalloc (ret.nelts * sizeof (int));
4342 blocks = xmalloc (ret.nelts * sizeof (struct block *));
4343 for (i = 0; i < ret.nelts; ++i)
4346 blocks[i] = block_for_pc (ret.sals[i].pc);
4349 for (i = 0; i < ret.nelts; ++i)
4350 if (blocks[i] != NULL)
4351 for (j = i+1; j < ret.nelts; ++j)
4352 if (blocks[j] == blocks[i])
4360 struct symtab_and_line *final =
4361 xmalloc (sizeof (struct symtab_and_line) * (ret.nelts-deleted));
4363 for (i = 0, j = 0; i < ret.nelts; ++i)
4365 final[j++] = ret.sals[i];
4367 ret.nelts -= deleted;
4377 _initialize_symtab (void)
4379 add_info ("variables", variables_info, _("\
4380 All global and static variable names, or those matching REGEXP."));
4382 add_com ("whereis", class_info, variables_info, _("\
4383 All global and static variable names, or those matching REGEXP."));
4385 add_info ("functions", functions_info,
4386 _("All function names, or those matching REGEXP."));
4389 /* FIXME: This command has at least the following problems:
4390 1. It prints builtin types (in a very strange and confusing fashion).
4391 2. It doesn't print right, e.g. with
4392 typedef struct foo *FOO
4393 type_print prints "FOO" when we want to make it (in this situation)
4394 print "struct foo *".
4395 I also think "ptype" or "whatis" is more likely to be useful (but if
4396 there is much disagreement "info types" can be fixed). */
4397 add_info ("types", types_info,
4398 _("All type names, or those matching REGEXP."));
4400 add_info ("sources", sources_info,
4401 _("Source files in the program."));
4403 add_com ("rbreak", class_breakpoint, rbreak_command,
4404 _("Set a breakpoint for all functions matching REGEXP."));
4408 add_com ("lf", class_info, sources_info,
4409 _("Source files in the program"));
4410 add_com ("lg", class_info, variables_info, _("\
4411 All global and static variable names, or those matching REGEXP."));
4414 /* Initialize the one built-in type that isn't language dependent... */
4415 builtin_type_error = init_type (TYPE_CODE_ERROR, 0, 0,
4416 "<unknown type>", (struct objfile *) NULL);
4418 observer_attach_executable_changed (symtab_observer_executable_changed);