1 /* Symbol table lookup for the GNU debugger, GDB.
3 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
4 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
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 2 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, write to the Free Software
21 Foundation, Inc., 59 Temple Place - Suite 330,
22 Boston, MA 02111-1307, USA. */
34 #include "call-cmds.h"
35 #include "gdb_regex.h"
36 #include "expression.h"
42 #include "filenames.h" /* for FILENAME_CMP */
43 #include "objc-lang.h"
47 #include "gdb_obstack.h"
49 #include "dictionary.h"
51 #include <sys/types.h>
53 #include "gdb_string.h"
58 /* Prototypes for local functions */
60 static void completion_list_add_name (char *, char *, int, char *, char *);
62 static void rbreak_command (char *, int);
64 static void types_info (char *, int);
66 static void functions_info (char *, int);
68 static void variables_info (char *, int);
70 static void sources_info (char *, int);
72 static void output_source_filename (const char *, int *);
74 static int find_line_common (struct linetable *, int, int *);
76 /* This one is used by linespec.c */
78 char *operator_chars (char *p, char **end);
80 static struct symbol *lookup_symbol_aux (const char *name,
81 const char *linkage_name,
82 const struct block *block,
83 const domain_enum domain,
84 int *is_a_field_of_this,
85 struct symtab **symtab);
88 struct symbol *lookup_symbol_aux_local (const char *name,
89 const char *linkage_name,
90 const struct block *block,
91 const domain_enum domain,
92 struct symtab **symtab);
95 struct symbol *lookup_symbol_aux_symtabs (int block_index,
97 const char *linkage_name,
98 const domain_enum domain,
99 struct symtab **symtab);
102 struct symbol *lookup_symbol_aux_psymtabs (int block_index,
104 const char *linkage_name,
105 const domain_enum domain,
106 struct symtab **symtab);
110 struct symbol *lookup_symbol_aux_minsyms (const char *name,
111 const char *linkage_name,
112 const domain_enum domain,
113 int *is_a_field_of_this,
114 struct symtab **symtab);
117 /* This flag is used in hppa-tdep.c, and set in hp-symtab-read.c.
118 Signals the presence of objects compiled by HP compilers. */
119 int deprecated_hp_som_som_object_present = 0;
121 static void fixup_section (struct general_symbol_info *, struct objfile *);
123 static int file_matches (char *, char **, int);
125 static void print_symbol_info (domain_enum,
126 struct symtab *, struct symbol *, int, char *);
128 static void print_msymbol_info (struct minimal_symbol *);
130 static void symtab_symbol_info (char *, domain_enum, int);
132 void _initialize_symtab (void);
136 /* The single non-language-specific builtin type */
137 struct type *builtin_type_error;
139 /* Block in which the most recently searched-for symbol was found.
140 Might be better to make this a parameter to lookup_symbol and
143 const struct block *block_found;
145 /* Check for a symtab of a specific name; first in symtabs, then in
146 psymtabs. *If* there is no '/' in the name, a match after a '/'
147 in the symtab filename will also work. */
150 lookup_symtab (const char *name)
153 struct partial_symtab *ps;
154 struct objfile *objfile;
155 char *real_path = NULL;
156 char *full_path = NULL;
158 /* Here we are interested in canonicalizing an absolute path, not
159 absolutizing a relative path. */
160 if (IS_ABSOLUTE_PATH (name))
162 full_path = xfullpath (name);
163 make_cleanup (xfree, full_path);
164 real_path = gdb_realpath (name);
165 make_cleanup (xfree, real_path);
170 /* First, search for an exact match */
172 ALL_SYMTABS (objfile, s)
174 if (FILENAME_CMP (name, s->filename) == 0)
179 /* If the user gave us an absolute path, try to find the file in
180 this symtab and use its absolute path. */
182 if (full_path != NULL)
184 const char *fp = symtab_to_fullname (s);
185 if (fp != NULL && FILENAME_CMP (full_path, fp) == 0)
191 if (real_path != NULL)
193 char *fullname = symtab_to_fullname (s);
194 if (fullname != NULL)
196 char *rp = gdb_realpath (fullname);
197 make_cleanup (xfree, rp);
198 if (FILENAME_CMP (real_path, rp) == 0)
206 /* Now, search for a matching tail (only if name doesn't have any dirs) */
208 if (lbasename (name) == name)
209 ALL_SYMTABS (objfile, s)
211 if (FILENAME_CMP (lbasename (s->filename), name) == 0)
215 /* Same search rules as above apply here, but now we look thru the
218 ps = lookup_partial_symtab (name);
223 error ("Internal: readin %s pst for `%s' found when no symtab found.",
226 s = PSYMTAB_TO_SYMTAB (ps);
231 /* At this point, we have located the psymtab for this file, but
232 the conversion to a symtab has failed. This usually happens
233 when we are looking up an include file. In this case,
234 PSYMTAB_TO_SYMTAB doesn't return a symtab, even though one has
235 been created. So, we need to run through the symtabs again in
236 order to find the file.
237 XXX - This is a crock, and should be fixed inside of the the
238 symbol parsing routines. */
242 /* Lookup the partial symbol table of a source file named NAME.
243 *If* there is no '/' in the name, a match after a '/'
244 in the psymtab filename will also work. */
246 struct partial_symtab *
247 lookup_partial_symtab (const char *name)
249 struct partial_symtab *pst;
250 struct objfile *objfile;
251 char *full_path = NULL;
252 char *real_path = NULL;
254 /* Here we are interested in canonicalizing an absolute path, not
255 absolutizing a relative path. */
256 if (IS_ABSOLUTE_PATH (name))
258 full_path = xfullpath (name);
259 make_cleanup (xfree, full_path);
260 real_path = gdb_realpath (name);
261 make_cleanup (xfree, real_path);
264 ALL_PSYMTABS (objfile, pst)
266 if (FILENAME_CMP (name, pst->filename) == 0)
271 /* If the user gave us an absolute path, try to find the file in
272 this symtab and use its absolute path. */
273 if (full_path != NULL)
275 psymtab_to_fullname (pst);
276 if (pst->fullname != NULL
277 && FILENAME_CMP (full_path, pst->fullname) == 0)
283 if (real_path != NULL)
286 psymtab_to_fullname (pst);
287 if (pst->fullname != NULL)
289 rp = gdb_realpath (pst->fullname);
290 make_cleanup (xfree, rp);
292 if (rp != NULL && FILENAME_CMP (real_path, rp) == 0)
299 /* Now, search for a matching tail (only if name doesn't have any dirs) */
301 if (lbasename (name) == name)
302 ALL_PSYMTABS (objfile, pst)
304 if (FILENAME_CMP (lbasename (pst->filename), name) == 0)
311 /* Mangle a GDB method stub type. This actually reassembles the pieces of the
312 full method name, which consist of the class name (from T), the unadorned
313 method name from METHOD_ID, and the signature for the specific overload,
314 specified by SIGNATURE_ID. Note that this function is g++ specific. */
317 gdb_mangle_name (struct type *type, int method_id, int signature_id)
319 int mangled_name_len;
321 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, method_id);
322 struct fn_field *method = &f[signature_id];
323 char *field_name = TYPE_FN_FIELDLIST_NAME (type, method_id);
324 char *physname = TYPE_FN_FIELD_PHYSNAME (f, signature_id);
325 char *newname = type_name_no_tag (type);
327 /* Does the form of physname indicate that it is the full mangled name
328 of a constructor (not just the args)? */
329 int is_full_physname_constructor;
332 int is_destructor = is_destructor_name (physname);
333 /* Need a new type prefix. */
334 char *const_prefix = method->is_const ? "C" : "";
335 char *volatile_prefix = method->is_volatile ? "V" : "";
337 int len = (newname == NULL ? 0 : strlen (newname));
339 /* Nothing to do if physname already contains a fully mangled v3 abi name
340 or an operator name. */
341 if ((physname[0] == '_' && physname[1] == 'Z')
342 || is_operator_name (field_name))
343 return xstrdup (physname);
345 is_full_physname_constructor = is_constructor_name (physname);
348 is_full_physname_constructor || (newname && strcmp (field_name, newname) == 0);
351 is_destructor = (strncmp (physname, "__dt", 4) == 0);
353 if (is_destructor || is_full_physname_constructor)
355 mangled_name = (char *) xmalloc (strlen (physname) + 1);
356 strcpy (mangled_name, physname);
362 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
364 else if (physname[0] == 't' || physname[0] == 'Q')
366 /* The physname for template and qualified methods already includes
368 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
374 sprintf (buf, "__%s%s%d", const_prefix, volatile_prefix, len);
376 mangled_name_len = ((is_constructor ? 0 : strlen (field_name))
377 + strlen (buf) + len + strlen (physname) + 1);
380 mangled_name = (char *) xmalloc (mangled_name_len);
382 mangled_name[0] = '\0';
384 strcpy (mangled_name, field_name);
386 strcat (mangled_name, buf);
387 /* If the class doesn't have a name, i.e. newname NULL, then we just
388 mangle it using 0 for the length of the class. Thus it gets mangled
389 as something starting with `::' rather than `classname::'. */
391 strcat (mangled_name, newname);
393 strcat (mangled_name, physname);
394 return (mangled_name);
398 /* Initialize the language dependent portion of a symbol
399 depending upon the language for the symbol. */
401 symbol_init_language_specific (struct general_symbol_info *gsymbol,
402 enum language language)
404 gsymbol->language = language;
405 if (gsymbol->language == language_cplus
406 || gsymbol->language == language_java
407 || gsymbol->language == language_objc)
409 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
413 memset (&gsymbol->language_specific, 0,
414 sizeof (gsymbol->language_specific));
418 /* Functions to initialize a symbol's mangled name. */
420 /* Create the hash table used for demangled names. Each hash entry is
421 a pair of strings; one for the mangled name and one for the demangled
422 name. The entry is hashed via just the mangled name. */
425 create_demangled_names_hash (struct objfile *objfile)
427 /* Choose 256 as the starting size of the hash table, somewhat arbitrarily.
428 The hash table code will round this up to the next prime number.
429 Choosing a much larger table size wastes memory, and saves only about
430 1% in symbol reading. */
432 objfile->demangled_names_hash = htab_create_alloc
433 (256, htab_hash_string, (int (*) (const void *, const void *)) streq,
434 NULL, xcalloc, xfree);
437 /* Try to determine the demangled name for a symbol, based on the
438 language of that symbol. If the language is set to language_auto,
439 it will attempt to find any demangling algorithm that works and
440 then set the language appropriately. The returned name is allocated
441 by the demangler and should be xfree'd. */
444 symbol_find_demangled_name (struct general_symbol_info *gsymbol,
447 char *demangled = NULL;
449 if (gsymbol->language == language_unknown)
450 gsymbol->language = language_auto;
452 if (gsymbol->language == language_objc
453 || gsymbol->language == language_auto)
456 objc_demangle (mangled, 0);
457 if (demangled != NULL)
459 gsymbol->language = language_objc;
463 if (gsymbol->language == language_cplus
464 || gsymbol->language == language_auto)
467 cplus_demangle (mangled, DMGL_PARAMS | DMGL_ANSI);
468 if (demangled != NULL)
470 gsymbol->language = language_cplus;
474 if (gsymbol->language == language_java)
477 cplus_demangle (mangled,
478 DMGL_PARAMS | DMGL_ANSI | DMGL_JAVA);
479 if (demangled != NULL)
481 gsymbol->language = language_java;
488 /* Set both the mangled and demangled (if any) names for GSYMBOL based
489 on LINKAGE_NAME and LEN. The hash table corresponding to OBJFILE
490 is used, and the memory comes from that objfile's objfile_obstack.
491 LINKAGE_NAME is copied, so the pointer can be discarded after
492 calling this function. */
494 /* We have to be careful when dealing with Java names: when we run
495 into a Java minimal symbol, we don't know it's a Java symbol, so it
496 gets demangled as a C++ name. This is unfortunate, but there's not
497 much we can do about it: but when demangling partial symbols and
498 regular symbols, we'd better not reuse the wrong demangled name.
499 (See PR gdb/1039.) We solve this by putting a distinctive prefix
500 on Java names when storing them in the hash table. */
502 /* FIXME: carlton/2003-03-13: This is an unfortunate situation. I
503 don't mind the Java prefix so much: different languages have
504 different demangling requirements, so it's only natural that we
505 need to keep language data around in our demangling cache. But
506 it's not good that the minimal symbol has the wrong demangled name.
507 Unfortunately, I can't think of any easy solution to that
510 #define JAVA_PREFIX "##JAVA$$"
511 #define JAVA_PREFIX_LEN 8
514 symbol_set_names (struct general_symbol_info *gsymbol,
515 const char *linkage_name, int len, struct objfile *objfile)
518 /* A 0-terminated copy of the linkage name. */
519 const char *linkage_name_copy;
520 /* A copy of the linkage name that might have a special Java prefix
521 added to it, for use when looking names up in the hash table. */
522 const char *lookup_name;
523 /* The length of lookup_name. */
526 if (objfile->demangled_names_hash == NULL)
527 create_demangled_names_hash (objfile);
529 /* The stabs reader generally provides names that are not
530 NUL-terminated; most of the other readers don't do this, so we
531 can just use the given copy, unless we're in the Java case. */
532 if (gsymbol->language == language_java)
535 lookup_len = len + JAVA_PREFIX_LEN;
537 alloc_name = alloca (lookup_len + 1);
538 memcpy (alloc_name, JAVA_PREFIX, JAVA_PREFIX_LEN);
539 memcpy (alloc_name + JAVA_PREFIX_LEN, linkage_name, len);
540 alloc_name[lookup_len] = '\0';
542 lookup_name = alloc_name;
543 linkage_name_copy = alloc_name + JAVA_PREFIX_LEN;
545 else if (linkage_name[len] != '\0')
550 alloc_name = alloca (lookup_len + 1);
551 memcpy (alloc_name, linkage_name, len);
552 alloc_name[lookup_len] = '\0';
554 lookup_name = alloc_name;
555 linkage_name_copy = alloc_name;
560 lookup_name = linkage_name;
561 linkage_name_copy = linkage_name;
564 slot = (char **) htab_find_slot (objfile->demangled_names_hash,
565 lookup_name, INSERT);
567 /* If this name is not in the hash table, add it. */
570 char *demangled_name = symbol_find_demangled_name (gsymbol,
572 int demangled_len = demangled_name ? strlen (demangled_name) : 0;
574 /* If there is a demangled name, place it right after the mangled name.
575 Otherwise, just place a second zero byte after the end of the mangled
577 *slot = obstack_alloc (&objfile->objfile_obstack,
578 lookup_len + demangled_len + 2);
579 memcpy (*slot, lookup_name, lookup_len + 1);
580 if (demangled_name != NULL)
582 memcpy (*slot + lookup_len + 1, demangled_name, demangled_len + 1);
583 xfree (demangled_name);
586 (*slot)[lookup_len + 1] = '\0';
589 gsymbol->name = *slot + lookup_len - len;
590 if ((*slot)[lookup_len + 1] != '\0')
591 gsymbol->language_specific.cplus_specific.demangled_name
592 = &(*slot)[lookup_len + 1];
594 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
597 /* Initialize the demangled name of GSYMBOL if possible. Any required space
598 to store the name is obtained from the specified obstack. The function
599 symbol_set_names, above, should be used instead where possible for more
600 efficient memory usage. */
603 symbol_init_demangled_name (struct general_symbol_info *gsymbol,
604 struct obstack *obstack)
606 char *mangled = gsymbol->name;
607 char *demangled = NULL;
609 demangled = symbol_find_demangled_name (gsymbol, mangled);
610 if (gsymbol->language == language_cplus
611 || gsymbol->language == language_java
612 || gsymbol->language == language_objc)
616 gsymbol->language_specific.cplus_specific.demangled_name
617 = obsavestring (demangled, strlen (demangled), obstack);
621 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
625 /* Unknown language; just clean up quietly. */
631 /* Return the source code name of a symbol. In languages where
632 demangling is necessary, this is the demangled name. */
635 symbol_natural_name (const struct general_symbol_info *gsymbol)
637 if ((gsymbol->language == language_cplus
638 || gsymbol->language == language_java
639 || gsymbol->language == language_objc)
640 && (gsymbol->language_specific.cplus_specific.demangled_name != NULL))
642 return gsymbol->language_specific.cplus_specific.demangled_name;
646 return gsymbol->name;
650 /* Return the demangled name for a symbol based on the language for
651 that symbol. If no demangled name exists, return NULL. */
653 symbol_demangled_name (struct general_symbol_info *gsymbol)
655 if (gsymbol->language == language_cplus
656 || gsymbol->language == language_java
657 || gsymbol->language == language_objc)
658 return gsymbol->language_specific.cplus_specific.demangled_name;
664 /* Return the search name of a symbol---generally the demangled or
665 linkage name of the symbol, depending on how it will be searched for.
666 If there is no distinct demangled name, then returns the same value
667 (same pointer) as SYMBOL_LINKAGE_NAME. */
668 char *symbol_search_name (const struct general_symbol_info *gsymbol) {
669 return symbol_natural_name (gsymbol);
672 /* Initialize the structure fields to zero values. */
674 init_sal (struct symtab_and_line *sal)
685 /* Find which partial symtab contains PC and SECTION. Return 0 if
686 none. We return the psymtab that contains a symbol whose address
687 exactly matches PC, or, if we cannot find an exact match, the
688 psymtab that contains a symbol whose address is closest to PC. */
689 struct partial_symtab *
690 find_pc_sect_psymtab (CORE_ADDR pc, asection *section)
692 struct partial_symtab *pst;
693 struct objfile *objfile;
694 struct minimal_symbol *msymbol;
696 /* If we know that this is not a text address, return failure. This is
697 necessary because we loop based on texthigh and textlow, which do
698 not include the data ranges. */
699 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
701 && (msymbol->type == mst_data
702 || msymbol->type == mst_bss
703 || msymbol->type == mst_abs
704 || msymbol->type == mst_file_data
705 || msymbol->type == mst_file_bss))
708 ALL_PSYMTABS (objfile, pst)
710 if (pc >= pst->textlow && pc < pst->texthigh)
712 struct partial_symtab *tpst;
713 struct partial_symtab *best_pst = pst;
714 struct partial_symbol *best_psym = NULL;
716 /* An objfile that has its functions reordered might have
717 many partial symbol tables containing the PC, but
718 we want the partial symbol table that contains the
719 function containing the PC. */
720 if (!(objfile->flags & OBJF_REORDERED) &&
721 section == 0) /* can't validate section this way */
727 /* The code range of partial symtabs sometimes overlap, so, in
728 the loop below, we need to check all partial symtabs and
729 find the one that fits better for the given PC address. We
730 select the partial symtab that contains a symbol whose
731 address is closest to the PC address. By closest we mean
732 that find_pc_sect_symbol returns the symbol with address
733 that is closest and still less than the given PC. */
734 for (tpst = pst; tpst != NULL; tpst = tpst->next)
736 if (pc >= tpst->textlow && pc < tpst->texthigh)
738 struct partial_symbol *p;
740 p = find_pc_sect_psymbol (tpst, pc, section);
742 && SYMBOL_VALUE_ADDRESS (p)
743 == SYMBOL_VALUE_ADDRESS (msymbol))
747 /* We found a symbol in this partial symtab which
748 matches (or is closest to) PC, check whether it
749 is closer than our current BEST_PSYM. Since
750 this symbol address is necessarily lower or
751 equal to PC, the symbol closer to PC is the
752 symbol which address is the highest. */
753 /* This way we return the psymtab which contains
754 such best match symbol. This can help in cases
755 where the symbol information/debuginfo is not
756 complete, like for instance on IRIX6 with gcc,
757 where no debug info is emitted for
758 statics. (See also the nodebug.exp
760 if (best_psym == NULL
761 || SYMBOL_VALUE_ADDRESS (p)
762 > SYMBOL_VALUE_ADDRESS (best_psym))
777 /* Find which partial symtab contains PC. Return 0 if none.
778 Backward compatibility, no section */
780 struct partial_symtab *
781 find_pc_psymtab (CORE_ADDR pc)
783 return find_pc_sect_psymtab (pc, find_pc_mapped_section (pc));
786 /* Find which partial symbol within a psymtab matches PC and SECTION.
787 Return 0 if none. Check all psymtabs if PSYMTAB is 0. */
789 struct partial_symbol *
790 find_pc_sect_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc,
793 struct partial_symbol *best = NULL, *p, **pp;
797 psymtab = find_pc_sect_psymtab (pc, section);
801 /* Cope with programs that start at address 0 */
802 best_pc = (psymtab->textlow != 0) ? psymtab->textlow - 1 : 0;
804 /* Search the global symbols as well as the static symbols, so that
805 find_pc_partial_function doesn't use a minimal symbol and thus
806 cache a bad endaddr. */
807 for (pp = psymtab->objfile->global_psymbols.list + psymtab->globals_offset;
808 (pp - (psymtab->objfile->global_psymbols.list + psymtab->globals_offset)
809 < psymtab->n_global_syms);
813 if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
814 && SYMBOL_CLASS (p) == LOC_BLOCK
815 && pc >= SYMBOL_VALUE_ADDRESS (p)
816 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
817 || (psymtab->textlow == 0
818 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
820 if (section) /* match on a specific section */
822 fixup_psymbol_section (p, psymtab->objfile);
823 if (SYMBOL_BFD_SECTION (p) != section)
826 best_pc = SYMBOL_VALUE_ADDRESS (p);
831 for (pp = psymtab->objfile->static_psymbols.list + psymtab->statics_offset;
832 (pp - (psymtab->objfile->static_psymbols.list + psymtab->statics_offset)
833 < psymtab->n_static_syms);
837 if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
838 && SYMBOL_CLASS (p) == LOC_BLOCK
839 && pc >= SYMBOL_VALUE_ADDRESS (p)
840 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
841 || (psymtab->textlow == 0
842 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
844 if (section) /* match on a specific section */
846 fixup_psymbol_section (p, psymtab->objfile);
847 if (SYMBOL_BFD_SECTION (p) != section)
850 best_pc = SYMBOL_VALUE_ADDRESS (p);
858 /* Find which partial symbol within a psymtab matches PC. Return 0 if none.
859 Check all psymtabs if PSYMTAB is 0. Backwards compatibility, no section. */
861 struct partial_symbol *
862 find_pc_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc)
864 return find_pc_sect_psymbol (psymtab, pc, find_pc_mapped_section (pc));
867 /* Debug symbols usually don't have section information. We need to dig that
868 out of the minimal symbols and stash that in the debug symbol. */
871 fixup_section (struct general_symbol_info *ginfo, struct objfile *objfile)
873 struct minimal_symbol *msym;
874 msym = lookup_minimal_symbol (ginfo->name, NULL, objfile);
878 ginfo->bfd_section = SYMBOL_BFD_SECTION (msym);
879 ginfo->section = SYMBOL_SECTION (msym);
883 /* Static, function-local variables do appear in the linker
884 (minimal) symbols, but are frequently given names that won't
885 be found via lookup_minimal_symbol(). E.g., it has been
886 observed in frv-uclinux (ELF) executables that a static,
887 function-local variable named "foo" might appear in the
888 linker symbols as "foo.6" or "foo.3". Thus, there is no
889 point in attempting to extend the lookup-by-name mechanism to
890 handle this case due to the fact that there can be multiple
893 So, instead, search the section table when lookup by name has
894 failed. The ``addr'' and ``endaddr'' fields may have already
895 been relocated. If so, the relocation offset (i.e. the
896 ANOFFSET value) needs to be subtracted from these values when
897 performing the comparison. We unconditionally subtract it,
898 because, when no relocation has been performed, the ANOFFSET
899 value will simply be zero.
901 The address of the symbol whose section we're fixing up HAS
902 NOT BEEN adjusted (relocated) yet. It can't have been since
903 the section isn't yet known and knowing the section is
904 necessary in order to add the correct relocation value. In
905 other words, we wouldn't even be in this function (attempting
906 to compute the section) if it were already known.
908 Note that it is possible to search the minimal symbols
909 (subtracting the relocation value if necessary) to find the
910 matching minimal symbol, but this is overkill and much less
911 efficient. It is not necessary to find the matching minimal
912 symbol, only its section.
914 Note that this technique (of doing a section table search)
915 can fail when unrelocated section addresses overlap. For
916 this reason, we still attempt a lookup by name prior to doing
917 a search of the section table. */
920 struct obj_section *s;
922 addr = ginfo->value.address;
924 ALL_OBJFILE_OSECTIONS (objfile, s)
926 int idx = s->the_bfd_section->index;
927 CORE_ADDR offset = ANOFFSET (objfile->section_offsets, idx);
929 if (s->addr - offset <= addr && addr < s->endaddr - offset)
931 ginfo->bfd_section = s->the_bfd_section;
932 ginfo->section = idx;
940 fixup_symbol_section (struct symbol *sym, struct objfile *objfile)
945 if (SYMBOL_BFD_SECTION (sym))
948 fixup_section (&sym->ginfo, objfile);
953 struct partial_symbol *
954 fixup_psymbol_section (struct partial_symbol *psym, struct objfile *objfile)
959 if (SYMBOL_BFD_SECTION (psym))
962 fixup_section (&psym->ginfo, objfile);
967 /* Find the definition for a specified symbol name NAME
968 in domain DOMAIN, visible from lexical block BLOCK.
969 Returns the struct symbol pointer, or zero if no symbol is found.
970 If SYMTAB is non-NULL, store the symbol table in which the
971 symbol was found there, or NULL if not found.
972 C++: if IS_A_FIELD_OF_THIS is nonzero on entry, check to see if
973 NAME is a field of the current implied argument `this'. If so set
974 *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero.
975 BLOCK_FOUND is set to the block in which NAME is found (in the case of
976 a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
978 /* This function has a bunch of loops in it and it would seem to be
979 attractive to put in some QUIT's (though I'm not really sure
980 whether it can run long enough to be really important). But there
981 are a few calls for which it would appear to be bad news to quit
982 out of here: find_proc_desc in alpha-tdep.c and mips-tdep.c. (Note
983 that there is C++ code below which can error(), but that probably
984 doesn't affect these calls since they are looking for a known
985 variable and thus can probably assume it will never hit the C++
989 lookup_symbol (const char *name, const struct block *block,
990 const domain_enum domain, int *is_a_field_of_this,
991 struct symtab **symtab)
993 char *demangled_name = NULL;
994 const char *modified_name = NULL;
995 const char *mangled_name = NULL;
996 int needtofreename = 0;
997 struct symbol *returnval;
999 modified_name = name;
1001 /* If we are using C++ language, demangle the name before doing a lookup, so
1002 we can always binary search. */
1003 if (current_language->la_language == language_cplus)
1005 demangled_name = cplus_demangle (name, DMGL_ANSI | DMGL_PARAMS);
1008 mangled_name = name;
1009 modified_name = demangled_name;
1014 if (case_sensitivity == case_sensitive_off)
1019 len = strlen (name);
1020 copy = (char *) alloca (len + 1);
1021 for (i= 0; i < len; i++)
1022 copy[i] = tolower (name[i]);
1024 modified_name = copy;
1027 returnval = lookup_symbol_aux (modified_name, mangled_name, block,
1028 domain, is_a_field_of_this, symtab);
1030 xfree (demangled_name);
1035 /* Behave like lookup_symbol_aux except that NAME is the natural name
1036 of the symbol that we're looking for and, if LINKAGE_NAME is
1037 non-NULL, ensure that the symbol's linkage name matches as
1040 static struct symbol *
1041 lookup_symbol_aux (const char *name, const char *linkage_name,
1042 const struct block *block, const domain_enum domain,
1043 int *is_a_field_of_this, struct symtab **symtab)
1047 /* Make sure we do something sensible with is_a_field_of_this, since
1048 the callers that set this parameter to some non-null value will
1049 certainly use it later and expect it to be either 0 or 1.
1050 If we don't set it, the contents of is_a_field_of_this are
1052 if (is_a_field_of_this != NULL)
1053 *is_a_field_of_this = 0;
1055 /* Search specified block and its superiors. Don't search
1056 STATIC_BLOCK or GLOBAL_BLOCK. */
1058 sym = lookup_symbol_aux_local (name, linkage_name, block, domain,
1063 /* If requested to do so by the caller and if appropriate for the
1064 current language, check to see if NAME is a field of `this'. */
1066 if (current_language->la_value_of_this != NULL
1067 && is_a_field_of_this != NULL)
1069 struct value *v = current_language->la_value_of_this (0);
1071 if (v && check_field (v, name))
1073 *is_a_field_of_this = 1;
1080 /* Now do whatever is appropriate for the current language to look
1081 up static and global variables. */
1083 sym = current_language->la_lookup_symbol_nonlocal (name, linkage_name,
1089 /* Now search all static file-level symbols. Not strictly correct,
1090 but more useful than an error. Do the symtabs first, then check
1091 the psymtabs. If a psymtab indicates the existence of the
1092 desired name as a file-level static, then do psymtab-to-symtab
1093 conversion on the fly and return the found symbol. */
1095 sym = lookup_symbol_aux_symtabs (STATIC_BLOCK, name, linkage_name,
1100 sym = lookup_symbol_aux_psymtabs (STATIC_BLOCK, name, linkage_name,
1110 /* Check to see if the symbol is defined in BLOCK or its superiors.
1111 Don't search STATIC_BLOCK or GLOBAL_BLOCK. */
1113 static struct symbol *
1114 lookup_symbol_aux_local (const char *name, const char *linkage_name,
1115 const struct block *block,
1116 const domain_enum domain,
1117 struct symtab **symtab)
1120 const struct block *static_block = block_static_block (block);
1122 /* Check if either no block is specified or it's a global block. */
1124 if (static_block == NULL)
1127 while (block != static_block)
1129 sym = lookup_symbol_aux_block (name, linkage_name, block, domain,
1133 block = BLOCK_SUPERBLOCK (block);
1136 /* We've reached the static block without finding a result. */
1141 /* Look up a symbol in a block; if found, locate its symtab, fixup the
1142 symbol, and set block_found appropriately. */
1145 lookup_symbol_aux_block (const char *name, const char *linkage_name,
1146 const struct block *block,
1147 const domain_enum domain,
1148 struct symtab **symtab)
1151 struct objfile *objfile = NULL;
1152 struct blockvector *bv;
1154 struct symtab *s = NULL;
1156 sym = lookup_block_symbol (block, name, linkage_name, domain);
1159 block_found = block;
1162 /* Search the list of symtabs for one which contains the
1163 address of the start of this block. */
1164 ALL_SYMTABS (objfile, s)
1166 bv = BLOCKVECTOR (s);
1167 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1168 if (BLOCK_START (b) <= BLOCK_START (block)
1169 && BLOCK_END (b) > BLOCK_START (block))
1176 return fixup_symbol_section (sym, objfile);
1182 /* Check to see if the symbol is defined in one of the symtabs.
1183 BLOCK_INDEX should be either GLOBAL_BLOCK or STATIC_BLOCK,
1184 depending on whether or not we want to search global symbols or
1187 static struct symbol *
1188 lookup_symbol_aux_symtabs (int block_index,
1189 const char *name, const char *linkage_name,
1190 const domain_enum domain,
1191 struct symtab **symtab)
1194 struct objfile *objfile;
1195 struct blockvector *bv;
1196 const struct block *block;
1199 ALL_SYMTABS (objfile, s)
1201 bv = BLOCKVECTOR (s);
1202 block = BLOCKVECTOR_BLOCK (bv, block_index);
1203 sym = lookup_block_symbol (block, name, linkage_name, domain);
1206 block_found = block;
1209 return fixup_symbol_section (sym, objfile);
1216 /* Check to see if the symbol is defined in one of the partial
1217 symtabs. BLOCK_INDEX should be either GLOBAL_BLOCK or
1218 STATIC_BLOCK, depending on whether or not we want to search global
1219 symbols or static symbols. */
1221 static struct symbol *
1222 lookup_symbol_aux_psymtabs (int block_index, const char *name,
1223 const char *linkage_name,
1224 const domain_enum domain,
1225 struct symtab **symtab)
1228 struct objfile *objfile;
1229 struct blockvector *bv;
1230 const struct block *block;
1231 struct partial_symtab *ps;
1233 const int psymtab_index = (block_index == GLOBAL_BLOCK ? 1 : 0);
1235 ALL_PSYMTABS (objfile, ps)
1238 && lookup_partial_symbol (ps, name, linkage_name,
1239 psymtab_index, domain))
1241 s = PSYMTAB_TO_SYMTAB (ps);
1242 bv = BLOCKVECTOR (s);
1243 block = BLOCKVECTOR_BLOCK (bv, block_index);
1244 sym = lookup_block_symbol (block, name, linkage_name, domain);
1247 /* This shouldn't be necessary, but as a last resort try
1248 looking in the statics even though the psymtab claimed
1249 the symbol was global, or vice-versa. It's possible
1250 that the psymtab gets it wrong in some cases. */
1252 /* FIXME: carlton/2002-09-30: Should we really do that?
1253 If that happens, isn't it likely to be a GDB error, in
1254 which case we should fix the GDB error rather than
1255 silently dealing with it here? So I'd vote for
1256 removing the check for the symbol in the other
1258 block = BLOCKVECTOR_BLOCK (bv,
1259 block_index == GLOBAL_BLOCK ?
1260 STATIC_BLOCK : GLOBAL_BLOCK);
1261 sym = lookup_block_symbol (block, name, linkage_name, domain);
1263 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>).",
1264 block_index == GLOBAL_BLOCK ? "global" : "static",
1265 name, ps->filename, name, name);
1269 return fixup_symbol_section (sym, objfile);
1277 /* Check for the possibility of the symbol being a function or a
1278 mangled variable that is stored in one of the minimal symbol
1279 tables. Eventually, all global symbols might be resolved in this
1282 /* NOTE: carlton/2002-12-05: At one point, this function was part of
1283 lookup_symbol_aux, and what are now 'return' statements within
1284 lookup_symbol_aux_minsyms returned from lookup_symbol_aux, even if
1285 sym was NULL. As far as I can tell, this was basically accidental;
1286 it didn't happen every time that msymbol was non-NULL, but only if
1287 some additional conditions held as well, and it caused problems
1288 with HP-generated symbol tables. */
1290 /* NOTE: carlton/2003-05-14: This function was once used as part of
1291 lookup_symbol. It is currently unnecessary for correctness
1292 reasons, however, and using it doesn't seem to be any faster than
1293 using lookup_symbol_aux_psymtabs, so I'm commenting it out. */
1295 static struct symbol *
1296 lookup_symbol_aux_minsyms (const char *name,
1297 const char *linkage_name,
1298 const domain_enum domain,
1299 int *is_a_field_of_this,
1300 struct symtab **symtab)
1303 struct blockvector *bv;
1304 const struct block *block;
1305 struct minimal_symbol *msymbol;
1308 if (domain == VAR_DOMAIN)
1310 msymbol = lookup_minimal_symbol (name, NULL, NULL);
1312 if (msymbol != NULL)
1314 /* OK, we found a minimal symbol in spite of not finding any
1315 symbol. There are various possible explanations for
1316 this. One possibility is the symbol exists in code not
1317 compiled -g. Another possibility is that the 'psymtab'
1318 isn't doing its job. A third possibility, related to #2,
1319 is that we were confused by name-mangling. For instance,
1320 maybe the psymtab isn't doing its job because it only
1321 know about demangled names, but we were given a mangled
1324 /* We first use the address in the msymbol to try to locate
1325 the appropriate symtab. Note that find_pc_sect_symtab()
1326 has a side-effect of doing psymtab-to-symtab expansion,
1327 for the found symtab. */
1328 s = find_pc_sect_symtab (SYMBOL_VALUE_ADDRESS (msymbol),
1329 SYMBOL_BFD_SECTION (msymbol));
1332 /* This is a function which has a symtab for its address. */
1333 bv = BLOCKVECTOR (s);
1334 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1336 /* This call used to pass `SYMBOL_LINKAGE_NAME (msymbol)' as the
1337 `name' argument to lookup_block_symbol. But the name
1338 of a minimal symbol is always mangled, so that seems
1339 to be clearly the wrong thing to pass as the
1342 lookup_block_symbol (block, name, linkage_name, domain);
1343 /* We kept static functions in minimal symbol table as well as
1344 in static scope. We want to find them in the symbol table. */
1347 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1348 sym = lookup_block_symbol (block, name,
1349 linkage_name, domain);
1352 /* NOTE: carlton/2002-12-04: The following comment was
1353 taken from a time when two versions of this function
1354 were part of the body of lookup_symbol_aux: this
1355 comment was taken from the version of the function
1356 that was #ifdef HPUXHPPA, and the comment was right
1357 before the 'return NULL' part of lookup_symbol_aux.
1358 (Hence the "Fall through and return 0" comment.)
1359 Elena did some digging into the situation for
1360 Fortran, and she reports:
1362 "I asked around (thanks to Jeff Knaggs), and I think
1363 the story for Fortran goes like this:
1365 "Apparently, in older Fortrans, '_' was not part of
1366 the user namespace. g77 attached a final '_' to
1367 procedure names as the exported symbols for linkage
1368 (foo_) , but the symbols went in the debug info just
1369 like 'foo'. The rationale behind this is not
1370 completely clear, and maybe it was done to other
1371 symbols as well, not just procedures." */
1373 /* If we get here with sym == 0, the symbol was
1374 found in the minimal symbol table
1375 but not in the symtab.
1376 Fall through and return 0 to use the msymbol
1377 definition of "foo_".
1378 (Note that outer code generally follows up a call
1379 to this routine with a call to lookup_minimal_symbol(),
1380 so a 0 return means we'll just flow into that other routine).
1382 This happens for Fortran "foo_" symbols,
1383 which are "foo" in the symtab.
1385 This can also happen if "asm" is used to make a
1386 regular symbol but not a debugging symbol, e.g.
1387 asm(".globl _main");
1391 if (symtab != NULL && sym != NULL)
1393 return fixup_symbol_section (sym, s->objfile);
1402 /* A default version of lookup_symbol_nonlocal for use by languages
1403 that can't think of anything better to do. This implements the C
1407 basic_lookup_symbol_nonlocal (const char *name,
1408 const char *linkage_name,
1409 const struct block *block,
1410 const domain_enum domain,
1411 struct symtab **symtab)
1415 /* NOTE: carlton/2003-05-19: The comments below were written when
1416 this (or what turned into this) was part of lookup_symbol_aux;
1417 I'm much less worried about these questions now, since these
1418 decisions have turned out well, but I leave these comments here
1421 /* NOTE: carlton/2002-12-05: There is a question as to whether or
1422 not it would be appropriate to search the current global block
1423 here as well. (That's what this code used to do before the
1424 is_a_field_of_this check was moved up.) On the one hand, it's
1425 redundant with the lookup_symbol_aux_symtabs search that happens
1426 next. On the other hand, if decode_line_1 is passed an argument
1427 like filename:var, then the user presumably wants 'var' to be
1428 searched for in filename. On the third hand, there shouldn't be
1429 multiple global variables all of which are named 'var', and it's
1430 not like decode_line_1 has ever restricted its search to only
1431 global variables in a single filename. All in all, only
1432 searching the static block here seems best: it's correct and it's
1435 /* NOTE: carlton/2002-12-05: There's also a possible performance
1436 issue here: if you usually search for global symbols in the
1437 current file, then it would be slightly better to search the
1438 current global block before searching all the symtabs. But there
1439 are other factors that have a much greater effect on performance
1440 than that one, so I don't think we should worry about that for
1443 sym = lookup_symbol_static (name, linkage_name, block, domain, symtab);
1447 return lookup_symbol_global (name, linkage_name, domain, symtab);
1450 /* Lookup a symbol in the static block associated to BLOCK, if there
1451 is one; do nothing if BLOCK is NULL or a global block. */
1454 lookup_symbol_static (const char *name,
1455 const char *linkage_name,
1456 const struct block *block,
1457 const domain_enum domain,
1458 struct symtab **symtab)
1460 const struct block *static_block = block_static_block (block);
1462 if (static_block != NULL)
1463 return lookup_symbol_aux_block (name, linkage_name, static_block,
1469 /* Lookup a symbol in all files' global blocks (searching psymtabs if
1473 lookup_symbol_global (const char *name,
1474 const char *linkage_name,
1475 const domain_enum domain,
1476 struct symtab **symtab)
1480 sym = lookup_symbol_aux_symtabs (GLOBAL_BLOCK, name, linkage_name,
1485 return lookup_symbol_aux_psymtabs (GLOBAL_BLOCK, name, linkage_name,
1489 /* Look, in partial_symtab PST, for symbol whose natural name is NAME.
1490 If LINKAGE_NAME is non-NULL, check in addition that the symbol's
1491 linkage name matches it. Check the global symbols if GLOBAL, the
1492 static symbols if not */
1494 struct partial_symbol *
1495 lookup_partial_symbol (struct partial_symtab *pst, const char *name,
1496 const char *linkage_name, int global,
1499 struct partial_symbol *temp;
1500 struct partial_symbol **start, **psym;
1501 struct partial_symbol **top, **real_top, **bottom, **center;
1502 int length = (global ? pst->n_global_syms : pst->n_static_syms);
1503 int do_linear_search = 1;
1510 pst->objfile->global_psymbols.list + pst->globals_offset :
1511 pst->objfile->static_psymbols.list + pst->statics_offset);
1513 if (global) /* This means we can use a binary search. */
1515 do_linear_search = 0;
1517 /* Binary search. This search is guaranteed to end with center
1518 pointing at the earliest partial symbol whose name might be
1519 correct. At that point *all* partial symbols with an
1520 appropriate name will be checked against the correct
1524 top = start + length - 1;
1526 while (top > bottom)
1528 center = bottom + (top - bottom) / 2;
1529 if (!(center < top))
1530 internal_error (__FILE__, __LINE__, "failed internal consistency check");
1531 if (!do_linear_search
1532 && (SYMBOL_LANGUAGE (*center) == language_java))
1534 do_linear_search = 1;
1536 if (strcmp_iw_ordered (SYMBOL_SEARCH_NAME (*center), name) >= 0)
1542 bottom = center + 1;
1545 if (!(top == bottom))
1546 internal_error (__FILE__, __LINE__, "failed internal consistency check");
1548 while (top <= real_top
1549 && (linkage_name != NULL
1550 ? strcmp (SYMBOL_LINKAGE_NAME (*top), linkage_name) == 0
1551 : SYMBOL_MATCHES_SEARCH_NAME (*top,name)))
1553 if (SYMBOL_DOMAIN (*top) == domain)
1561 /* Can't use a binary search or else we found during the binary search that
1562 we should also do a linear search. */
1564 if (do_linear_search)
1566 for (psym = start; psym < start + length; psym++)
1568 if (domain == SYMBOL_DOMAIN (*psym))
1570 if (linkage_name != NULL
1571 ? strcmp (SYMBOL_LINKAGE_NAME (*psym), linkage_name) == 0
1572 : SYMBOL_MATCHES_SEARCH_NAME (*psym, name))
1583 /* Look up a type named NAME in the struct_domain. The type returned
1584 must not be opaque -- i.e., must have at least one field
1588 lookup_transparent_type (const char *name)
1590 return current_language->la_lookup_transparent_type (name);
1593 /* The standard implementation of lookup_transparent_type. This code
1594 was modeled on lookup_symbol -- the parts not relevant to looking
1595 up types were just left out. In particular it's assumed here that
1596 types are available in struct_domain and only at file-static or
1600 basic_lookup_transparent_type (const char *name)
1603 struct symtab *s = NULL;
1604 struct partial_symtab *ps;
1605 struct blockvector *bv;
1606 struct objfile *objfile;
1607 struct block *block;
1609 /* Now search all the global symbols. Do the symtab's first, then
1610 check the psymtab's. If a psymtab indicates the existence
1611 of the desired name as a global, then do psymtab-to-symtab
1612 conversion on the fly and return the found symbol. */
1614 ALL_SYMTABS (objfile, s)
1616 bv = BLOCKVECTOR (s);
1617 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1618 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1619 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1621 return SYMBOL_TYPE (sym);
1625 ALL_PSYMTABS (objfile, ps)
1627 if (!ps->readin && lookup_partial_symbol (ps, name, NULL,
1630 s = PSYMTAB_TO_SYMTAB (ps);
1631 bv = BLOCKVECTOR (s);
1632 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1633 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1636 /* This shouldn't be necessary, but as a last resort
1637 * try looking in the statics even though the psymtab
1638 * claimed the symbol was global. It's possible that
1639 * the psymtab gets it wrong in some cases.
1641 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1642 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1644 error ("Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
1645 %s may be an inlined function, or may be a template function\n\
1646 (if a template, try specifying an instantiation: %s<type>).",
1647 name, ps->filename, name, name);
1649 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1650 return SYMBOL_TYPE (sym);
1654 /* Now search the static file-level symbols.
1655 Not strictly correct, but more useful than an error.
1656 Do the symtab's first, then
1657 check the psymtab's. If a psymtab indicates the existence
1658 of the desired name as a file-level static, then do psymtab-to-symtab
1659 conversion on the fly and return the found symbol.
1662 ALL_SYMTABS (objfile, s)
1664 bv = BLOCKVECTOR (s);
1665 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1666 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1667 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1669 return SYMBOL_TYPE (sym);
1673 ALL_PSYMTABS (objfile, ps)
1675 if (!ps->readin && lookup_partial_symbol (ps, name, NULL, 0, STRUCT_DOMAIN))
1677 s = PSYMTAB_TO_SYMTAB (ps);
1678 bv = BLOCKVECTOR (s);
1679 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1680 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1683 /* This shouldn't be necessary, but as a last resort
1684 * try looking in the globals even though the psymtab
1685 * claimed the symbol was static. It's possible that
1686 * the psymtab gets it wrong in some cases.
1688 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1689 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1691 error ("Internal: static symbol `%s' found in %s psymtab but not in symtab.\n\
1692 %s may be an inlined function, or may be a template function\n\
1693 (if a template, try specifying an instantiation: %s<type>).",
1694 name, ps->filename, name, name);
1696 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1697 return SYMBOL_TYPE (sym);
1700 return (struct type *) 0;
1704 /* Find the psymtab containing main(). */
1705 /* FIXME: What about languages without main() or specially linked
1706 executables that have no main() ? */
1708 struct partial_symtab *
1709 find_main_psymtab (void)
1711 struct partial_symtab *pst;
1712 struct objfile *objfile;
1714 ALL_PSYMTABS (objfile, pst)
1716 if (lookup_partial_symbol (pst, main_name (), NULL, 1, VAR_DOMAIN))
1724 /* Search BLOCK for symbol NAME in DOMAIN.
1726 Note that if NAME is the demangled form of a C++ symbol, we will fail
1727 to find a match during the binary search of the non-encoded names, but
1728 for now we don't worry about the slight inefficiency of looking for
1729 a match we'll never find, since it will go pretty quick. Once the
1730 binary search terminates, we drop through and do a straight linear
1731 search on the symbols. Each symbol which is marked as being a ObjC/C++
1732 symbol (language_cplus or language_objc set) has both the encoded and
1733 non-encoded names tested for a match.
1735 If LINKAGE_NAME is non-NULL, verify that any symbol we find has this
1736 particular mangled name.
1740 lookup_block_symbol (const struct block *block, const char *name,
1741 const char *linkage_name,
1742 const domain_enum domain)
1744 struct dict_iterator iter;
1747 if (!BLOCK_FUNCTION (block))
1749 for (sym = dict_iter_name_first (BLOCK_DICT (block), name, &iter);
1751 sym = dict_iter_name_next (name, &iter))
1753 if (SYMBOL_DOMAIN (sym) == domain
1754 && (linkage_name != NULL
1755 ? strcmp (SYMBOL_LINKAGE_NAME (sym), linkage_name) == 0 : 1))
1762 /* Note that parameter symbols do not always show up last in the
1763 list; this loop makes sure to take anything else other than
1764 parameter symbols first; it only uses parameter symbols as a
1765 last resort. Note that this only takes up extra computation
1768 struct symbol *sym_found = NULL;
1770 for (sym = dict_iter_name_first (BLOCK_DICT (block), name, &iter);
1772 sym = dict_iter_name_next (name, &iter))
1774 if (SYMBOL_DOMAIN (sym) == domain
1775 && (linkage_name != NULL
1776 ? strcmp (SYMBOL_LINKAGE_NAME (sym), linkage_name) == 0 : 1))
1779 if (SYMBOL_CLASS (sym) != LOC_ARG &&
1780 SYMBOL_CLASS (sym) != LOC_LOCAL_ARG &&
1781 SYMBOL_CLASS (sym) != LOC_REF_ARG &&
1782 SYMBOL_CLASS (sym) != LOC_REGPARM &&
1783 SYMBOL_CLASS (sym) != LOC_REGPARM_ADDR &&
1784 SYMBOL_CLASS (sym) != LOC_BASEREG_ARG &&
1785 SYMBOL_CLASS (sym) != LOC_COMPUTED_ARG)
1791 return (sym_found); /* Will be NULL if not found. */
1795 /* Find the symtab associated with PC and SECTION. Look through the
1796 psymtabs and read in another symtab if necessary. */
1799 find_pc_sect_symtab (CORE_ADDR pc, asection *section)
1802 struct blockvector *bv;
1803 struct symtab *s = NULL;
1804 struct symtab *best_s = NULL;
1805 struct partial_symtab *ps;
1806 struct objfile *objfile;
1807 CORE_ADDR distance = 0;
1808 struct minimal_symbol *msymbol;
1810 /* If we know that this is not a text address, return failure. This is
1811 necessary because we loop based on the block's high and low code
1812 addresses, which do not include the data ranges, and because
1813 we call find_pc_sect_psymtab which has a similar restriction based
1814 on the partial_symtab's texthigh and textlow. */
1815 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
1817 && (msymbol->type == mst_data
1818 || msymbol->type == mst_bss
1819 || msymbol->type == mst_abs
1820 || msymbol->type == mst_file_data
1821 || msymbol->type == mst_file_bss))
1824 /* Search all symtabs for the one whose file contains our address, and which
1825 is the smallest of all the ones containing the address. This is designed
1826 to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000
1827 and symtab b is at 0x2000-0x3000. So the GLOBAL_BLOCK for a is from
1828 0x1000-0x4000, but for address 0x2345 we want to return symtab b.
1830 This happens for native ecoff format, where code from included files
1831 gets its own symtab. The symtab for the included file should have
1832 been read in already via the dependency mechanism.
1833 It might be swifter to create several symtabs with the same name
1834 like xcoff does (I'm not sure).
1836 It also happens for objfiles that have their functions reordered.
1837 For these, the symtab we are looking for is not necessarily read in. */
1839 ALL_SYMTABS (objfile, s)
1841 bv = BLOCKVECTOR (s);
1842 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1844 if (BLOCK_START (b) <= pc
1845 && BLOCK_END (b) > pc
1847 || BLOCK_END (b) - BLOCK_START (b) < distance))
1849 /* For an objfile that has its functions reordered,
1850 find_pc_psymtab will find the proper partial symbol table
1851 and we simply return its corresponding symtab. */
1852 /* In order to better support objfiles that contain both
1853 stabs and coff debugging info, we continue on if a psymtab
1855 if ((objfile->flags & OBJF_REORDERED) && objfile->psymtabs)
1857 ps = find_pc_sect_psymtab (pc, section);
1859 return PSYMTAB_TO_SYMTAB (ps);
1863 struct dict_iterator iter;
1864 struct symbol *sym = NULL;
1866 ALL_BLOCK_SYMBOLS (b, iter, sym)
1868 fixup_symbol_section (sym, objfile);
1869 if (section == SYMBOL_BFD_SECTION (sym))
1873 continue; /* no symbol in this symtab matches section */
1875 distance = BLOCK_END (b) - BLOCK_START (b);
1884 ps = find_pc_sect_psymtab (pc, section);
1888 /* Might want to error() here (in case symtab is corrupt and
1889 will cause a core dump), but maybe we can successfully
1890 continue, so let's not. */
1892 (Internal error: pc 0x%s in read in psymtab, but not in symtab.)\n",
1894 s = PSYMTAB_TO_SYMTAB (ps);
1899 /* Find the symtab associated with PC. Look through the psymtabs and
1900 read in another symtab if necessary. Backward compatibility, no section */
1903 find_pc_symtab (CORE_ADDR pc)
1905 return find_pc_sect_symtab (pc, find_pc_mapped_section (pc));
1909 /* Find the source file and line number for a given PC value and SECTION.
1910 Return a structure containing a symtab pointer, a line number,
1911 and a pc range for the entire source line.
1912 The value's .pc field is NOT the specified pc.
1913 NOTCURRENT nonzero means, if specified pc is on a line boundary,
1914 use the line that ends there. Otherwise, in that case, the line
1915 that begins there is used. */
1917 /* The big complication here is that a line may start in one file, and end just
1918 before the start of another file. This usually occurs when you #include
1919 code in the middle of a subroutine. To properly find the end of a line's PC
1920 range, we must search all symtabs associated with this compilation unit, and
1921 find the one whose first PC is closer than that of the next line in this
1924 /* If it's worth the effort, we could be using a binary search. */
1926 struct symtab_and_line
1927 find_pc_sect_line (CORE_ADDR pc, struct bfd_section *section, int notcurrent)
1930 struct linetable *l;
1933 struct linetable_entry *item;
1934 struct symtab_and_line val;
1935 struct blockvector *bv;
1936 struct minimal_symbol *msymbol;
1937 struct minimal_symbol *mfunsym;
1939 /* Info on best line seen so far, and where it starts, and its file. */
1941 struct linetable_entry *best = NULL;
1942 CORE_ADDR best_end = 0;
1943 struct symtab *best_symtab = 0;
1945 /* Store here the first line number
1946 of a file which contains the line at the smallest pc after PC.
1947 If we don't find a line whose range contains PC,
1948 we will use a line one less than this,
1949 with a range from the start of that file to the first line's pc. */
1950 struct linetable_entry *alt = NULL;
1951 struct symtab *alt_symtab = 0;
1953 /* Info on best line seen in this file. */
1955 struct linetable_entry *prev;
1957 /* If this pc is not from the current frame,
1958 it is the address of the end of a call instruction.
1959 Quite likely that is the start of the following statement.
1960 But what we want is the statement containing the instruction.
1961 Fudge the pc to make sure we get that. */
1963 init_sal (&val); /* initialize to zeroes */
1965 /* It's tempting to assume that, if we can't find debugging info for
1966 any function enclosing PC, that we shouldn't search for line
1967 number info, either. However, GAS can emit line number info for
1968 assembly files --- very helpful when debugging hand-written
1969 assembly code. In such a case, we'd have no debug info for the
1970 function, but we would have line info. */
1975 /* elz: added this because this function returned the wrong
1976 information if the pc belongs to a stub (import/export)
1977 to call a shlib function. This stub would be anywhere between
1978 two functions in the target, and the line info was erroneously
1979 taken to be the one of the line before the pc.
1981 /* RT: Further explanation:
1983 * We have stubs (trampolines) inserted between procedures.
1985 * Example: "shr1" exists in a shared library, and a "shr1" stub also
1986 * exists in the main image.
1988 * In the minimal symbol table, we have a bunch of symbols
1989 * sorted by start address. The stubs are marked as "trampoline",
1990 * the others appear as text. E.g.:
1992 * Minimal symbol table for main image
1993 * main: code for main (text symbol)
1994 * shr1: stub (trampoline symbol)
1995 * foo: code for foo (text symbol)
1997 * Minimal symbol table for "shr1" image:
1999 * shr1: code for shr1 (text symbol)
2002 * So the code below is trying to detect if we are in the stub
2003 * ("shr1" stub), and if so, find the real code ("shr1" trampoline),
2004 * and if found, do the symbolization from the real-code address
2005 * rather than the stub address.
2007 * Assumptions being made about the minimal symbol table:
2008 * 1. lookup_minimal_symbol_by_pc() will return a trampoline only
2009 * if we're really in the trampoline. If we're beyond it (say
2010 * we're in "foo" in the above example), it'll have a closer
2011 * symbol (the "foo" text symbol for example) and will not
2012 * return the trampoline.
2013 * 2. lookup_minimal_symbol_text() will find a real text symbol
2014 * corresponding to the trampoline, and whose address will
2015 * be different than the trampoline address. I put in a sanity
2016 * check for the address being the same, to avoid an
2017 * infinite recursion.
2019 msymbol = lookup_minimal_symbol_by_pc (pc);
2020 if (msymbol != NULL)
2021 if (MSYMBOL_TYPE (msymbol) == mst_solib_trampoline)
2023 mfunsym = lookup_minimal_symbol_text (SYMBOL_LINKAGE_NAME (msymbol),
2025 if (mfunsym == NULL)
2026 /* I eliminated this warning since it is coming out
2027 * in the following situation:
2028 * gdb shmain // test program with shared libraries
2029 * (gdb) break shr1 // function in shared lib
2030 * Warning: In stub for ...
2031 * In the above situation, the shared lib is not loaded yet,
2032 * so of course we can't find the real func/line info,
2033 * but the "break" still works, and the warning is annoying.
2034 * So I commented out the warning. RT */
2035 /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
2037 else if (SYMBOL_VALUE (mfunsym) == SYMBOL_VALUE (msymbol))
2038 /* Avoid infinite recursion */
2039 /* See above comment about why warning is commented out */
2040 /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
2043 return find_pc_line (SYMBOL_VALUE (mfunsym), 0);
2047 s = find_pc_sect_symtab (pc, section);
2050 /* if no symbol information, return previous pc */
2057 bv = BLOCKVECTOR (s);
2059 /* Look at all the symtabs that share this blockvector.
2060 They all have the same apriori range, that we found was right;
2061 but they have different line tables. */
2063 for (; s && BLOCKVECTOR (s) == bv; s = s->next)
2065 /* Find the best line in this symtab. */
2072 /* I think len can be zero if the symtab lacks line numbers
2073 (e.g. gcc -g1). (Either that or the LINETABLE is NULL;
2074 I'm not sure which, and maybe it depends on the symbol
2080 item = l->item; /* Get first line info */
2082 /* Is this file's first line closer than the first lines of other files?
2083 If so, record this file, and its first line, as best alternate. */
2084 if (item->pc > pc && (!alt || item->pc < alt->pc))
2090 for (i = 0; i < len; i++, item++)
2092 /* Leave prev pointing to the linetable entry for the last line
2093 that started at or before PC. */
2100 /* At this point, prev points at the line whose start addr is <= pc, and
2101 item points at the next line. If we ran off the end of the linetable
2102 (pc >= start of the last line), then prev == item. If pc < start of
2103 the first line, prev will not be set. */
2105 /* Is this file's best line closer than the best in the other files?
2106 If so, record this file, and its best line, as best so far. Don't
2107 save prev if it represents the end of a function (i.e. line number
2108 0) instead of a real line. */
2110 if (prev && prev->line && (!best || prev->pc > best->pc))
2115 /* Discard BEST_END if it's before the PC of the current BEST. */
2116 if (best_end <= best->pc)
2120 /* If another line (denoted by ITEM) is in the linetable and its
2121 PC is after BEST's PC, but before the current BEST_END, then
2122 use ITEM's PC as the new best_end. */
2123 if (best && i < len && item->pc > best->pc
2124 && (best_end == 0 || best_end > item->pc))
2125 best_end = item->pc;
2131 { /* If we didn't find any line # info, just
2137 val.symtab = alt_symtab;
2138 val.line = alt->line - 1;
2140 /* Don't return line 0, that means that we didn't find the line. */
2144 val.pc = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2148 else if (best->line == 0)
2150 /* If our best fit is in a range of PC's for which no line
2151 number info is available (line number is zero) then we didn't
2152 find any valid line information. */
2157 val.symtab = best_symtab;
2158 val.line = best->line;
2160 if (best_end && (!alt || best_end < alt->pc))
2165 val.end = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2167 val.section = section;
2171 /* Backward compatibility (no section) */
2173 struct symtab_and_line
2174 find_pc_line (CORE_ADDR pc, int notcurrent)
2178 section = find_pc_overlay (pc);
2179 if (pc_in_unmapped_range (pc, section))
2180 pc = overlay_mapped_address (pc, section);
2181 return find_pc_sect_line (pc, section, notcurrent);
2184 /* Find line number LINE in any symtab whose name is the same as
2187 If found, return the symtab that contains the linetable in which it was
2188 found, set *INDEX to the index in the linetable of the best entry
2189 found, and set *EXACT_MATCH nonzero if the value returned is an
2192 If not found, return NULL. */
2195 find_line_symtab (struct symtab *symtab, int line, int *index, int *exact_match)
2199 /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE
2203 struct linetable *best_linetable;
2204 struct symtab *best_symtab;
2206 /* First try looking it up in the given symtab. */
2207 best_linetable = LINETABLE (symtab);
2208 best_symtab = symtab;
2209 best_index = find_line_common (best_linetable, line, &exact);
2210 if (best_index < 0 || !exact)
2212 /* Didn't find an exact match. So we better keep looking for
2213 another symtab with the same name. In the case of xcoff,
2214 multiple csects for one source file (produced by IBM's FORTRAN
2215 compiler) produce multiple symtabs (this is unavoidable
2216 assuming csects can be at arbitrary places in memory and that
2217 the GLOBAL_BLOCK of a symtab has a begin and end address). */
2219 /* BEST is the smallest linenumber > LINE so far seen,
2220 or 0 if none has been seen so far.
2221 BEST_INDEX and BEST_LINETABLE identify the item for it. */
2224 struct objfile *objfile;
2227 if (best_index >= 0)
2228 best = best_linetable->item[best_index].line;
2232 ALL_SYMTABS (objfile, s)
2234 struct linetable *l;
2237 if (strcmp (symtab->filename, s->filename) != 0)
2240 ind = find_line_common (l, line, &exact);
2250 if (best == 0 || l->item[ind].line < best)
2252 best = l->item[ind].line;
2265 *index = best_index;
2267 *exact_match = exact;
2272 /* Set the PC value for a given source file and line number and return true.
2273 Returns zero for invalid line number (and sets the PC to 0).
2274 The source file is specified with a struct symtab. */
2277 find_line_pc (struct symtab *symtab, int line, CORE_ADDR *pc)
2279 struct linetable *l;
2286 symtab = find_line_symtab (symtab, line, &ind, NULL);
2289 l = LINETABLE (symtab);
2290 *pc = l->item[ind].pc;
2297 /* Find the range of pc values in a line.
2298 Store the starting pc of the line into *STARTPTR
2299 and the ending pc (start of next line) into *ENDPTR.
2300 Returns 1 to indicate success.
2301 Returns 0 if could not find the specified line. */
2304 find_line_pc_range (struct symtab_and_line sal, CORE_ADDR *startptr,
2307 CORE_ADDR startaddr;
2308 struct symtab_and_line found_sal;
2311 if (startaddr == 0 && !find_line_pc (sal.symtab, sal.line, &startaddr))
2314 /* This whole function is based on address. For example, if line 10 has
2315 two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then
2316 "info line *0x123" should say the line goes from 0x100 to 0x200
2317 and "info line *0x355" should say the line goes from 0x300 to 0x400.
2318 This also insures that we never give a range like "starts at 0x134
2319 and ends at 0x12c". */
2321 found_sal = find_pc_sect_line (startaddr, sal.section, 0);
2322 if (found_sal.line != sal.line)
2324 /* The specified line (sal) has zero bytes. */
2325 *startptr = found_sal.pc;
2326 *endptr = found_sal.pc;
2330 *startptr = found_sal.pc;
2331 *endptr = found_sal.end;
2336 /* Given a line table and a line number, return the index into the line
2337 table for the pc of the nearest line whose number is >= the specified one.
2338 Return -1 if none is found. The value is >= 0 if it is an index.
2340 Set *EXACT_MATCH nonzero if the value returned is an exact match. */
2343 find_line_common (struct linetable *l, int lineno,
2349 /* BEST is the smallest linenumber > LINENO so far seen,
2350 or 0 if none has been seen so far.
2351 BEST_INDEX identifies the item for it. */
2353 int best_index = -1;
2362 for (i = 0; i < len; i++)
2364 struct linetable_entry *item = &(l->item[i]);
2366 if (item->line == lineno)
2368 /* Return the first (lowest address) entry which matches. */
2373 if (item->line > lineno && (best == 0 || item->line < best))
2380 /* If we got here, we didn't get an exact match. */
2387 find_pc_line_pc_range (CORE_ADDR pc, CORE_ADDR *startptr, CORE_ADDR *endptr)
2389 struct symtab_and_line sal;
2390 sal = find_pc_line (pc, 0);
2393 return sal.symtab != 0;
2396 /* Given a function symbol SYM, find the symtab and line for the start
2398 If the argument FUNFIRSTLINE is nonzero, we want the first line
2399 of real code inside the function. */
2401 struct symtab_and_line
2402 find_function_start_sal (struct symbol *sym, int funfirstline)
2405 struct symtab_and_line sal;
2407 pc = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
2408 fixup_symbol_section (sym, NULL);
2410 { /* skip "first line" of function (which is actually its prologue) */
2411 asection *section = SYMBOL_BFD_SECTION (sym);
2412 /* If function is in an unmapped overlay, use its unmapped LMA
2413 address, so that SKIP_PROLOGUE has something unique to work on */
2414 if (section_is_overlay (section) &&
2415 !section_is_mapped (section))
2416 pc = overlay_unmapped_address (pc, section);
2418 pc += DEPRECATED_FUNCTION_START_OFFSET;
2419 pc = SKIP_PROLOGUE (pc);
2421 /* For overlays, map pc back into its mapped VMA range */
2422 pc = overlay_mapped_address (pc, section);
2424 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2426 /* Check if SKIP_PROLOGUE left us in mid-line, and the next
2427 line is still part of the same function. */
2429 && BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= sal.end
2430 && sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
2432 /* First pc of next line */
2434 /* Recalculate the line number (might not be N+1). */
2435 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2442 /* If P is of the form "operator[ \t]+..." where `...' is
2443 some legitimate operator text, return a pointer to the
2444 beginning of the substring of the operator text.
2445 Otherwise, return "". */
2447 operator_chars (char *p, char **end)
2450 if (strncmp (p, "operator", 8))
2454 /* Don't get faked out by `operator' being part of a longer
2456 if (isalpha (*p) || *p == '_' || *p == '$' || *p == '\0')
2459 /* Allow some whitespace between `operator' and the operator symbol. */
2460 while (*p == ' ' || *p == '\t')
2463 /* Recognize 'operator TYPENAME'. */
2465 if (isalpha (*p) || *p == '_' || *p == '$')
2468 while (isalnum (*q) || *q == '_' || *q == '$')
2477 case '\\': /* regexp quoting */
2480 if (p[2] == '=') /* 'operator\*=' */
2482 else /* 'operator\*' */
2486 else if (p[1] == '[')
2489 error ("mismatched quoting on brackets, try 'operator\\[\\]'");
2490 else if (p[2] == '\\' && p[3] == ']')
2492 *end = p + 4; /* 'operator\[\]' */
2496 error ("nothing is allowed between '[' and ']'");
2500 /* Gratuitous qoute: skip it and move on. */
2522 if (p[0] == '-' && p[1] == '>')
2524 /* Struct pointer member operator 'operator->'. */
2527 *end = p + 3; /* 'operator->*' */
2530 else if (p[2] == '\\')
2532 *end = p + 4; /* Hopefully 'operator->\*' */
2537 *end = p + 2; /* 'operator->' */
2541 if (p[1] == '=' || p[1] == p[0])
2552 error ("`operator ()' must be specified without whitespace in `()'");
2557 error ("`operator ?:' must be specified without whitespace in `?:'");
2562 error ("`operator []' must be specified without whitespace in `[]'");
2566 error ("`operator %s' not supported", p);
2575 /* If FILE is not already in the table of files, return zero;
2576 otherwise return non-zero. Optionally add FILE to the table if ADD
2577 is non-zero. If *FIRST is non-zero, forget the old table
2580 filename_seen (const char *file, int add, int *first)
2582 /* Table of files seen so far. */
2583 static const char **tab = NULL;
2584 /* Allocated size of tab in elements.
2585 Start with one 256-byte block (when using GNU malloc.c).
2586 24 is the malloc overhead when range checking is in effect. */
2587 static int tab_alloc_size = (256 - 24) / sizeof (char *);
2588 /* Current size of tab in elements. */
2589 static int tab_cur_size;
2595 tab = (const char **) xmalloc (tab_alloc_size * sizeof (*tab));
2599 /* Is FILE in tab? */
2600 for (p = tab; p < tab + tab_cur_size; p++)
2601 if (strcmp (*p, file) == 0)
2604 /* No; maybe add it to tab. */
2607 if (tab_cur_size == tab_alloc_size)
2609 tab_alloc_size *= 2;
2610 tab = (const char **) xrealloc ((char *) tab,
2611 tab_alloc_size * sizeof (*tab));
2613 tab[tab_cur_size++] = file;
2619 /* Slave routine for sources_info. Force line breaks at ,'s.
2620 NAME is the name to print and *FIRST is nonzero if this is the first
2621 name printed. Set *FIRST to zero. */
2623 output_source_filename (const char *name, int *first)
2625 /* Since a single source file can result in several partial symbol
2626 tables, we need to avoid printing it more than once. Note: if
2627 some of the psymtabs are read in and some are not, it gets
2628 printed both under "Source files for which symbols have been
2629 read" and "Source files for which symbols will be read in on
2630 demand". I consider this a reasonable way to deal with the
2631 situation. I'm not sure whether this can also happen for
2632 symtabs; it doesn't hurt to check. */
2634 /* Was NAME already seen? */
2635 if (filename_seen (name, 1, first))
2637 /* Yes; don't print it again. */
2640 /* No; print it and reset *FIRST. */
2647 printf_filtered (", ");
2651 fputs_filtered (name, gdb_stdout);
2655 sources_info (char *ignore, int from_tty)
2658 struct partial_symtab *ps;
2659 struct objfile *objfile;
2662 if (!have_full_symbols () && !have_partial_symbols ())
2664 error ("No symbol table is loaded. Use the \"file\" command.");
2667 printf_filtered ("Source files for which symbols have been read in:\n\n");
2670 ALL_SYMTABS (objfile, s)
2672 const char *fullname = symtab_to_fullname (s);
2673 output_source_filename (fullname ? fullname : s->filename, &first);
2675 printf_filtered ("\n\n");
2677 printf_filtered ("Source files for which symbols will be read in on demand:\n\n");
2680 ALL_PSYMTABS (objfile, ps)
2684 const char *fullname = psymtab_to_fullname (ps);
2685 output_source_filename (fullname ? fullname : ps->filename, &first);
2688 printf_filtered ("\n");
2692 file_matches (char *file, char *files[], int nfiles)
2696 if (file != NULL && nfiles != 0)
2698 for (i = 0; i < nfiles; i++)
2700 if (strcmp (files[i], lbasename (file)) == 0)
2704 else if (nfiles == 0)
2709 /* Free any memory associated with a search. */
2711 free_search_symbols (struct symbol_search *symbols)
2713 struct symbol_search *p;
2714 struct symbol_search *next;
2716 for (p = symbols; p != NULL; p = next)
2724 do_free_search_symbols_cleanup (void *symbols)
2726 free_search_symbols (symbols);
2730 make_cleanup_free_search_symbols (struct symbol_search *symbols)
2732 return make_cleanup (do_free_search_symbols_cleanup, symbols);
2735 /* Helper function for sort_search_symbols and qsort. Can only
2736 sort symbols, not minimal symbols. */
2738 compare_search_syms (const void *sa, const void *sb)
2740 struct symbol_search **sym_a = (struct symbol_search **) sa;
2741 struct symbol_search **sym_b = (struct symbol_search **) sb;
2743 return strcmp (SYMBOL_PRINT_NAME ((*sym_a)->symbol),
2744 SYMBOL_PRINT_NAME ((*sym_b)->symbol));
2747 /* Sort the ``nfound'' symbols in the list after prevtail. Leave
2748 prevtail where it is, but update its next pointer to point to
2749 the first of the sorted symbols. */
2750 static struct symbol_search *
2751 sort_search_symbols (struct symbol_search *prevtail, int nfound)
2753 struct symbol_search **symbols, *symp, *old_next;
2756 symbols = (struct symbol_search **) xmalloc (sizeof (struct symbol_search *)
2758 symp = prevtail->next;
2759 for (i = 0; i < nfound; i++)
2764 /* Generally NULL. */
2767 qsort (symbols, nfound, sizeof (struct symbol_search *),
2768 compare_search_syms);
2771 for (i = 0; i < nfound; i++)
2773 symp->next = symbols[i];
2776 symp->next = old_next;
2782 /* Search the symbol table for matches to the regular expression REGEXP,
2783 returning the results in *MATCHES.
2785 Only symbols of KIND are searched:
2786 FUNCTIONS_DOMAIN - search all functions
2787 TYPES_DOMAIN - search all type names
2788 METHODS_DOMAIN - search all methods NOT IMPLEMENTED
2789 VARIABLES_DOMAIN - search all symbols, excluding functions, type names,
2790 and constants (enums)
2792 free_search_symbols should be called when *MATCHES is no longer needed.
2794 The results are sorted locally; each symtab's global and static blocks are
2795 separately alphabetized.
2798 search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
2799 struct symbol_search **matches)
2802 struct partial_symtab *ps;
2803 struct blockvector *bv;
2804 struct blockvector *prev_bv = 0;
2807 struct dict_iterator iter;
2809 struct partial_symbol **psym;
2810 struct objfile *objfile;
2811 struct minimal_symbol *msymbol;
2814 static enum minimal_symbol_type types[]
2816 {mst_data, mst_text, mst_abs, mst_unknown};
2817 static enum minimal_symbol_type types2[]
2819 {mst_bss, mst_file_text, mst_abs, mst_unknown};
2820 static enum minimal_symbol_type types3[]
2822 {mst_file_data, mst_solib_trampoline, mst_abs, mst_unknown};
2823 static enum minimal_symbol_type types4[]
2825 {mst_file_bss, mst_text, mst_abs, mst_unknown};
2826 enum minimal_symbol_type ourtype;
2827 enum minimal_symbol_type ourtype2;
2828 enum minimal_symbol_type ourtype3;
2829 enum minimal_symbol_type ourtype4;
2830 struct symbol_search *sr;
2831 struct symbol_search *psr;
2832 struct symbol_search *tail;
2833 struct cleanup *old_chain = NULL;
2835 if (kind < VARIABLES_DOMAIN)
2836 error ("must search on specific domain");
2838 ourtype = types[(int) (kind - VARIABLES_DOMAIN)];
2839 ourtype2 = types2[(int) (kind - VARIABLES_DOMAIN)];
2840 ourtype3 = types3[(int) (kind - VARIABLES_DOMAIN)];
2841 ourtype4 = types4[(int) (kind - VARIABLES_DOMAIN)];
2843 sr = *matches = NULL;
2848 /* Make sure spacing is right for C++ operators.
2849 This is just a courtesy to make the matching less sensitive
2850 to how many spaces the user leaves between 'operator'
2851 and <TYPENAME> or <OPERATOR>. */
2853 char *opname = operator_chars (regexp, &opend);
2856 int fix = -1; /* -1 means ok; otherwise number of spaces needed. */
2857 if (isalpha (*opname) || *opname == '_' || *opname == '$')
2859 /* There should 1 space between 'operator' and 'TYPENAME'. */
2860 if (opname[-1] != ' ' || opname[-2] == ' ')
2865 /* There should 0 spaces between 'operator' and 'OPERATOR'. */
2866 if (opname[-1] == ' ')
2869 /* If wrong number of spaces, fix it. */
2872 char *tmp = (char *) alloca (8 + fix + strlen (opname) + 1);
2873 sprintf (tmp, "operator%.*s%s", fix, " ", opname);
2878 if (0 != (val = re_comp (regexp)))
2879 error ("Invalid regexp (%s): %s", val, regexp);
2882 /* Search through the partial symtabs *first* for all symbols
2883 matching the regexp. That way we don't have to reproduce all of
2884 the machinery below. */
2886 ALL_PSYMTABS (objfile, ps)
2888 struct partial_symbol **bound, **gbound, **sbound;
2894 gbound = objfile->global_psymbols.list + ps->globals_offset + ps->n_global_syms;
2895 sbound = objfile->static_psymbols.list + ps->statics_offset + ps->n_static_syms;
2898 /* Go through all of the symbols stored in a partial
2899 symtab in one loop. */
2900 psym = objfile->global_psymbols.list + ps->globals_offset;
2905 if (bound == gbound && ps->n_static_syms != 0)
2907 psym = objfile->static_psymbols.list + ps->statics_offset;
2918 /* If it would match (logic taken from loop below)
2919 load the file and go on to the next one */
2920 if (file_matches (ps->filename, files, nfiles)
2922 || re_exec (SYMBOL_NATURAL_NAME (*psym)) != 0)
2923 && ((kind == VARIABLES_DOMAIN && SYMBOL_CLASS (*psym) != LOC_TYPEDEF
2924 && SYMBOL_CLASS (*psym) != LOC_BLOCK)
2925 || (kind == FUNCTIONS_DOMAIN && SYMBOL_CLASS (*psym) == LOC_BLOCK)
2926 || (kind == TYPES_DOMAIN && SYMBOL_CLASS (*psym) == LOC_TYPEDEF)
2927 || (kind == METHODS_DOMAIN && SYMBOL_CLASS (*psym) == LOC_BLOCK))))
2929 PSYMTAB_TO_SYMTAB (ps);
2937 /* Here, we search through the minimal symbol tables for functions
2938 and variables that match, and force their symbols to be read.
2939 This is in particular necessary for demangled variable names,
2940 which are no longer put into the partial symbol tables.
2941 The symbol will then be found during the scan of symtabs below.
2943 For functions, find_pc_symtab should succeed if we have debug info
2944 for the function, for variables we have to call lookup_symbol
2945 to determine if the variable has debug info.
2946 If the lookup fails, set found_misc so that we will rescan to print
2947 any matching symbols without debug info.
2950 if (nfiles == 0 && (kind == VARIABLES_DOMAIN || kind == FUNCTIONS_DOMAIN))
2952 ALL_MSYMBOLS (objfile, msymbol)
2954 if (MSYMBOL_TYPE (msymbol) == ourtype ||
2955 MSYMBOL_TYPE (msymbol) == ourtype2 ||
2956 MSYMBOL_TYPE (msymbol) == ourtype3 ||
2957 MSYMBOL_TYPE (msymbol) == ourtype4)
2960 || re_exec (SYMBOL_NATURAL_NAME (msymbol)) != 0)
2962 if (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol)))
2964 /* FIXME: carlton/2003-02-04: Given that the
2965 semantics of lookup_symbol keeps on changing
2966 slightly, it would be a nice idea if we had a
2967 function lookup_symbol_minsym that found the
2968 symbol associated to a given minimal symbol (if
2970 if (kind == FUNCTIONS_DOMAIN
2971 || lookup_symbol (SYMBOL_LINKAGE_NAME (msymbol),
2972 (struct block *) NULL,
2974 0, (struct symtab **) NULL) == NULL)
2982 ALL_SYMTABS (objfile, s)
2984 bv = BLOCKVECTOR (s);
2985 /* Often many files share a blockvector.
2986 Scan each blockvector only once so that
2987 we don't get every symbol many times.
2988 It happens that the first symtab in the list
2989 for any given blockvector is the main file. */
2991 for (i = GLOBAL_BLOCK; i <= STATIC_BLOCK; i++)
2993 struct symbol_search *prevtail = tail;
2995 b = BLOCKVECTOR_BLOCK (bv, i);
2996 ALL_BLOCK_SYMBOLS (b, iter, sym)
2999 if (file_matches (s->filename, files, nfiles)
3001 || re_exec (SYMBOL_NATURAL_NAME (sym)) != 0)
3002 && ((kind == VARIABLES_DOMAIN && SYMBOL_CLASS (sym) != LOC_TYPEDEF
3003 && SYMBOL_CLASS (sym) != LOC_BLOCK
3004 && SYMBOL_CLASS (sym) != LOC_CONST)
3005 || (kind == FUNCTIONS_DOMAIN && SYMBOL_CLASS (sym) == LOC_BLOCK)
3006 || (kind == TYPES_DOMAIN && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
3007 || (kind == METHODS_DOMAIN && SYMBOL_CLASS (sym) == LOC_BLOCK))))
3010 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
3014 psr->msymbol = NULL;
3026 if (prevtail == NULL)
3028 struct symbol_search dummy;
3031 tail = sort_search_symbols (&dummy, nfound);
3034 old_chain = make_cleanup_free_search_symbols (sr);
3037 tail = sort_search_symbols (prevtail, nfound);
3043 /* If there are no eyes, avoid all contact. I mean, if there are
3044 no debug symbols, then print directly from the msymbol_vector. */
3046 if (found_misc || kind != FUNCTIONS_DOMAIN)
3048 ALL_MSYMBOLS (objfile, msymbol)
3050 if (MSYMBOL_TYPE (msymbol) == ourtype ||
3051 MSYMBOL_TYPE (msymbol) == ourtype2 ||
3052 MSYMBOL_TYPE (msymbol) == ourtype3 ||
3053 MSYMBOL_TYPE (msymbol) == ourtype4)
3056 || re_exec (SYMBOL_NATURAL_NAME (msymbol)) != 0)
3058 /* Functions: Look up by address. */
3059 if (kind != FUNCTIONS_DOMAIN ||
3060 (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol))))
3062 /* Variables/Absolutes: Look up by name */
3063 if (lookup_symbol (SYMBOL_LINKAGE_NAME (msymbol),
3064 (struct block *) NULL, VAR_DOMAIN,
3065 0, (struct symtab **) NULL) == NULL)
3068 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
3070 psr->msymbol = msymbol;
3077 old_chain = make_cleanup_free_search_symbols (sr);
3091 discard_cleanups (old_chain);
3094 /* Helper function for symtab_symbol_info, this function uses
3095 the data returned from search_symbols() to print information
3096 regarding the match to gdb_stdout.
3099 print_symbol_info (domain_enum kind, struct symtab *s, struct symbol *sym,
3100 int block, char *last)
3102 if (last == NULL || strcmp (last, s->filename) != 0)
3104 fputs_filtered ("\nFile ", gdb_stdout);
3105 fputs_filtered (s->filename, gdb_stdout);
3106 fputs_filtered (":\n", gdb_stdout);
3109 if (kind != TYPES_DOMAIN && block == STATIC_BLOCK)
3110 printf_filtered ("static ");
3112 /* Typedef that is not a C++ class */
3113 if (kind == TYPES_DOMAIN
3114 && SYMBOL_DOMAIN (sym) != STRUCT_DOMAIN)
3115 typedef_print (SYMBOL_TYPE (sym), sym, gdb_stdout);
3116 /* variable, func, or typedef-that-is-c++-class */
3117 else if (kind < TYPES_DOMAIN ||
3118 (kind == TYPES_DOMAIN &&
3119 SYMBOL_DOMAIN (sym) == STRUCT_DOMAIN))
3121 type_print (SYMBOL_TYPE (sym),
3122 (SYMBOL_CLASS (sym) == LOC_TYPEDEF
3123 ? "" : SYMBOL_PRINT_NAME (sym)),
3126 printf_filtered (";\n");
3130 /* This help function for symtab_symbol_info() prints information
3131 for non-debugging symbols to gdb_stdout.
3134 print_msymbol_info (struct minimal_symbol *msymbol)
3138 if (TARGET_ADDR_BIT <= 32)
3139 tmp = hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol)
3140 & (CORE_ADDR) 0xffffffff,
3143 tmp = hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol),
3145 printf_filtered ("%s %s\n",
3146 tmp, SYMBOL_PRINT_NAME (msymbol));
3149 /* This is the guts of the commands "info functions", "info types", and
3150 "info variables". It calls search_symbols to find all matches and then
3151 print_[m]symbol_info to print out some useful information about the
3155 symtab_symbol_info (char *regexp, domain_enum kind, int from_tty)
3157 static char *classnames[]
3159 {"variable", "function", "type", "method"};
3160 struct symbol_search *symbols;
3161 struct symbol_search *p;
3162 struct cleanup *old_chain;
3163 char *last_filename = NULL;
3166 /* must make sure that if we're interrupted, symbols gets freed */
3167 search_symbols (regexp, kind, 0, (char **) NULL, &symbols);
3168 old_chain = make_cleanup_free_search_symbols (symbols);
3170 printf_filtered (regexp
3171 ? "All %ss matching regular expression \"%s\":\n"
3172 : "All defined %ss:\n",
3173 classnames[(int) (kind - VARIABLES_DOMAIN)], regexp);
3175 for (p = symbols; p != NULL; p = p->next)
3179 if (p->msymbol != NULL)
3183 printf_filtered ("\nNon-debugging symbols:\n");
3186 print_msymbol_info (p->msymbol);
3190 print_symbol_info (kind,
3195 last_filename = p->symtab->filename;
3199 do_cleanups (old_chain);
3203 variables_info (char *regexp, int from_tty)
3205 symtab_symbol_info (regexp, VARIABLES_DOMAIN, from_tty);
3209 functions_info (char *regexp, int from_tty)
3211 symtab_symbol_info (regexp, FUNCTIONS_DOMAIN, from_tty);
3216 types_info (char *regexp, int from_tty)
3218 symtab_symbol_info (regexp, TYPES_DOMAIN, from_tty);
3221 /* Breakpoint all functions matching regular expression. */
3224 rbreak_command_wrapper (char *regexp, int from_tty)
3226 rbreak_command (regexp, from_tty);
3230 rbreak_command (char *regexp, int from_tty)
3232 struct symbol_search *ss;
3233 struct symbol_search *p;
3234 struct cleanup *old_chain;
3236 search_symbols (regexp, FUNCTIONS_DOMAIN, 0, (char **) NULL, &ss);
3237 old_chain = make_cleanup_free_search_symbols (ss);
3239 for (p = ss; p != NULL; p = p->next)
3241 if (p->msymbol == NULL)
3243 char *string = alloca (strlen (p->symtab->filename)
3244 + strlen (SYMBOL_LINKAGE_NAME (p->symbol))
3246 strcpy (string, p->symtab->filename);
3247 strcat (string, ":'");
3248 strcat (string, SYMBOL_LINKAGE_NAME (p->symbol));
3249 strcat (string, "'");
3250 break_command (string, from_tty);
3251 print_symbol_info (FUNCTIONS_DOMAIN,
3255 p->symtab->filename);
3259 break_command (SYMBOL_LINKAGE_NAME (p->msymbol), from_tty);
3260 printf_filtered ("<function, no debug info> %s;\n",
3261 SYMBOL_PRINT_NAME (p->msymbol));
3265 do_cleanups (old_chain);
3269 /* Helper routine for make_symbol_completion_list. */
3271 static int return_val_size;
3272 static int return_val_index;
3273 static char **return_val;
3275 #define COMPLETION_LIST_ADD_SYMBOL(symbol, sym_text, len, text, word) \
3276 completion_list_add_name \
3277 (SYMBOL_NATURAL_NAME (symbol), (sym_text), (len), (text), (word))
3279 /* Test to see if the symbol specified by SYMNAME (which is already
3280 demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN
3281 characters. If so, add it to the current completion list. */
3284 completion_list_add_name (char *symname, char *sym_text, int sym_text_len,
3285 char *text, char *word)
3290 /* clip symbols that cannot match */
3292 if (strncmp (symname, sym_text, sym_text_len) != 0)
3297 /* We have a match for a completion, so add SYMNAME to the current list
3298 of matches. Note that the name is moved to freshly malloc'd space. */
3302 if (word == sym_text)
3304 new = xmalloc (strlen (symname) + 5);
3305 strcpy (new, symname);
3307 else if (word > sym_text)
3309 /* Return some portion of symname. */
3310 new = xmalloc (strlen (symname) + 5);
3311 strcpy (new, symname + (word - sym_text));
3315 /* Return some of SYM_TEXT plus symname. */
3316 new = xmalloc (strlen (symname) + (sym_text - word) + 5);
3317 strncpy (new, word, sym_text - word);
3318 new[sym_text - word] = '\0';
3319 strcat (new, symname);
3322 if (return_val_index + 3 > return_val_size)
3324 newsize = (return_val_size *= 2) * sizeof (char *);
3325 return_val = (char **) xrealloc ((char *) return_val, newsize);
3327 return_val[return_val_index++] = new;
3328 return_val[return_val_index] = NULL;
3332 /* ObjC: In case we are completing on a selector, look as the msymbol
3333 again and feed all the selectors into the mill. */
3336 completion_list_objc_symbol (struct minimal_symbol *msymbol, char *sym_text,
3337 int sym_text_len, char *text, char *word)
3339 static char *tmp = NULL;
3340 static unsigned int tmplen = 0;
3342 char *method, *category, *selector;
3345 method = SYMBOL_NATURAL_NAME (msymbol);
3347 /* Is it a method? */
3348 if ((method[0] != '-') && (method[0] != '+'))
3351 if (sym_text[0] == '[')
3352 /* Complete on shortened method method. */
3353 completion_list_add_name (method + 1, sym_text, sym_text_len, text, word);
3355 while ((strlen (method) + 1) >= tmplen)
3361 tmp = xrealloc (tmp, tmplen);
3363 selector = strchr (method, ' ');
3364 if (selector != NULL)
3367 category = strchr (method, '(');
3369 if ((category != NULL) && (selector != NULL))
3371 memcpy (tmp, method, (category - method));
3372 tmp[category - method] = ' ';
3373 memcpy (tmp + (category - method) + 1, selector, strlen (selector) + 1);
3374 completion_list_add_name (tmp, sym_text, sym_text_len, text, word);
3375 if (sym_text[0] == '[')
3376 completion_list_add_name (tmp + 1, sym_text, sym_text_len, text, word);
3379 if (selector != NULL)
3381 /* Complete on selector only. */
3382 strcpy (tmp, selector);
3383 tmp2 = strchr (tmp, ']');
3387 completion_list_add_name (tmp, sym_text, sym_text_len, text, word);
3391 /* Break the non-quoted text based on the characters which are in
3392 symbols. FIXME: This should probably be language-specific. */
3395 language_search_unquoted_string (char *text, char *p)
3397 for (; p > text; --p)
3399 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3403 if ((current_language->la_language == language_objc))
3405 if (p[-1] == ':') /* might be part of a method name */
3407 else if (p[-1] == '[' && (p[-2] == '-' || p[-2] == '+'))
3408 p -= 2; /* beginning of a method name */
3409 else if (p[-1] == ' ' || p[-1] == '(' || p[-1] == ')')
3410 { /* might be part of a method name */
3413 /* Seeing a ' ' or a '(' is not conclusive evidence
3414 that we are in the middle of a method name. However,
3415 finding "-[" or "+[" should be pretty un-ambiguous.
3416 Unfortunately we have to find it now to decide. */
3419 if (isalnum (t[-1]) || t[-1] == '_' ||
3420 t[-1] == ' ' || t[-1] == ':' ||
3421 t[-1] == '(' || t[-1] == ')')
3426 if (t[-1] == '[' && (t[-2] == '-' || t[-2] == '+'))
3427 p = t - 2; /* method name detected */
3428 /* else we leave with p unchanged */
3438 /* Return a NULL terminated array of all symbols (regardless of class)
3439 which begin by matching TEXT. If the answer is no symbols, then
3440 the return value is an array which contains only a NULL pointer.
3442 Problem: All of the symbols have to be copied because readline frees them.
3443 I'm not going to worry about this; hopefully there won't be that many. */
3446 make_symbol_completion_list (char *text, char *word)
3450 struct partial_symtab *ps;
3451 struct minimal_symbol *msymbol;
3452 struct objfile *objfile;
3453 struct block *b, *surrounding_static_block = 0;
3454 struct dict_iterator iter;
3456 struct partial_symbol **psym;
3457 /* The symbol we are completing on. Points in same buffer as text. */
3459 /* Length of sym_text. */
3462 /* Now look for the symbol we are supposed to complete on.
3463 FIXME: This should be language-specific. */
3467 char *quote_pos = NULL;
3469 /* First see if this is a quoted string. */
3471 for (p = text; *p != '\0'; ++p)
3473 if (quote_found != '\0')
3475 if (*p == quote_found)
3476 /* Found close quote. */
3478 else if (*p == '\\' && p[1] == quote_found)
3479 /* A backslash followed by the quote character
3480 doesn't end the string. */
3483 else if (*p == '\'' || *p == '"')
3489 if (quote_found == '\'')
3490 /* A string within single quotes can be a symbol, so complete on it. */
3491 sym_text = quote_pos + 1;
3492 else if (quote_found == '"')
3493 /* A double-quoted string is never a symbol, nor does it make sense
3494 to complete it any other way. */
3496 return_val = (char **) xmalloc (sizeof (char *));
3497 return_val[0] = NULL;
3502 /* It is not a quoted string. Break it based on the characters
3503 which are in symbols. */
3506 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3515 sym_text_len = strlen (sym_text);
3517 return_val_size = 100;
3518 return_val_index = 0;
3519 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3520 return_val[0] = NULL;
3522 /* Look through the partial symtabs for all symbols which begin
3523 by matching SYM_TEXT. Add each one that you find to the list. */
3525 ALL_PSYMTABS (objfile, ps)
3527 /* If the psymtab's been read in we'll get it when we search
3528 through the blockvector. */
3532 for (psym = objfile->global_psymbols.list + ps->globals_offset;
3533 psym < (objfile->global_psymbols.list + ps->globals_offset
3534 + ps->n_global_syms);
3537 /* If interrupted, then quit. */
3539 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3542 for (psym = objfile->static_psymbols.list + ps->statics_offset;
3543 psym < (objfile->static_psymbols.list + ps->statics_offset
3544 + ps->n_static_syms);
3548 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3552 /* At this point scan through the misc symbol vectors and add each
3553 symbol you find to the list. Eventually we want to ignore
3554 anything that isn't a text symbol (everything else will be
3555 handled by the psymtab code above). */
3557 ALL_MSYMBOLS (objfile, msymbol)
3560 COMPLETION_LIST_ADD_SYMBOL (msymbol, sym_text, sym_text_len, text, word);
3562 completion_list_objc_symbol (msymbol, sym_text, sym_text_len, text, word);
3565 /* Search upwards from currently selected frame (so that we can
3566 complete on local vars. */
3568 for (b = get_selected_block (0); b != NULL; b = BLOCK_SUPERBLOCK (b))
3570 if (!BLOCK_SUPERBLOCK (b))
3572 surrounding_static_block = b; /* For elmin of dups */
3575 /* Also catch fields of types defined in this places which match our
3576 text string. Only complete on types visible from current context. */
3578 ALL_BLOCK_SYMBOLS (b, iter, sym)
3581 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3582 if (SYMBOL_CLASS (sym) == LOC_TYPEDEF)
3584 struct type *t = SYMBOL_TYPE (sym);
3585 enum type_code c = TYPE_CODE (t);
3587 if (c == TYPE_CODE_UNION || c == TYPE_CODE_STRUCT)
3589 for (j = TYPE_N_BASECLASSES (t); j < TYPE_NFIELDS (t); j++)
3591 if (TYPE_FIELD_NAME (t, j))
3593 completion_list_add_name (TYPE_FIELD_NAME (t, j),
3594 sym_text, sym_text_len, text, word);
3602 /* Go through the symtabs and check the externs and statics for
3603 symbols which match. */
3605 ALL_SYMTABS (objfile, s)
3608 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3609 ALL_BLOCK_SYMBOLS (b, iter, sym)
3611 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3615 ALL_SYMTABS (objfile, s)
3618 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3619 /* Don't do this block twice. */
3620 if (b == surrounding_static_block)
3622 ALL_BLOCK_SYMBOLS (b, iter, sym)
3624 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3628 return (return_val);
3631 /* Like make_symbol_completion_list, but returns a list of symbols
3632 defined in a source file FILE. */
3635 make_file_symbol_completion_list (char *text, char *word, char *srcfile)
3640 struct dict_iterator iter;
3641 /* The symbol we are completing on. Points in same buffer as text. */
3643 /* Length of sym_text. */
3646 /* Now look for the symbol we are supposed to complete on.
3647 FIXME: This should be language-specific. */
3651 char *quote_pos = NULL;
3653 /* First see if this is a quoted string. */
3655 for (p = text; *p != '\0'; ++p)
3657 if (quote_found != '\0')
3659 if (*p == quote_found)
3660 /* Found close quote. */
3662 else if (*p == '\\' && p[1] == quote_found)
3663 /* A backslash followed by the quote character
3664 doesn't end the string. */
3667 else if (*p == '\'' || *p == '"')
3673 if (quote_found == '\'')
3674 /* A string within single quotes can be a symbol, so complete on it. */
3675 sym_text = quote_pos + 1;
3676 else if (quote_found == '"')
3677 /* A double-quoted string is never a symbol, nor does it make sense
3678 to complete it any other way. */
3680 return_val = (char **) xmalloc (sizeof (char *));
3681 return_val[0] = NULL;
3686 /* Not a quoted string. */
3687 sym_text = language_search_unquoted_string (text, p);
3691 sym_text_len = strlen (sym_text);
3693 return_val_size = 10;
3694 return_val_index = 0;
3695 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3696 return_val[0] = NULL;
3698 /* Find the symtab for SRCFILE (this loads it if it was not yet read
3700 s = lookup_symtab (srcfile);
3703 /* Maybe they typed the file with leading directories, while the
3704 symbol tables record only its basename. */
3705 const char *tail = lbasename (srcfile);
3708 s = lookup_symtab (tail);
3711 /* If we have no symtab for that file, return an empty list. */
3713 return (return_val);
3715 /* Go through this symtab and check the externs and statics for
3716 symbols which match. */
3718 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3719 ALL_BLOCK_SYMBOLS (b, iter, sym)
3721 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3724 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3725 ALL_BLOCK_SYMBOLS (b, iter, sym)
3727 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3730 return (return_val);
3733 /* A helper function for make_source_files_completion_list. It adds
3734 another file name to a list of possible completions, growing the
3735 list as necessary. */
3738 add_filename_to_list (const char *fname, char *text, char *word,
3739 char ***list, int *list_used, int *list_alloced)
3742 size_t fnlen = strlen (fname);
3744 if (*list_used + 1 >= *list_alloced)
3747 *list = (char **) xrealloc ((char *) *list,
3748 *list_alloced * sizeof (char *));
3753 /* Return exactly fname. */
3754 new = xmalloc (fnlen + 5);
3755 strcpy (new, fname);
3757 else if (word > text)
3759 /* Return some portion of fname. */
3760 new = xmalloc (fnlen + 5);
3761 strcpy (new, fname + (word - text));
3765 /* Return some of TEXT plus fname. */
3766 new = xmalloc (fnlen + (text - word) + 5);
3767 strncpy (new, word, text - word);
3768 new[text - word] = '\0';
3769 strcat (new, fname);
3771 (*list)[*list_used] = new;
3772 (*list)[++*list_used] = NULL;
3776 not_interesting_fname (const char *fname)
3778 static const char *illegal_aliens[] = {
3779 "_globals_", /* inserted by coff_symtab_read */
3784 for (i = 0; illegal_aliens[i]; i++)
3786 if (strcmp (fname, illegal_aliens[i]) == 0)
3792 /* Return a NULL terminated array of all source files whose names
3793 begin with matching TEXT. The file names are looked up in the
3794 symbol tables of this program. If the answer is no matchess, then
3795 the return value is an array which contains only a NULL pointer. */
3798 make_source_files_completion_list (char *text, char *word)
3801 struct partial_symtab *ps;
3802 struct objfile *objfile;
3804 int list_alloced = 1;
3806 size_t text_len = strlen (text);
3807 char **list = (char **) xmalloc (list_alloced * sizeof (char *));
3808 const char *base_name;
3812 if (!have_full_symbols () && !have_partial_symbols ())
3815 ALL_SYMTABS (objfile, s)
3817 if (not_interesting_fname (s->filename))
3819 if (!filename_seen (s->filename, 1, &first)
3820 #if HAVE_DOS_BASED_FILE_SYSTEM
3821 && strncasecmp (s->filename, text, text_len) == 0
3823 && strncmp (s->filename, text, text_len) == 0
3827 /* This file matches for a completion; add it to the current
3829 add_filename_to_list (s->filename, text, word,
3830 &list, &list_used, &list_alloced);
3834 /* NOTE: We allow the user to type a base name when the
3835 debug info records leading directories, but not the other
3836 way around. This is what subroutines of breakpoint
3837 command do when they parse file names. */
3838 base_name = lbasename (s->filename);
3839 if (base_name != s->filename
3840 && !filename_seen (base_name, 1, &first)
3841 #if HAVE_DOS_BASED_FILE_SYSTEM
3842 && strncasecmp (base_name, text, text_len) == 0
3844 && strncmp (base_name, text, text_len) == 0
3847 add_filename_to_list (base_name, text, word,
3848 &list, &list_used, &list_alloced);
3852 ALL_PSYMTABS (objfile, ps)
3854 if (not_interesting_fname (ps->filename))
3858 if (!filename_seen (ps->filename, 1, &first)
3859 #if HAVE_DOS_BASED_FILE_SYSTEM
3860 && strncasecmp (ps->filename, text, text_len) == 0
3862 && strncmp (ps->filename, text, text_len) == 0
3866 /* This file matches for a completion; add it to the
3867 current list of matches. */
3868 add_filename_to_list (ps->filename, text, word,
3869 &list, &list_used, &list_alloced);
3874 base_name = lbasename (ps->filename);
3875 if (base_name != ps->filename
3876 && !filename_seen (base_name, 1, &first)
3877 #if HAVE_DOS_BASED_FILE_SYSTEM
3878 && strncasecmp (base_name, text, text_len) == 0
3880 && strncmp (base_name, text, text_len) == 0
3883 add_filename_to_list (base_name, text, word,
3884 &list, &list_used, &list_alloced);
3892 /* Determine if PC is in the prologue of a function. The prologue is the area
3893 between the first instruction of a function, and the first executable line.
3894 Returns 1 if PC *might* be in prologue, 0 if definately *not* in prologue.
3896 If non-zero, func_start is where we think the prologue starts, possibly
3897 by previous examination of symbol table information.
3901 in_prologue (CORE_ADDR pc, CORE_ADDR func_start)
3903 struct symtab_and_line sal;
3904 CORE_ADDR func_addr, func_end;
3906 /* We have several sources of information we can consult to figure
3908 - Compilers usually emit line number info that marks the prologue
3909 as its own "source line". So the ending address of that "line"
3910 is the end of the prologue. If available, this is the most
3912 - The minimal symbols and partial symbols, which can usually tell
3913 us the starting and ending addresses of a function.
3914 - If we know the function's start address, we can call the
3915 architecture-defined SKIP_PROLOGUE function to analyze the
3916 instruction stream and guess where the prologue ends.
3917 - Our `func_start' argument; if non-zero, this is the caller's
3918 best guess as to the function's entry point. At the time of
3919 this writing, handle_inferior_event doesn't get this right, so
3920 it should be our last resort. */
3922 /* Consult the partial symbol table, to find which function
3924 if (! find_pc_partial_function (pc, NULL, &func_addr, &func_end))
3926 CORE_ADDR prologue_end;
3928 /* We don't even have minsym information, so fall back to using
3929 func_start, if given. */
3931 return 1; /* We *might* be in a prologue. */
3933 prologue_end = SKIP_PROLOGUE (func_start);
3935 return func_start <= pc && pc < prologue_end;
3938 /* If we have line number information for the function, that's
3939 usually pretty reliable. */
3940 sal = find_pc_line (func_addr, 0);
3942 /* Now sal describes the source line at the function's entry point,
3943 which (by convention) is the prologue. The end of that "line",
3944 sal.end, is the end of the prologue.
3946 Note that, for functions whose source code is all on a single
3947 line, the line number information doesn't always end up this way.
3948 So we must verify that our purported end-of-prologue address is
3949 *within* the function, not at its start or end. */
3951 || sal.end <= func_addr
3952 || func_end <= sal.end)
3954 /* We don't have any good line number info, so use the minsym
3955 information, together with the architecture-specific prologue
3957 CORE_ADDR prologue_end = SKIP_PROLOGUE (func_addr);
3959 return func_addr <= pc && pc < prologue_end;
3962 /* We have line number info, and it looks good. */
3963 return func_addr <= pc && pc < sal.end;
3966 /* Given PC at the function's start address, attempt to find the
3967 prologue end using SAL information. Return zero if the skip fails.
3969 A non-optimized prologue traditionally has one SAL for the function
3970 and a second for the function body. A single line function has
3971 them both pointing at the same line.
3973 An optimized prologue is similar but the prologue may contain
3974 instructions (SALs) from the instruction body. Need to skip those
3975 while not getting into the function body.
3977 The functions end point and an increasing SAL line are used as
3978 indicators of the prologue's endpoint.
3980 This code is based on the function refine_prologue_limit (versions
3981 found in both ia64 and ppc). */
3984 skip_prologue_using_sal (CORE_ADDR func_addr)
3986 struct symtab_and_line prologue_sal;
3990 /* Get an initial range for the function. */
3991 find_pc_partial_function (func_addr, NULL, &start_pc, &end_pc);
3992 start_pc += DEPRECATED_FUNCTION_START_OFFSET;
3994 prologue_sal = find_pc_line (start_pc, 0);
3995 if (prologue_sal.line != 0)
3997 while (prologue_sal.end < end_pc)
3999 struct symtab_and_line sal;
4001 sal = find_pc_line (prologue_sal.end, 0);
4004 /* Assume that a consecutive SAL for the same (or larger)
4005 line mark the prologue -> body transition. */
4006 if (sal.line >= prologue_sal.line)
4008 /* The case in which compiler's optimizer/scheduler has
4009 moved instructions into the prologue. We look ahead in
4010 the function looking for address ranges whose
4011 corresponding line number is less the first one that we
4012 found for the function. This is more conservative then
4013 refine_prologue_limit which scans a large number of SALs
4014 looking for any in the prologue */
4018 return prologue_sal.end;
4021 struct symtabs_and_lines
4022 decode_line_spec (char *string, int funfirstline)
4024 struct symtabs_and_lines sals;
4025 struct symtab_and_line cursal;
4028 error ("Empty line specification.");
4030 /* We use whatever is set as the current source line. We do not try
4031 and get a default or it will recursively call us! */
4032 cursal = get_current_source_symtab_and_line ();
4034 sals = decode_line_1 (&string, funfirstline,
4035 cursal.symtab, cursal.line,
4036 (char ***) NULL, NULL);
4039 error ("Junk at end of line specification: %s", string);
4044 static char *name_of_main;
4047 set_main_name (const char *name)
4049 if (name_of_main != NULL)
4051 xfree (name_of_main);
4052 name_of_main = NULL;
4056 name_of_main = xstrdup (name);
4063 if (name_of_main != NULL)
4064 return name_of_main;
4071 _initialize_symtab (void)
4073 add_info ("variables", variables_info,
4074 "All global and static variable names, or those matching REGEXP.");
4076 add_com ("whereis", class_info, variables_info,
4077 "All global and static variable names, or those matching REGEXP.");
4079 add_info ("functions", functions_info,
4080 "All function names, or those matching REGEXP.");
4083 /* FIXME: This command has at least the following problems:
4084 1. It prints builtin types (in a very strange and confusing fashion).
4085 2. It doesn't print right, e.g. with
4086 typedef struct foo *FOO
4087 type_print prints "FOO" when we want to make it (in this situation)
4088 print "struct foo *".
4089 I also think "ptype" or "whatis" is more likely to be useful (but if
4090 there is much disagreement "info types" can be fixed). */
4091 add_info ("types", types_info,
4092 "All type names, or those matching REGEXP.");
4094 add_info ("sources", sources_info,
4095 "Source files in the program.");
4097 add_com ("rbreak", class_breakpoint, rbreak_command,
4098 "Set a breakpoint for all functions matching REGEXP.");
4102 add_com ("lf", class_info, sources_info, "Source files in the program");
4103 add_com ("lg", class_info, variables_info,
4104 "All global and static variable names, or those matching REGEXP.");
4107 /* Initialize the one built-in type that isn't language dependent... */
4108 builtin_type_error = init_type (TYPE_CODE_ERROR, 0, 0,
4109 "<unknown type>", (struct objfile *) NULL);