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
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"
50 #include <sys/types.h>
52 #include "gdb_string.h"
57 /* Prototypes for local functions */
59 static void completion_list_add_name (char *, char *, int, char *, char *);
61 static void rbreak_command (char *, int);
63 static void types_info (char *, int);
65 static void functions_info (char *, int);
67 static void variables_info (char *, int);
69 static void sources_info (char *, int);
71 static void output_source_filename (char *, int *);
73 static int find_line_common (struct linetable *, int, int *);
75 /* This one is used by linespec.c */
77 char *operator_chars (char *p, char **end);
79 static struct partial_symbol *lookup_partial_symbol (struct partial_symtab *,
84 static struct symbol *lookup_symbol_aux (const char *name,
85 const char *mangled_name,
86 const struct block *block,
87 const domain_enum domain,
88 int *is_a_field_of_this,
89 struct symtab **symtab);
92 struct symbol *lookup_symbol_aux_local (const char *name,
93 const char *mangled_name,
94 const struct block *block,
95 const domain_enum domain,
96 struct symtab **symtab,
97 const struct block **static_block);
100 struct symbol *lookup_symbol_aux_block (const char *name,
101 const char *mangled_name,
102 const struct block *block,
103 const domain_enum domain,
104 struct symtab **symtab);
107 struct symbol *lookup_symbol_aux_symtabs (int block_index,
109 const char *mangled_name,
110 const domain_enum domain,
111 struct symtab **symtab);
114 struct symbol *lookup_symbol_aux_psymtabs (int block_index,
116 const char *mangled_name,
117 const domain_enum domain,
118 struct symtab **symtab);
121 struct symbol *lookup_symbol_aux_minsyms (const char *name,
122 const char *mangled_name,
123 const domain_enum domain,
124 int *is_a_field_of_this,
125 struct symtab **symtab);
127 static struct symbol *find_active_alias (struct symbol *sym, CORE_ADDR addr);
129 /* This flag is used in hppa-tdep.c, and set in hp-symtab-read.c */
130 /* Signals the presence of objects compiled by HP compilers */
131 int hp_som_som_object_present = 0;
133 static void fixup_section (struct general_symbol_info *, struct objfile *);
135 static int file_matches (char *, char **, int);
137 static void print_symbol_info (domain_enum,
138 struct symtab *, struct symbol *, int, char *);
140 static void print_msymbol_info (struct minimal_symbol *);
142 static void symtab_symbol_info (char *, domain_enum, int);
144 static void overload_list_add_symbol (struct symbol *sym, char *oload_name);
146 void _initialize_symtab (void);
150 /* The single non-language-specific builtin type */
151 struct type *builtin_type_error;
153 /* Block in which the most recently searched-for symbol was found.
154 Might be better to make this a parameter to lookup_symbol and
157 const struct block *block_found;
159 /* Check for a symtab of a specific name; first in symtabs, then in
160 psymtabs. *If* there is no '/' in the name, a match after a '/'
161 in the symtab filename will also work. */
164 lookup_symtab (const char *name)
166 register struct symtab *s;
167 register struct partial_symtab *ps;
168 register struct objfile *objfile;
169 char *real_path = NULL;
170 char *full_path = NULL;
172 /* Here we are interested in canonicalizing an absolute path, not
173 absolutizing a relative path. */
174 if (IS_ABSOLUTE_PATH (name))
176 full_path = xfullpath (name);
177 make_cleanup (xfree, full_path);
178 real_path = gdb_realpath (name);
179 make_cleanup (xfree, real_path);
184 /* First, search for an exact match */
186 ALL_SYMTABS (objfile, s)
188 if (FILENAME_CMP (name, s->filename) == 0)
193 /* If the user gave us an absolute path, try to find the file in
194 this symtab and use its absolute path. */
196 if (full_path != NULL)
198 const char *fp = symtab_to_filename (s);
199 if (FILENAME_CMP (full_path, fp) == 0)
205 if (real_path != NULL)
207 char *rp = gdb_realpath (symtab_to_filename (s));
208 make_cleanup (xfree, rp);
209 if (FILENAME_CMP (real_path, rp) == 0)
216 /* Now, search for a matching tail (only if name doesn't have any dirs) */
218 if (lbasename (name) == name)
219 ALL_SYMTABS (objfile, s)
221 if (FILENAME_CMP (lbasename (s->filename), name) == 0)
225 /* Same search rules as above apply here, but now we look thru the
228 ps = lookup_partial_symtab (name);
233 error ("Internal: readin %s pst for `%s' found when no symtab found.",
236 s = PSYMTAB_TO_SYMTAB (ps);
241 /* At this point, we have located the psymtab for this file, but
242 the conversion to a symtab has failed. This usually happens
243 when we are looking up an include file. In this case,
244 PSYMTAB_TO_SYMTAB doesn't return a symtab, even though one has
245 been created. So, we need to run through the symtabs again in
246 order to find the file.
247 XXX - This is a crock, and should be fixed inside of the the
248 symbol parsing routines. */
252 /* Lookup the partial symbol table of a source file named NAME.
253 *If* there is no '/' in the name, a match after a '/'
254 in the psymtab filename will also work. */
256 struct partial_symtab *
257 lookup_partial_symtab (const char *name)
259 register struct partial_symtab *pst;
260 register struct objfile *objfile;
261 char *full_path = NULL;
262 char *real_path = NULL;
264 /* Here we are interested in canonicalizing an absolute path, not
265 absolutizing a relative path. */
266 if (IS_ABSOLUTE_PATH (name))
268 full_path = xfullpath (name);
269 make_cleanup (xfree, full_path);
270 real_path = gdb_realpath (name);
271 make_cleanup (xfree, real_path);
274 ALL_PSYMTABS (objfile, pst)
276 if (FILENAME_CMP (name, pst->filename) == 0)
281 /* If the user gave us an absolute path, try to find the file in
282 this symtab and use its absolute path. */
283 if (full_path != NULL)
285 if (pst->fullname == NULL)
286 source_full_path_of (pst->filename, &pst->fullname);
287 if (pst->fullname != NULL
288 && FILENAME_CMP (full_path, pst->fullname) == 0)
294 if (real_path != NULL)
297 if (pst->fullname == NULL)
298 source_full_path_of (pst->filename, &pst->fullname);
299 if (pst->fullname != NULL)
301 rp = gdb_realpath (pst->fullname);
302 make_cleanup (xfree, rp);
304 if (rp != NULL && FILENAME_CMP (real_path, rp) == 0)
311 /* Now, search for a matching tail (only if name doesn't have any dirs) */
313 if (lbasename (name) == name)
314 ALL_PSYMTABS (objfile, pst)
316 if (FILENAME_CMP (lbasename (pst->filename), name) == 0)
323 /* Mangle a GDB method stub type. This actually reassembles the pieces of the
324 full method name, which consist of the class name (from T), the unadorned
325 method name from METHOD_ID, and the signature for the specific overload,
326 specified by SIGNATURE_ID. Note that this function is g++ specific. */
329 gdb_mangle_name (struct type *type, int method_id, int signature_id)
331 int mangled_name_len;
333 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, method_id);
334 struct fn_field *method = &f[signature_id];
335 char *field_name = TYPE_FN_FIELDLIST_NAME (type, method_id);
336 char *physname = TYPE_FN_FIELD_PHYSNAME (f, signature_id);
337 char *newname = type_name_no_tag (type);
339 /* Does the form of physname indicate that it is the full mangled name
340 of a constructor (not just the args)? */
341 int is_full_physname_constructor;
344 int is_destructor = is_destructor_name (physname);
345 /* Need a new type prefix. */
346 char *const_prefix = method->is_const ? "C" : "";
347 char *volatile_prefix = method->is_volatile ? "V" : "";
349 int len = (newname == NULL ? 0 : strlen (newname));
351 /* Nothing to do if physname already contains a fully mangled v3 abi name
352 or an operator name. */
353 if ((physname[0] == '_' && physname[1] == 'Z')
354 || is_operator_name (field_name))
355 return xstrdup (physname);
357 is_full_physname_constructor = is_constructor_name (physname);
360 is_full_physname_constructor || (newname && STREQ (field_name, newname));
363 is_destructor = (strncmp (physname, "__dt", 4) == 0);
365 if (is_destructor || is_full_physname_constructor)
367 mangled_name = (char *) xmalloc (strlen (physname) + 1);
368 strcpy (mangled_name, physname);
374 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
376 else if (physname[0] == 't' || physname[0] == 'Q')
378 /* The physname for template and qualified methods already includes
380 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
386 sprintf (buf, "__%s%s%d", const_prefix, volatile_prefix, len);
388 mangled_name_len = ((is_constructor ? 0 : strlen (field_name))
389 + strlen (buf) + len + strlen (physname) + 1);
392 mangled_name = (char *) xmalloc (mangled_name_len);
394 mangled_name[0] = '\0';
396 strcpy (mangled_name, field_name);
398 strcat (mangled_name, buf);
399 /* If the class doesn't have a name, i.e. newname NULL, then we just
400 mangle it using 0 for the length of the class. Thus it gets mangled
401 as something starting with `::' rather than `classname::'. */
403 strcat (mangled_name, newname);
405 strcat (mangled_name, physname);
406 return (mangled_name);
410 /* Initialize the language dependent portion of a symbol
411 depending upon the language for the symbol. */
413 symbol_init_language_specific (struct general_symbol_info *gsymbol,
414 enum language language)
416 gsymbol->language = language;
417 if (gsymbol->language == language_cplus
418 || gsymbol->language == language_java
419 || gsymbol->language == language_objc)
421 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
425 memset (&gsymbol->language_specific, 0,
426 sizeof (gsymbol->language_specific));
430 /* Functions to initialize a symbol's mangled name. */
432 /* Create the hash table used for demangled names. Each hash entry is
433 a pair of strings; one for the mangled name and one for the demangled
434 name. The entry is hashed via just the mangled name. */
437 create_demangled_names_hash (struct objfile *objfile)
439 /* Choose 256 as the starting size of the hash table, somewhat arbitrarily.
440 The hash table code will round this up to the next prime number.
441 Choosing a much larger table size wastes memory, and saves only about
442 1% in symbol reading. */
444 objfile->demangled_names_hash = htab_create_alloc_ex
445 (256, htab_hash_string, (int (*) (const void *, const void *)) streq,
446 NULL, objfile->md, xmcalloc, xmfree);
449 /* Try to determine the demangled name for a symbol, based on the
450 language of that symbol. If the language is set to language_auto,
451 it will attempt to find any demangling algorithm that works and
452 then set the language appropriately. The returned name is allocated
453 by the demangler and should be xfree'd. */
456 symbol_find_demangled_name (struct general_symbol_info *gsymbol,
459 char *demangled = NULL;
461 if (gsymbol->language == language_unknown)
462 gsymbol->language = language_auto;
464 if (gsymbol->language == language_objc
465 || gsymbol->language == language_auto)
468 objc_demangle (mangled, 0);
469 if (demangled != NULL)
471 gsymbol->language = language_objc;
475 if (gsymbol->language == language_cplus
476 || gsymbol->language == language_auto)
479 cplus_demangle (mangled, DMGL_PARAMS | DMGL_ANSI);
480 if (demangled != NULL)
482 gsymbol->language = language_cplus;
486 if (gsymbol->language == language_java)
489 cplus_demangle (mangled,
490 DMGL_PARAMS | DMGL_ANSI | DMGL_JAVA);
491 if (demangled != NULL)
493 gsymbol->language = language_java;
500 /* Set both the mangled and demangled (if any) names for GSYMBOL based
501 on LINKAGE_NAME and LEN. The hash table corresponding to OBJFILE
502 is used, and the memory comes from that objfile's symbol_obstack.
503 LINKAGE_NAME is copied, so the pointer can be discarded after
504 calling this function. */
506 /* We have to be careful when dealing with Java names: when we run
507 into a Java minimal symbol, we don't know it's a Java symbol, so it
508 gets demangled as a C++ name. This is unfortunate, but there's not
509 much we can do about it: but when demangling partial symbols and
510 regular symbols, we'd better not reuse the wrong demangled name.
511 (See PR gdb/1039.) We solve this by putting a distinctive prefix
512 on Java names when storing them in the hash table. */
514 /* FIXME: carlton/2003-03-13: This is an unfortunate situation. I
515 don't mind the Java prefix so much: different languages have
516 different demangling requirements, so it's only natural that we
517 need to keep language data around in our demangling cache. But
518 it's not good that the minimal symbol has the wrong demangled name.
519 Unfortunately, I can't think of any easy solution to that
522 #define JAVA_PREFIX "##JAVA$$"
523 #define JAVA_PREFIX_LEN 8
526 symbol_set_names (struct general_symbol_info *gsymbol,
527 const char *linkage_name, int len, struct objfile *objfile)
530 /* A 0-terminated copy of the linkage name. */
531 const char *linkage_name_copy;
532 /* A copy of the linkage name that might have a special Java prefix
533 added to it, for use when looking names up in the hash table. */
534 const char *lookup_name;
535 /* The length of lookup_name. */
538 if (objfile->demangled_names_hash == NULL)
539 create_demangled_names_hash (objfile);
541 /* The stabs reader generally provides names that are not
542 NUL-terminated; most of the other readers don't do this, so we
543 can just use the given copy, unless we're in the Java case. */
544 if (gsymbol->language == language_java)
547 lookup_len = len + JAVA_PREFIX_LEN;
549 alloc_name = alloca (lookup_len + 1);
550 memcpy (alloc_name, JAVA_PREFIX, JAVA_PREFIX_LEN);
551 memcpy (alloc_name + JAVA_PREFIX_LEN, linkage_name, len);
552 alloc_name[lookup_len] = '\0';
554 lookup_name = alloc_name;
555 linkage_name_copy = alloc_name + JAVA_PREFIX_LEN;
557 else if (linkage_name[len] != '\0')
562 alloc_name = alloca (lookup_len + 1);
563 memcpy (alloc_name, linkage_name, len);
564 alloc_name[lookup_len] = '\0';
566 lookup_name = alloc_name;
567 linkage_name_copy = alloc_name;
572 lookup_name = linkage_name;
573 linkage_name_copy = linkage_name;
576 slot = (char **) htab_find_slot (objfile->demangled_names_hash,
577 lookup_name, INSERT);
579 /* If this name is not in the hash table, add it. */
582 char *demangled_name = symbol_find_demangled_name (gsymbol,
584 int demangled_len = demangled_name ? strlen (demangled_name) : 0;
586 /* If there is a demangled name, place it right after the mangled name.
587 Otherwise, just place a second zero byte after the end of the mangled
589 *slot = obstack_alloc (&objfile->symbol_obstack,
590 lookup_len + demangled_len + 2);
591 memcpy (*slot, lookup_name, lookup_len + 1);
592 if (demangled_name != NULL)
594 memcpy (*slot + lookup_len + 1, demangled_name, demangled_len + 1);
595 xfree (demangled_name);
598 (*slot)[lookup_len + 1] = '\0';
601 gsymbol->name = *slot + lookup_len - len;
602 if ((*slot)[lookup_len + 1] != '\0')
603 gsymbol->language_specific.cplus_specific.demangled_name
604 = &(*slot)[lookup_len + 1];
606 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
609 /* Initialize the demangled name of GSYMBOL if possible. Any required space
610 to store the name is obtained from the specified obstack. The function
611 symbol_set_names, above, should be used instead where possible for more
612 efficient memory usage. */
615 symbol_init_demangled_name (struct general_symbol_info *gsymbol,
616 struct obstack *obstack)
618 char *mangled = gsymbol->name;
619 char *demangled = NULL;
621 demangled = symbol_find_demangled_name (gsymbol, mangled);
622 if (gsymbol->language == language_cplus
623 || gsymbol->language == language_java
624 || gsymbol->language == language_objc)
628 gsymbol->language_specific.cplus_specific.demangled_name
629 = obsavestring (demangled, strlen (demangled), obstack);
633 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
637 /* Unknown language; just clean up quietly. */
643 /* Return the source code name of a symbol. In languages where
644 demangling is necessary, this is the demangled name. */
647 symbol_natural_name (const struct general_symbol_info *gsymbol)
649 if ((gsymbol->language == language_cplus
650 || gsymbol->language == language_java
651 || gsymbol->language == language_objc)
652 && (gsymbol->language_specific.cplus_specific.demangled_name != NULL))
654 return gsymbol->language_specific.cplus_specific.demangled_name;
658 return gsymbol->name;
662 /* Return the demangled name for a symbol based on the language for
663 that symbol. If no demangled name exists, return NULL. */
665 symbol_demangled_name (struct general_symbol_info *gsymbol)
667 if (gsymbol->language == language_cplus
668 || gsymbol->language == language_java
669 || gsymbol->language == language_objc)
670 return gsymbol->language_specific.cplus_specific.demangled_name;
676 /* Initialize the structure fields to zero values. */
678 init_sal (struct symtab_and_line *sal)
689 /* Find which partial symtab on contains PC and SECTION. Return 0 if none. */
691 struct partial_symtab *
692 find_pc_sect_psymtab (CORE_ADDR pc, asection *section)
694 register struct partial_symtab *pst;
695 register 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;
716 /* An objfile that has its functions reordered might have
717 many partial symbol tables containing the PC, but
718 we want the partial symbol table that contains the
719 function containing the PC. */
720 if (!(objfile->flags & OBJF_REORDERED) &&
721 section == 0) /* can't validate section this way */
727 for (tpst = pst; tpst != NULL; tpst = tpst->next)
729 if (pc >= tpst->textlow && pc < tpst->texthigh)
731 struct partial_symbol *p;
733 p = find_pc_sect_psymbol (tpst, pc, section);
735 && SYMBOL_VALUE_ADDRESS (p)
736 == SYMBOL_VALUE_ADDRESS (msymbol))
746 /* Find which partial symtab contains PC. Return 0 if none.
747 Backward compatibility, no section */
749 struct partial_symtab *
750 find_pc_psymtab (CORE_ADDR pc)
752 return find_pc_sect_psymtab (pc, find_pc_mapped_section (pc));
755 /* Find which partial symbol within a psymtab matches PC and SECTION.
756 Return 0 if none. Check all psymtabs if PSYMTAB is 0. */
758 struct partial_symbol *
759 find_pc_sect_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc,
762 struct partial_symbol *best = NULL, *p, **pp;
766 psymtab = find_pc_sect_psymtab (pc, section);
770 /* Cope with programs that start at address 0 */
771 best_pc = (psymtab->textlow != 0) ? psymtab->textlow - 1 : 0;
773 /* Search the global symbols as well as the static symbols, so that
774 find_pc_partial_function doesn't use a minimal symbol and thus
775 cache a bad endaddr. */
776 for (pp = psymtab->objfile->global_psymbols.list + psymtab->globals_offset;
777 (pp - (psymtab->objfile->global_psymbols.list + psymtab->globals_offset)
778 < psymtab->n_global_syms);
782 if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
783 && SYMBOL_CLASS (p) == LOC_BLOCK
784 && pc >= SYMBOL_VALUE_ADDRESS (p)
785 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
786 || (psymtab->textlow == 0
787 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
789 if (section) /* match on a specific section */
791 fixup_psymbol_section (p, psymtab->objfile);
792 if (SYMBOL_BFD_SECTION (p) != section)
795 best_pc = SYMBOL_VALUE_ADDRESS (p);
800 for (pp = psymtab->objfile->static_psymbols.list + psymtab->statics_offset;
801 (pp - (psymtab->objfile->static_psymbols.list + psymtab->statics_offset)
802 < psymtab->n_static_syms);
806 if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
807 && SYMBOL_CLASS (p) == LOC_BLOCK
808 && pc >= SYMBOL_VALUE_ADDRESS (p)
809 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
810 || (psymtab->textlow == 0
811 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
813 if (section) /* match on a specific section */
815 fixup_psymbol_section (p, psymtab->objfile);
816 if (SYMBOL_BFD_SECTION (p) != section)
819 best_pc = SYMBOL_VALUE_ADDRESS (p);
827 /* Find which partial symbol within a psymtab matches PC. Return 0 if none.
828 Check all psymtabs if PSYMTAB is 0. Backwards compatibility, no section. */
830 struct partial_symbol *
831 find_pc_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc)
833 return find_pc_sect_psymbol (psymtab, pc, find_pc_mapped_section (pc));
836 /* Debug symbols usually don't have section information. We need to dig that
837 out of the minimal symbols and stash that in the debug symbol. */
840 fixup_section (struct general_symbol_info *ginfo, struct objfile *objfile)
842 struct minimal_symbol *msym;
843 msym = lookup_minimal_symbol (ginfo->name, NULL, objfile);
847 ginfo->bfd_section = SYMBOL_BFD_SECTION (msym);
848 ginfo->section = SYMBOL_SECTION (msym);
853 fixup_symbol_section (struct symbol *sym, struct objfile *objfile)
858 if (SYMBOL_BFD_SECTION (sym))
861 fixup_section (&sym->ginfo, objfile);
866 struct partial_symbol *
867 fixup_psymbol_section (struct partial_symbol *psym, struct objfile *objfile)
872 if (SYMBOL_BFD_SECTION (psym))
875 fixup_section (&psym->ginfo, objfile);
880 /* Find the definition for a specified symbol name NAME
881 in domain DOMAIN, visible from lexical block BLOCK.
882 Returns the struct symbol pointer, or zero if no symbol is found.
883 If SYMTAB is non-NULL, store the symbol table in which the
884 symbol was found there, or NULL if not found.
885 C++: if IS_A_FIELD_OF_THIS is nonzero on entry, check to see if
886 NAME is a field of the current implied argument `this'. If so set
887 *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero.
888 BLOCK_FOUND is set to the block in which NAME is found (in the case of
889 a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
891 /* This function has a bunch of loops in it and it would seem to be
892 attractive to put in some QUIT's (though I'm not really sure
893 whether it can run long enough to be really important). But there
894 are a few calls for which it would appear to be bad news to quit
895 out of here: find_proc_desc in alpha-tdep.c and mips-tdep.c. (Note
896 that there is C++ code below which can error(), but that probably
897 doesn't affect these calls since they are looking for a known
898 variable and thus can probably assume it will never hit the C++
902 lookup_symbol (const char *name, const struct block *block,
903 const domain_enum domain, int *is_a_field_of_this,
904 struct symtab **symtab)
906 char *demangled_name = NULL;
907 const char *modified_name = NULL;
908 const char *mangled_name = NULL;
909 int needtofreename = 0;
910 struct symbol *returnval;
912 modified_name = name;
914 /* If we are using C++ language, demangle the name before doing a lookup, so
915 we can always binary search. */
916 if (current_language->la_language == language_cplus)
918 demangled_name = cplus_demangle (name, DMGL_ANSI | DMGL_PARAMS);
922 modified_name = demangled_name;
927 if (case_sensitivity == case_sensitive_off)
933 copy = (char *) alloca (len + 1);
934 for (i= 0; i < len; i++)
935 copy[i] = tolower (name[i]);
937 modified_name = copy;
940 returnval = lookup_symbol_aux (modified_name, mangled_name, block,
941 domain, is_a_field_of_this, symtab);
943 xfree (demangled_name);
948 static struct symbol *
949 lookup_symbol_aux (const char *name, const char *mangled_name,
950 const struct block *block, const domain_enum domain,
951 int *is_a_field_of_this, struct symtab **symtab)
954 const struct block *static_block;
956 /* Search specified block and its superiors. Don't search
957 STATIC_BLOCK or GLOBAL_BLOCK. */
959 sym = lookup_symbol_aux_local (name, mangled_name, block, domain,
960 symtab, &static_block);
965 /* NOTE: carlton/2002-11-05: At the time that this code was
966 #ifdeffed out, the value of 'block' was always NULL at this
967 point, hence the bemused comments below. */
969 /* FIXME: this code is never executed--block is always NULL at this
970 point. What is it trying to do, anyway? We already should have
971 checked the STATIC_BLOCK above (it is the superblock of top-level
972 blocks). Why is VAR_DOMAIN special-cased? */
973 /* Don't need to mess with the psymtabs; if we have a block,
974 that file is read in. If we don't, then we deal later with
975 all the psymtab stuff that needs checking. */
976 /* Note (RT): The following never-executed code looks unnecessary to me also.
977 * If we change the code to use the original (passed-in)
978 * value of 'block', we could cause it to execute, but then what
979 * would it do? The STATIC_BLOCK of the symtab containing the passed-in
980 * 'block' was already searched by the above code. And the STATIC_BLOCK's
981 * of *other* symtabs (those files not containing 'block' lexically)
982 * should not contain 'block' address-wise. So we wouldn't expect this
983 * code to find any 'sym''s that were not found above. I vote for
984 * deleting the following paragraph of code.
986 if (domain == VAR_DOMAIN && block != NULL)
989 /* Find the right symtab. */
990 ALL_SYMTABS (objfile, s)
992 bv = BLOCKVECTOR (s);
993 b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
994 if (BLOCK_START (b) <= BLOCK_START (block)
995 && BLOCK_END (b) > BLOCK_START (block))
997 sym = lookup_block_symbol (b, name, mangled_name, VAR_DOMAIN);
1003 return fixup_symbol_section (sym, objfile);
1010 /* C++/Java/Objective-C: If requested to do so by the caller,
1011 check to see if NAME is a field of `this'. */
1012 if (is_a_field_of_this)
1014 struct value *v = value_of_this (0);
1016 *is_a_field_of_this = 0;
1017 if (v && check_field (v, name))
1019 *is_a_field_of_this = 1;
1026 /* If there's a static block to search, search it next. */
1028 /* NOTE: carlton/2002-12-05: There is a question as to whether or
1029 not it would be appropriate to search the current global block
1030 here as well. (That's what this code used to do before the
1031 is_a_field_of_this check was moved up.) On the one hand, it's
1032 redundant with the lookup_symbol_aux_symtabs search that happens
1033 next. On the other hand, if decode_line_1 is passed an argument
1034 like filename:var, then the user presumably wants 'var' to be
1035 searched for in filename. On the third hand, there shouldn't be
1036 multiple global variables all of which are named 'var', and it's
1037 not like decode_line_1 has ever restricted its search to only
1038 global variables in a single filename. All in all, only
1039 searching the static block here seems best: it's correct and it's
1042 /* NOTE: carlton/2002-12-05: There's also a possible performance
1043 issue here: if you usually search for global symbols in the
1044 current file, then it would be slightly better to search the
1045 current global block before searching all the symtabs. But there
1046 are other factors that have a much greater effect on performance
1047 than that one, so I don't think we should worry about that for
1050 if (static_block != NULL)
1052 sym = lookup_symbol_aux_block (name, mangled_name, static_block,
1058 /* Now search all global blocks. Do the symtab's first, then
1059 check the psymtab's. If a psymtab indicates the existence
1060 of the desired name as a global, then do psymtab-to-symtab
1061 conversion on the fly and return the found symbol. */
1063 sym = lookup_symbol_aux_symtabs (GLOBAL_BLOCK, name, mangled_name,
1070 /* Check for the possibility of the symbol being a function or
1071 a mangled variable that is stored in one of the minimal symbol tables.
1072 Eventually, all global symbols might be resolved in this way. */
1074 sym = lookup_symbol_aux_minsyms (name, mangled_name,
1075 domain, is_a_field_of_this,
1083 sym = lookup_symbol_aux_psymtabs (GLOBAL_BLOCK, name, mangled_name,
1088 /* Now search all static file-level symbols. Not strictly correct,
1089 but more useful than an error. Do the symtabs first, then check
1090 the psymtabs. If a psymtab indicates the existence of the
1091 desired name as a file-level static, then do psymtab-to-symtab
1092 conversion on the fly and return the found symbol. */
1094 sym = lookup_symbol_aux_symtabs (STATIC_BLOCK, name, mangled_name,
1099 sym = lookup_symbol_aux_psymtabs (STATIC_BLOCK, name, mangled_name,
1106 /* Check for the possibility of the symbol being a function or
1107 a global variable that is stored in one of the minimal symbol tables.
1108 The "minimal symbol table" is built from linker-supplied info.
1110 RT: I moved this check to last, after the complete search of
1111 the global (p)symtab's and static (p)symtab's. For HP-generated
1112 symbol tables, this check was causing a premature exit from
1113 lookup_symbol with NULL return, and thus messing up symbol lookups
1114 of things like "c::f". It seems to me a check of the minimal
1115 symbol table ought to be a last resort in any case. I'm vaguely
1116 worried about the comment below which talks about FORTRAN routines "foo_"
1117 though... is it saying we need to do the "minsym" check before
1118 the static check in this case?
1122 sym = lookup_symbol_aux_minsyms (name, mangled_name,
1123 domain, is_a_field_of_this,
1136 /* Check to see if the symbol is defined in BLOCK or its superiors.
1137 Don't search STATIC_BLOCK or GLOBAL_BLOCK. If we don't find a
1138 match, store the address of STATIC_BLOCK in static_block. */
1140 static struct symbol *
1141 lookup_symbol_aux_local (const char *name, const char *mangled_name,
1142 const struct block *block,
1143 const domain_enum domain,
1144 struct symtab **symtab,
1145 const struct block **static_block)
1149 /* Check if either no block is specified or it's a global block. */
1151 if (block == NULL || BLOCK_SUPERBLOCK (block) == NULL)
1153 *static_block = NULL;
1157 while (BLOCK_SUPERBLOCK (BLOCK_SUPERBLOCK (block)) != NULL)
1159 sym = lookup_symbol_aux_block (name, mangled_name, block, domain,
1163 block = BLOCK_SUPERBLOCK (block);
1166 /* We've reached the static block. */
1168 *static_block = block;
1172 /* Look up a symbol in a block; if found, locate its symtab, fixup the
1173 symbol, and set block_found appropriately. */
1175 static struct symbol *
1176 lookup_symbol_aux_block (const char *name, const char *mangled_name,
1177 const struct block *block,
1178 const domain_enum domain,
1179 struct symtab **symtab)
1182 struct objfile *objfile = NULL;
1183 struct blockvector *bv;
1185 struct symtab *s = NULL;
1187 sym = lookup_block_symbol (block, name, mangled_name, domain);
1190 block_found = block;
1193 /* Search the list of symtabs for one which contains the
1194 address of the start of this block. */
1195 ALL_SYMTABS (objfile, s)
1197 bv = BLOCKVECTOR (s);
1198 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1199 if (BLOCK_START (b) <= BLOCK_START (block)
1200 && BLOCK_END (b) > BLOCK_START (block))
1207 return fixup_symbol_section (sym, objfile);
1213 /* Check to see if the symbol is defined in one of the symtabs.
1214 BLOCK_INDEX should be either GLOBAL_BLOCK or STATIC_BLOCK,
1215 depending on whether or not we want to search global symbols or
1218 static struct symbol *
1219 lookup_symbol_aux_symtabs (int block_index,
1220 const char *name, const char *mangled_name,
1221 const domain_enum domain,
1222 struct symtab **symtab)
1225 struct objfile *objfile;
1226 struct blockvector *bv;
1227 const struct block *block;
1230 ALL_SYMTABS (objfile, s)
1232 bv = BLOCKVECTOR (s);
1233 block = BLOCKVECTOR_BLOCK (bv, block_index);
1234 sym = lookup_block_symbol (block, name, mangled_name, domain);
1237 block_found = block;
1240 return fixup_symbol_section (sym, objfile);
1247 /* Check to see if the symbol is defined in one of the partial
1248 symtabs. BLOCK_INDEX should be either GLOBAL_BLOCK or
1249 STATIC_BLOCK, depending on whether or not we want to search global
1250 symbols or static symbols. */
1252 static struct symbol *
1253 lookup_symbol_aux_psymtabs (int block_index, const char *name,
1254 const char *mangled_name,
1255 const domain_enum domain,
1256 struct symtab **symtab)
1259 struct objfile *objfile;
1260 struct blockvector *bv;
1261 const struct block *block;
1262 struct partial_symtab *ps;
1264 const int psymtab_index = (block_index == GLOBAL_BLOCK ? 1 : 0);
1266 ALL_PSYMTABS (objfile, ps)
1269 && lookup_partial_symbol (ps, name, mangled_name,
1270 psymtab_index, domain))
1272 s = PSYMTAB_TO_SYMTAB (ps);
1273 bv = BLOCKVECTOR (s);
1274 block = BLOCKVECTOR_BLOCK (bv, block_index);
1275 sym = lookup_block_symbol (block, name, mangled_name, domain);
1278 /* This shouldn't be necessary, but as a last resort try
1279 looking in the statics even though the psymtab claimed
1280 the symbol was global, or vice-versa. It's possible
1281 that the psymtab gets it wrong in some cases. */
1283 /* FIXME: carlton/2002-09-30: Should we really do that?
1284 If that happens, isn't it likely to be a GDB error, in
1285 which case we should fix the GDB error rather than
1286 silently dealing with it here? So I'd vote for
1287 removing the check for the symbol in the other
1289 block = BLOCKVECTOR_BLOCK (bv,
1290 block_index == GLOBAL_BLOCK ?
1291 STATIC_BLOCK : GLOBAL_BLOCK);
1292 sym = lookup_block_symbol (block, name, mangled_name, domain);
1294 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>).",
1295 block_index == GLOBAL_BLOCK ? "global" : "static",
1296 name, ps->filename, name, name);
1300 return fixup_symbol_section (sym, objfile);
1307 /* Check for the possibility of the symbol being a function or a
1308 mangled variable that is stored in one of the minimal symbol
1309 tables. Eventually, all global symbols might be resolved in this
1312 /* NOTE: carlton/2002-12-05: At one point, this function was part of
1313 lookup_symbol_aux, and what are now 'return' statements within
1314 lookup_symbol_aux_minsyms returned from lookup_symbol_aux, even if
1315 sym was NULL. As far as I can tell, this was basically accidental;
1316 it didn't happen every time that msymbol was non-NULL, but only if
1317 some additional conditions held as well, and it caused problems
1318 with HP-generated symbol tables. */
1320 static struct symbol *
1321 lookup_symbol_aux_minsyms (const char *name,
1322 const char *mangled_name,
1323 const domain_enum domain,
1324 int *is_a_field_of_this,
1325 struct symtab **symtab)
1328 struct blockvector *bv;
1329 const struct block *block;
1330 struct minimal_symbol *msymbol;
1333 if (domain == VAR_DOMAIN)
1335 msymbol = lookup_minimal_symbol (name, NULL, NULL);
1337 if (msymbol != NULL)
1339 /* OK, we found a minimal symbol in spite of not finding any
1340 symbol. There are various possible explanations for
1341 this. One possibility is the symbol exists in code not
1342 compiled -g. Another possibility is that the 'psymtab'
1343 isn't doing its job. A third possibility, related to #2,
1344 is that we were confused by name-mangling. For instance,
1345 maybe the psymtab isn't doing its job because it only
1346 know about demangled names, but we were given a mangled
1349 /* We first use the address in the msymbol to try to locate
1350 the appropriate symtab. Note that find_pc_sect_symtab()
1351 has a side-effect of doing psymtab-to-symtab expansion,
1352 for the found symtab. */
1353 s = find_pc_sect_symtab (SYMBOL_VALUE_ADDRESS (msymbol),
1354 SYMBOL_BFD_SECTION (msymbol));
1357 /* This is a function which has a symtab for its address. */
1358 bv = BLOCKVECTOR (s);
1359 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1361 /* This call used to pass `DEPRECATED_SYMBOL_NAME (msymbol)' as the
1362 `name' argument to lookup_block_symbol. But the name
1363 of a minimal symbol is always mangled, so that seems
1364 to be clearly the wrong thing to pass as the
1367 lookup_block_symbol (block, name, mangled_name, domain);
1368 /* We kept static functions in minimal symbol table as well as
1369 in static scope. We want to find them in the symbol table. */
1372 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1373 sym = lookup_block_symbol (block, name,
1374 mangled_name, domain);
1377 /* NOTE: carlton/2002-12-04: The following comment was
1378 taken from a time when two versions of this function
1379 were part of the body of lookup_symbol_aux: this
1380 comment was taken from the version of the function
1381 that was #ifdef HPUXHPPA, and the comment was right
1382 before the 'return NULL' part of lookup_symbol_aux.
1383 (Hence the "Fall through and return 0" comment.)
1384 Elena did some digging into the situation for
1385 Fortran, and she reports:
1387 "I asked around (thanks to Jeff Knaggs), and I think
1388 the story for Fortran goes like this:
1390 "Apparently, in older Fortrans, '_' was not part of
1391 the user namespace. g77 attached a final '_' to
1392 procedure names as the exported symbols for linkage
1393 (foo_) , but the symbols went in the debug info just
1394 like 'foo'. The rationale behind this is not
1395 completely clear, and maybe it was done to other
1396 symbols as well, not just procedures." */
1398 /* If we get here with sym == 0, the symbol was
1399 found in the minimal symbol table
1400 but not in the symtab.
1401 Fall through and return 0 to use the msymbol
1402 definition of "foo_".
1403 (Note that outer code generally follows up a call
1404 to this routine with a call to lookup_minimal_symbol(),
1405 so a 0 return means we'll just flow into that other routine).
1407 This happens for Fortran "foo_" symbols,
1408 which are "foo" in the symtab.
1410 This can also happen if "asm" is used to make a
1411 regular symbol but not a debugging symbol, e.g.
1412 asm(".globl _main");
1416 if (symtab != NULL && sym != NULL)
1418 return fixup_symbol_section (sym, s->objfile);
1420 else if (MSYMBOL_TYPE (msymbol) != mst_text
1421 && MSYMBOL_TYPE (msymbol) != mst_file_text
1422 && !STREQ (name, DEPRECATED_SYMBOL_NAME (msymbol)))
1424 /* This is a mangled variable, look it up by its
1426 return lookup_symbol_aux (DEPRECATED_SYMBOL_NAME (msymbol), mangled_name,
1427 NULL, domain, is_a_field_of_this,
1436 /* Look, in partial_symtab PST, for symbol whose natural name is NAME.
1437 If LINKAGE_NAME is non-NULL, check in addition that the symbol's
1438 linkage name matches it. Check the global symbols if GLOBAL, the
1439 static symbols if not */
1441 static struct partial_symbol *
1442 lookup_partial_symbol (struct partial_symtab *pst, const char *name,
1443 const char *linkage_name, int global,
1446 struct partial_symbol *temp;
1447 struct partial_symbol **start, **psym;
1448 struct partial_symbol **top, **real_top, **bottom, **center;
1449 int length = (global ? pst->n_global_syms : pst->n_static_syms);
1450 int do_linear_search = 1;
1457 pst->objfile->global_psymbols.list + pst->globals_offset :
1458 pst->objfile->static_psymbols.list + pst->statics_offset);
1460 if (global) /* This means we can use a binary search. */
1462 do_linear_search = 0;
1464 /* Binary search. This search is guaranteed to end with center
1465 pointing at the earliest partial symbol whose name might be
1466 correct. At that point *all* partial symbols with an
1467 appropriate name will be checked against the correct
1471 top = start + length - 1;
1473 while (top > bottom)
1475 center = bottom + (top - bottom) / 2;
1476 if (!(center < top))
1477 internal_error (__FILE__, __LINE__, "failed internal consistency check");
1478 if (!do_linear_search
1479 && (SYMBOL_LANGUAGE (*center) == language_java))
1481 do_linear_search = 1;
1483 if (strcmp_iw_ordered (SYMBOL_NATURAL_NAME (*center), name) >= 0)
1489 bottom = center + 1;
1492 if (!(top == bottom))
1493 internal_error (__FILE__, __LINE__, "failed internal consistency check");
1495 while (top <= real_top
1496 && (linkage_name != NULL
1497 ? strcmp (SYMBOL_LINKAGE_NAME (*top), linkage_name) == 0
1498 : SYMBOL_MATCHES_NATURAL_NAME (*top,name)))
1500 if (SYMBOL_DOMAIN (*top) == domain)
1508 /* Can't use a binary search or else we found during the binary search that
1509 we should also do a linear search. */
1511 if (do_linear_search)
1513 for (psym = start; psym < start + length; psym++)
1515 if (domain == SYMBOL_DOMAIN (*psym))
1517 if (linkage_name != NULL
1518 ? strcmp (SYMBOL_LINKAGE_NAME (*psym), linkage_name) == 0
1519 : SYMBOL_MATCHES_NATURAL_NAME (*psym, name))
1530 /* Look up a type named NAME in the struct_domain. The type returned
1531 must not be opaque -- i.e., must have at least one field defined
1533 This code was modelled on lookup_symbol -- the parts not relevant to looking
1534 up types were just left out. In particular it's assumed here that types
1535 are available in struct_domain and only at file-static or global blocks. */
1539 lookup_transparent_type (const char *name)
1541 register struct symbol *sym;
1542 register struct symtab *s = NULL;
1543 register struct partial_symtab *ps;
1544 struct blockvector *bv;
1545 register struct objfile *objfile;
1546 register struct block *block;
1548 /* Now search all the global symbols. Do the symtab's first, then
1549 check the psymtab's. If a psymtab indicates the existence
1550 of the desired name as a global, then do psymtab-to-symtab
1551 conversion on the fly and return the found symbol. */
1553 ALL_SYMTABS (objfile, s)
1555 bv = BLOCKVECTOR (s);
1556 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1557 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1558 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1560 return SYMBOL_TYPE (sym);
1564 ALL_PSYMTABS (objfile, ps)
1566 if (!ps->readin && lookup_partial_symbol (ps, name, NULL,
1569 s = PSYMTAB_TO_SYMTAB (ps);
1570 bv = BLOCKVECTOR (s);
1571 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1572 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1575 /* This shouldn't be necessary, but as a last resort
1576 * try looking in the statics even though the psymtab
1577 * claimed the symbol was global. It's possible that
1578 * the psymtab gets it wrong in some cases.
1580 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1581 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1583 error ("Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
1584 %s may be an inlined function, or may be a template function\n\
1585 (if a template, try specifying an instantiation: %s<type>).",
1586 name, ps->filename, name, name);
1588 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1589 return SYMBOL_TYPE (sym);
1593 /* Now search the static file-level symbols.
1594 Not strictly correct, but more useful than an error.
1595 Do the symtab's first, then
1596 check the psymtab's. If a psymtab indicates the existence
1597 of the desired name as a file-level static, then do psymtab-to-symtab
1598 conversion on the fly and return the found symbol.
1601 ALL_SYMTABS (objfile, s)
1603 bv = BLOCKVECTOR (s);
1604 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1605 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1606 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1608 return SYMBOL_TYPE (sym);
1612 ALL_PSYMTABS (objfile, ps)
1614 if (!ps->readin && lookup_partial_symbol (ps, name, NULL, 0, STRUCT_DOMAIN))
1616 s = PSYMTAB_TO_SYMTAB (ps);
1617 bv = BLOCKVECTOR (s);
1618 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1619 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1622 /* This shouldn't be necessary, but as a last resort
1623 * try looking in the globals even though the psymtab
1624 * claimed the symbol was static. It's possible that
1625 * the psymtab gets it wrong in some cases.
1627 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1628 sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1630 error ("Internal: static symbol `%s' found in %s psymtab but not in symtab.\n\
1631 %s may be an inlined function, or may be a template function\n\
1632 (if a template, try specifying an instantiation: %s<type>).",
1633 name, ps->filename, name, name);
1635 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1636 return SYMBOL_TYPE (sym);
1639 return (struct type *) 0;
1643 /* Find the psymtab containing main(). */
1644 /* FIXME: What about languages without main() or specially linked
1645 executables that have no main() ? */
1647 struct partial_symtab *
1648 find_main_psymtab (void)
1650 register struct partial_symtab *pst;
1651 register struct objfile *objfile;
1653 ALL_PSYMTABS (objfile, pst)
1655 if (lookup_partial_symbol (pst, main_name (), NULL, 1, VAR_DOMAIN))
1663 /* Search BLOCK for symbol NAME in DOMAIN.
1665 Note that if NAME is the demangled form of a C++ symbol, we will fail
1666 to find a match during the binary search of the non-encoded names, but
1667 for now we don't worry about the slight inefficiency of looking for
1668 a match we'll never find, since it will go pretty quick. Once the
1669 binary search terminates, we drop through and do a straight linear
1670 search on the symbols. Each symbol which is marked as being a ObjC/C++
1671 symbol (language_cplus or language_objc set) has both the encoded and
1672 non-encoded names tested for a match.
1674 If MANGLED_NAME is non-NULL, verify that any symbol we find has this
1675 particular mangled name.
1679 lookup_block_symbol (register const struct block *block, const char *name,
1680 const char *mangled_name,
1681 const domain_enum domain)
1683 register int bot, top, inc;
1684 register struct symbol *sym;
1685 register struct symbol *sym_found = NULL;
1686 register int do_linear_search = 1;
1688 if (BLOCK_HASHTABLE (block))
1690 unsigned int hash_index;
1691 hash_index = msymbol_hash_iw (name);
1692 hash_index = hash_index % BLOCK_BUCKETS (block);
1693 for (sym = BLOCK_BUCKET (block, hash_index); sym; sym = sym->hash_next)
1695 if (SYMBOL_DOMAIN (sym) == domain
1697 ? strcmp (DEPRECATED_SYMBOL_NAME (sym), mangled_name) == 0
1698 : SYMBOL_MATCHES_NATURAL_NAME (sym, name)))
1704 /* If the blocks's symbols were sorted, start with a binary search. */
1706 if (BLOCK_SHOULD_SORT (block))
1708 /* Reset the linear search flag so if the binary search fails, we
1709 won't do the linear search once unless we find some reason to
1712 do_linear_search = 0;
1713 top = BLOCK_NSYMS (block);
1716 /* Advance BOT to not far before the first symbol whose name is NAME. */
1720 inc = (top - bot + 1);
1721 /* No need to keep binary searching for the last few bits worth. */
1726 inc = (inc >> 1) + bot;
1727 sym = BLOCK_SYM (block, inc);
1728 if (!do_linear_search && (SYMBOL_LANGUAGE (sym) == language_java))
1730 do_linear_search = 1;
1732 if (SYMBOL_NATURAL_NAME (sym)[0] < name[0])
1736 else if (SYMBOL_NATURAL_NAME (sym)[0] > name[0])
1740 else if (strcmp (SYMBOL_NATURAL_NAME (sym), name) < 0)
1750 /* Now scan forward until we run out of symbols, find one whose
1751 name is greater than NAME, or find one we want. If there is
1752 more than one symbol with the right name and domain, we
1753 return the first one; I believe it is now impossible for us
1754 to encounter two symbols with the same name and domain
1755 here, because blocks containing argument symbols are no
1756 longer sorted. The exception is for C++, where multiple functions
1757 (cloned constructors / destructors, in particular) can have
1758 the same demangled name. So if we have a particular
1759 mangled name to match, try to do so. */
1761 top = BLOCK_NSYMS (block);
1764 sym = BLOCK_SYM (block, bot);
1765 if (SYMBOL_DOMAIN (sym) == domain
1767 ? strcmp (DEPRECATED_SYMBOL_NAME (sym), mangled_name) == 0
1768 : SYMBOL_MATCHES_NATURAL_NAME (sym, name)))
1772 if (SYMBOL_PRINT_NAME (sym)[0] > name[0])
1780 /* Here if block isn't sorted, or we fail to find a match during the
1781 binary search above. If during the binary search above, we find a
1782 symbol which is a Java symbol, then we have re-enabled the linear
1783 search flag which was reset when starting the binary search.
1785 This loop is equivalent to the loop above, but hacked greatly for speed.
1787 Note that parameter symbols do not always show up last in the
1788 list; this loop makes sure to take anything else other than
1789 parameter symbols first; it only uses parameter symbols as a
1790 last resort. Note that this only takes up extra computation
1793 if (do_linear_search)
1795 top = BLOCK_NSYMS (block);
1799 sym = BLOCK_SYM (block, bot);
1800 if (SYMBOL_DOMAIN (sym) == domain
1802 ? strcmp (DEPRECATED_SYMBOL_NAME (sym), mangled_name) == 0
1803 : SYMBOL_MATCHES_NATURAL_NAME (sym, name)))
1805 /* If SYM has aliases, then use any alias that is active
1806 at the current PC. If no alias is active at the current
1807 PC, then use the main symbol.
1809 ?!? Is checking the current pc correct? Is this routine
1810 ever called to look up a symbol from another context?
1812 FIXME: No, it's not correct. If someone sets a
1813 conditional breakpoint at an address, then the
1814 breakpoint's `struct expression' should refer to the
1815 `struct symbol' appropriate for the breakpoint's
1816 address, which may not be the PC.
1818 Even if it were never called from another context,
1819 it's totally bizarre for lookup_symbol's behavior to
1820 depend on the value of the inferior's current PC. We
1821 should pass in the appropriate PC as well as the
1822 block. The interface to lookup_symbol should change
1823 to require the caller to provide a PC. */
1825 if (SYMBOL_ALIASES (sym))
1826 sym = find_active_alias (sym, read_pc ());
1829 if (SYMBOL_CLASS (sym) != LOC_ARG &&
1830 SYMBOL_CLASS (sym) != LOC_LOCAL_ARG &&
1831 SYMBOL_CLASS (sym) != LOC_REF_ARG &&
1832 SYMBOL_CLASS (sym) != LOC_REGPARM &&
1833 SYMBOL_CLASS (sym) != LOC_REGPARM_ADDR &&
1834 SYMBOL_CLASS (sym) != LOC_BASEREG_ARG &&
1835 SYMBOL_CLASS (sym) != LOC_COMPUTED_ARG)
1843 return (sym_found); /* Will be NULL if not found. */
1846 /* Given a main symbol SYM and ADDR, search through the alias
1847 list to determine if an alias is active at ADDR and return
1850 If no alias is active, then return SYM. */
1852 static struct symbol *
1853 find_active_alias (struct symbol *sym, CORE_ADDR addr)
1855 struct range_list *r;
1856 struct alias_list *aliases;
1858 /* If we have aliases, check them first. */
1859 aliases = SYMBOL_ALIASES (sym);
1863 if (!SYMBOL_RANGES (aliases->sym))
1864 return aliases->sym;
1865 for (r = SYMBOL_RANGES (aliases->sym); r; r = r->next)
1867 if (r->start <= addr && r->end > addr)
1868 return aliases->sym;
1870 aliases = aliases->next;
1873 /* Nothing found, return the main symbol. */
1878 /* Find the symtab associated with PC and SECTION. Look through the
1879 psymtabs and read in another symtab if necessary. */
1882 find_pc_sect_symtab (CORE_ADDR pc, asection *section)
1884 register struct block *b;
1885 struct blockvector *bv;
1886 register struct symtab *s = NULL;
1887 register struct symtab *best_s = NULL;
1888 register struct partial_symtab *ps;
1889 register struct objfile *objfile;
1890 CORE_ADDR distance = 0;
1891 struct minimal_symbol *msymbol;
1893 /* If we know that this is not a text address, return failure. This is
1894 necessary because we loop based on the block's high and low code
1895 addresses, which do not include the data ranges, and because
1896 we call find_pc_sect_psymtab which has a similar restriction based
1897 on the partial_symtab's texthigh and textlow. */
1898 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
1900 && (msymbol->type == mst_data
1901 || msymbol->type == mst_bss
1902 || msymbol->type == mst_abs
1903 || msymbol->type == mst_file_data
1904 || msymbol->type == mst_file_bss))
1907 /* Search all symtabs for the one whose file contains our address, and which
1908 is the smallest of all the ones containing the address. This is designed
1909 to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000
1910 and symtab b is at 0x2000-0x3000. So the GLOBAL_BLOCK for a is from
1911 0x1000-0x4000, but for address 0x2345 we want to return symtab b.
1913 This happens for native ecoff format, where code from included files
1914 gets its own symtab. The symtab for the included file should have
1915 been read in already via the dependency mechanism.
1916 It might be swifter to create several symtabs with the same name
1917 like xcoff does (I'm not sure).
1919 It also happens for objfiles that have their functions reordered.
1920 For these, the symtab we are looking for is not necessarily read in. */
1922 ALL_SYMTABS (objfile, s)
1924 bv = BLOCKVECTOR (s);
1925 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1927 if (BLOCK_START (b) <= pc
1928 && BLOCK_END (b) > pc
1930 || BLOCK_END (b) - BLOCK_START (b) < distance))
1932 /* For an objfile that has its functions reordered,
1933 find_pc_psymtab will find the proper partial symbol table
1934 and we simply return its corresponding symtab. */
1935 /* In order to better support objfiles that contain both
1936 stabs and coff debugging info, we continue on if a psymtab
1938 if ((objfile->flags & OBJF_REORDERED) && objfile->psymtabs)
1940 ps = find_pc_sect_psymtab (pc, section);
1942 return PSYMTAB_TO_SYMTAB (ps);
1947 struct symbol *sym = NULL;
1949 ALL_BLOCK_SYMBOLS (b, i, sym)
1951 fixup_symbol_section (sym, objfile);
1952 if (section == SYMBOL_BFD_SECTION (sym))
1955 if ((i >= BLOCK_BUCKETS (b)) && (sym == NULL))
1956 continue; /* no symbol in this symtab matches section */
1958 distance = BLOCK_END (b) - BLOCK_START (b);
1967 ps = find_pc_sect_psymtab (pc, section);
1971 /* Might want to error() here (in case symtab is corrupt and
1972 will cause a core dump), but maybe we can successfully
1973 continue, so let's not. */
1975 (Internal error: pc 0x%s in read in psymtab, but not in symtab.)\n",
1977 s = PSYMTAB_TO_SYMTAB (ps);
1982 /* Find the symtab associated with PC. Look through the psymtabs and
1983 read in another symtab if necessary. Backward compatibility, no section */
1986 find_pc_symtab (CORE_ADDR pc)
1988 return find_pc_sect_symtab (pc, find_pc_mapped_section (pc));
1992 /* Find the source file and line number for a given PC value and SECTION.
1993 Return a structure containing a symtab pointer, a line number,
1994 and a pc range for the entire source line.
1995 The value's .pc field is NOT the specified pc.
1996 NOTCURRENT nonzero means, if specified pc is on a line boundary,
1997 use the line that ends there. Otherwise, in that case, the line
1998 that begins there is used. */
2000 /* The big complication here is that a line may start in one file, and end just
2001 before the start of another file. This usually occurs when you #include
2002 code in the middle of a subroutine. To properly find the end of a line's PC
2003 range, we must search all symtabs associated with this compilation unit, and
2004 find the one whose first PC is closer than that of the next line in this
2007 /* If it's worth the effort, we could be using a binary search. */
2009 struct symtab_and_line
2010 find_pc_sect_line (CORE_ADDR pc, struct sec *section, int notcurrent)
2013 register struct linetable *l;
2016 register struct linetable_entry *item;
2017 struct symtab_and_line val;
2018 struct blockvector *bv;
2019 struct minimal_symbol *msymbol;
2020 struct minimal_symbol *mfunsym;
2022 /* Info on best line seen so far, and where it starts, and its file. */
2024 struct linetable_entry *best = NULL;
2025 CORE_ADDR best_end = 0;
2026 struct symtab *best_symtab = 0;
2028 /* Store here the first line number
2029 of a file which contains the line at the smallest pc after PC.
2030 If we don't find a line whose range contains PC,
2031 we will use a line one less than this,
2032 with a range from the start of that file to the first line's pc. */
2033 struct linetable_entry *alt = NULL;
2034 struct symtab *alt_symtab = 0;
2036 /* Info on best line seen in this file. */
2038 struct linetable_entry *prev;
2040 /* If this pc is not from the current frame,
2041 it is the address of the end of a call instruction.
2042 Quite likely that is the start of the following statement.
2043 But what we want is the statement containing the instruction.
2044 Fudge the pc to make sure we get that. */
2046 init_sal (&val); /* initialize to zeroes */
2048 /* It's tempting to assume that, if we can't find debugging info for
2049 any function enclosing PC, that we shouldn't search for line
2050 number info, either. However, GAS can emit line number info for
2051 assembly files --- very helpful when debugging hand-written
2052 assembly code. In such a case, we'd have no debug info for the
2053 function, but we would have line info. */
2058 /* elz: added this because this function returned the wrong
2059 information if the pc belongs to a stub (import/export)
2060 to call a shlib function. This stub would be anywhere between
2061 two functions in the target, and the line info was erroneously
2062 taken to be the one of the line before the pc.
2064 /* RT: Further explanation:
2066 * We have stubs (trampolines) inserted between procedures.
2068 * Example: "shr1" exists in a shared library, and a "shr1" stub also
2069 * exists in the main image.
2071 * In the minimal symbol table, we have a bunch of symbols
2072 * sorted by start address. The stubs are marked as "trampoline",
2073 * the others appear as text. E.g.:
2075 * Minimal symbol table for main image
2076 * main: code for main (text symbol)
2077 * shr1: stub (trampoline symbol)
2078 * foo: code for foo (text symbol)
2080 * Minimal symbol table for "shr1" image:
2082 * shr1: code for shr1 (text symbol)
2085 * So the code below is trying to detect if we are in the stub
2086 * ("shr1" stub), and if so, find the real code ("shr1" trampoline),
2087 * and if found, do the symbolization from the real-code address
2088 * rather than the stub address.
2090 * Assumptions being made about the minimal symbol table:
2091 * 1. lookup_minimal_symbol_by_pc() will return a trampoline only
2092 * if we're really in the trampoline. If we're beyond it (say
2093 * we're in "foo" in the above example), it'll have a closer
2094 * symbol (the "foo" text symbol for example) and will not
2095 * return the trampoline.
2096 * 2. lookup_minimal_symbol_text() will find a real text symbol
2097 * corresponding to the trampoline, and whose address will
2098 * be different than the trampoline address. I put in a sanity
2099 * check for the address being the same, to avoid an
2100 * infinite recursion.
2102 msymbol = lookup_minimal_symbol_by_pc (pc);
2103 if (msymbol != NULL)
2104 if (MSYMBOL_TYPE (msymbol) == mst_solib_trampoline)
2106 mfunsym = lookup_minimal_symbol_text (DEPRECATED_SYMBOL_NAME (msymbol), NULL, NULL);
2107 if (mfunsym == NULL)
2108 /* I eliminated this warning since it is coming out
2109 * in the following situation:
2110 * gdb shmain // test program with shared libraries
2111 * (gdb) break shr1 // function in shared lib
2112 * Warning: In stub for ...
2113 * In the above situation, the shared lib is not loaded yet,
2114 * so of course we can't find the real func/line info,
2115 * but the "break" still works, and the warning is annoying.
2116 * So I commented out the warning. RT */
2117 /* warning ("In stub for %s; unable to find real function/line info", DEPRECATED_SYMBOL_NAME (msymbol)) */ ;
2119 else if (SYMBOL_VALUE (mfunsym) == SYMBOL_VALUE (msymbol))
2120 /* Avoid infinite recursion */
2121 /* See above comment about why warning is commented out */
2122 /* warning ("In stub for %s; unable to find real function/line info", DEPRECATED_SYMBOL_NAME (msymbol)) */ ;
2125 return find_pc_line (SYMBOL_VALUE (mfunsym), 0);
2129 s = find_pc_sect_symtab (pc, section);
2132 /* if no symbol information, return previous pc */
2139 bv = BLOCKVECTOR (s);
2141 /* Look at all the symtabs that share this blockvector.
2142 They all have the same apriori range, that we found was right;
2143 but they have different line tables. */
2145 for (; s && BLOCKVECTOR (s) == bv; s = s->next)
2147 /* Find the best line in this symtab. */
2154 /* I think len can be zero if the symtab lacks line numbers
2155 (e.g. gcc -g1). (Either that or the LINETABLE is NULL;
2156 I'm not sure which, and maybe it depends on the symbol
2162 item = l->item; /* Get first line info */
2164 /* Is this file's first line closer than the first lines of other files?
2165 If so, record this file, and its first line, as best alternate. */
2166 if (item->pc > pc && (!alt || item->pc < alt->pc))
2172 for (i = 0; i < len; i++, item++)
2174 /* Leave prev pointing to the linetable entry for the last line
2175 that started at or before PC. */
2182 /* At this point, prev points at the line whose start addr is <= pc, and
2183 item points at the next line. If we ran off the end of the linetable
2184 (pc >= start of the last line), then prev == item. If pc < start of
2185 the first line, prev will not be set. */
2187 /* Is this file's best line closer than the best in the other files?
2188 If so, record this file, and its best line, as best so far. Don't
2189 save prev if it represents the end of a function (i.e. line number
2190 0) instead of a real line. */
2192 if (prev && prev->line && (!best || prev->pc > best->pc))
2197 /* Discard BEST_END if it's before the PC of the current BEST. */
2198 if (best_end <= best->pc)
2202 /* If another line (denoted by ITEM) is in the linetable and its
2203 PC is after BEST's PC, but before the current BEST_END, then
2204 use ITEM's PC as the new best_end. */
2205 if (best && i < len && item->pc > best->pc
2206 && (best_end == 0 || best_end > item->pc))
2207 best_end = item->pc;
2213 { /* If we didn't find any line # info, just
2219 val.symtab = alt_symtab;
2220 val.line = alt->line - 1;
2222 /* Don't return line 0, that means that we didn't find the line. */
2226 val.pc = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2230 else if (best->line == 0)
2232 /* If our best fit is in a range of PC's for which no line
2233 number info is available (line number is zero) then we didn't
2234 find any valid line information. */
2239 val.symtab = best_symtab;
2240 val.line = best->line;
2242 if (best_end && (!alt || best_end < alt->pc))
2247 val.end = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2249 val.section = section;
2253 /* Backward compatibility (no section) */
2255 struct symtab_and_line
2256 find_pc_line (CORE_ADDR pc, int notcurrent)
2260 section = find_pc_overlay (pc);
2261 if (pc_in_unmapped_range (pc, section))
2262 pc = overlay_mapped_address (pc, section);
2263 return find_pc_sect_line (pc, section, notcurrent);
2266 /* Find line number LINE in any symtab whose name is the same as
2269 If found, return the symtab that contains the linetable in which it was
2270 found, set *INDEX to the index in the linetable of the best entry
2271 found, and set *EXACT_MATCH nonzero if the value returned is an
2274 If not found, return NULL. */
2277 find_line_symtab (struct symtab *symtab, int line, int *index, int *exact_match)
2281 /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE
2285 struct linetable *best_linetable;
2286 struct symtab *best_symtab;
2288 /* First try looking it up in the given symtab. */
2289 best_linetable = LINETABLE (symtab);
2290 best_symtab = symtab;
2291 best_index = find_line_common (best_linetable, line, &exact);
2292 if (best_index < 0 || !exact)
2294 /* Didn't find an exact match. So we better keep looking for
2295 another symtab with the same name. In the case of xcoff,
2296 multiple csects for one source file (produced by IBM's FORTRAN
2297 compiler) produce multiple symtabs (this is unavoidable
2298 assuming csects can be at arbitrary places in memory and that
2299 the GLOBAL_BLOCK of a symtab has a begin and end address). */
2301 /* BEST is the smallest linenumber > LINE so far seen,
2302 or 0 if none has been seen so far.
2303 BEST_INDEX and BEST_LINETABLE identify the item for it. */
2306 struct objfile *objfile;
2309 if (best_index >= 0)
2310 best = best_linetable->item[best_index].line;
2314 ALL_SYMTABS (objfile, s)
2316 struct linetable *l;
2319 if (!STREQ (symtab->filename, s->filename))
2322 ind = find_line_common (l, line, &exact);
2332 if (best == 0 || l->item[ind].line < best)
2334 best = l->item[ind].line;
2347 *index = best_index;
2349 *exact_match = exact;
2354 /* Set the PC value for a given source file and line number and return true.
2355 Returns zero for invalid line number (and sets the PC to 0).
2356 The source file is specified with a struct symtab. */
2359 find_line_pc (struct symtab *symtab, int line, CORE_ADDR *pc)
2361 struct linetable *l;
2368 symtab = find_line_symtab (symtab, line, &ind, NULL);
2371 l = LINETABLE (symtab);
2372 *pc = l->item[ind].pc;
2379 /* Find the range of pc values in a line.
2380 Store the starting pc of the line into *STARTPTR
2381 and the ending pc (start of next line) into *ENDPTR.
2382 Returns 1 to indicate success.
2383 Returns 0 if could not find the specified line. */
2386 find_line_pc_range (struct symtab_and_line sal, CORE_ADDR *startptr,
2389 CORE_ADDR startaddr;
2390 struct symtab_and_line found_sal;
2393 if (startaddr == 0 && !find_line_pc (sal.symtab, sal.line, &startaddr))
2396 /* This whole function is based on address. For example, if line 10 has
2397 two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then
2398 "info line *0x123" should say the line goes from 0x100 to 0x200
2399 and "info line *0x355" should say the line goes from 0x300 to 0x400.
2400 This also insures that we never give a range like "starts at 0x134
2401 and ends at 0x12c". */
2403 found_sal = find_pc_sect_line (startaddr, sal.section, 0);
2404 if (found_sal.line != sal.line)
2406 /* The specified line (sal) has zero bytes. */
2407 *startptr = found_sal.pc;
2408 *endptr = found_sal.pc;
2412 *startptr = found_sal.pc;
2413 *endptr = found_sal.end;
2418 /* Given a line table and a line number, return the index into the line
2419 table for the pc of the nearest line whose number is >= the specified one.
2420 Return -1 if none is found. The value is >= 0 if it is an index.
2422 Set *EXACT_MATCH nonzero if the value returned is an exact match. */
2425 find_line_common (register struct linetable *l, register int lineno,
2431 /* BEST is the smallest linenumber > LINENO so far seen,
2432 or 0 if none has been seen so far.
2433 BEST_INDEX identifies the item for it. */
2435 int best_index = -1;
2444 for (i = 0; i < len; i++)
2446 register struct linetable_entry *item = &(l->item[i]);
2448 if (item->line == lineno)
2450 /* Return the first (lowest address) entry which matches. */
2455 if (item->line > lineno && (best == 0 || item->line < best))
2462 /* If we got here, we didn't get an exact match. */
2469 find_pc_line_pc_range (CORE_ADDR pc, CORE_ADDR *startptr, CORE_ADDR *endptr)
2471 struct symtab_and_line sal;
2472 sal = find_pc_line (pc, 0);
2475 return sal.symtab != 0;
2478 /* Given a function symbol SYM, find the symtab and line for the start
2480 If the argument FUNFIRSTLINE is nonzero, we want the first line
2481 of real code inside the function. */
2483 struct symtab_and_line
2484 find_function_start_sal (struct symbol *sym, int funfirstline)
2487 struct symtab_and_line sal;
2489 pc = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
2490 fixup_symbol_section (sym, NULL);
2492 { /* skip "first line" of function (which is actually its prologue) */
2493 asection *section = SYMBOL_BFD_SECTION (sym);
2494 /* If function is in an unmapped overlay, use its unmapped LMA
2495 address, so that SKIP_PROLOGUE has something unique to work on */
2496 if (section_is_overlay (section) &&
2497 !section_is_mapped (section))
2498 pc = overlay_unmapped_address (pc, section);
2500 pc += FUNCTION_START_OFFSET;
2501 pc = SKIP_PROLOGUE (pc);
2503 /* For overlays, map pc back into its mapped VMA range */
2504 pc = overlay_mapped_address (pc, section);
2506 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2508 #ifdef PROLOGUE_FIRSTLINE_OVERLAP
2509 /* Convex: no need to suppress code on first line, if any */
2512 /* Check if SKIP_PROLOGUE left us in mid-line, and the next
2513 line is still part of the same function. */
2515 && BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= sal.end
2516 && sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
2518 /* First pc of next line */
2520 /* Recalculate the line number (might not be N+1). */
2521 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2529 /* If P is of the form "operator[ \t]+..." where `...' is
2530 some legitimate operator text, return a pointer to the
2531 beginning of the substring of the operator text.
2532 Otherwise, return "". */
2534 operator_chars (char *p, char **end)
2537 if (strncmp (p, "operator", 8))
2541 /* Don't get faked out by `operator' being part of a longer
2543 if (isalpha (*p) || *p == '_' || *p == '$' || *p == '\0')
2546 /* Allow some whitespace between `operator' and the operator symbol. */
2547 while (*p == ' ' || *p == '\t')
2550 /* Recognize 'operator TYPENAME'. */
2552 if (isalpha (*p) || *p == '_' || *p == '$')
2554 register char *q = p + 1;
2555 while (isalnum (*q) || *q == '_' || *q == '$')
2564 case '\\': /* regexp quoting */
2567 if (p[2] == '=') /* 'operator\*=' */
2569 else /* 'operator\*' */
2573 else if (p[1] == '[')
2576 error ("mismatched quoting on brackets, try 'operator\\[\\]'");
2577 else if (p[2] == '\\' && p[3] == ']')
2579 *end = p + 4; /* 'operator\[\]' */
2583 error ("nothing is allowed between '[' and ']'");
2587 /* Gratuitous qoute: skip it and move on. */
2609 if (p[0] == '-' && p[1] == '>')
2611 /* Struct pointer member operator 'operator->'. */
2614 *end = p + 3; /* 'operator->*' */
2617 else if (p[2] == '\\')
2619 *end = p + 4; /* Hopefully 'operator->\*' */
2624 *end = p + 2; /* 'operator->' */
2628 if (p[1] == '=' || p[1] == p[0])
2639 error ("`operator ()' must be specified without whitespace in `()'");
2644 error ("`operator ?:' must be specified without whitespace in `?:'");
2649 error ("`operator []' must be specified without whitespace in `[]'");
2653 error ("`operator %s' not supported", p);
2662 /* If FILE is not already in the table of files, return zero;
2663 otherwise return non-zero. Optionally add FILE to the table if ADD
2664 is non-zero. If *FIRST is non-zero, forget the old table
2667 filename_seen (const char *file, int add, int *first)
2669 /* Table of files seen so far. */
2670 static const char **tab = NULL;
2671 /* Allocated size of tab in elements.
2672 Start with one 256-byte block (when using GNU malloc.c).
2673 24 is the malloc overhead when range checking is in effect. */
2674 static int tab_alloc_size = (256 - 24) / sizeof (char *);
2675 /* Current size of tab in elements. */
2676 static int tab_cur_size;
2682 tab = (const char **) xmalloc (tab_alloc_size * sizeof (*tab));
2686 /* Is FILE in tab? */
2687 for (p = tab; p < tab + tab_cur_size; p++)
2688 if (strcmp (*p, file) == 0)
2691 /* No; maybe add it to tab. */
2694 if (tab_cur_size == tab_alloc_size)
2696 tab_alloc_size *= 2;
2697 tab = (const char **) xrealloc ((char *) tab,
2698 tab_alloc_size * sizeof (*tab));
2700 tab[tab_cur_size++] = file;
2706 /* Slave routine for sources_info. Force line breaks at ,'s.
2707 NAME is the name to print and *FIRST is nonzero if this is the first
2708 name printed. Set *FIRST to zero. */
2710 output_source_filename (char *name, int *first)
2712 /* Since a single source file can result in several partial symbol
2713 tables, we need to avoid printing it more than once. Note: if
2714 some of the psymtabs are read in and some are not, it gets
2715 printed both under "Source files for which symbols have been
2716 read" and "Source files for which symbols will be read in on
2717 demand". I consider this a reasonable way to deal with the
2718 situation. I'm not sure whether this can also happen for
2719 symtabs; it doesn't hurt to check. */
2721 /* Was NAME already seen? */
2722 if (filename_seen (name, 1, first))
2724 /* Yes; don't print it again. */
2727 /* No; print it and reset *FIRST. */
2734 printf_filtered (", ");
2738 fputs_filtered (name, gdb_stdout);
2742 sources_info (char *ignore, int from_tty)
2744 register struct symtab *s;
2745 register struct partial_symtab *ps;
2746 register struct objfile *objfile;
2749 if (!have_full_symbols () && !have_partial_symbols ())
2751 error ("No symbol table is loaded. Use the \"file\" command.");
2754 printf_filtered ("Source files for which symbols have been read in:\n\n");
2757 ALL_SYMTABS (objfile, s)
2759 output_source_filename (s->filename, &first);
2761 printf_filtered ("\n\n");
2763 printf_filtered ("Source files for which symbols will be read in on demand:\n\n");
2766 ALL_PSYMTABS (objfile, ps)
2770 output_source_filename (ps->filename, &first);
2773 printf_filtered ("\n");
2777 file_matches (char *file, char *files[], int nfiles)
2781 if (file != NULL && nfiles != 0)
2783 for (i = 0; i < nfiles; i++)
2785 if (strcmp (files[i], lbasename (file)) == 0)
2789 else if (nfiles == 0)
2794 /* Free any memory associated with a search. */
2796 free_search_symbols (struct symbol_search *symbols)
2798 struct symbol_search *p;
2799 struct symbol_search *next;
2801 for (p = symbols; p != NULL; p = next)
2809 do_free_search_symbols_cleanup (void *symbols)
2811 free_search_symbols (symbols);
2815 make_cleanup_free_search_symbols (struct symbol_search *symbols)
2817 return make_cleanup (do_free_search_symbols_cleanup, symbols);
2820 /* Helper function for sort_search_symbols and qsort. Can only
2821 sort symbols, not minimal symbols. */
2823 compare_search_syms (const void *sa, const void *sb)
2825 struct symbol_search **sym_a = (struct symbol_search **) sa;
2826 struct symbol_search **sym_b = (struct symbol_search **) sb;
2828 return strcmp (SYMBOL_PRINT_NAME ((*sym_a)->symbol),
2829 SYMBOL_PRINT_NAME ((*sym_b)->symbol));
2832 /* Sort the ``nfound'' symbols in the list after prevtail. Leave
2833 prevtail where it is, but update its next pointer to point to
2834 the first of the sorted symbols. */
2835 static struct symbol_search *
2836 sort_search_symbols (struct symbol_search *prevtail, int nfound)
2838 struct symbol_search **symbols, *symp, *old_next;
2841 symbols = (struct symbol_search **) xmalloc (sizeof (struct symbol_search *)
2843 symp = prevtail->next;
2844 for (i = 0; i < nfound; i++)
2849 /* Generally NULL. */
2852 qsort (symbols, nfound, sizeof (struct symbol_search *),
2853 compare_search_syms);
2856 for (i = 0; i < nfound; i++)
2858 symp->next = symbols[i];
2861 symp->next = old_next;
2867 /* Search the symbol table for matches to the regular expression REGEXP,
2868 returning the results in *MATCHES.
2870 Only symbols of KIND are searched:
2871 FUNCTIONS_DOMAIN - search all functions
2872 TYPES_DOMAIN - search all type names
2873 METHODS_DOMAIN - search all methods NOT IMPLEMENTED
2874 VARIABLES_DOMAIN - search all symbols, excluding functions, type names,
2875 and constants (enums)
2877 free_search_symbols should be called when *MATCHES is no longer needed.
2879 The results are sorted locally; each symtab's global and static blocks are
2880 separately alphabetized.
2883 search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
2884 struct symbol_search **matches)
2886 register struct symtab *s;
2887 register struct partial_symtab *ps;
2888 register struct blockvector *bv;
2889 struct blockvector *prev_bv = 0;
2890 register struct block *b;
2893 register struct symbol *sym;
2894 struct partial_symbol **psym;
2895 struct objfile *objfile;
2896 struct minimal_symbol *msymbol;
2899 static enum minimal_symbol_type types[]
2901 {mst_data, mst_text, mst_abs, mst_unknown};
2902 static enum minimal_symbol_type types2[]
2904 {mst_bss, mst_file_text, mst_abs, mst_unknown};
2905 static enum minimal_symbol_type types3[]
2907 {mst_file_data, mst_solib_trampoline, mst_abs, mst_unknown};
2908 static enum minimal_symbol_type types4[]
2910 {mst_file_bss, mst_text, mst_abs, mst_unknown};
2911 enum minimal_symbol_type ourtype;
2912 enum minimal_symbol_type ourtype2;
2913 enum minimal_symbol_type ourtype3;
2914 enum minimal_symbol_type ourtype4;
2915 struct symbol_search *sr;
2916 struct symbol_search *psr;
2917 struct symbol_search *tail;
2918 struct cleanup *old_chain = NULL;
2920 if (kind < VARIABLES_DOMAIN)
2921 error ("must search on specific domain");
2923 ourtype = types[(int) (kind - VARIABLES_DOMAIN)];
2924 ourtype2 = types2[(int) (kind - VARIABLES_DOMAIN)];
2925 ourtype3 = types3[(int) (kind - VARIABLES_DOMAIN)];
2926 ourtype4 = types4[(int) (kind - VARIABLES_DOMAIN)];
2928 sr = *matches = NULL;
2933 /* Make sure spacing is right for C++ operators.
2934 This is just a courtesy to make the matching less sensitive
2935 to how many spaces the user leaves between 'operator'
2936 and <TYPENAME> or <OPERATOR>. */
2938 char *opname = operator_chars (regexp, &opend);
2941 int fix = -1; /* -1 means ok; otherwise number of spaces needed. */
2942 if (isalpha (*opname) || *opname == '_' || *opname == '$')
2944 /* There should 1 space between 'operator' and 'TYPENAME'. */
2945 if (opname[-1] != ' ' || opname[-2] == ' ')
2950 /* There should 0 spaces between 'operator' and 'OPERATOR'. */
2951 if (opname[-1] == ' ')
2954 /* If wrong number of spaces, fix it. */
2957 char *tmp = (char *) alloca (8 + fix + strlen (opname) + 1);
2958 sprintf (tmp, "operator%.*s%s", fix, " ", opname);
2963 if (0 != (val = re_comp (regexp)))
2964 error ("Invalid regexp (%s): %s", val, regexp);
2967 /* Search through the partial symtabs *first* for all symbols
2968 matching the regexp. That way we don't have to reproduce all of
2969 the machinery below. */
2971 ALL_PSYMTABS (objfile, ps)
2973 struct partial_symbol **bound, **gbound, **sbound;
2979 gbound = objfile->global_psymbols.list + ps->globals_offset + ps->n_global_syms;
2980 sbound = objfile->static_psymbols.list + ps->statics_offset + ps->n_static_syms;
2983 /* Go through all of the symbols stored in a partial
2984 symtab in one loop. */
2985 psym = objfile->global_psymbols.list + ps->globals_offset;
2990 if (bound == gbound && ps->n_static_syms != 0)
2992 psym = objfile->static_psymbols.list + ps->statics_offset;
3003 /* If it would match (logic taken from loop below)
3004 load the file and go on to the next one */
3005 if (file_matches (ps->filename, files, nfiles)
3007 || re_exec (SYMBOL_NATURAL_NAME (*psym)) != 0)
3008 && ((kind == VARIABLES_DOMAIN && SYMBOL_CLASS (*psym) != LOC_TYPEDEF
3009 && SYMBOL_CLASS (*psym) != LOC_BLOCK)
3010 || (kind == FUNCTIONS_DOMAIN && SYMBOL_CLASS (*psym) == LOC_BLOCK)
3011 || (kind == TYPES_DOMAIN && SYMBOL_CLASS (*psym) == LOC_TYPEDEF)
3012 || (kind == METHODS_DOMAIN && SYMBOL_CLASS (*psym) == LOC_BLOCK))))
3014 PSYMTAB_TO_SYMTAB (ps);
3022 /* Here, we search through the minimal symbol tables for functions
3023 and variables that match, and force their symbols to be read.
3024 This is in particular necessary for demangled variable names,
3025 which are no longer put into the partial symbol tables.
3026 The symbol will then be found during the scan of symtabs below.
3028 For functions, find_pc_symtab should succeed if we have debug info
3029 for the function, for variables we have to call lookup_symbol
3030 to determine if the variable has debug info.
3031 If the lookup fails, set found_misc so that we will rescan to print
3032 any matching symbols without debug info.
3035 if (nfiles == 0 && (kind == VARIABLES_DOMAIN || kind == FUNCTIONS_DOMAIN))
3037 ALL_MSYMBOLS (objfile, msymbol)
3039 if (MSYMBOL_TYPE (msymbol) == ourtype ||
3040 MSYMBOL_TYPE (msymbol) == ourtype2 ||
3041 MSYMBOL_TYPE (msymbol) == ourtype3 ||
3042 MSYMBOL_TYPE (msymbol) == ourtype4)
3045 || re_exec (SYMBOL_NATURAL_NAME (msymbol)) != 0)
3047 if (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol)))
3049 /* FIXME: carlton/2003-02-04: Given that the
3050 semantics of lookup_symbol keeps on changing
3051 slightly, it would be a nice idea if we had a
3052 function lookup_symbol_minsym that found the
3053 symbol associated to a given minimal symbol (if
3055 if (kind == FUNCTIONS_DOMAIN
3056 || lookup_symbol (DEPRECATED_SYMBOL_NAME (msymbol),
3057 (struct block *) NULL,
3059 0, (struct symtab **) NULL) == NULL)
3067 ALL_SYMTABS (objfile, s)
3069 bv = BLOCKVECTOR (s);
3070 /* Often many files share a blockvector.
3071 Scan each blockvector only once so that
3072 we don't get every symbol many times.
3073 It happens that the first symtab in the list
3074 for any given blockvector is the main file. */
3076 for (i = GLOBAL_BLOCK; i <= STATIC_BLOCK; i++)
3078 struct symbol_search *prevtail = tail;
3080 b = BLOCKVECTOR_BLOCK (bv, i);
3081 ALL_BLOCK_SYMBOLS (b, j, sym)
3084 if (file_matches (s->filename, files, nfiles)
3086 || re_exec (SYMBOL_NATURAL_NAME (sym)) != 0)
3087 && ((kind == VARIABLES_DOMAIN && SYMBOL_CLASS (sym) != LOC_TYPEDEF
3088 && SYMBOL_CLASS (sym) != LOC_BLOCK
3089 && SYMBOL_CLASS (sym) != LOC_CONST)
3090 || (kind == FUNCTIONS_DOMAIN && SYMBOL_CLASS (sym) == LOC_BLOCK)
3091 || (kind == TYPES_DOMAIN && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
3092 || (kind == METHODS_DOMAIN && SYMBOL_CLASS (sym) == LOC_BLOCK))))
3095 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
3099 psr->msymbol = NULL;
3111 if (prevtail == NULL)
3113 struct symbol_search dummy;
3116 tail = sort_search_symbols (&dummy, nfound);
3119 old_chain = make_cleanup_free_search_symbols (sr);
3122 tail = sort_search_symbols (prevtail, nfound);
3128 /* If there are no eyes, avoid all contact. I mean, if there are
3129 no debug symbols, then print directly from the msymbol_vector. */
3131 if (found_misc || kind != FUNCTIONS_DOMAIN)
3133 ALL_MSYMBOLS (objfile, msymbol)
3135 if (MSYMBOL_TYPE (msymbol) == ourtype ||
3136 MSYMBOL_TYPE (msymbol) == ourtype2 ||
3137 MSYMBOL_TYPE (msymbol) == ourtype3 ||
3138 MSYMBOL_TYPE (msymbol) == ourtype4)
3141 || re_exec (SYMBOL_NATURAL_NAME (msymbol)) != 0)
3143 /* Functions: Look up by address. */
3144 if (kind != FUNCTIONS_DOMAIN ||
3145 (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol))))
3147 /* Variables/Absolutes: Look up by name */
3148 if (lookup_symbol (DEPRECATED_SYMBOL_NAME (msymbol),
3149 (struct block *) NULL, VAR_DOMAIN,
3150 0, (struct symtab **) NULL) == NULL)
3153 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
3155 psr->msymbol = msymbol;
3162 old_chain = make_cleanup_free_search_symbols (sr);
3176 discard_cleanups (old_chain);
3179 /* Helper function for symtab_symbol_info, this function uses
3180 the data returned from search_symbols() to print information
3181 regarding the match to gdb_stdout.
3184 print_symbol_info (domain_enum kind, struct symtab *s, struct symbol *sym,
3185 int block, char *last)
3187 if (last == NULL || strcmp (last, s->filename) != 0)
3189 fputs_filtered ("\nFile ", gdb_stdout);
3190 fputs_filtered (s->filename, gdb_stdout);
3191 fputs_filtered (":\n", gdb_stdout);
3194 if (kind != TYPES_DOMAIN && block == STATIC_BLOCK)
3195 printf_filtered ("static ");
3197 /* Typedef that is not a C++ class */
3198 if (kind == TYPES_DOMAIN
3199 && SYMBOL_DOMAIN (sym) != STRUCT_DOMAIN)
3200 typedef_print (SYMBOL_TYPE (sym), sym, gdb_stdout);
3201 /* variable, func, or typedef-that-is-c++-class */
3202 else if (kind < TYPES_DOMAIN ||
3203 (kind == TYPES_DOMAIN &&
3204 SYMBOL_DOMAIN (sym) == STRUCT_DOMAIN))
3206 type_print (SYMBOL_TYPE (sym),
3207 (SYMBOL_CLASS (sym) == LOC_TYPEDEF
3208 ? "" : SYMBOL_PRINT_NAME (sym)),
3211 printf_filtered (";\n");
3215 /* This help function for symtab_symbol_info() prints information
3216 for non-debugging symbols to gdb_stdout.
3219 print_msymbol_info (struct minimal_symbol *msymbol)
3223 if (TARGET_ADDR_BIT <= 32)
3224 tmp = local_hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol)
3225 & (CORE_ADDR) 0xffffffff,
3228 tmp = local_hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol),
3230 printf_filtered ("%s %s\n",
3231 tmp, SYMBOL_PRINT_NAME (msymbol));
3234 /* This is the guts of the commands "info functions", "info types", and
3235 "info variables". It calls search_symbols to find all matches and then
3236 print_[m]symbol_info to print out some useful information about the
3240 symtab_symbol_info (char *regexp, domain_enum kind, int from_tty)
3242 static char *classnames[]
3244 {"variable", "function", "type", "method"};
3245 struct symbol_search *symbols;
3246 struct symbol_search *p;
3247 struct cleanup *old_chain;
3248 char *last_filename = NULL;
3251 /* must make sure that if we're interrupted, symbols gets freed */
3252 search_symbols (regexp, kind, 0, (char **) NULL, &symbols);
3253 old_chain = make_cleanup_free_search_symbols (symbols);
3255 printf_filtered (regexp
3256 ? "All %ss matching regular expression \"%s\":\n"
3257 : "All defined %ss:\n",
3258 classnames[(int) (kind - VARIABLES_DOMAIN)], regexp);
3260 for (p = symbols; p != NULL; p = p->next)
3264 if (p->msymbol != NULL)
3268 printf_filtered ("\nNon-debugging symbols:\n");
3271 print_msymbol_info (p->msymbol);
3275 print_symbol_info (kind,
3280 last_filename = p->symtab->filename;
3284 do_cleanups (old_chain);
3288 variables_info (char *regexp, int from_tty)
3290 symtab_symbol_info (regexp, VARIABLES_DOMAIN, from_tty);
3294 functions_info (char *regexp, int from_tty)
3296 symtab_symbol_info (regexp, FUNCTIONS_DOMAIN, from_tty);
3301 types_info (char *regexp, int from_tty)
3303 symtab_symbol_info (regexp, TYPES_DOMAIN, from_tty);
3306 /* Breakpoint all functions matching regular expression. */
3309 rbreak_command_wrapper (char *regexp, int from_tty)
3311 rbreak_command (regexp, from_tty);
3315 rbreak_command (char *regexp, int from_tty)
3317 struct symbol_search *ss;
3318 struct symbol_search *p;
3319 struct cleanup *old_chain;
3321 search_symbols (regexp, FUNCTIONS_DOMAIN, 0, (char **) NULL, &ss);
3322 old_chain = make_cleanup_free_search_symbols (ss);
3324 for (p = ss; p != NULL; p = p->next)
3326 if (p->msymbol == NULL)
3328 char *string = (char *) alloca (strlen (p->symtab->filename)
3329 + strlen (DEPRECATED_SYMBOL_NAME (p->symbol))
3331 strcpy (string, p->symtab->filename);
3332 strcat (string, ":'");
3333 strcat (string, DEPRECATED_SYMBOL_NAME (p->symbol));
3334 strcat (string, "'");
3335 break_command (string, from_tty);
3336 print_symbol_info (FUNCTIONS_DOMAIN,
3340 p->symtab->filename);
3344 break_command (DEPRECATED_SYMBOL_NAME (p->msymbol), from_tty);
3345 printf_filtered ("<function, no debug info> %s;\n",
3346 SYMBOL_PRINT_NAME (p->msymbol));
3350 do_cleanups (old_chain);
3354 /* Helper routine for make_symbol_completion_list. */
3356 static int return_val_size;
3357 static int return_val_index;
3358 static char **return_val;
3360 #define COMPLETION_LIST_ADD_SYMBOL(symbol, sym_text, len, text, word) \
3362 if (SYMBOL_DEMANGLED_NAME (symbol) != NULL) \
3363 /* Put only the mangled name on the list. */ \
3364 /* Advantage: "b foo<TAB>" completes to "b foo(int, int)" */ \
3365 /* Disadvantage: "b foo__i<TAB>" doesn't complete. */ \
3366 completion_list_add_name \
3367 (SYMBOL_DEMANGLED_NAME (symbol), (sym_text), (len), (text), (word)); \
3369 completion_list_add_name \
3370 (DEPRECATED_SYMBOL_NAME (symbol), (sym_text), (len), (text), (word)); \
3373 /* Test to see if the symbol specified by SYMNAME (which is already
3374 demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN
3375 characters. If so, add it to the current completion list. */
3378 completion_list_add_name (char *symname, char *sym_text, int sym_text_len,
3379 char *text, char *word)
3384 /* clip symbols that cannot match */
3386 if (strncmp (symname, sym_text, sym_text_len) != 0)
3391 /* We have a match for a completion, so add SYMNAME to the current list
3392 of matches. Note that the name is moved to freshly malloc'd space. */
3396 if (word == sym_text)
3398 new = xmalloc (strlen (symname) + 5);
3399 strcpy (new, symname);
3401 else if (word > sym_text)
3403 /* Return some portion of symname. */
3404 new = xmalloc (strlen (symname) + 5);
3405 strcpy (new, symname + (word - sym_text));
3409 /* Return some of SYM_TEXT plus symname. */
3410 new = xmalloc (strlen (symname) + (sym_text - word) + 5);
3411 strncpy (new, word, sym_text - word);
3412 new[sym_text - word] = '\0';
3413 strcat (new, symname);
3416 if (return_val_index + 3 > return_val_size)
3418 newsize = (return_val_size *= 2) * sizeof (char *);
3419 return_val = (char **) xrealloc ((char *) return_val, newsize);
3421 return_val[return_val_index++] = new;
3422 return_val[return_val_index] = NULL;
3426 /* Return a NULL terminated array of all symbols (regardless of class)
3427 which begin by matching TEXT. If the answer is no symbols, then
3428 the return value is an array which contains only a NULL pointer.
3430 Problem: All of the symbols have to be copied because readline frees them.
3431 I'm not going to worry about this; hopefully there won't be that many. */
3434 make_symbol_completion_list (char *text, char *word)
3436 register struct symbol *sym;
3437 register struct symtab *s;
3438 register struct partial_symtab *ps;
3439 register struct minimal_symbol *msymbol;
3440 register struct objfile *objfile;
3441 register struct block *b, *surrounding_static_block = 0;
3443 struct partial_symbol **psym;
3444 /* The symbol we are completing on. Points in same buffer as text. */
3446 /* Length of sym_text. */
3449 /* Now look for the symbol we are supposed to complete on.
3450 FIXME: This should be language-specific. */
3454 char *quote_pos = NULL;
3456 /* First see if this is a quoted string. */
3458 for (p = text; *p != '\0'; ++p)
3460 if (quote_found != '\0')
3462 if (*p == quote_found)
3463 /* Found close quote. */
3465 else if (*p == '\\' && p[1] == quote_found)
3466 /* A backslash followed by the quote character
3467 doesn't end the string. */
3470 else if (*p == '\'' || *p == '"')
3476 if (quote_found == '\'')
3477 /* A string within single quotes can be a symbol, so complete on it. */
3478 sym_text = quote_pos + 1;
3479 else if (quote_found == '"')
3480 /* A double-quoted string is never a symbol, nor does it make sense
3481 to complete it any other way. */
3483 return_val = (char **) xmalloc (sizeof (char *));
3484 return_val[0] = NULL;
3489 /* It is not a quoted string. Break it based on the characters
3490 which are in symbols. */
3493 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3502 sym_text_len = strlen (sym_text);
3504 return_val_size = 100;
3505 return_val_index = 0;
3506 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3507 return_val[0] = NULL;
3509 /* Look through the partial symtabs for all symbols which begin
3510 by matching SYM_TEXT. Add each one that you find to the list. */
3512 ALL_PSYMTABS (objfile, ps)
3514 /* If the psymtab's been read in we'll get it when we search
3515 through the blockvector. */
3519 for (psym = objfile->global_psymbols.list + ps->globals_offset;
3520 psym < (objfile->global_psymbols.list + ps->globals_offset
3521 + ps->n_global_syms);
3524 /* If interrupted, then quit. */
3526 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3529 for (psym = objfile->static_psymbols.list + ps->statics_offset;
3530 psym < (objfile->static_psymbols.list + ps->statics_offset
3531 + ps->n_static_syms);
3535 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3539 /* At this point scan through the misc symbol vectors and add each
3540 symbol you find to the list. Eventually we want to ignore
3541 anything that isn't a text symbol (everything else will be
3542 handled by the psymtab code above). */
3544 ALL_MSYMBOLS (objfile, msymbol)
3547 COMPLETION_LIST_ADD_SYMBOL (msymbol, sym_text, sym_text_len, text, word);
3550 /* Search upwards from currently selected frame (so that we can
3551 complete on local vars. */
3553 for (b = get_selected_block (0); b != NULL; b = BLOCK_SUPERBLOCK (b))
3555 if (!BLOCK_SUPERBLOCK (b))
3557 surrounding_static_block = b; /* For elmin of dups */
3560 /* Also catch fields of types defined in this places which match our
3561 text string. Only complete on types visible from current context. */
3563 ALL_BLOCK_SYMBOLS (b, i, sym)
3565 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3566 if (SYMBOL_CLASS (sym) == LOC_TYPEDEF)
3568 struct type *t = SYMBOL_TYPE (sym);
3569 enum type_code c = TYPE_CODE (t);
3571 if (c == TYPE_CODE_UNION || c == TYPE_CODE_STRUCT)
3573 for (j = TYPE_N_BASECLASSES (t); j < TYPE_NFIELDS (t); j++)
3575 if (TYPE_FIELD_NAME (t, j))
3577 completion_list_add_name (TYPE_FIELD_NAME (t, j),
3578 sym_text, sym_text_len, text, word);
3586 /* Go through the symtabs and check the externs and statics for
3587 symbols which match. */
3589 ALL_SYMTABS (objfile, s)
3592 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3593 ALL_BLOCK_SYMBOLS (b, i, sym)
3595 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3599 ALL_SYMTABS (objfile, s)
3602 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3603 /* Don't do this block twice. */
3604 if (b == surrounding_static_block)
3606 ALL_BLOCK_SYMBOLS (b, i, sym)
3608 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3612 return (return_val);
3615 /* Like make_symbol_completion_list, but returns a list of symbols
3616 defined in a source file FILE. */
3619 make_file_symbol_completion_list (char *text, char *word, char *srcfile)
3621 register struct symbol *sym;
3622 register struct symtab *s;
3623 register struct block *b;
3625 /* The symbol we are completing on. Points in same buffer as text. */
3627 /* Length of sym_text. */
3630 /* Now look for the symbol we are supposed to complete on.
3631 FIXME: This should be language-specific. */
3635 char *quote_pos = NULL;
3637 /* First see if this is a quoted string. */
3639 for (p = text; *p != '\0'; ++p)
3641 if (quote_found != '\0')
3643 if (*p == quote_found)
3644 /* Found close quote. */
3646 else if (*p == '\\' && p[1] == quote_found)
3647 /* A backslash followed by the quote character
3648 doesn't end the string. */
3651 else if (*p == '\'' || *p == '"')
3657 if (quote_found == '\'')
3658 /* A string within single quotes can be a symbol, so complete on it. */
3659 sym_text = quote_pos + 1;
3660 else if (quote_found == '"')
3661 /* A double-quoted string is never a symbol, nor does it make sense
3662 to complete it any other way. */
3664 return_val = (char **) xmalloc (sizeof (char *));
3665 return_val[0] = NULL;
3670 /* It is not a quoted string. Break it based on the characters
3671 which are in symbols. */
3674 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3683 sym_text_len = strlen (sym_text);
3685 return_val_size = 10;
3686 return_val_index = 0;
3687 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3688 return_val[0] = NULL;
3690 /* Find the symtab for SRCFILE (this loads it if it was not yet read
3692 s = lookup_symtab (srcfile);
3695 /* Maybe they typed the file with leading directories, while the
3696 symbol tables record only its basename. */
3697 const char *tail = lbasename (srcfile);
3700 s = lookup_symtab (tail);
3703 /* If we have no symtab for that file, return an empty list. */
3705 return (return_val);
3707 /* Go through this symtab and check the externs and statics for
3708 symbols which match. */
3710 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3711 ALL_BLOCK_SYMBOLS (b, i, sym)
3713 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3716 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3717 ALL_BLOCK_SYMBOLS (b, i, sym)
3719 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3722 return (return_val);
3725 /* A helper function for make_source_files_completion_list. It adds
3726 another file name to a list of possible completions, growing the
3727 list as necessary. */
3730 add_filename_to_list (const char *fname, char *text, char *word,
3731 char ***list, int *list_used, int *list_alloced)
3734 size_t fnlen = strlen (fname);
3736 if (*list_used + 1 >= *list_alloced)
3739 *list = (char **) xrealloc ((char *) *list,
3740 *list_alloced * sizeof (char *));
3745 /* Return exactly fname. */
3746 new = xmalloc (fnlen + 5);
3747 strcpy (new, fname);
3749 else if (word > text)
3751 /* Return some portion of fname. */
3752 new = xmalloc (fnlen + 5);
3753 strcpy (new, fname + (word - text));
3757 /* Return some of TEXT plus fname. */
3758 new = xmalloc (fnlen + (text - word) + 5);
3759 strncpy (new, word, text - word);
3760 new[text - word] = '\0';
3761 strcat (new, fname);
3763 (*list)[*list_used] = new;
3764 (*list)[++*list_used] = NULL;
3768 not_interesting_fname (const char *fname)
3770 static const char *illegal_aliens[] = {
3771 "_globals_", /* inserted by coff_symtab_read */
3776 for (i = 0; illegal_aliens[i]; i++)
3778 if (strcmp (fname, illegal_aliens[i]) == 0)
3784 /* Return a NULL terminated array of all source files whose names
3785 begin with matching TEXT. The file names are looked up in the
3786 symbol tables of this program. If the answer is no matchess, then
3787 the return value is an array which contains only a NULL pointer. */
3790 make_source_files_completion_list (char *text, char *word)
3792 register struct symtab *s;
3793 register struct partial_symtab *ps;
3794 register struct objfile *objfile;
3796 int list_alloced = 1;
3798 size_t text_len = strlen (text);
3799 char **list = (char **) xmalloc (list_alloced * sizeof (char *));
3800 const char *base_name;
3804 if (!have_full_symbols () && !have_partial_symbols ())
3807 ALL_SYMTABS (objfile, s)
3809 if (not_interesting_fname (s->filename))
3811 if (!filename_seen (s->filename, 1, &first)
3812 #if HAVE_DOS_BASED_FILE_SYSTEM
3813 && strncasecmp (s->filename, text, text_len) == 0
3815 && strncmp (s->filename, text, text_len) == 0
3819 /* This file matches for a completion; add it to the current
3821 add_filename_to_list (s->filename, text, word,
3822 &list, &list_used, &list_alloced);
3826 /* NOTE: We allow the user to type a base name when the
3827 debug info records leading directories, but not the other
3828 way around. This is what subroutines of breakpoint
3829 command do when they parse file names. */
3830 base_name = lbasename (s->filename);
3831 if (base_name != s->filename
3832 && !filename_seen (base_name, 1, &first)
3833 #if HAVE_DOS_BASED_FILE_SYSTEM
3834 && strncasecmp (base_name, text, text_len) == 0
3836 && strncmp (base_name, text, text_len) == 0
3839 add_filename_to_list (base_name, text, word,
3840 &list, &list_used, &list_alloced);
3844 ALL_PSYMTABS (objfile, ps)
3846 if (not_interesting_fname (ps->filename))
3850 if (!filename_seen (ps->filename, 1, &first)
3851 #if HAVE_DOS_BASED_FILE_SYSTEM
3852 && strncasecmp (ps->filename, text, text_len) == 0
3854 && strncmp (ps->filename, text, text_len) == 0
3858 /* This file matches for a completion; add it to the
3859 current list of matches. */
3860 add_filename_to_list (ps->filename, text, word,
3861 &list, &list_used, &list_alloced);
3866 base_name = lbasename (ps->filename);
3867 if (base_name != ps->filename
3868 && !filename_seen (base_name, 1, &first)
3869 #if HAVE_DOS_BASED_FILE_SYSTEM
3870 && strncasecmp (base_name, text, text_len) == 0
3872 && strncmp (base_name, text, text_len) == 0
3875 add_filename_to_list (base_name, text, word,
3876 &list, &list_used, &list_alloced);
3884 /* Determine if PC is in the prologue of a function. The prologue is the area
3885 between the first instruction of a function, and the first executable line.
3886 Returns 1 if PC *might* be in prologue, 0 if definately *not* in prologue.
3888 If non-zero, func_start is where we think the prologue starts, possibly
3889 by previous examination of symbol table information.
3893 in_prologue (CORE_ADDR pc, CORE_ADDR func_start)
3895 struct symtab_and_line sal;
3896 CORE_ADDR func_addr, func_end;
3898 /* We have several sources of information we can consult to figure
3900 - Compilers usually emit line number info that marks the prologue
3901 as its own "source line". So the ending address of that "line"
3902 is the end of the prologue. If available, this is the most
3904 - The minimal symbols and partial symbols, which can usually tell
3905 us the starting and ending addresses of a function.
3906 - If we know the function's start address, we can call the
3907 architecture-defined SKIP_PROLOGUE function to analyze the
3908 instruction stream and guess where the prologue ends.
3909 - Our `func_start' argument; if non-zero, this is the caller's
3910 best guess as to the function's entry point. At the time of
3911 this writing, handle_inferior_event doesn't get this right, so
3912 it should be our last resort. */
3914 /* Consult the partial symbol table, to find which function
3916 if (! find_pc_partial_function (pc, NULL, &func_addr, &func_end))
3918 CORE_ADDR prologue_end;
3920 /* We don't even have minsym information, so fall back to using
3921 func_start, if given. */
3923 return 1; /* We *might* be in a prologue. */
3925 prologue_end = SKIP_PROLOGUE (func_start);
3927 return func_start <= pc && pc < prologue_end;
3930 /* If we have line number information for the function, that's
3931 usually pretty reliable. */
3932 sal = find_pc_line (func_addr, 0);
3934 /* Now sal describes the source line at the function's entry point,
3935 which (by convention) is the prologue. The end of that "line",
3936 sal.end, is the end of the prologue.
3938 Note that, for functions whose source code is all on a single
3939 line, the line number information doesn't always end up this way.
3940 So we must verify that our purported end-of-prologue address is
3941 *within* the function, not at its start or end. */
3943 || sal.end <= func_addr
3944 || func_end <= sal.end)
3946 /* We don't have any good line number info, so use the minsym
3947 information, together with the architecture-specific prologue
3949 CORE_ADDR prologue_end = SKIP_PROLOGUE (func_addr);
3951 return func_addr <= pc && pc < prologue_end;
3954 /* We have line number info, and it looks good. */
3955 return func_addr <= pc && pc < sal.end;
3959 /* Begin overload resolution functions */
3962 remove_params (const char *demangled_name)
3968 if (demangled_name == NULL)
3971 /* First find the end of the arg list. */
3972 argp = strrchr (demangled_name, ')');
3976 /* Back up to the beginning. */
3979 while (argp-- > demangled_name)
3983 else if (*argp == '(')
3992 internal_error (__FILE__, __LINE__,
3993 "bad demangled name %s\n", demangled_name);
3994 while (argp[-1] == ' ' && argp > demangled_name)
3997 new_name = xmalloc (argp - demangled_name + 1);
3998 memcpy (new_name, demangled_name, argp - demangled_name);
3999 new_name[argp - demangled_name] = '\0';
4003 /* Helper routine for make_symbol_completion_list. */
4005 static int sym_return_val_size;
4006 static int sym_return_val_index;
4007 static struct symbol **sym_return_val;
4009 /* Test to see if the symbol specified by SYMNAME (which is already
4010 demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN
4011 characters. If so, add it to the current completion list. */
4014 overload_list_add_symbol (struct symbol *sym, char *oload_name)
4020 /* If there is no type information, we can't do anything, so skip */
4021 if (SYMBOL_TYPE (sym) == NULL)
4024 /* skip any symbols that we've already considered. */
4025 for (i = 0; i < sym_return_val_index; ++i)
4026 if (!strcmp (DEPRECATED_SYMBOL_NAME (sym), DEPRECATED_SYMBOL_NAME (sym_return_val[i])))
4029 /* Get the demangled name without parameters */
4030 sym_name = remove_params (SYMBOL_DEMANGLED_NAME (sym));
4034 /* skip symbols that cannot match */
4035 if (strcmp (sym_name, oload_name) != 0)
4043 /* We have a match for an overload instance, so add SYM to the current list
4044 * of overload instances */
4045 if (sym_return_val_index + 3 > sym_return_val_size)
4047 newsize = (sym_return_val_size *= 2) * sizeof (struct symbol *);
4048 sym_return_val = (struct symbol **) xrealloc ((char *) sym_return_val, newsize);
4050 sym_return_val[sym_return_val_index++] = sym;
4051 sym_return_val[sym_return_val_index] = NULL;
4054 /* Return a null-terminated list of pointers to function symbols that
4055 * match name of the supplied symbol FSYM.
4056 * This is used in finding all overloaded instances of a function name.
4057 * This has been modified from make_symbol_completion_list. */
4061 make_symbol_overload_list (struct symbol *fsym)
4063 register struct symbol *sym;
4064 register struct symtab *s;
4065 register struct partial_symtab *ps;
4066 register struct objfile *objfile;
4067 register struct block *b, *surrounding_static_block = 0;
4069 /* The name we are completing on. */
4070 char *oload_name = NULL;
4071 /* Length of name. */
4072 int oload_name_len = 0;
4074 /* Look for the symbol we are supposed to complete on. */
4076 oload_name = remove_params (SYMBOL_DEMANGLED_NAME (fsym));
4079 sym_return_val_size = 1;
4080 sym_return_val = (struct symbol **) xmalloc (2 * sizeof (struct symbol *));
4081 sym_return_val[0] = fsym;
4082 sym_return_val[1] = NULL;
4084 return sym_return_val;
4086 oload_name_len = strlen (oload_name);
4088 sym_return_val_size = 100;
4089 sym_return_val_index = 0;
4090 sym_return_val = (struct symbol **) xmalloc ((sym_return_val_size + 1) * sizeof (struct symbol *));
4091 sym_return_val[0] = NULL;
4093 /* Read in all partial symtabs containing a partial symbol named
4096 ALL_PSYMTABS (objfile, ps)
4098 struct partial_symbol **psym;
4100 /* If the psymtab's been read in we'll get it when we search
4101 through the blockvector. */
4105 if ((lookup_partial_symbol (ps, oload_name, NULL, 1, VAR_DOMAIN)
4107 || (lookup_partial_symbol (ps, oload_name, NULL, 0, VAR_DOMAIN)
4109 PSYMTAB_TO_SYMTAB (ps);
4112 /* Search upwards from currently selected frame (so that we can
4113 complete on local vars. */
4115 for (b = get_selected_block (0); b != NULL; b = BLOCK_SUPERBLOCK (b))
4117 if (!BLOCK_SUPERBLOCK (b))
4119 surrounding_static_block = b; /* For elimination of dups */
4122 /* Also catch fields of types defined in this places which match our
4123 text string. Only complete on types visible from current context. */
4125 ALL_BLOCK_SYMBOLS (b, i, sym)
4127 overload_list_add_symbol (sym, oload_name);
4131 /* Go through the symtabs and check the externs and statics for
4132 symbols which match. */
4134 ALL_SYMTABS (objfile, s)
4137 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
4138 ALL_BLOCK_SYMBOLS (b, i, sym)
4140 overload_list_add_symbol (sym, oload_name);
4144 ALL_SYMTABS (objfile, s)
4147 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
4148 /* Don't do this block twice. */
4149 if (b == surrounding_static_block)
4151 ALL_BLOCK_SYMBOLS (b, i, sym)
4153 overload_list_add_symbol (sym, oload_name);
4159 return (sym_return_val);
4162 /* End of overload resolution functions */
4164 struct symtabs_and_lines
4165 decode_line_spec (char *string, int funfirstline)
4167 struct symtabs_and_lines sals;
4168 struct symtab_and_line cursal;
4171 error ("Empty line specification.");
4173 /* We use whatever is set as the current source line. We do not try
4174 and get a default or it will recursively call us! */
4175 cursal = get_current_source_symtab_and_line ();
4177 sals = decode_line_1 (&string, funfirstline,
4178 cursal.symtab, cursal.line,
4182 error ("Junk at end of line specification: %s", string);
4187 static char *name_of_main;
4190 set_main_name (const char *name)
4192 if (name_of_main != NULL)
4194 xfree (name_of_main);
4195 name_of_main = NULL;
4199 name_of_main = xstrdup (name);
4206 if (name_of_main != NULL)
4207 return name_of_main;
4214 _initialize_symtab (void)
4216 add_info ("variables", variables_info,
4217 "All global and static variable names, or those matching REGEXP.");
4219 add_com ("whereis", class_info, variables_info,
4220 "All global and static variable names, or those matching REGEXP.");
4222 add_info ("functions", functions_info,
4223 "All function names, or those matching REGEXP.");
4226 /* FIXME: This command has at least the following problems:
4227 1. It prints builtin types (in a very strange and confusing fashion).
4228 2. It doesn't print right, e.g. with
4229 typedef struct foo *FOO
4230 type_print prints "FOO" when we want to make it (in this situation)
4231 print "struct foo *".
4232 I also think "ptype" or "whatis" is more likely to be useful (but if
4233 there is much disagreement "info types" can be fixed). */
4234 add_info ("types", types_info,
4235 "All type names, or those matching REGEXP.");
4237 add_info ("sources", sources_info,
4238 "Source files in the program.");
4240 add_com ("rbreak", class_breakpoint, rbreak_command,
4241 "Set a breakpoint for all functions matching REGEXP.");
4245 add_com ("lf", class_info, sources_info, "Source files in the program");
4246 add_com ("lg", class_info, variables_info,
4247 "All global and static variable names, or those matching REGEXP.");
4250 /* Initialize the one built-in type that isn't language dependent... */
4251 builtin_type_error = init_type (TYPE_CODE_ERROR, 0, 0,
4252 "<unknown type>", (struct objfile *) NULL);