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 (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 if (pst->fullname == NULL)
276 source_full_path_of (pst->filename, &pst->fullname);
277 if (pst->fullname != NULL
278 && FILENAME_CMP (full_path, pst->fullname) == 0)
284 if (real_path != NULL)
287 if (pst->fullname == NULL)
288 source_full_path_of (pst->filename, &pst->fullname);
289 if (pst->fullname != NULL)
291 rp = gdb_realpath (pst->fullname);
292 make_cleanup (xfree, rp);
294 if (rp != NULL && FILENAME_CMP (real_path, rp) == 0)
301 /* Now, search for a matching tail (only if name doesn't have any dirs) */
303 if (lbasename (name) == name)
304 ALL_PSYMTABS (objfile, pst)
306 if (FILENAME_CMP (lbasename (pst->filename), name) == 0)
313 /* Mangle a GDB method stub type. This actually reassembles the pieces of the
314 full method name, which consist of the class name (from T), the unadorned
315 method name from METHOD_ID, and the signature for the specific overload,
316 specified by SIGNATURE_ID. Note that this function is g++ specific. */
319 gdb_mangle_name (struct type *type, int method_id, int signature_id)
321 int mangled_name_len;
323 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, method_id);
324 struct fn_field *method = &f[signature_id];
325 char *field_name = TYPE_FN_FIELDLIST_NAME (type, method_id);
326 char *physname = TYPE_FN_FIELD_PHYSNAME (f, signature_id);
327 char *newname = type_name_no_tag (type);
329 /* Does the form of physname indicate that it is the full mangled name
330 of a constructor (not just the args)? */
331 int is_full_physname_constructor;
334 int is_destructor = is_destructor_name (physname);
335 /* Need a new type prefix. */
336 char *const_prefix = method->is_const ? "C" : "";
337 char *volatile_prefix = method->is_volatile ? "V" : "";
339 int len = (newname == NULL ? 0 : strlen (newname));
341 /* Nothing to do if physname already contains a fully mangled v3 abi name
342 or an operator name. */
343 if ((physname[0] == '_' && physname[1] == 'Z')
344 || is_operator_name (field_name))
345 return xstrdup (physname);
347 is_full_physname_constructor = is_constructor_name (physname);
350 is_full_physname_constructor || (newname && strcmp (field_name, newname) == 0);
353 is_destructor = (strncmp (physname, "__dt", 4) == 0);
355 if (is_destructor || is_full_physname_constructor)
357 mangled_name = (char *) xmalloc (strlen (physname) + 1);
358 strcpy (mangled_name, physname);
364 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
366 else if (physname[0] == 't' || physname[0] == 'Q')
368 /* The physname for template and qualified methods already includes
370 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
376 sprintf (buf, "__%s%s%d", const_prefix, volatile_prefix, len);
378 mangled_name_len = ((is_constructor ? 0 : strlen (field_name))
379 + strlen (buf) + len + strlen (physname) + 1);
382 mangled_name = (char *) xmalloc (mangled_name_len);
384 mangled_name[0] = '\0';
386 strcpy (mangled_name, field_name);
388 strcat (mangled_name, buf);
389 /* If the class doesn't have a name, i.e. newname NULL, then we just
390 mangle it using 0 for the length of the class. Thus it gets mangled
391 as something starting with `::' rather than `classname::'. */
393 strcat (mangled_name, newname);
395 strcat (mangled_name, physname);
396 return (mangled_name);
400 /* Initialize the language dependent portion of a symbol
401 depending upon the language for the symbol. */
403 symbol_init_language_specific (struct general_symbol_info *gsymbol,
404 enum language language)
406 gsymbol->language = language;
407 if (gsymbol->language == language_cplus
408 || gsymbol->language == language_java
409 || gsymbol->language == language_objc)
411 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
415 memset (&gsymbol->language_specific, 0,
416 sizeof (gsymbol->language_specific));
420 /* Functions to initialize a symbol's mangled name. */
422 /* Create the hash table used for demangled names. Each hash entry is
423 a pair of strings; one for the mangled name and one for the demangled
424 name. The entry is hashed via just the mangled name. */
427 create_demangled_names_hash (struct objfile *objfile)
429 /* Choose 256 as the starting size of the hash table, somewhat arbitrarily.
430 The hash table code will round this up to the next prime number.
431 Choosing a much larger table size wastes memory, and saves only about
432 1% in symbol reading. */
434 objfile->demangled_names_hash = htab_create_alloc
435 (256, htab_hash_string, (int (*) (const void *, const void *)) streq,
436 NULL, xcalloc, xfree);
439 /* Try to determine the demangled name for a symbol, based on the
440 language of that symbol. If the language is set to language_auto,
441 it will attempt to find any demangling algorithm that works and
442 then set the language appropriately. The returned name is allocated
443 by the demangler and should be xfree'd. */
446 symbol_find_demangled_name (struct general_symbol_info *gsymbol,
449 char *demangled = NULL;
451 if (gsymbol->language == language_unknown)
452 gsymbol->language = language_auto;
454 if (gsymbol->language == language_objc
455 || gsymbol->language == language_auto)
458 objc_demangle (mangled, 0);
459 if (demangled != NULL)
461 gsymbol->language = language_objc;
465 if (gsymbol->language == language_cplus
466 || gsymbol->language == language_auto)
469 cplus_demangle (mangled, DMGL_PARAMS | DMGL_ANSI);
470 if (demangled != NULL)
472 gsymbol->language = language_cplus;
476 if (gsymbol->language == language_java)
479 cplus_demangle (mangled,
480 DMGL_PARAMS | DMGL_ANSI | DMGL_JAVA);
481 if (demangled != NULL)
483 gsymbol->language = language_java;
490 /* Set both the mangled and demangled (if any) names for GSYMBOL based
491 on LINKAGE_NAME and LEN. The hash table corresponding to OBJFILE
492 is used, and the memory comes from that objfile's objfile_obstack.
493 LINKAGE_NAME is copied, so the pointer can be discarded after
494 calling this function. */
496 /* We have to be careful when dealing with Java names: when we run
497 into a Java minimal symbol, we don't know it's a Java symbol, so it
498 gets demangled as a C++ name. This is unfortunate, but there's not
499 much we can do about it: but when demangling partial symbols and
500 regular symbols, we'd better not reuse the wrong demangled name.
501 (See PR gdb/1039.) We solve this by putting a distinctive prefix
502 on Java names when storing them in the hash table. */
504 /* FIXME: carlton/2003-03-13: This is an unfortunate situation. I
505 don't mind the Java prefix so much: different languages have
506 different demangling requirements, so it's only natural that we
507 need to keep language data around in our demangling cache. But
508 it's not good that the minimal symbol has the wrong demangled name.
509 Unfortunately, I can't think of any easy solution to that
512 #define JAVA_PREFIX "##JAVA$$"
513 #define JAVA_PREFIX_LEN 8
516 symbol_set_names (struct general_symbol_info *gsymbol,
517 const char *linkage_name, int len, struct objfile *objfile)
520 /* A 0-terminated copy of the linkage name. */
521 const char *linkage_name_copy;
522 /* A copy of the linkage name that might have a special Java prefix
523 added to it, for use when looking names up in the hash table. */
524 const char *lookup_name;
525 /* The length of lookup_name. */
528 if (objfile->demangled_names_hash == NULL)
529 create_demangled_names_hash (objfile);
531 /* The stabs reader generally provides names that are not
532 NUL-terminated; most of the other readers don't do this, so we
533 can just use the given copy, unless we're in the Java case. */
534 if (gsymbol->language == language_java)
537 lookup_len = len + JAVA_PREFIX_LEN;
539 alloc_name = alloca (lookup_len + 1);
540 memcpy (alloc_name, JAVA_PREFIX, JAVA_PREFIX_LEN);
541 memcpy (alloc_name + JAVA_PREFIX_LEN, linkage_name, len);
542 alloc_name[lookup_len] = '\0';
544 lookup_name = alloc_name;
545 linkage_name_copy = alloc_name + JAVA_PREFIX_LEN;
547 else if (linkage_name[len] != '\0')
552 alloc_name = alloca (lookup_len + 1);
553 memcpy (alloc_name, linkage_name, len);
554 alloc_name[lookup_len] = '\0';
556 lookup_name = alloc_name;
557 linkage_name_copy = alloc_name;
562 lookup_name = linkage_name;
563 linkage_name_copy = linkage_name;
566 slot = (char **) htab_find_slot (objfile->demangled_names_hash,
567 lookup_name, INSERT);
569 /* If this name is not in the hash table, add it. */
572 char *demangled_name = symbol_find_demangled_name (gsymbol,
574 int demangled_len = demangled_name ? strlen (demangled_name) : 0;
576 /* If there is a demangled name, place it right after the mangled name.
577 Otherwise, just place a second zero byte after the end of the mangled
579 *slot = obstack_alloc (&objfile->objfile_obstack,
580 lookup_len + demangled_len + 2);
581 memcpy (*slot, lookup_name, lookup_len + 1);
582 if (demangled_name != NULL)
584 memcpy (*slot + lookup_len + 1, demangled_name, demangled_len + 1);
585 xfree (demangled_name);
588 (*slot)[lookup_len + 1] = '\0';
591 gsymbol->name = *slot + lookup_len - len;
592 if ((*slot)[lookup_len + 1] != '\0')
593 gsymbol->language_specific.cplus_specific.demangled_name
594 = &(*slot)[lookup_len + 1];
596 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
599 /* Initialize the demangled name of GSYMBOL if possible. Any required space
600 to store the name is obtained from the specified obstack. The function
601 symbol_set_names, above, should be used instead where possible for more
602 efficient memory usage. */
605 symbol_init_demangled_name (struct general_symbol_info *gsymbol,
606 struct obstack *obstack)
608 char *mangled = gsymbol->name;
609 char *demangled = NULL;
611 demangled = symbol_find_demangled_name (gsymbol, mangled);
612 if (gsymbol->language == language_cplus
613 || gsymbol->language == language_java
614 || gsymbol->language == language_objc)
618 gsymbol->language_specific.cplus_specific.demangled_name
619 = obsavestring (demangled, strlen (demangled), obstack);
623 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
627 /* Unknown language; just clean up quietly. */
633 /* Return the source code name of a symbol. In languages where
634 demangling is necessary, this is the demangled name. */
637 symbol_natural_name (const struct general_symbol_info *gsymbol)
639 if ((gsymbol->language == language_cplus
640 || gsymbol->language == language_java
641 || gsymbol->language == language_objc)
642 && (gsymbol->language_specific.cplus_specific.demangled_name != NULL))
644 return gsymbol->language_specific.cplus_specific.demangled_name;
648 return gsymbol->name;
652 /* Return the demangled name for a symbol based on the language for
653 that symbol. If no demangled name exists, return NULL. */
655 symbol_demangled_name (struct general_symbol_info *gsymbol)
657 if (gsymbol->language == language_cplus
658 || gsymbol->language == language_java
659 || gsymbol->language == language_objc)
660 return gsymbol->language_specific.cplus_specific.demangled_name;
666 /* Return the search name of a symbol---generally the demangled or
667 linkage name of the symbol, depending on how it will be searched for.
668 If there is no distinct demangled name, then returns the same value
669 (same pointer) as SYMBOL_LINKAGE_NAME. */
670 char *symbol_search_name (const struct general_symbol_info *gsymbol) {
671 return symbol_natural_name (gsymbol);
674 /* Initialize the structure fields to zero values. */
676 init_sal (struct symtab_and_line *sal)
687 /* Find which partial symtab contains PC and SECTION. Return 0 if
688 none. We return the psymtab that contains a symbol whose address
689 exactly matches PC, or, if we cannot find an exact match, the
690 psymtab that contains a symbol whose address is closest to PC. */
691 struct partial_symtab *
692 find_pc_sect_psymtab (CORE_ADDR pc, asection *section)
694 struct partial_symtab *pst;
695 struct objfile *objfile;
696 struct minimal_symbol *msymbol;
698 /* If we know that this is not a text address, return failure. This is
699 necessary because we loop based on texthigh and textlow, which do
700 not include the data ranges. */
701 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
703 && (msymbol->type == mst_data
704 || msymbol->type == mst_bss
705 || msymbol->type == mst_abs
706 || msymbol->type == mst_file_data
707 || msymbol->type == mst_file_bss))
710 ALL_PSYMTABS (objfile, pst)
712 if (pc >= pst->textlow && pc < pst->texthigh)
714 struct partial_symtab *tpst;
715 struct partial_symtab *best_pst = pst;
716 struct partial_symbol *best_psym = NULL;
718 /* An objfile that has its functions reordered might have
719 many partial symbol tables containing the PC, but
720 we want the partial symbol table that contains the
721 function containing the PC. */
722 if (!(objfile->flags & OBJF_REORDERED) &&
723 section == 0) /* can't validate section this way */
729 /* The code range of partial symtabs sometimes overlap, so, in
730 the loop below, we need to check all partial symtabs and
731 find the one that fits better for the given PC address. We
732 select the partial symtab that contains a symbol whose
733 address is closest to the PC address. By closest we mean
734 that find_pc_sect_symbol returns the symbol with address
735 that is closest and still less than the given PC. */
736 for (tpst = pst; tpst != NULL; tpst = tpst->next)
738 if (pc >= tpst->textlow && pc < tpst->texthigh)
740 struct partial_symbol *p;
742 p = find_pc_sect_psymbol (tpst, pc, section);
744 && SYMBOL_VALUE_ADDRESS (p)
745 == SYMBOL_VALUE_ADDRESS (msymbol))
749 /* We found a symbol in this partial symtab which
750 matches (or is closest to) PC, check whether it
751 is closer than our current BEST_PSYM. Since
752 this symbol address is necessarily lower or
753 equal to PC, the symbol closer to PC is the
754 symbol which address is the highest. */
755 /* This way we return the psymtab which contains
756 such best match symbol. This can help in cases
757 where the symbol information/debuginfo is not
758 complete, like for instance on IRIX6 with gcc,
759 where no debug info is emitted for
760 statics. (See also the nodebug.exp
762 if (best_psym == NULL
763 || SYMBOL_VALUE_ADDRESS (p)
764 > SYMBOL_VALUE_ADDRESS (best_psym))
779 /* Find which partial symtab contains PC. Return 0 if none.
780 Backward compatibility, no section */
782 struct partial_symtab *
783 find_pc_psymtab (CORE_ADDR pc)
785 return find_pc_sect_psymtab (pc, find_pc_mapped_section (pc));
788 /* Find which partial symbol within a psymtab matches PC and SECTION.
789 Return 0 if none. Check all psymtabs if PSYMTAB is 0. */
791 struct partial_symbol *
792 find_pc_sect_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc,
795 struct partial_symbol *best = NULL, *p, **pp;
799 psymtab = find_pc_sect_psymtab (pc, section);
803 /* Cope with programs that start at address 0 */
804 best_pc = (psymtab->textlow != 0) ? psymtab->textlow - 1 : 0;
806 /* Search the global symbols as well as the static symbols, so that
807 find_pc_partial_function doesn't use a minimal symbol and thus
808 cache a bad endaddr. */
809 for (pp = psymtab->objfile->global_psymbols.list + psymtab->globals_offset;
810 (pp - (psymtab->objfile->global_psymbols.list + psymtab->globals_offset)
811 < psymtab->n_global_syms);
815 if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
816 && SYMBOL_CLASS (p) == LOC_BLOCK
817 && pc >= SYMBOL_VALUE_ADDRESS (p)
818 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
819 || (psymtab->textlow == 0
820 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
822 if (section) /* match on a specific section */
824 fixup_psymbol_section (p, psymtab->objfile);
825 if (SYMBOL_BFD_SECTION (p) != section)
828 best_pc = SYMBOL_VALUE_ADDRESS (p);
833 for (pp = psymtab->objfile->static_psymbols.list + psymtab->statics_offset;
834 (pp - (psymtab->objfile->static_psymbols.list + psymtab->statics_offset)
835 < psymtab->n_static_syms);
839 if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
840 && SYMBOL_CLASS (p) == LOC_BLOCK
841 && pc >= SYMBOL_VALUE_ADDRESS (p)
842 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
843 || (psymtab->textlow == 0
844 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
846 if (section) /* match on a specific section */
848 fixup_psymbol_section (p, psymtab->objfile);
849 if (SYMBOL_BFD_SECTION (p) != section)
852 best_pc = SYMBOL_VALUE_ADDRESS (p);
860 /* Find which partial symbol within a psymtab matches PC. Return 0 if none.
861 Check all psymtabs if PSYMTAB is 0. Backwards compatibility, no section. */
863 struct partial_symbol *
864 find_pc_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc)
866 return find_pc_sect_psymbol (psymtab, pc, find_pc_mapped_section (pc));
869 /* Debug symbols usually don't have section information. We need to dig that
870 out of the minimal symbols and stash that in the debug symbol. */
873 fixup_section (struct general_symbol_info *ginfo, struct objfile *objfile)
875 struct minimal_symbol *msym;
876 msym = lookup_minimal_symbol (ginfo->name, NULL, objfile);
880 ginfo->bfd_section = SYMBOL_BFD_SECTION (msym);
881 ginfo->section = SYMBOL_SECTION (msym);
885 /* Static, function-local variables do appear in the linker
886 (minimal) symbols, but are frequently given names that won't
887 be found via lookup_minimal_symbol(). E.g., it has been
888 observed in frv-uclinux (ELF) executables that a static,
889 function-local variable named "foo" might appear in the
890 linker symbols as "foo.6" or "foo.3". Thus, there is no
891 point in attempting to extend the lookup-by-name mechanism to
892 handle this case due to the fact that there can be multiple
895 So, instead, search the section table when lookup by name has
896 failed. The ``addr'' and ``endaddr'' fields may have already
897 been relocated. If so, the relocation offset (i.e. the
898 ANOFFSET value) needs to be subtracted from these values when
899 performing the comparison. We unconditionally subtract it,
900 because, when no relocation has been performed, the ANOFFSET
901 value will simply be zero.
903 The address of the symbol whose section we're fixing up HAS
904 NOT BEEN adjusted (relocated) yet. It can't have been since
905 the section isn't yet known and knowing the section is
906 necessary in order to add the correct relocation value. In
907 other words, we wouldn't even be in this function (attempting
908 to compute the section) if it were already known.
910 Note that it is possible to search the minimal symbols
911 (subtracting the relocation value if necessary) to find the
912 matching minimal symbol, but this is overkill and much less
913 efficient. It is not necessary to find the matching minimal
914 symbol, only its section.
916 Note that this technique (of doing a section table search)
917 can fail when unrelocated section addresses overlap. For
918 this reason, we still attempt a lookup by name prior to doing
919 a search of the section table. */
922 struct obj_section *s;
924 addr = ginfo->value.address;
926 ALL_OBJFILE_OSECTIONS (objfile, s)
928 int idx = s->the_bfd_section->index;
929 CORE_ADDR offset = ANOFFSET (objfile->section_offsets, idx);
931 if (s->addr - offset <= addr && addr < s->endaddr - offset)
933 ginfo->bfd_section = s->the_bfd_section;
934 ginfo->section = idx;
942 fixup_symbol_section (struct symbol *sym, struct objfile *objfile)
947 if (SYMBOL_BFD_SECTION (sym))
950 fixup_section (&sym->ginfo, objfile);
955 struct partial_symbol *
956 fixup_psymbol_section (struct partial_symbol *psym, struct objfile *objfile)
961 if (SYMBOL_BFD_SECTION (psym))
964 fixup_section (&psym->ginfo, objfile);
969 /* Find the definition for a specified symbol name NAME
970 in domain DOMAIN, visible from lexical block BLOCK.
971 Returns the struct symbol pointer, or zero if no symbol is found.
972 If SYMTAB is non-NULL, store the symbol table in which the
973 symbol was found there, or NULL if not found.
974 C++: if IS_A_FIELD_OF_THIS is nonzero on entry, check to see if
975 NAME is a field of the current implied argument `this'. If so set
976 *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero.
977 BLOCK_FOUND is set to the block in which NAME is found (in the case of
978 a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
980 /* This function has a bunch of loops in it and it would seem to be
981 attractive to put in some QUIT's (though I'm not really sure
982 whether it can run long enough to be really important). But there
983 are a few calls for which it would appear to be bad news to quit
984 out of here: find_proc_desc in alpha-tdep.c and mips-tdep.c. (Note
985 that there is C++ code below which can error(), but that probably
986 doesn't affect these calls since they are looking for a known
987 variable and thus can probably assume it will never hit the C++
991 lookup_symbol (const char *name, const struct block *block,
992 const domain_enum domain, int *is_a_field_of_this,
993 struct symtab **symtab)
995 char *demangled_name = NULL;
996 const char *modified_name = NULL;
997 const char *mangled_name = NULL;
998 int needtofreename = 0;
999 struct symbol *returnval;
1001 modified_name = name;
1003 /* If we are using C++ language, demangle the name before doing a lookup, so
1004 we can always binary search. */
1005 if (current_language->la_language == language_cplus)
1007 demangled_name = cplus_demangle (name, DMGL_ANSI | DMGL_PARAMS);
1010 mangled_name = name;
1011 modified_name = demangled_name;
1016 if (case_sensitivity == case_sensitive_off)
1021 len = strlen (name);
1022 copy = (char *) alloca (len + 1);
1023 for (i= 0; i < len; i++)
1024 copy[i] = tolower (name[i]);
1026 modified_name = copy;
1029 returnval = lookup_symbol_aux (modified_name, mangled_name, block,
1030 domain, is_a_field_of_this, symtab);
1032 xfree (demangled_name);
1037 /* Behave like lookup_symbol_aux except that NAME is the natural name
1038 of the symbol that we're looking for and, if LINKAGE_NAME is
1039 non-NULL, ensure that the symbol's linkage name matches as
1042 static struct symbol *
1043 lookup_symbol_aux (const char *name, const char *linkage_name,
1044 const struct block *block, const domain_enum domain,
1045 int *is_a_field_of_this, struct symtab **symtab)
1049 /* Make sure we do something sensible with is_a_field_of_this, since
1050 the callers that set this parameter to some non-null value will
1051 certainly use it later and expect it to be either 0 or 1.
1052 If we don't set it, the contents of is_a_field_of_this are
1054 if (is_a_field_of_this != NULL)
1055 *is_a_field_of_this = 0;
1057 /* Search specified block and its superiors. Don't search
1058 STATIC_BLOCK or GLOBAL_BLOCK. */
1060 sym = lookup_symbol_aux_local (name, linkage_name, block, domain,
1065 /* If requested to do so by the caller and if appropriate for the
1066 current language, check to see if NAME is a field of `this'. */
1068 if (current_language->la_value_of_this != NULL
1069 && is_a_field_of_this != NULL)
1071 struct value *v = current_language->la_value_of_this (0);
1073 if (v && check_field (v, name))
1075 *is_a_field_of_this = 1;
1082 /* Now do whatever is appropriate for the current language to look
1083 up static and global variables. */
1085 sym = current_language->la_lookup_symbol_nonlocal (name, linkage_name,
1091 /* Now search all static file-level symbols. Not strictly correct,
1092 but more useful than an error. Do the symtabs first, then check
1093 the psymtabs. If a psymtab indicates the existence of the
1094 desired name as a file-level static, then do psymtab-to-symtab
1095 conversion on the fly and return the found symbol. */
1097 sym = lookup_symbol_aux_symtabs (STATIC_BLOCK, name, linkage_name,
1102 sym = lookup_symbol_aux_psymtabs (STATIC_BLOCK, name, linkage_name,
1112 /* Check to see if the symbol is defined in BLOCK or its superiors.
1113 Don't search STATIC_BLOCK or GLOBAL_BLOCK. */
1115 static struct symbol *
1116 lookup_symbol_aux_local (const char *name, const char *linkage_name,
1117 const struct block *block,
1118 const domain_enum domain,
1119 struct symtab **symtab)
1122 const struct block *static_block = block_static_block (block);
1124 /* Check if either no block is specified or it's a global block. */
1126 if (static_block == NULL)
1129 while (block != static_block)
1131 sym = lookup_symbol_aux_block (name, linkage_name, block, domain,
1135 block = BLOCK_SUPERBLOCK (block);
1138 /* We've reached the static block without finding a result. */
1143 /* Look up a symbol in a block; if found, locate its symtab, fixup the
1144 symbol, and set block_found appropriately. */
1147 lookup_symbol_aux_block (const char *name, const char *linkage_name,
1148 const struct block *block,
1149 const domain_enum domain,
1150 struct symtab **symtab)
1153 struct objfile *objfile = NULL;
1154 struct blockvector *bv;
1156 struct symtab *s = NULL;
1158 sym = lookup_block_symbol (block, name, linkage_name, domain);
1161 block_found = block;
1164 /* Search the list of symtabs for one which contains the
1165 address of the start of this block. */
1166 ALL_SYMTABS (objfile, s)
1168 bv = BLOCKVECTOR (s);
1169 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1170 if (BLOCK_START (b) <= BLOCK_START (block)
1171 && BLOCK_END (b) > BLOCK_START (block))
1178 return fixup_symbol_section (sym, objfile);
1184 /* Check to see if the symbol is defined in one of the symtabs.
1185 BLOCK_INDEX should be either GLOBAL_BLOCK or STATIC_BLOCK,
1186 depending on whether or not we want to search global symbols or
1189 static struct symbol *
1190 lookup_symbol_aux_symtabs (int block_index,
1191 const char *name, const char *linkage_name,
1192 const domain_enum domain,
1193 struct symtab **symtab)
1196 struct objfile *objfile;
1197 struct blockvector *bv;
1198 const struct block *block;
1201 ALL_SYMTABS (objfile, s)
1203 bv = BLOCKVECTOR (s);
1204 block = BLOCKVECTOR_BLOCK (bv, block_index);
1205 sym = lookup_block_symbol (block, name, linkage_name, domain);
1208 block_found = block;
1211 return fixup_symbol_section (sym, objfile);
1218 /* Check to see if the symbol is defined in one of the partial
1219 symtabs. BLOCK_INDEX should be either GLOBAL_BLOCK or
1220 STATIC_BLOCK, depending on whether or not we want to search global
1221 symbols or static symbols. */
1223 static struct symbol *
1224 lookup_symbol_aux_psymtabs (int block_index, const char *name,
1225 const char *linkage_name,
1226 const domain_enum domain,
1227 struct symtab **symtab)
1230 struct objfile *objfile;
1231 struct blockvector *bv;
1232 const struct block *block;
1233 struct partial_symtab *ps;
1235 const int psymtab_index = (block_index == GLOBAL_BLOCK ? 1 : 0);
1237 ALL_PSYMTABS (objfile, ps)
1240 && lookup_partial_symbol (ps, name, linkage_name,
1241 psymtab_index, domain))
1243 s = PSYMTAB_TO_SYMTAB (ps);
1244 bv = BLOCKVECTOR (s);
1245 block = BLOCKVECTOR_BLOCK (bv, block_index);
1246 sym = lookup_block_symbol (block, name, linkage_name, domain);
1249 /* This shouldn't be necessary, but as a last resort try
1250 looking in the statics even though the psymtab claimed
1251 the symbol was global, or vice-versa. It's possible
1252 that the psymtab gets it wrong in some cases. */
1254 /* FIXME: carlton/2002-09-30: Should we really do that?
1255 If that happens, isn't it likely to be a GDB error, in
1256 which case we should fix the GDB error rather than
1257 silently dealing with it here? So I'd vote for
1258 removing the check for the symbol in the other
1260 block = BLOCKVECTOR_BLOCK (bv,
1261 block_index == GLOBAL_BLOCK ?
1262 STATIC_BLOCK : GLOBAL_BLOCK);
1263 sym = lookup_block_symbol (block, name, linkage_name, domain);
1265 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>).",
1266 block_index == GLOBAL_BLOCK ? "global" : "static",
1267 name, ps->filename, name, name);
1271 return fixup_symbol_section (sym, objfile);
1279 /* Check for the possibility of the symbol being a function or a
1280 mangled variable that is stored in one of the minimal symbol
1281 tables. Eventually, all global symbols might be resolved in this
1284 /* NOTE: carlton/2002-12-05: At one point, this function was part of
1285 lookup_symbol_aux, and what are now 'return' statements within
1286 lookup_symbol_aux_minsyms returned from lookup_symbol_aux, even if
1287 sym was NULL. As far as I can tell, this was basically accidental;
1288 it didn't happen every time that msymbol was non-NULL, but only if
1289 some additional conditions held as well, and it caused problems
1290 with HP-generated symbol tables. */
1292 /* NOTE: carlton/2003-05-14: This function was once used as part of
1293 lookup_symbol. It is currently unnecessary for correctness
1294 reasons, however, and using it doesn't seem to be any faster than
1295 using lookup_symbol_aux_psymtabs, so I'm commenting it out. */
1297 static struct symbol *
1298 lookup_symbol_aux_minsyms (const char *name,
1299 const char *linkage_name,
1300 const domain_enum domain,
1301 int *is_a_field_of_this,
1302 struct symtab **symtab)
1305 struct blockvector *bv;
1306 const struct block *block;
1307 struct minimal_symbol *msymbol;
1310 if (domain == VAR_DOMAIN)
1312 msymbol = lookup_minimal_symbol (name, NULL, NULL);
1314 if (msymbol != NULL)
1316 /* OK, we found a minimal symbol in spite of not finding any
1317 symbol. There are various possible explanations for
1318 this. One possibility is the symbol exists in code not
1319 compiled -g. Another possibility is that the 'psymtab'
1320 isn't doing its job. A third possibility, related to #2,
1321 is that we were confused by name-mangling. For instance,
1322 maybe the psymtab isn't doing its job because it only
1323 know about demangled names, but we were given a mangled
1326 /* We first use the address in the msymbol to try to locate
1327 the appropriate symtab. Note that find_pc_sect_symtab()
1328 has a side-effect of doing psymtab-to-symtab expansion,
1329 for the found symtab. */
1330 s = find_pc_sect_symtab (SYMBOL_VALUE_ADDRESS (msymbol),
1331 SYMBOL_BFD_SECTION (msymbol));
1334 /* This is a function which has a symtab for its address. */
1335 bv = BLOCKVECTOR (s);
1336 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1338 /* This call used to pass `SYMBOL_LINKAGE_NAME (msymbol)' as the
1339 `name' argument to lookup_block_symbol. But the name
1340 of a minimal symbol is always mangled, so that seems
1341 to be clearly the wrong thing to pass as the
1344 lookup_block_symbol (block, name, linkage_name, domain);
1345 /* We kept static functions in minimal symbol table as well as
1346 in static scope. We want to find them in the symbol table. */
1349 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1350 sym = lookup_block_symbol (block, name,
1351 linkage_name, domain);
1354 /* NOTE: carlton/2002-12-04: The following comment was
1355 taken from a time when two versions of this function
1356 were part of the body of lookup_symbol_aux: this
1357 comment was taken from the version of the function
1358 that was #ifdef HPUXHPPA, and the comment was right
1359 before the 'return NULL' part of lookup_symbol_aux.
1360 (Hence the "Fall through and return 0" comment.)
1361 Elena did some digging into the situation for
1362 Fortran, and she reports:
1364 "I asked around (thanks to Jeff Knaggs), and I think
1365 the story for Fortran goes like this:
1367 "Apparently, in older Fortrans, '_' was not part of
1368 the user namespace. g77 attached a final '_' to
1369 procedure names as the exported symbols for linkage
1370 (foo_) , but the symbols went in the debug info just
1371 like 'foo'. The rationale behind this is not
1372 completely clear, and maybe it was done to other
1373 symbols as well, not just procedures." */
1375 /* If we get here with sym == 0, the symbol was
1376 found in the minimal symbol table
1377 but not in the symtab.
1378 Fall through and return 0 to use the msymbol
1379 definition of "foo_".
1380 (Note that outer code generally follows up a call
1381 to this routine with a call to lookup_minimal_symbol(),
1382 so a 0 return means we'll just flow into that other routine).
1384 This happens for Fortran "foo_" symbols,
1385 which are "foo" in the symtab.
1387 This can also happen if "asm" is used to make a
1388 regular symbol but not a debugging symbol, e.g.
1389 asm(".globl _main");
1393 if (symtab != NULL && sym != NULL)
1395 return fixup_symbol_section (sym, s->objfile);
1404 /* A default version of lookup_symbol_nonlocal for use by languages
1405 that can't think of anything better to do. This implements the C
1409 basic_lookup_symbol_nonlocal (const char *name,
1410 const char *linkage_name,
1411 const struct block *block,
1412 const domain_enum domain,
1413 struct symtab **symtab)
1417 /* NOTE: carlton/2003-05-19: The comments below were written when
1418 this (or what turned into this) was part of lookup_symbol_aux;
1419 I'm much less worried about these questions now, since these
1420 decisions have turned out well, but I leave these comments here
1423 /* NOTE: carlton/2002-12-05: There is a question as to whether or
1424 not it would be appropriate to search the current global block
1425 here as well. (That's what this code used to do before the
1426 is_a_field_of_this check was moved up.) On the one hand, it's
1427 redundant with the lookup_symbol_aux_symtabs search that happens
1428 next. On the other hand, if decode_line_1 is passed an argument
1429 like filename:var, then the user presumably wants 'var' to be
1430 searched for in filename. On the third hand, there shouldn't be
1431 multiple global variables all of which are named 'var', and it's
1432 not like decode_line_1 has ever restricted its search to only
1433 global variables in a single filename. All in all, only
1434 searching the static block here seems best: it's correct and it's
1437 /* NOTE: carlton/2002-12-05: There's also a possible performance
1438 issue here: if you usually search for global symbols in the
1439 current file, then it would be slightly better to search the
1440 current global block before searching all the symtabs. But there
1441 are other factors that have a much greater effect on performance
1442 than that one, so I don't think we should worry about that for
1445 sym = lookup_symbol_static (name, linkage_name, block, domain, symtab);
1449 return lookup_symbol_global (name, linkage_name, domain, symtab);
1452 /* Lookup a symbol in the static block associated to BLOCK, if there
1453 is one; do nothing if BLOCK is NULL or a global block. */
1456 lookup_symbol_static (const char *name,
1457 const char *linkage_name,
1458 const struct block *block,
1459 const domain_enum domain,
1460 struct symtab **symtab)
1462 const struct block *static_block = block_static_block (block);
1464 if (static_block != NULL)
1465 return lookup_symbol_aux_block (name, linkage_name, static_block,
1471 /* Lookup a symbol in all files' global blocks (searching psymtabs if
1475 lookup_symbol_global (const char *name,
1476 const char *linkage_name,
1477 const domain_enum domain,
1478 struct symtab **symtab)
1482 sym = lookup_symbol_aux_symtabs (GLOBAL_BLOCK, name, linkage_name,
1487 return lookup_symbol_aux_psymtabs (GLOBAL_BLOCK, name, linkage_name,
1491 /* Look, in partial_symtab PST, for symbol whose natural name is NAME.
1492 If LINKAGE_NAME is non-NULL, check in addition that the symbol's
1493 linkage name matches it. Check the global symbols if GLOBAL, the
1494 static symbols if not */
1496 struct partial_symbol *
1497 lookup_partial_symbol (struct partial_symtab *pst, const char *name,
1498 const char *linkage_name, int global,
1501 struct partial_symbol *temp;
1502 struct partial_symbol **start, **psym;
1503 struct partial_symbol **top, **real_top, **bottom, **center;
1504 int length = (global ? pst->n_global_syms : pst->n_static_syms);
1505 int do_linear_search = 1;
1512 pst->objfile->global_psymbols.list + pst->globals_offset :
1513 pst->objfile->static_psymbols.list + pst->statics_offset);
1515 if (global) /* This means we can use a binary search. */
1517 do_linear_search = 0;
1519 /* Binary search. This search is guaranteed to end with center
1520 pointing at the earliest partial symbol whose name might be
1521 correct. At that point *all* partial symbols with an
1522 appropriate name will be checked against the correct
1526 top = start + length - 1;
1528 while (top > bottom)
1530 center = bottom + (top - bottom) / 2;
1531 if (!(center < top))
1532 internal_error (__FILE__, __LINE__, "failed internal consistency check");
1533 if (!do_linear_search
1534 && (SYMBOL_LANGUAGE (*center) == language_java))
1536 do_linear_search = 1;
1538 if (strcmp_iw_ordered (SYMBOL_SEARCH_NAME (*center), name) >= 0)
1544 bottom = center + 1;
1547 if (!(top == bottom))
1548 internal_error (__FILE__, __LINE__, "failed internal consistency check");
1550 while (top <= real_top
1551 && (linkage_name != NULL
1552 ? strcmp (SYMBOL_LINKAGE_NAME (*top), linkage_name) == 0
1553 : SYMBOL_MATCHES_SEARCH_NAME (*top,name)))
1555 if (SYMBOL_DOMAIN (*top) == domain)
1563 /* Can't use a binary search or else we found during the binary search that
1564 we should also do a linear search. */
1566 if (do_linear_search)
1568 for (psym = start; psym < start + length; psym++)
1570 if (domain == SYMBOL_DOMAIN (*psym))
1572 if (linkage_name != NULL
1573 ? strcmp (SYMBOL_LINKAGE_NAME (*psym), linkage_name) == 0
1574 : SYMBOL_MATCHES_SEARCH_NAME (*psym, name))
1585 /* Look up a type named NAME in the struct_domain. The type returned
1586 must not be opaque -- i.e., must have at least one field
1590 lookup_transparent_type (const char *name)
1592 return current_language->la_lookup_transparent_type (name);
1595 /* The standard implementation of lookup_transparent_type. This code
1596 was modeled on lookup_symbol -- the parts not relevant to looking
1597 up types were just left out. In particular it's assumed here that
1598 types are available in struct_domain and only at file-static or
1602 basic_lookup_transparent_type (const char *name)
1605 struct symtab *s = NULL;
1606 struct partial_symtab *ps;
1607 struct blockvector *bv;
1608 struct objfile *objfile;
1609 struct block *block;
1611 /* Now search all the global symbols. Do the symtab's first, then
1612 check the psymtab's. If a psymtab indicates the existence
1613 of the desired name as a global, then do psymtab-to-symtab
1614 conversion on the fly and return the found symbol. */
1616 ALL_SYMTABS (objfile, s)
1618 bv = BLOCKVECTOR (s);
1619 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1620 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1621 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1623 return SYMBOL_TYPE (sym);
1627 ALL_PSYMTABS (objfile, ps)
1629 if (!ps->readin && lookup_partial_symbol (ps, name, NULL,
1632 s = PSYMTAB_TO_SYMTAB (ps);
1633 bv = BLOCKVECTOR (s);
1634 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1635 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1638 /* This shouldn't be necessary, but as a last resort
1639 * try looking in the statics even though the psymtab
1640 * claimed the symbol was global. It's possible that
1641 * the psymtab gets it wrong in some cases.
1643 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1644 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1646 error ("Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
1647 %s may be an inlined function, or may be a template function\n\
1648 (if a template, try specifying an instantiation: %s<type>).",
1649 name, ps->filename, name, name);
1651 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1652 return SYMBOL_TYPE (sym);
1656 /* Now search the static file-level symbols.
1657 Not strictly correct, but more useful than an error.
1658 Do the symtab's first, then
1659 check the psymtab's. If a psymtab indicates the existence
1660 of the desired name as a file-level static, then do psymtab-to-symtab
1661 conversion on the fly and return the found symbol.
1664 ALL_SYMTABS (objfile, s)
1666 bv = BLOCKVECTOR (s);
1667 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1668 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1669 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1671 return SYMBOL_TYPE (sym);
1675 ALL_PSYMTABS (objfile, ps)
1677 if (!ps->readin && lookup_partial_symbol (ps, name, NULL, 0, STRUCT_DOMAIN))
1679 s = PSYMTAB_TO_SYMTAB (ps);
1680 bv = BLOCKVECTOR (s);
1681 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1682 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1685 /* This shouldn't be necessary, but as a last resort
1686 * try looking in the globals even though the psymtab
1687 * claimed the symbol was static. It's possible that
1688 * the psymtab gets it wrong in some cases.
1690 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1691 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1693 error ("Internal: static symbol `%s' found in %s psymtab but not in symtab.\n\
1694 %s may be an inlined function, or may be a template function\n\
1695 (if a template, try specifying an instantiation: %s<type>).",
1696 name, ps->filename, name, name);
1698 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1699 return SYMBOL_TYPE (sym);
1702 return (struct type *) 0;
1706 /* Find the psymtab containing main(). */
1707 /* FIXME: What about languages without main() or specially linked
1708 executables that have no main() ? */
1710 struct partial_symtab *
1711 find_main_psymtab (void)
1713 struct partial_symtab *pst;
1714 struct objfile *objfile;
1716 ALL_PSYMTABS (objfile, pst)
1718 if (lookup_partial_symbol (pst, main_name (), NULL, 1, VAR_DOMAIN))
1726 /* Search BLOCK for symbol NAME in DOMAIN.
1728 Note that if NAME is the demangled form of a C++ symbol, we will fail
1729 to find a match during the binary search of the non-encoded names, but
1730 for now we don't worry about the slight inefficiency of looking for
1731 a match we'll never find, since it will go pretty quick. Once the
1732 binary search terminates, we drop through and do a straight linear
1733 search on the symbols. Each symbol which is marked as being a ObjC/C++
1734 symbol (language_cplus or language_objc set) has both the encoded and
1735 non-encoded names tested for a match.
1737 If LINKAGE_NAME is non-NULL, verify that any symbol we find has this
1738 particular mangled name.
1742 lookup_block_symbol (const struct block *block, const char *name,
1743 const char *linkage_name,
1744 const domain_enum domain)
1746 struct dict_iterator iter;
1749 if (!BLOCK_FUNCTION (block))
1751 for (sym = dict_iter_name_first (BLOCK_DICT (block), name, &iter);
1753 sym = dict_iter_name_next (name, &iter))
1755 if (SYMBOL_DOMAIN (sym) == domain
1756 && (linkage_name != NULL
1757 ? strcmp (SYMBOL_LINKAGE_NAME (sym), linkage_name) == 0 : 1))
1764 /* Note that parameter symbols do not always show up last in the
1765 list; this loop makes sure to take anything else other than
1766 parameter symbols first; it only uses parameter symbols as a
1767 last resort. Note that this only takes up extra computation
1770 struct symbol *sym_found = NULL;
1772 for (sym = dict_iter_name_first (BLOCK_DICT (block), name, &iter);
1774 sym = dict_iter_name_next (name, &iter))
1776 if (SYMBOL_DOMAIN (sym) == domain
1777 && (linkage_name != NULL
1778 ? strcmp (SYMBOL_LINKAGE_NAME (sym), linkage_name) == 0 : 1))
1781 if (SYMBOL_CLASS (sym) != LOC_ARG &&
1782 SYMBOL_CLASS (sym) != LOC_LOCAL_ARG &&
1783 SYMBOL_CLASS (sym) != LOC_REF_ARG &&
1784 SYMBOL_CLASS (sym) != LOC_REGPARM &&
1785 SYMBOL_CLASS (sym) != LOC_REGPARM_ADDR &&
1786 SYMBOL_CLASS (sym) != LOC_BASEREG_ARG &&
1787 SYMBOL_CLASS (sym) != LOC_COMPUTED_ARG)
1793 return (sym_found); /* Will be NULL if not found. */
1797 /* Find the symtab associated with PC and SECTION. Look through the
1798 psymtabs and read in another symtab if necessary. */
1801 find_pc_sect_symtab (CORE_ADDR pc, asection *section)
1804 struct blockvector *bv;
1805 struct symtab *s = NULL;
1806 struct symtab *best_s = NULL;
1807 struct partial_symtab *ps;
1808 struct objfile *objfile;
1809 CORE_ADDR distance = 0;
1810 struct minimal_symbol *msymbol;
1812 /* If we know that this is not a text address, return failure. This is
1813 necessary because we loop based on the block's high and low code
1814 addresses, which do not include the data ranges, and because
1815 we call find_pc_sect_psymtab which has a similar restriction based
1816 on the partial_symtab's texthigh and textlow. */
1817 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
1819 && (msymbol->type == mst_data
1820 || msymbol->type == mst_bss
1821 || msymbol->type == mst_abs
1822 || msymbol->type == mst_file_data
1823 || msymbol->type == mst_file_bss))
1826 /* Search all symtabs for the one whose file contains our address, and which
1827 is the smallest of all the ones containing the address. This is designed
1828 to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000
1829 and symtab b is at 0x2000-0x3000. So the GLOBAL_BLOCK for a is from
1830 0x1000-0x4000, but for address 0x2345 we want to return symtab b.
1832 This happens for native ecoff format, where code from included files
1833 gets its own symtab. The symtab for the included file should have
1834 been read in already via the dependency mechanism.
1835 It might be swifter to create several symtabs with the same name
1836 like xcoff does (I'm not sure).
1838 It also happens for objfiles that have their functions reordered.
1839 For these, the symtab we are looking for is not necessarily read in. */
1841 ALL_SYMTABS (objfile, s)
1843 bv = BLOCKVECTOR (s);
1844 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1846 if (BLOCK_START (b) <= pc
1847 && BLOCK_END (b) > pc
1849 || BLOCK_END (b) - BLOCK_START (b) < distance))
1851 /* For an objfile that has its functions reordered,
1852 find_pc_psymtab will find the proper partial symbol table
1853 and we simply return its corresponding symtab. */
1854 /* In order to better support objfiles that contain both
1855 stabs and coff debugging info, we continue on if a psymtab
1857 if ((objfile->flags & OBJF_REORDERED) && objfile->psymtabs)
1859 ps = find_pc_sect_psymtab (pc, section);
1861 return PSYMTAB_TO_SYMTAB (ps);
1865 struct dict_iterator iter;
1866 struct symbol *sym = NULL;
1868 ALL_BLOCK_SYMBOLS (b, iter, sym)
1870 fixup_symbol_section (sym, objfile);
1871 if (section == SYMBOL_BFD_SECTION (sym))
1875 continue; /* no symbol in this symtab matches section */
1877 distance = BLOCK_END (b) - BLOCK_START (b);
1886 ps = find_pc_sect_psymtab (pc, section);
1890 /* Might want to error() here (in case symtab is corrupt and
1891 will cause a core dump), but maybe we can successfully
1892 continue, so let's not. */
1894 (Internal error: pc 0x%s in read in psymtab, but not in symtab.)\n",
1896 s = PSYMTAB_TO_SYMTAB (ps);
1901 /* Find the symtab associated with PC. Look through the psymtabs and
1902 read in another symtab if necessary. Backward compatibility, no section */
1905 find_pc_symtab (CORE_ADDR pc)
1907 return find_pc_sect_symtab (pc, find_pc_mapped_section (pc));
1911 /* Find the source file and line number for a given PC value and SECTION.
1912 Return a structure containing a symtab pointer, a line number,
1913 and a pc range for the entire source line.
1914 The value's .pc field is NOT the specified pc.
1915 NOTCURRENT nonzero means, if specified pc is on a line boundary,
1916 use the line that ends there. Otherwise, in that case, the line
1917 that begins there is used. */
1919 /* The big complication here is that a line may start in one file, and end just
1920 before the start of another file. This usually occurs when you #include
1921 code in the middle of a subroutine. To properly find the end of a line's PC
1922 range, we must search all symtabs associated with this compilation unit, and
1923 find the one whose first PC is closer than that of the next line in this
1926 /* If it's worth the effort, we could be using a binary search. */
1928 struct symtab_and_line
1929 find_pc_sect_line (CORE_ADDR pc, struct bfd_section *section, int notcurrent)
1932 struct linetable *l;
1935 struct linetable_entry *item;
1936 struct symtab_and_line val;
1937 struct blockvector *bv;
1938 struct minimal_symbol *msymbol;
1939 struct minimal_symbol *mfunsym;
1941 /* Info on best line seen so far, and where it starts, and its file. */
1943 struct linetable_entry *best = NULL;
1944 CORE_ADDR best_end = 0;
1945 struct symtab *best_symtab = 0;
1947 /* Store here the first line number
1948 of a file which contains the line at the smallest pc after PC.
1949 If we don't find a line whose range contains PC,
1950 we will use a line one less than this,
1951 with a range from the start of that file to the first line's pc. */
1952 struct linetable_entry *alt = NULL;
1953 struct symtab *alt_symtab = 0;
1955 /* Info on best line seen in this file. */
1957 struct linetable_entry *prev;
1959 /* If this pc is not from the current frame,
1960 it is the address of the end of a call instruction.
1961 Quite likely that is the start of the following statement.
1962 But what we want is the statement containing the instruction.
1963 Fudge the pc to make sure we get that. */
1965 init_sal (&val); /* initialize to zeroes */
1967 /* It's tempting to assume that, if we can't find debugging info for
1968 any function enclosing PC, that we shouldn't search for line
1969 number info, either. However, GAS can emit line number info for
1970 assembly files --- very helpful when debugging hand-written
1971 assembly code. In such a case, we'd have no debug info for the
1972 function, but we would have line info. */
1977 /* elz: added this because this function returned the wrong
1978 information if the pc belongs to a stub (import/export)
1979 to call a shlib function. This stub would be anywhere between
1980 two functions in the target, and the line info was erroneously
1981 taken to be the one of the line before the pc.
1983 /* RT: Further explanation:
1985 * We have stubs (trampolines) inserted between procedures.
1987 * Example: "shr1" exists in a shared library, and a "shr1" stub also
1988 * exists in the main image.
1990 * In the minimal symbol table, we have a bunch of symbols
1991 * sorted by start address. The stubs are marked as "trampoline",
1992 * the others appear as text. E.g.:
1994 * Minimal symbol table for main image
1995 * main: code for main (text symbol)
1996 * shr1: stub (trampoline symbol)
1997 * foo: code for foo (text symbol)
1999 * Minimal symbol table for "shr1" image:
2001 * shr1: code for shr1 (text symbol)
2004 * So the code below is trying to detect if we are in the stub
2005 * ("shr1" stub), and if so, find the real code ("shr1" trampoline),
2006 * and if found, do the symbolization from the real-code address
2007 * rather than the stub address.
2009 * Assumptions being made about the minimal symbol table:
2010 * 1. lookup_minimal_symbol_by_pc() will return a trampoline only
2011 * if we're really in the trampoline. If we're beyond it (say
2012 * we're in "foo" in the above example), it'll have a closer
2013 * symbol (the "foo" text symbol for example) and will not
2014 * return the trampoline.
2015 * 2. lookup_minimal_symbol_text() will find a real text symbol
2016 * corresponding to the trampoline, and whose address will
2017 * be different than the trampoline address. I put in a sanity
2018 * check for the address being the same, to avoid an
2019 * infinite recursion.
2021 msymbol = lookup_minimal_symbol_by_pc (pc);
2022 if (msymbol != NULL)
2023 if (MSYMBOL_TYPE (msymbol) == mst_solib_trampoline)
2025 mfunsym = lookup_minimal_symbol_text (SYMBOL_LINKAGE_NAME (msymbol),
2027 if (mfunsym == NULL)
2028 /* I eliminated this warning since it is coming out
2029 * in the following situation:
2030 * gdb shmain // test program with shared libraries
2031 * (gdb) break shr1 // function in shared lib
2032 * Warning: In stub for ...
2033 * In the above situation, the shared lib is not loaded yet,
2034 * so of course we can't find the real func/line info,
2035 * but the "break" still works, and the warning is annoying.
2036 * So I commented out the warning. RT */
2037 /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
2039 else if (SYMBOL_VALUE (mfunsym) == SYMBOL_VALUE (msymbol))
2040 /* Avoid infinite recursion */
2041 /* See above comment about why warning is commented out */
2042 /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
2045 return find_pc_line (SYMBOL_VALUE (mfunsym), 0);
2049 s = find_pc_sect_symtab (pc, section);
2052 /* if no symbol information, return previous pc */
2059 bv = BLOCKVECTOR (s);
2061 /* Look at all the symtabs that share this blockvector.
2062 They all have the same apriori range, that we found was right;
2063 but they have different line tables. */
2065 for (; s && BLOCKVECTOR (s) == bv; s = s->next)
2067 /* Find the best line in this symtab. */
2074 /* I think len can be zero if the symtab lacks line numbers
2075 (e.g. gcc -g1). (Either that or the LINETABLE is NULL;
2076 I'm not sure which, and maybe it depends on the symbol
2082 item = l->item; /* Get first line info */
2084 /* Is this file's first line closer than the first lines of other files?
2085 If so, record this file, and its first line, as best alternate. */
2086 if (item->pc > pc && (!alt || item->pc < alt->pc))
2092 for (i = 0; i < len; i++, item++)
2094 /* Leave prev pointing to the linetable entry for the last line
2095 that started at or before PC. */
2102 /* At this point, prev points at the line whose start addr is <= pc, and
2103 item points at the next line. If we ran off the end of the linetable
2104 (pc >= start of the last line), then prev == item. If pc < start of
2105 the first line, prev will not be set. */
2107 /* Is this file's best line closer than the best in the other files?
2108 If so, record this file, and its best line, as best so far. Don't
2109 save prev if it represents the end of a function (i.e. line number
2110 0) instead of a real line. */
2112 if (prev && prev->line && (!best || prev->pc > best->pc))
2117 /* Discard BEST_END if it's before the PC of the current BEST. */
2118 if (best_end <= best->pc)
2122 /* If another line (denoted by ITEM) is in the linetable and its
2123 PC is after BEST's PC, but before the current BEST_END, then
2124 use ITEM's PC as the new best_end. */
2125 if (best && i < len && item->pc > best->pc
2126 && (best_end == 0 || best_end > item->pc))
2127 best_end = item->pc;
2133 { /* If we didn't find any line # info, just
2139 val.symtab = alt_symtab;
2140 val.line = alt->line - 1;
2142 /* Don't return line 0, that means that we didn't find the line. */
2146 val.pc = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2150 else if (best->line == 0)
2152 /* If our best fit is in a range of PC's for which no line
2153 number info is available (line number is zero) then we didn't
2154 find any valid line information. */
2159 val.symtab = best_symtab;
2160 val.line = best->line;
2162 if (best_end && (!alt || best_end < alt->pc))
2167 val.end = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2169 val.section = section;
2173 /* Backward compatibility (no section) */
2175 struct symtab_and_line
2176 find_pc_line (CORE_ADDR pc, int notcurrent)
2180 section = find_pc_overlay (pc);
2181 if (pc_in_unmapped_range (pc, section))
2182 pc = overlay_mapped_address (pc, section);
2183 return find_pc_sect_line (pc, section, notcurrent);
2186 /* Find line number LINE in any symtab whose name is the same as
2189 If found, return the symtab that contains the linetable in which it was
2190 found, set *INDEX to the index in the linetable of the best entry
2191 found, and set *EXACT_MATCH nonzero if the value returned is an
2194 If not found, return NULL. */
2197 find_line_symtab (struct symtab *symtab, int line, int *index, int *exact_match)
2201 /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE
2205 struct linetable *best_linetable;
2206 struct symtab *best_symtab;
2208 /* First try looking it up in the given symtab. */
2209 best_linetable = LINETABLE (symtab);
2210 best_symtab = symtab;
2211 best_index = find_line_common (best_linetable, line, &exact);
2212 if (best_index < 0 || !exact)
2214 /* Didn't find an exact match. So we better keep looking for
2215 another symtab with the same name. In the case of xcoff,
2216 multiple csects for one source file (produced by IBM's FORTRAN
2217 compiler) produce multiple symtabs (this is unavoidable
2218 assuming csects can be at arbitrary places in memory and that
2219 the GLOBAL_BLOCK of a symtab has a begin and end address). */
2221 /* BEST is the smallest linenumber > LINE so far seen,
2222 or 0 if none has been seen so far.
2223 BEST_INDEX and BEST_LINETABLE identify the item for it. */
2226 struct objfile *objfile;
2229 if (best_index >= 0)
2230 best = best_linetable->item[best_index].line;
2234 ALL_SYMTABS (objfile, s)
2236 struct linetable *l;
2239 if (strcmp (symtab->filename, s->filename) != 0)
2242 ind = find_line_common (l, line, &exact);
2252 if (best == 0 || l->item[ind].line < best)
2254 best = l->item[ind].line;
2267 *index = best_index;
2269 *exact_match = exact;
2274 /* Set the PC value for a given source file and line number and return true.
2275 Returns zero for invalid line number (and sets the PC to 0).
2276 The source file is specified with a struct symtab. */
2279 find_line_pc (struct symtab *symtab, int line, CORE_ADDR *pc)
2281 struct linetable *l;
2288 symtab = find_line_symtab (symtab, line, &ind, NULL);
2291 l = LINETABLE (symtab);
2292 *pc = l->item[ind].pc;
2299 /* Find the range of pc values in a line.
2300 Store the starting pc of the line into *STARTPTR
2301 and the ending pc (start of next line) into *ENDPTR.
2302 Returns 1 to indicate success.
2303 Returns 0 if could not find the specified line. */
2306 find_line_pc_range (struct symtab_and_line sal, CORE_ADDR *startptr,
2309 CORE_ADDR startaddr;
2310 struct symtab_and_line found_sal;
2313 if (startaddr == 0 && !find_line_pc (sal.symtab, sal.line, &startaddr))
2316 /* This whole function is based on address. For example, if line 10 has
2317 two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then
2318 "info line *0x123" should say the line goes from 0x100 to 0x200
2319 and "info line *0x355" should say the line goes from 0x300 to 0x400.
2320 This also insures that we never give a range like "starts at 0x134
2321 and ends at 0x12c". */
2323 found_sal = find_pc_sect_line (startaddr, sal.section, 0);
2324 if (found_sal.line != sal.line)
2326 /* The specified line (sal) has zero bytes. */
2327 *startptr = found_sal.pc;
2328 *endptr = found_sal.pc;
2332 *startptr = found_sal.pc;
2333 *endptr = found_sal.end;
2338 /* Given a line table and a line number, return the index into the line
2339 table for the pc of the nearest line whose number is >= the specified one.
2340 Return -1 if none is found. The value is >= 0 if it is an index.
2342 Set *EXACT_MATCH nonzero if the value returned is an exact match. */
2345 find_line_common (struct linetable *l, int lineno,
2351 /* BEST is the smallest linenumber > LINENO so far seen,
2352 or 0 if none has been seen so far.
2353 BEST_INDEX identifies the item for it. */
2355 int best_index = -1;
2364 for (i = 0; i < len; i++)
2366 struct linetable_entry *item = &(l->item[i]);
2368 if (item->line == lineno)
2370 /* Return the first (lowest address) entry which matches. */
2375 if (item->line > lineno && (best == 0 || item->line < best))
2382 /* If we got here, we didn't get an exact match. */
2389 find_pc_line_pc_range (CORE_ADDR pc, CORE_ADDR *startptr, CORE_ADDR *endptr)
2391 struct symtab_and_line sal;
2392 sal = find_pc_line (pc, 0);
2395 return sal.symtab != 0;
2398 /* Given a function symbol SYM, find the symtab and line for the start
2400 If the argument FUNFIRSTLINE is nonzero, we want the first line
2401 of real code inside the function. */
2403 struct symtab_and_line
2404 find_function_start_sal (struct symbol *sym, int funfirstline)
2407 struct symtab_and_line sal;
2409 pc = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
2410 fixup_symbol_section (sym, NULL);
2412 { /* skip "first line" of function (which is actually its prologue) */
2413 asection *section = SYMBOL_BFD_SECTION (sym);
2414 /* If function is in an unmapped overlay, use its unmapped LMA
2415 address, so that SKIP_PROLOGUE has something unique to work on */
2416 if (section_is_overlay (section) &&
2417 !section_is_mapped (section))
2418 pc = overlay_unmapped_address (pc, section);
2420 pc += DEPRECATED_FUNCTION_START_OFFSET;
2421 pc = SKIP_PROLOGUE (pc);
2423 /* For overlays, map pc back into its mapped VMA range */
2424 pc = overlay_mapped_address (pc, section);
2426 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2428 /* Check if SKIP_PROLOGUE left us in mid-line, and the next
2429 line is still part of the same function. */
2431 && BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= sal.end
2432 && sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
2434 /* First pc of next line */
2436 /* Recalculate the line number (might not be N+1). */
2437 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2444 /* If P is of the form "operator[ \t]+..." where `...' is
2445 some legitimate operator text, return a pointer to the
2446 beginning of the substring of the operator text.
2447 Otherwise, return "". */
2449 operator_chars (char *p, char **end)
2452 if (strncmp (p, "operator", 8))
2456 /* Don't get faked out by `operator' being part of a longer
2458 if (isalpha (*p) || *p == '_' || *p == '$' || *p == '\0')
2461 /* Allow some whitespace between `operator' and the operator symbol. */
2462 while (*p == ' ' || *p == '\t')
2465 /* Recognize 'operator TYPENAME'. */
2467 if (isalpha (*p) || *p == '_' || *p == '$')
2470 while (isalnum (*q) || *q == '_' || *q == '$')
2479 case '\\': /* regexp quoting */
2482 if (p[2] == '=') /* 'operator\*=' */
2484 else /* 'operator\*' */
2488 else if (p[1] == '[')
2491 error ("mismatched quoting on brackets, try 'operator\\[\\]'");
2492 else if (p[2] == '\\' && p[3] == ']')
2494 *end = p + 4; /* 'operator\[\]' */
2498 error ("nothing is allowed between '[' and ']'");
2502 /* Gratuitous qoute: skip it and move on. */
2524 if (p[0] == '-' && p[1] == '>')
2526 /* Struct pointer member operator 'operator->'. */
2529 *end = p + 3; /* 'operator->*' */
2532 else if (p[2] == '\\')
2534 *end = p + 4; /* Hopefully 'operator->\*' */
2539 *end = p + 2; /* 'operator->' */
2543 if (p[1] == '=' || p[1] == p[0])
2554 error ("`operator ()' must be specified without whitespace in `()'");
2559 error ("`operator ?:' must be specified without whitespace in `?:'");
2564 error ("`operator []' must be specified without whitespace in `[]'");
2568 error ("`operator %s' not supported", p);
2577 /* If FILE is not already in the table of files, return zero;
2578 otherwise return non-zero. Optionally add FILE to the table if ADD
2579 is non-zero. If *FIRST is non-zero, forget the old table
2582 filename_seen (const char *file, int add, int *first)
2584 /* Table of files seen so far. */
2585 static const char **tab = NULL;
2586 /* Allocated size of tab in elements.
2587 Start with one 256-byte block (when using GNU malloc.c).
2588 24 is the malloc overhead when range checking is in effect. */
2589 static int tab_alloc_size = (256 - 24) / sizeof (char *);
2590 /* Current size of tab in elements. */
2591 static int tab_cur_size;
2597 tab = (const char **) xmalloc (tab_alloc_size * sizeof (*tab));
2601 /* Is FILE in tab? */
2602 for (p = tab; p < tab + tab_cur_size; p++)
2603 if (strcmp (*p, file) == 0)
2606 /* No; maybe add it to tab. */
2609 if (tab_cur_size == tab_alloc_size)
2611 tab_alloc_size *= 2;
2612 tab = (const char **) xrealloc ((char *) tab,
2613 tab_alloc_size * sizeof (*tab));
2615 tab[tab_cur_size++] = file;
2621 /* Slave routine for sources_info. Force line breaks at ,'s.
2622 NAME is the name to print and *FIRST is nonzero if this is the first
2623 name printed. Set *FIRST to zero. */
2625 output_source_filename (char *name, int *first)
2627 /* Since a single source file can result in several partial symbol
2628 tables, we need to avoid printing it more than once. Note: if
2629 some of the psymtabs are read in and some are not, it gets
2630 printed both under "Source files for which symbols have been
2631 read" and "Source files for which symbols will be read in on
2632 demand". I consider this a reasonable way to deal with the
2633 situation. I'm not sure whether this can also happen for
2634 symtabs; it doesn't hurt to check. */
2636 /* Was NAME already seen? */
2637 if (filename_seen (name, 1, first))
2639 /* Yes; don't print it again. */
2642 /* No; print it and reset *FIRST. */
2649 printf_filtered (", ");
2653 fputs_filtered (name, gdb_stdout);
2657 sources_info (char *ignore, int from_tty)
2660 struct partial_symtab *ps;
2661 struct objfile *objfile;
2664 if (!have_full_symbols () && !have_partial_symbols ())
2666 error ("No symbol table is loaded. Use the \"file\" command.");
2669 printf_filtered ("Source files for which symbols have been read in:\n\n");
2672 ALL_SYMTABS (objfile, s)
2674 output_source_filename (s->filename, &first);
2676 printf_filtered ("\n\n");
2678 printf_filtered ("Source files for which symbols will be read in on demand:\n\n");
2681 ALL_PSYMTABS (objfile, ps)
2685 output_source_filename (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 = local_hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol)
3140 & (CORE_ADDR) 0xffffffff,
3143 tmp = local_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);