89730915e31297466a0c323da2b1f4497f6726d0
[binutils-gdb.git] / gdb / symtab.c
1 /* Symbol table lookup for the GNU debugger, GDB.
2
3 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
4 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002 Free Software
5 Foundation, Inc.
6
7 This file is part of GDB.
8
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.
13
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.
18
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. */
23
24 #include "defs.h"
25 #include "symtab.h"
26 #include "gdbtypes.h"
27 #include "gdbcore.h"
28 #include "frame.h"
29 #include "target.h"
30 #include "value.h"
31 #include "symfile.h"
32 #include "objfiles.h"
33 #include "gdbcmd.h"
34 #include "call-cmds.h"
35 #include "gdb_regex.h"
36 #include "expression.h"
37 #include "language.h"
38 #include "demangle.h"
39 #include "inferior.h"
40 #include "linespec.h"
41 #include "filenames.h" /* for FILENAME_CMP */
42
43 #include "obstack.h"
44
45 #include <sys/types.h>
46 #include <fcntl.h>
47 #include "gdb_string.h"
48 #include "gdb_stat.h"
49 #include <ctype.h>
50 #include "cp-abi.h"
51
52 /* Prototype for one function in parser-defs.h,
53 instead of including that entire file. */
54
55 extern char *find_template_name_end (char *);
56
57 /* Prototypes for local functions */
58
59 static void completion_list_add_name (char *, char *, int, char *, char *);
60
61 static void rbreak_command (char *, int);
62
63 static void types_info (char *, int);
64
65 static void functions_info (char *, int);
66
67 static void variables_info (char *, int);
68
69 static void sources_info (char *, int);
70
71 static void output_source_filename (char *, int *);
72
73 static int find_line_common (struct linetable *, int, int *);
74
75 /* This one is used by linespec.c */
76
77 char *operator_chars (char *p, char **end);
78
79 static struct partial_symbol *lookup_partial_symbol (struct partial_symtab *,
80 const char *, int,
81 namespace_enum);
82
83 static struct symbol *lookup_symbol_aux (const char *name,
84 const char *mangled_name,
85 const struct block *block,
86 const namespace_enum namespace,
87 int *is_a_field_of_this,
88 struct symtab **symtab);
89
90
91 static struct symbol *find_active_alias (struct symbol *sym, CORE_ADDR addr);
92
93 /* This flag is used in hppa-tdep.c, and set in hp-symtab-read.c */
94 /* Signals the presence of objects compiled by HP compilers */
95 int hp_som_som_object_present = 0;
96
97 static void fixup_section (struct general_symbol_info *, struct objfile *);
98
99 static int file_matches (char *, char **, int);
100
101 static void print_symbol_info (namespace_enum,
102 struct symtab *, struct symbol *, int, char *);
103
104 static void print_msymbol_info (struct minimal_symbol *);
105
106 static void symtab_symbol_info (char *, namespace_enum, int);
107
108 static void overload_list_add_symbol (struct symbol *sym, char *oload_name);
109
110 void _initialize_symtab (void);
111
112 /* */
113
114 /* The single non-language-specific builtin type */
115 struct type *builtin_type_error;
116
117 /* Block in which the most recently searched-for symbol was found.
118 Might be better to make this a parameter to lookup_symbol and
119 value_of_this. */
120
121 const struct block *block_found;
122
123 /* While the C++ support is still in flux, issue a possibly helpful hint on
124 using the new command completion feature on single quoted demangled C++
125 symbols. Remove when loose ends are cleaned up. FIXME -fnf */
126
127 static void
128 cplusplus_hint (char *name)
129 {
130 while (*name == '\'')
131 name++;
132 printf_filtered ("Hint: try '%s<TAB> or '%s<ESC-?>\n", name, name);
133 printf_filtered ("(Note leading single quote.)\n");
134 }
135
136 /* Check for a symtab of a specific name; first in symtabs, then in
137 psymtabs. *If* there is no '/' in the name, a match after a '/'
138 in the symtab filename will also work. */
139
140 struct symtab *
141 lookup_symtab (const char *name)
142 {
143 register struct symtab *s;
144 register struct partial_symtab *ps;
145 register struct objfile *objfile;
146 char *real_path = NULL;
147 char *full_path = NULL;
148
149 /* Here we are interested in canonicalizing an absolute path, not
150 absolutizing a relative path. */
151 if (IS_ABSOLUTE_PATH (name))
152 {
153 full_path = xfullpath (name);
154 make_cleanup (xfree, full_path);
155 real_path = gdb_realpath (name);
156 make_cleanup (xfree, real_path);
157 }
158
159 got_symtab:
160
161 /* First, search for an exact match */
162
163 ALL_SYMTABS (objfile, s)
164 {
165 if (FILENAME_CMP (name, s->filename) == 0)
166 {
167 return s;
168 }
169
170 /* If the user gave us an absolute path, try to find the file in
171 this symtab and use its absolute path. */
172
173 if (full_path != NULL)
174 {
175 const char *fp = symtab_to_filename (s);
176 if (FILENAME_CMP (full_path, fp) == 0)
177 {
178 return s;
179 }
180 }
181
182 if (real_path != NULL)
183 {
184 char *rp = gdb_realpath (symtab_to_filename (s));
185 make_cleanup (xfree, rp);
186 if (FILENAME_CMP (real_path, rp) == 0)
187 {
188 return s;
189 }
190 }
191 }
192
193 /* Now, search for a matching tail (only if name doesn't have any dirs) */
194
195 if (lbasename (name) == name)
196 ALL_SYMTABS (objfile, s)
197 {
198 if (FILENAME_CMP (lbasename (s->filename), name) == 0)
199 return s;
200 }
201
202 /* Same search rules as above apply here, but now we look thru the
203 psymtabs. */
204
205 ps = lookup_partial_symtab (name);
206 if (!ps)
207 return (NULL);
208
209 if (ps->readin)
210 error ("Internal: readin %s pst for `%s' found when no symtab found.",
211 ps->filename, name);
212
213 s = PSYMTAB_TO_SYMTAB (ps);
214
215 if (s)
216 return s;
217
218 /* At this point, we have located the psymtab for this file, but
219 the conversion to a symtab has failed. This usually happens
220 when we are looking up an include file. In this case,
221 PSYMTAB_TO_SYMTAB doesn't return a symtab, even though one has
222 been created. So, we need to run through the symtabs again in
223 order to find the file.
224 XXX - This is a crock, and should be fixed inside of the the
225 symbol parsing routines. */
226 goto got_symtab;
227 }
228
229 /* Lookup the partial symbol table of a source file named NAME.
230 *If* there is no '/' in the name, a match after a '/'
231 in the psymtab filename will also work. */
232
233 struct partial_symtab *
234 lookup_partial_symtab (const char *name)
235 {
236 register struct partial_symtab *pst;
237 register struct objfile *objfile;
238 char *full_path = NULL;
239 char *real_path = NULL;
240
241 /* Here we are interested in canonicalizing an absolute path, not
242 absolutizing a relative path. */
243 if (IS_ABSOLUTE_PATH (name))
244 {
245 full_path = xfullpath (name);
246 make_cleanup (xfree, full_path);
247 real_path = gdb_realpath (name);
248 make_cleanup (xfree, real_path);
249 }
250
251 ALL_PSYMTABS (objfile, pst)
252 {
253 if (FILENAME_CMP (name, pst->filename) == 0)
254 {
255 return (pst);
256 }
257
258 /* If the user gave us an absolute path, try to find the file in
259 this symtab and use its absolute path. */
260 if (full_path != NULL)
261 {
262 if (pst->fullname == NULL)
263 source_full_path_of (pst->filename, &pst->fullname);
264 if (pst->fullname != NULL
265 && FILENAME_CMP (full_path, pst->fullname) == 0)
266 {
267 return pst;
268 }
269 }
270
271 if (real_path != NULL)
272 {
273 char *rp = NULL;
274 if (pst->fullname == NULL)
275 source_full_path_of (pst->filename, &pst->fullname);
276 if (pst->fullname != NULL)
277 {
278 rp = gdb_realpath (pst->fullname);
279 make_cleanup (xfree, rp);
280 }
281 if (rp != NULL && FILENAME_CMP (real_path, rp) == 0)
282 {
283 return pst;
284 }
285 }
286 }
287
288 /* Now, search for a matching tail (only if name doesn't have any dirs) */
289
290 if (lbasename (name) == name)
291 ALL_PSYMTABS (objfile, pst)
292 {
293 if (FILENAME_CMP (lbasename (pst->filename), name) == 0)
294 return (pst);
295 }
296
297 return (NULL);
298 }
299 \f
300 /* Mangle a GDB method stub type. This actually reassembles the pieces of the
301 full method name, which consist of the class name (from T), the unadorned
302 method name from METHOD_ID, and the signature for the specific overload,
303 specified by SIGNATURE_ID. Note that this function is g++ specific. */
304
305 char *
306 gdb_mangle_name (struct type *type, int method_id, int signature_id)
307 {
308 int mangled_name_len;
309 char *mangled_name;
310 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, method_id);
311 struct fn_field *method = &f[signature_id];
312 char *field_name = TYPE_FN_FIELDLIST_NAME (type, method_id);
313 char *physname = TYPE_FN_FIELD_PHYSNAME (f, signature_id);
314 char *newname = type_name_no_tag (type);
315
316 /* Does the form of physname indicate that it is the full mangled name
317 of a constructor (not just the args)? */
318 int is_full_physname_constructor;
319
320 int is_constructor;
321 int is_destructor = is_destructor_name (physname);
322 /* Need a new type prefix. */
323 char *const_prefix = method->is_const ? "C" : "";
324 char *volatile_prefix = method->is_volatile ? "V" : "";
325 char buf[20];
326 int len = (newname == NULL ? 0 : strlen (newname));
327
328 /* Nothing to do if physname already contains a fully mangled v3 abi name
329 or an operator name. */
330 if ((physname[0] == '_' && physname[1] == 'Z')
331 || is_operator_name (field_name))
332 return xstrdup (physname);
333
334 is_full_physname_constructor = is_constructor_name (physname);
335
336 is_constructor =
337 is_full_physname_constructor || (newname && STREQ (field_name, newname));
338
339 if (!is_destructor)
340 is_destructor = (strncmp (physname, "__dt", 4) == 0);
341
342 if (is_destructor || is_full_physname_constructor)
343 {
344 mangled_name = (char *) xmalloc (strlen (physname) + 1);
345 strcpy (mangled_name, physname);
346 return mangled_name;
347 }
348
349 if (len == 0)
350 {
351 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
352 }
353 else if (physname[0] == 't' || physname[0] == 'Q')
354 {
355 /* The physname for template and qualified methods already includes
356 the class name. */
357 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
358 newname = NULL;
359 len = 0;
360 }
361 else
362 {
363 sprintf (buf, "__%s%s%d", const_prefix, volatile_prefix, len);
364 }
365 mangled_name_len = ((is_constructor ? 0 : strlen (field_name))
366 + strlen (buf) + len + strlen (physname) + 1);
367
368 {
369 mangled_name = (char *) xmalloc (mangled_name_len);
370 if (is_constructor)
371 mangled_name[0] = '\0';
372 else
373 strcpy (mangled_name, field_name);
374 }
375 strcat (mangled_name, buf);
376 /* If the class doesn't have a name, i.e. newname NULL, then we just
377 mangle it using 0 for the length of the class. Thus it gets mangled
378 as something starting with `::' rather than `classname::'. */
379 if (newname != NULL)
380 strcat (mangled_name, newname);
381
382 strcat (mangled_name, physname);
383 return (mangled_name);
384 }
385
386 \f
387 /* Initialize a symbol's mangled name. */
388
389 /* Try to initialize the demangled name for a symbol, based on the
390 language of that symbol. If the language is set to language_auto,
391 it will attempt to find any demangling algorithm that works and
392 then set the language appropriately. If no demangling of any kind
393 is found, the language is set back to language_unknown, so we can
394 avoid doing this work again the next time we encounter the symbol.
395 Any required space to store the name is obtained from the specified
396 obstack. */
397
398 void
399 symbol_init_demangled_name (struct general_symbol_info *gsymbol,
400 struct obstack *obstack)
401 {
402 char *mangled = gsymbol->name;
403 char *demangled = NULL;
404
405 if (gsymbol->language == language_unknown)
406 gsymbol->language = language_auto;
407 if (gsymbol->language == language_cplus
408 || gsymbol->language == language_auto)
409 {
410 demangled =
411 cplus_demangle (gsymbol->name, DMGL_PARAMS | DMGL_ANSI);
412 if (demangled != NULL)
413 {
414 gsymbol->language = language_cplus;
415 gsymbol->language_specific.cplus_specific.demangled_name =
416 obsavestring (demangled, strlen (demangled), obstack);
417 xfree (demangled);
418 }
419 else
420 {
421 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
422 }
423 }
424 if (gsymbol->language == language_java)
425 {
426 demangled =
427 cplus_demangle (gsymbol->name,
428 DMGL_PARAMS | DMGL_ANSI | DMGL_JAVA);
429 if (demangled != NULL)
430 {
431 gsymbol->language = language_java;
432 gsymbol->language_specific.cplus_specific.demangled_name =
433 obsavestring (demangled, strlen (demangled), obstack);
434 xfree (demangled);
435 }
436 else
437 {
438 gsymbol->language_specific.cplus_specific.demangled_name = NULL;
439 }
440 }
441 if (demangled == NULL
442 && (gsymbol->language == language_chill
443 || gsymbol->language == language_auto))
444 {
445 demangled =
446 chill_demangle (gsymbol->name);
447 if (demangled != NULL)
448 {
449 gsymbol->language = language_chill;
450 gsymbol->language_specific.chill_specific.demangled_name =
451 obsavestring (demangled, strlen (demangled), obstack);
452 xfree (demangled);
453 }
454 else
455 {
456 gsymbol->language_specific.chill_specific.demangled_name = NULL;
457 }
458 }
459 }
460
461
462 \f
463
464
465 /* Find which partial symtab on contains PC and SECTION. Return 0 if none. */
466
467 struct partial_symtab *
468 find_pc_sect_psymtab (CORE_ADDR pc, asection *section)
469 {
470 register struct partial_symtab *pst;
471 register struct objfile *objfile;
472 struct minimal_symbol *msymbol;
473
474 /* If we know that this is not a text address, return failure. This is
475 necessary because we loop based on texthigh and textlow, which do
476 not include the data ranges. */
477 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
478 if (msymbol
479 && (msymbol->type == mst_data
480 || msymbol->type == mst_bss
481 || msymbol->type == mst_abs
482 || msymbol->type == mst_file_data
483 || msymbol->type == mst_file_bss))
484 return NULL;
485
486 ALL_PSYMTABS (objfile, pst)
487 {
488 if (pc >= pst->textlow && pc < pst->texthigh)
489 {
490 struct partial_symtab *tpst;
491
492 /* An objfile that has its functions reordered might have
493 many partial symbol tables containing the PC, but
494 we want the partial symbol table that contains the
495 function containing the PC. */
496 if (!(objfile->flags & OBJF_REORDERED) &&
497 section == 0) /* can't validate section this way */
498 return (pst);
499
500 if (msymbol == NULL)
501 return (pst);
502
503 for (tpst = pst; tpst != NULL; tpst = tpst->next)
504 {
505 if (pc >= tpst->textlow && pc < tpst->texthigh)
506 {
507 struct partial_symbol *p;
508
509 p = find_pc_sect_psymbol (tpst, pc, section);
510 if (p != NULL
511 && SYMBOL_VALUE_ADDRESS (p)
512 == SYMBOL_VALUE_ADDRESS (msymbol))
513 return (tpst);
514 }
515 }
516 return (pst);
517 }
518 }
519 return (NULL);
520 }
521
522 /* Find which partial symtab contains PC. Return 0 if none.
523 Backward compatibility, no section */
524
525 struct partial_symtab *
526 find_pc_psymtab (CORE_ADDR pc)
527 {
528 return find_pc_sect_psymtab (pc, find_pc_mapped_section (pc));
529 }
530
531 /* Find which partial symbol within a psymtab matches PC and SECTION.
532 Return 0 if none. Check all psymtabs if PSYMTAB is 0. */
533
534 struct partial_symbol *
535 find_pc_sect_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc,
536 asection *section)
537 {
538 struct partial_symbol *best = NULL, *p, **pp;
539 CORE_ADDR best_pc;
540
541 if (!psymtab)
542 psymtab = find_pc_sect_psymtab (pc, section);
543 if (!psymtab)
544 return 0;
545
546 /* Cope with programs that start at address 0 */
547 best_pc = (psymtab->textlow != 0) ? psymtab->textlow - 1 : 0;
548
549 /* Search the global symbols as well as the static symbols, so that
550 find_pc_partial_function doesn't use a minimal symbol and thus
551 cache a bad endaddr. */
552 for (pp = psymtab->objfile->global_psymbols.list + psymtab->globals_offset;
553 (pp - (psymtab->objfile->global_psymbols.list + psymtab->globals_offset)
554 < psymtab->n_global_syms);
555 pp++)
556 {
557 p = *pp;
558 if (SYMBOL_NAMESPACE (p) == VAR_NAMESPACE
559 && SYMBOL_CLASS (p) == LOC_BLOCK
560 && pc >= SYMBOL_VALUE_ADDRESS (p)
561 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
562 || (psymtab->textlow == 0
563 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
564 {
565 if (section) /* match on a specific section */
566 {
567 fixup_psymbol_section (p, psymtab->objfile);
568 if (SYMBOL_BFD_SECTION (p) != section)
569 continue;
570 }
571 best_pc = SYMBOL_VALUE_ADDRESS (p);
572 best = p;
573 }
574 }
575
576 for (pp = psymtab->objfile->static_psymbols.list + psymtab->statics_offset;
577 (pp - (psymtab->objfile->static_psymbols.list + psymtab->statics_offset)
578 < psymtab->n_static_syms);
579 pp++)
580 {
581 p = *pp;
582 if (SYMBOL_NAMESPACE (p) == VAR_NAMESPACE
583 && SYMBOL_CLASS (p) == LOC_BLOCK
584 && pc >= SYMBOL_VALUE_ADDRESS (p)
585 && (SYMBOL_VALUE_ADDRESS (p) > best_pc
586 || (psymtab->textlow == 0
587 && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
588 {
589 if (section) /* match on a specific section */
590 {
591 fixup_psymbol_section (p, psymtab->objfile);
592 if (SYMBOL_BFD_SECTION (p) != section)
593 continue;
594 }
595 best_pc = SYMBOL_VALUE_ADDRESS (p);
596 best = p;
597 }
598 }
599
600 return best;
601 }
602
603 /* Find which partial symbol within a psymtab matches PC. Return 0 if none.
604 Check all psymtabs if PSYMTAB is 0. Backwards compatibility, no section. */
605
606 struct partial_symbol *
607 find_pc_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc)
608 {
609 return find_pc_sect_psymbol (psymtab, pc, find_pc_mapped_section (pc));
610 }
611 \f
612 /* Debug symbols usually don't have section information. We need to dig that
613 out of the minimal symbols and stash that in the debug symbol. */
614
615 static void
616 fixup_section (struct general_symbol_info *ginfo, struct objfile *objfile)
617 {
618 struct minimal_symbol *msym;
619 msym = lookup_minimal_symbol (ginfo->name, NULL, objfile);
620
621 if (msym)
622 {
623 ginfo->bfd_section = SYMBOL_BFD_SECTION (msym);
624 ginfo->section = SYMBOL_SECTION (msym);
625 }
626 }
627
628 struct symbol *
629 fixup_symbol_section (struct symbol *sym, struct objfile *objfile)
630 {
631 if (!sym)
632 return NULL;
633
634 if (SYMBOL_BFD_SECTION (sym))
635 return sym;
636
637 fixup_section (&sym->ginfo, objfile);
638
639 return sym;
640 }
641
642 struct partial_symbol *
643 fixup_psymbol_section (struct partial_symbol *psym, struct objfile *objfile)
644 {
645 if (!psym)
646 return NULL;
647
648 if (SYMBOL_BFD_SECTION (psym))
649 return psym;
650
651 fixup_section (&psym->ginfo, objfile);
652
653 return psym;
654 }
655
656 /* Find the definition for a specified symbol name NAME
657 in namespace NAMESPACE, visible from lexical block BLOCK.
658 Returns the struct symbol pointer, or zero if no symbol is found.
659 If SYMTAB is non-NULL, store the symbol table in which the
660 symbol was found there, or NULL if not found.
661 C++: if IS_A_FIELD_OF_THIS is nonzero on entry, check to see if
662 NAME is a field of the current implied argument `this'. If so set
663 *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero.
664 BLOCK_FOUND is set to the block in which NAME is found (in the case of
665 a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
666
667 /* This function has a bunch of loops in it and it would seem to be
668 attractive to put in some QUIT's (though I'm not really sure
669 whether it can run long enough to be really important). But there
670 are a few calls for which it would appear to be bad news to quit
671 out of here: find_proc_desc in alpha-tdep.c and mips-tdep.c, and
672 nindy_frame_chain_valid in nindy-tdep.c. (Note that there is C++
673 code below which can error(), but that probably doesn't affect
674 these calls since they are looking for a known variable and thus
675 can probably assume it will never hit the C++ code). */
676
677 struct symbol *
678 lookup_symbol (const char *name, const struct block *block,
679 const namespace_enum namespace, int *is_a_field_of_this,
680 struct symtab **symtab)
681 {
682 char *modified_name = NULL;
683 char *modified_name2 = NULL;
684 const char *mangled_name = NULL;
685 int needtofreename = 0;
686 struct symbol *returnval;
687
688 if (case_sensitivity == case_sensitive_off)
689 {
690 char *copy;
691 int len, i;
692
693 len = strlen (name);
694 copy = (char *) alloca (len + 1);
695 for (i= 0; i < len; i++)
696 copy[i] = tolower (name[i]);
697 copy[len] = 0;
698 modified_name = copy;
699 }
700 else
701 modified_name = (char *) name;
702
703 /* If we are using C++ language, demangle the name before doing a lookup, so
704 we can always binary search. */
705 if (current_language->la_language == language_cplus)
706 {
707 modified_name2 = cplus_demangle (modified_name, DMGL_ANSI | DMGL_PARAMS);
708 if (modified_name2)
709 {
710 mangled_name = name;
711 modified_name = modified_name2;
712 needtofreename = 1;
713 }
714 }
715
716 returnval = lookup_symbol_aux (modified_name, mangled_name, block,
717 namespace, is_a_field_of_this, symtab);
718 if (needtofreename)
719 xfree (modified_name2);
720
721 return returnval;
722 }
723
724 static struct symbol *
725 lookup_symbol_aux (const char *name, const char *mangled_name,
726 const struct block *block, const namespace_enum namespace,
727 int *is_a_field_of_this, struct symtab **symtab)
728 {
729 register struct symbol *sym;
730 register struct symtab *s = NULL;
731 register struct partial_symtab *ps;
732 register struct blockvector *bv;
733 register struct objfile *objfile = NULL;
734 register struct block *b;
735 register struct minimal_symbol *msymbol;
736
737
738 /* Search specified block and its superiors. */
739
740 while (block != 0)
741 {
742 sym = lookup_block_symbol (block, name, mangled_name, namespace);
743 if (sym)
744 {
745 block_found = block;
746 if (symtab != NULL)
747 {
748 /* Search the list of symtabs for one which contains the
749 address of the start of this block. */
750 ALL_SYMTABS (objfile, s)
751 {
752 bv = BLOCKVECTOR (s);
753 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
754 if (BLOCK_START (b) <= BLOCK_START (block)
755 && BLOCK_END (b) > BLOCK_START (block))
756 goto found;
757 }
758 found:
759 *symtab = s;
760 }
761
762 return fixup_symbol_section (sym, objfile);
763 }
764 block = BLOCK_SUPERBLOCK (block);
765 }
766
767 /* FIXME: this code is never executed--block is always NULL at this
768 point. What is it trying to do, anyway? We already should have
769 checked the STATIC_BLOCK above (it is the superblock of top-level
770 blocks). Why is VAR_NAMESPACE special-cased? */
771 /* Don't need to mess with the psymtabs; if we have a block,
772 that file is read in. If we don't, then we deal later with
773 all the psymtab stuff that needs checking. */
774 /* Note (RT): The following never-executed code looks unnecessary to me also.
775 * If we change the code to use the original (passed-in)
776 * value of 'block', we could cause it to execute, but then what
777 * would it do? The STATIC_BLOCK of the symtab containing the passed-in
778 * 'block' was already searched by the above code. And the STATIC_BLOCK's
779 * of *other* symtabs (those files not containing 'block' lexically)
780 * should not contain 'block' address-wise. So we wouldn't expect this
781 * code to find any 'sym''s that were not found above. I vote for
782 * deleting the following paragraph of code.
783 */
784 if (namespace == VAR_NAMESPACE && block != NULL)
785 {
786 struct block *b;
787 /* Find the right symtab. */
788 ALL_SYMTABS (objfile, s)
789 {
790 bv = BLOCKVECTOR (s);
791 b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
792 if (BLOCK_START (b) <= BLOCK_START (block)
793 && BLOCK_END (b) > BLOCK_START (block))
794 {
795 sym = lookup_block_symbol (b, name, mangled_name, VAR_NAMESPACE);
796 if (sym)
797 {
798 block_found = b;
799 if (symtab != NULL)
800 *symtab = s;
801 return fixup_symbol_section (sym, objfile);
802 }
803 }
804 }
805 }
806
807
808 /* C++: If requested to do so by the caller,
809 check to see if NAME is a field of `this'. */
810 if (is_a_field_of_this)
811 {
812 struct value *v = value_of_this (0);
813
814 *is_a_field_of_this = 0;
815 if (v && check_field (v, name))
816 {
817 *is_a_field_of_this = 1;
818 if (symtab != NULL)
819 *symtab = NULL;
820 return NULL;
821 }
822 }
823
824 /* Now search all global blocks. Do the symtab's first, then
825 check the psymtab's. If a psymtab indicates the existence
826 of the desired name as a global, then do psymtab-to-symtab
827 conversion on the fly and return the found symbol. */
828
829 ALL_SYMTABS (objfile, s)
830 {
831 bv = BLOCKVECTOR (s);
832 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
833 sym = lookup_block_symbol (block, name, mangled_name, namespace);
834 if (sym)
835 {
836 block_found = block;
837 if (symtab != NULL)
838 *symtab = s;
839 return fixup_symbol_section (sym, objfile);
840 }
841 }
842
843 #ifndef HPUXHPPA
844
845 /* Check for the possibility of the symbol being a function or
846 a mangled variable that is stored in one of the minimal symbol tables.
847 Eventually, all global symbols might be resolved in this way. */
848
849 if (namespace == VAR_NAMESPACE)
850 {
851 msymbol = lookup_minimal_symbol (name, NULL, NULL);
852 if (msymbol != NULL)
853 {
854 s = find_pc_sect_symtab (SYMBOL_VALUE_ADDRESS (msymbol),
855 SYMBOL_BFD_SECTION (msymbol));
856 if (s != NULL)
857 {
858 /* This is a function which has a symtab for its address. */
859 bv = BLOCKVECTOR (s);
860 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
861 sym = lookup_block_symbol (block, SYMBOL_NAME (msymbol),
862 mangled_name, namespace);
863 /* We kept static functions in minimal symbol table as well as
864 in static scope. We want to find them in the symbol table. */
865 if (!sym)
866 {
867 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
868 sym = lookup_block_symbol (block, SYMBOL_NAME (msymbol),
869 mangled_name, namespace);
870 }
871
872 /* sym == 0 if symbol was found in the minimal symbol table
873 but not in the symtab.
874 Return 0 to use the msymbol definition of "foo_".
875
876 This happens for Fortran "foo_" symbols,
877 which are "foo" in the symtab.
878
879 This can also happen if "asm" is used to make a
880 regular symbol but not a debugging symbol, e.g.
881 asm(".globl _main");
882 asm("_main:");
883 */
884
885 if (symtab != NULL)
886 *symtab = s;
887 return fixup_symbol_section (sym, objfile);
888 }
889 else if (MSYMBOL_TYPE (msymbol) != mst_text
890 && MSYMBOL_TYPE (msymbol) != mst_file_text
891 && !STREQ (name, SYMBOL_NAME (msymbol)))
892 {
893 /* This is a mangled variable, look it up by its
894 mangled name. */
895 return lookup_symbol_aux (SYMBOL_NAME (msymbol), mangled_name, block,
896 namespace, is_a_field_of_this, symtab);
897 }
898 /* There are no debug symbols for this file, or we are looking
899 for an unmangled variable.
900 Try to find a matching static symbol below. */
901 }
902 }
903
904 #endif
905
906 ALL_PSYMTABS (objfile, ps)
907 {
908 if (!ps->readin && lookup_partial_symbol (ps, name, 1, namespace))
909 {
910 s = PSYMTAB_TO_SYMTAB (ps);
911 bv = BLOCKVECTOR (s);
912 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
913 sym = lookup_block_symbol (block, name, mangled_name, namespace);
914 if (!sym)
915 {
916 /* This shouldn't be necessary, but as a last resort
917 * try looking in the statics even though the psymtab
918 * claimed the symbol was global. It's possible that
919 * the psymtab gets it wrong in some cases.
920 */
921 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
922 sym = lookup_block_symbol (block, name, mangled_name, namespace);
923 if (!sym)
924 error ("Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
925 %s may be an inlined function, or may be a template function\n\
926 (if a template, try specifying an instantiation: %s<type>).",
927 name, ps->filename, name, name);
928 }
929 if (symtab != NULL)
930 *symtab = s;
931 return fixup_symbol_section (sym, objfile);
932 }
933 }
934
935 /* Now search all static file-level symbols.
936 Not strictly correct, but more useful than an error.
937 Do the symtabs first, then check the psymtabs.
938 If a psymtab indicates the existence
939 of the desired name as a file-level static, then do psymtab-to-symtab
940 conversion on the fly and return the found symbol. */
941
942 ALL_SYMTABS (objfile, s)
943 {
944 bv = BLOCKVECTOR (s);
945 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
946 sym = lookup_block_symbol (block, name, mangled_name, namespace);
947 if (sym)
948 {
949 block_found = block;
950 if (symtab != NULL)
951 *symtab = s;
952 return fixup_symbol_section (sym, objfile);
953 }
954 }
955
956 ALL_PSYMTABS (objfile, ps)
957 {
958 if (!ps->readin && lookup_partial_symbol (ps, name, 0, namespace))
959 {
960 s = PSYMTAB_TO_SYMTAB (ps);
961 bv = BLOCKVECTOR (s);
962 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
963 sym = lookup_block_symbol (block, name, mangled_name, namespace);
964 if (!sym)
965 {
966 /* This shouldn't be necessary, but as a last resort
967 * try looking in the globals even though the psymtab
968 * claimed the symbol was static. It's possible that
969 * the psymtab gets it wrong in some cases.
970 */
971 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
972 sym = lookup_block_symbol (block, name, mangled_name, namespace);
973 if (!sym)
974 error ("Internal: static symbol `%s' found in %s psymtab but not in symtab.\n\
975 %s may be an inlined function, or may be a template function\n\
976 (if a template, try specifying an instantiation: %s<type>).",
977 name, ps->filename, name, name);
978 }
979 if (symtab != NULL)
980 *symtab = s;
981 return fixup_symbol_section (sym, objfile);
982 }
983 }
984
985 #ifdef HPUXHPPA
986
987 /* Check for the possibility of the symbol being a function or
988 a global variable that is stored in one of the minimal symbol tables.
989 The "minimal symbol table" is built from linker-supplied info.
990
991 RT: I moved this check to last, after the complete search of
992 the global (p)symtab's and static (p)symtab's. For HP-generated
993 symbol tables, this check was causing a premature exit from
994 lookup_symbol with NULL return, and thus messing up symbol lookups
995 of things like "c::f". It seems to me a check of the minimal
996 symbol table ought to be a last resort in any case. I'm vaguely
997 worried about the comment below which talks about FORTRAN routines "foo_"
998 though... is it saying we need to do the "minsym" check before
999 the static check in this case?
1000 */
1001
1002 if (namespace == VAR_NAMESPACE)
1003 {
1004 msymbol = lookup_minimal_symbol (name, NULL, NULL);
1005 if (msymbol != NULL)
1006 {
1007 /* OK, we found a minimal symbol in spite of not
1008 * finding any symbol. There are various possible
1009 * explanations for this. One possibility is the symbol
1010 * exists in code not compiled -g. Another possibility
1011 * is that the 'psymtab' isn't doing its job.
1012 * A third possibility, related to #2, is that we were confused
1013 * by name-mangling. For instance, maybe the psymtab isn't
1014 * doing its job because it only know about demangled
1015 * names, but we were given a mangled name...
1016 */
1017
1018 /* We first use the address in the msymbol to try to
1019 * locate the appropriate symtab. Note that find_pc_symtab()
1020 * has a side-effect of doing psymtab-to-symtab expansion,
1021 * for the found symtab.
1022 */
1023 s = find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol));
1024 if (s != NULL)
1025 {
1026 bv = BLOCKVECTOR (s);
1027 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1028 sym = lookup_block_symbol (block, SYMBOL_NAME (msymbol),
1029 mangled_name, namespace);
1030 /* We kept static functions in minimal symbol table as well as
1031 in static scope. We want to find them in the symbol table. */
1032 if (!sym)
1033 {
1034 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1035 sym = lookup_block_symbol (block, SYMBOL_NAME (msymbol),
1036 mangled_name, namespace);
1037 }
1038 /* If we found one, return it */
1039 if (sym)
1040 {
1041 if (symtab != NULL)
1042 *symtab = s;
1043 return sym;
1044 }
1045
1046 /* If we get here with sym == 0, the symbol was
1047 found in the minimal symbol table
1048 but not in the symtab.
1049 Fall through and return 0 to use the msymbol
1050 definition of "foo_".
1051 (Note that outer code generally follows up a call
1052 to this routine with a call to lookup_minimal_symbol(),
1053 so a 0 return means we'll just flow into that other routine).
1054
1055 This happens for Fortran "foo_" symbols,
1056 which are "foo" in the symtab.
1057
1058 This can also happen if "asm" is used to make a
1059 regular symbol but not a debugging symbol, e.g.
1060 asm(".globl _main");
1061 asm("_main:");
1062 */
1063 }
1064
1065 /* If the lookup-by-address fails, try repeating the
1066 * entire lookup process with the symbol name from
1067 * the msymbol (if different from the original symbol name).
1068 */
1069 else if (MSYMBOL_TYPE (msymbol) != mst_text
1070 && MSYMBOL_TYPE (msymbol) != mst_file_text
1071 && !STREQ (name, SYMBOL_NAME (msymbol)))
1072 {
1073 return lookup_symbol_aux (SYMBOL_NAME (msymbol), mangled_name,
1074 block, namespace, is_a_field_of_this,
1075 symtab);
1076 }
1077 }
1078 }
1079
1080 #endif
1081
1082 if (symtab != NULL)
1083 *symtab = NULL;
1084 return 0;
1085 }
1086
1087 /* Look, in partial_symtab PST, for symbol NAME. Check the global
1088 symbols if GLOBAL, the static symbols if not */
1089
1090 static struct partial_symbol *
1091 lookup_partial_symbol (struct partial_symtab *pst, const char *name, int global,
1092 namespace_enum namespace)
1093 {
1094 struct partial_symbol *temp;
1095 struct partial_symbol **start, **psym;
1096 struct partial_symbol **top, **bottom, **center;
1097 int length = (global ? pst->n_global_syms : pst->n_static_syms);
1098 int do_linear_search = 1;
1099
1100 if (length == 0)
1101 {
1102 return (NULL);
1103 }
1104 start = (global ?
1105 pst->objfile->global_psymbols.list + pst->globals_offset :
1106 pst->objfile->static_psymbols.list + pst->statics_offset);
1107
1108 if (global) /* This means we can use a binary search. */
1109 {
1110 do_linear_search = 0;
1111
1112 /* Binary search. This search is guaranteed to end with center
1113 pointing at the earliest partial symbol with the correct
1114 name. At that point *all* partial symbols with that name
1115 will be checked against the correct namespace. */
1116
1117 bottom = start;
1118 top = start + length - 1;
1119 while (top > bottom)
1120 {
1121 center = bottom + (top - bottom) / 2;
1122 if (!(center < top))
1123 internal_error (__FILE__, __LINE__, "failed internal consistency check");
1124 if (!do_linear_search
1125 && (SYMBOL_LANGUAGE (*center) == language_java))
1126 {
1127 do_linear_search = 1;
1128 }
1129 if (strcmp (SYMBOL_SOURCE_NAME (*center), name) >= 0)
1130 {
1131 top = center;
1132 }
1133 else
1134 {
1135 bottom = center + 1;
1136 }
1137 }
1138 if (!(top == bottom))
1139 internal_error (__FILE__, __LINE__, "failed internal consistency check");
1140
1141 /* djb - 2000-06-03 - Use SYMBOL_MATCHES_NAME, not a strcmp, so
1142 we don't have to force a linear search on C++. Probably holds true
1143 for JAVA as well, no way to check.*/
1144 while (SYMBOL_MATCHES_NAME (*top,name))
1145 {
1146 if (SYMBOL_NAMESPACE (*top) == namespace)
1147 {
1148 return (*top);
1149 }
1150 top++;
1151 }
1152 }
1153
1154 /* Can't use a binary search or else we found during the binary search that
1155 we should also do a linear search. */
1156
1157 if (do_linear_search)
1158 {
1159 for (psym = start; psym < start + length; psym++)
1160 {
1161 if (namespace == SYMBOL_NAMESPACE (*psym))
1162 {
1163 if (SYMBOL_MATCHES_NAME (*psym, name))
1164 {
1165 return (*psym);
1166 }
1167 }
1168 }
1169 }
1170
1171 return (NULL);
1172 }
1173
1174 /* Look up a type named NAME in the struct_namespace. The type returned
1175 must not be opaque -- i.e., must have at least one field defined
1176
1177 This code was modelled on lookup_symbol -- the parts not relevant to looking
1178 up types were just left out. In particular it's assumed here that types
1179 are available in struct_namespace and only at file-static or global blocks. */
1180
1181
1182 struct type *
1183 lookup_transparent_type (const char *name)
1184 {
1185 register struct symbol *sym;
1186 register struct symtab *s = NULL;
1187 register struct partial_symtab *ps;
1188 struct blockvector *bv;
1189 register struct objfile *objfile;
1190 register struct block *block;
1191
1192 /* Now search all the global symbols. Do the symtab's first, then
1193 check the psymtab's. If a psymtab indicates the existence
1194 of the desired name as a global, then do psymtab-to-symtab
1195 conversion on the fly and return the found symbol. */
1196
1197 ALL_SYMTABS (objfile, s)
1198 {
1199 bv = BLOCKVECTOR (s);
1200 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1201 sym = lookup_block_symbol (block, name, NULL, STRUCT_NAMESPACE);
1202 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1203 {
1204 return SYMBOL_TYPE (sym);
1205 }
1206 }
1207
1208 ALL_PSYMTABS (objfile, ps)
1209 {
1210 if (!ps->readin && lookup_partial_symbol (ps, name, 1, STRUCT_NAMESPACE))
1211 {
1212 s = PSYMTAB_TO_SYMTAB (ps);
1213 bv = BLOCKVECTOR (s);
1214 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1215 sym = lookup_block_symbol (block, name, NULL, STRUCT_NAMESPACE);
1216 if (!sym)
1217 {
1218 /* This shouldn't be necessary, but as a last resort
1219 * try looking in the statics even though the psymtab
1220 * claimed the symbol was global. It's possible that
1221 * the psymtab gets it wrong in some cases.
1222 */
1223 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1224 sym = lookup_block_symbol (block, name, NULL, STRUCT_NAMESPACE);
1225 if (!sym)
1226 error ("Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
1227 %s may be an inlined function, or may be a template function\n\
1228 (if a template, try specifying an instantiation: %s<type>).",
1229 name, ps->filename, name, name);
1230 }
1231 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1232 return SYMBOL_TYPE (sym);
1233 }
1234 }
1235
1236 /* Now search the static file-level symbols.
1237 Not strictly correct, but more useful than an error.
1238 Do the symtab's first, then
1239 check the psymtab's. If a psymtab indicates the existence
1240 of the desired name as a file-level static, then do psymtab-to-symtab
1241 conversion on the fly and return the found symbol.
1242 */
1243
1244 ALL_SYMTABS (objfile, s)
1245 {
1246 bv = BLOCKVECTOR (s);
1247 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1248 sym = lookup_block_symbol (block, name, NULL, STRUCT_NAMESPACE);
1249 if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1250 {
1251 return SYMBOL_TYPE (sym);
1252 }
1253 }
1254
1255 ALL_PSYMTABS (objfile, ps)
1256 {
1257 if (!ps->readin && lookup_partial_symbol (ps, name, 0, STRUCT_NAMESPACE))
1258 {
1259 s = PSYMTAB_TO_SYMTAB (ps);
1260 bv = BLOCKVECTOR (s);
1261 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1262 sym = lookup_block_symbol (block, name, NULL, STRUCT_NAMESPACE);
1263 if (!sym)
1264 {
1265 /* This shouldn't be necessary, but as a last resort
1266 * try looking in the globals even though the psymtab
1267 * claimed the symbol was static. It's possible that
1268 * the psymtab gets it wrong in some cases.
1269 */
1270 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1271 sym = lookup_block_symbol (block, name, NULL, STRUCT_NAMESPACE);
1272 if (!sym)
1273 error ("Internal: static symbol `%s' found in %s psymtab but not in symtab.\n\
1274 %s may be an inlined function, or may be a template function\n\
1275 (if a template, try specifying an instantiation: %s<type>).",
1276 name, ps->filename, name, name);
1277 }
1278 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1279 return SYMBOL_TYPE (sym);
1280 }
1281 }
1282 return (struct type *) 0;
1283 }
1284
1285
1286 /* Find the psymtab containing main(). */
1287 /* FIXME: What about languages without main() or specially linked
1288 executables that have no main() ? */
1289
1290 struct partial_symtab *
1291 find_main_psymtab (void)
1292 {
1293 register struct partial_symtab *pst;
1294 register struct objfile *objfile;
1295
1296 ALL_PSYMTABS (objfile, pst)
1297 {
1298 if (lookup_partial_symbol (pst, main_name (), 1, VAR_NAMESPACE))
1299 {
1300 return (pst);
1301 }
1302 }
1303 return (NULL);
1304 }
1305
1306 /* Search BLOCK for symbol NAME in NAMESPACE.
1307
1308 Note that if NAME is the demangled form of a C++ symbol, we will fail
1309 to find a match during the binary search of the non-encoded names, but
1310 for now we don't worry about the slight inefficiency of looking for
1311 a match we'll never find, since it will go pretty quick. Once the
1312 binary search terminates, we drop through and do a straight linear
1313 search on the symbols. Each symbol which is marked as being a C++
1314 symbol (language_cplus set) has both the encoded and non-encoded names
1315 tested for a match.
1316
1317 If MANGLED_NAME is non-NULL, verify that any symbol we find has this
1318 particular mangled name.
1319 */
1320
1321 struct symbol *
1322 lookup_block_symbol (register const struct block *block, const char *name,
1323 const char *mangled_name,
1324 const namespace_enum namespace)
1325 {
1326 register int bot, top, inc;
1327 register struct symbol *sym;
1328 register struct symbol *sym_found = NULL;
1329 register int do_linear_search = 1;
1330
1331 if (BLOCK_HASHTABLE (block))
1332 {
1333 unsigned int hash_index;
1334 hash_index = msymbol_hash_iw (name);
1335 hash_index = hash_index % BLOCK_BUCKETS (block);
1336 for (sym = BLOCK_BUCKET (block, hash_index); sym; sym = sym->hash_next)
1337 {
1338 if (SYMBOL_NAMESPACE (sym) == namespace
1339 && (mangled_name
1340 ? strcmp (SYMBOL_NAME (sym), mangled_name) == 0
1341 : SYMBOL_MATCHES_NAME (sym, name)))
1342 return sym;
1343 }
1344 return NULL;
1345 }
1346
1347 /* If the blocks's symbols were sorted, start with a binary search. */
1348
1349 if (BLOCK_SHOULD_SORT (block))
1350 {
1351 /* Reset the linear search flag so if the binary search fails, we
1352 won't do the linear search once unless we find some reason to
1353 do so */
1354
1355 do_linear_search = 0;
1356 top = BLOCK_NSYMS (block);
1357 bot = 0;
1358
1359 /* Advance BOT to not far before the first symbol whose name is NAME. */
1360
1361 while (1)
1362 {
1363 inc = (top - bot + 1);
1364 /* No need to keep binary searching for the last few bits worth. */
1365 if (inc < 4)
1366 {
1367 break;
1368 }
1369 inc = (inc >> 1) + bot;
1370 sym = BLOCK_SYM (block, inc);
1371 if (!do_linear_search && (SYMBOL_LANGUAGE (sym) == language_java))
1372 {
1373 do_linear_search = 1;
1374 }
1375 if (SYMBOL_SOURCE_NAME (sym)[0] < name[0])
1376 {
1377 bot = inc;
1378 }
1379 else if (SYMBOL_SOURCE_NAME (sym)[0] > name[0])
1380 {
1381 top = inc;
1382 }
1383 else if (strcmp (SYMBOL_SOURCE_NAME (sym), name) < 0)
1384 {
1385 bot = inc;
1386 }
1387 else
1388 {
1389 top = inc;
1390 }
1391 }
1392
1393 /* Now scan forward until we run out of symbols, find one whose
1394 name is greater than NAME, or find one we want. If there is
1395 more than one symbol with the right name and namespace, we
1396 return the first one; I believe it is now impossible for us
1397 to encounter two symbols with the same name and namespace
1398 here, because blocks containing argument symbols are no
1399 longer sorted. The exception is for C++, where multiple functions
1400 (cloned constructors / destructors, in particular) can have
1401 the same demangled name. So if we have a particular
1402 mangled name to match, try to do so. */
1403
1404 top = BLOCK_NSYMS (block);
1405 while (bot < top)
1406 {
1407 sym = BLOCK_SYM (block, bot);
1408 if (SYMBOL_NAMESPACE (sym) == namespace
1409 && (mangled_name
1410 ? strcmp (SYMBOL_NAME (sym), mangled_name) == 0
1411 : SYMBOL_MATCHES_NAME (sym, name)))
1412 {
1413 return sym;
1414 }
1415 if (SYMBOL_SOURCE_NAME (sym)[0] > name[0])
1416 {
1417 break;
1418 }
1419 bot++;
1420 }
1421 }
1422
1423 /* Here if block isn't sorted, or we fail to find a match during the
1424 binary search above. If during the binary search above, we find a
1425 symbol which is a Java symbol, then we have re-enabled the linear
1426 search flag which was reset when starting the binary search.
1427
1428 This loop is equivalent to the loop above, but hacked greatly for speed.
1429
1430 Note that parameter symbols do not always show up last in the
1431 list; this loop makes sure to take anything else other than
1432 parameter symbols first; it only uses parameter symbols as a
1433 last resort. Note that this only takes up extra computation
1434 time on a match. */
1435
1436 if (do_linear_search)
1437 {
1438 top = BLOCK_NSYMS (block);
1439 bot = 0;
1440 while (bot < top)
1441 {
1442 sym = BLOCK_SYM (block, bot);
1443 if (SYMBOL_NAMESPACE (sym) == namespace
1444 && (mangled_name
1445 ? strcmp (SYMBOL_NAME (sym), mangled_name) == 0
1446 : SYMBOL_MATCHES_NAME (sym, name)))
1447 {
1448 /* If SYM has aliases, then use any alias that is active
1449 at the current PC. If no alias is active at the current
1450 PC, then use the main symbol.
1451
1452 ?!? Is checking the current pc correct? Is this routine
1453 ever called to look up a symbol from another context?
1454
1455 FIXME: No, it's not correct. If someone sets a
1456 conditional breakpoint at an address, then the
1457 breakpoint's `struct expression' should refer to the
1458 `struct symbol' appropriate for the breakpoint's
1459 address, which may not be the PC.
1460
1461 Even if it were never called from another context,
1462 it's totally bizarre for lookup_symbol's behavior to
1463 depend on the value of the inferior's current PC. We
1464 should pass in the appropriate PC as well as the
1465 block. The interface to lookup_symbol should change
1466 to require the caller to provide a PC. */
1467
1468 if (SYMBOL_ALIASES (sym))
1469 sym = find_active_alias (sym, read_pc ());
1470
1471 sym_found = sym;
1472 if (SYMBOL_CLASS (sym) != LOC_ARG &&
1473 SYMBOL_CLASS (sym) != LOC_LOCAL_ARG &&
1474 SYMBOL_CLASS (sym) != LOC_REF_ARG &&
1475 SYMBOL_CLASS (sym) != LOC_REGPARM &&
1476 SYMBOL_CLASS (sym) != LOC_REGPARM_ADDR &&
1477 SYMBOL_CLASS (sym) != LOC_BASEREG_ARG)
1478 {
1479 break;
1480 }
1481 }
1482 bot++;
1483 }
1484 }
1485 return (sym_found); /* Will be NULL if not found. */
1486 }
1487
1488 /* Given a main symbol SYM and ADDR, search through the alias
1489 list to determine if an alias is active at ADDR and return
1490 the active alias.
1491
1492 If no alias is active, then return SYM. */
1493
1494 static struct symbol *
1495 find_active_alias (struct symbol *sym, CORE_ADDR addr)
1496 {
1497 struct range_list *r;
1498 struct alias_list *aliases;
1499
1500 /* If we have aliases, check them first. */
1501 aliases = SYMBOL_ALIASES (sym);
1502
1503 while (aliases)
1504 {
1505 if (!SYMBOL_RANGES (aliases->sym))
1506 return aliases->sym;
1507 for (r = SYMBOL_RANGES (aliases->sym); r; r = r->next)
1508 {
1509 if (r->start <= addr && r->end > addr)
1510 return aliases->sym;
1511 }
1512 aliases = aliases->next;
1513 }
1514
1515 /* Nothing found, return the main symbol. */
1516 return sym;
1517 }
1518 \f
1519
1520 /* Return the symbol for the function which contains a specified
1521 lexical block, described by a struct block BL. */
1522
1523 struct symbol *
1524 block_function (struct block *bl)
1525 {
1526 while (BLOCK_FUNCTION (bl) == 0 && BLOCK_SUPERBLOCK (bl) != 0)
1527 bl = BLOCK_SUPERBLOCK (bl);
1528
1529 return BLOCK_FUNCTION (bl);
1530 }
1531
1532 /* Find the symtab associated with PC and SECTION. Look through the
1533 psymtabs and read in another symtab if necessary. */
1534
1535 struct symtab *
1536 find_pc_sect_symtab (CORE_ADDR pc, asection *section)
1537 {
1538 register struct block *b;
1539 struct blockvector *bv;
1540 register struct symtab *s = NULL;
1541 register struct symtab *best_s = NULL;
1542 register struct partial_symtab *ps;
1543 register struct objfile *objfile;
1544 CORE_ADDR distance = 0;
1545 struct minimal_symbol *msymbol;
1546
1547 /* If we know that this is not a text address, return failure. This is
1548 necessary because we loop based on the block's high and low code
1549 addresses, which do not include the data ranges, and because
1550 we call find_pc_sect_psymtab which has a similar restriction based
1551 on the partial_symtab's texthigh and textlow. */
1552 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
1553 if (msymbol
1554 && (msymbol->type == mst_data
1555 || msymbol->type == mst_bss
1556 || msymbol->type == mst_abs
1557 || msymbol->type == mst_file_data
1558 || msymbol->type == mst_file_bss))
1559 return NULL;
1560
1561 /* Search all symtabs for the one whose file contains our address, and which
1562 is the smallest of all the ones containing the address. This is designed
1563 to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000
1564 and symtab b is at 0x2000-0x3000. So the GLOBAL_BLOCK for a is from
1565 0x1000-0x4000, but for address 0x2345 we want to return symtab b.
1566
1567 This happens for native ecoff format, where code from included files
1568 gets its own symtab. The symtab for the included file should have
1569 been read in already via the dependency mechanism.
1570 It might be swifter to create several symtabs with the same name
1571 like xcoff does (I'm not sure).
1572
1573 It also happens for objfiles that have their functions reordered.
1574 For these, the symtab we are looking for is not necessarily read in. */
1575
1576 ALL_SYMTABS (objfile, s)
1577 {
1578 bv = BLOCKVECTOR (s);
1579 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1580
1581 if (BLOCK_START (b) <= pc
1582 && BLOCK_END (b) > pc
1583 && (distance == 0
1584 || BLOCK_END (b) - BLOCK_START (b) < distance))
1585 {
1586 /* For an objfile that has its functions reordered,
1587 find_pc_psymtab will find the proper partial symbol table
1588 and we simply return its corresponding symtab. */
1589 /* In order to better support objfiles that contain both
1590 stabs and coff debugging info, we continue on if a psymtab
1591 can't be found. */
1592 if ((objfile->flags & OBJF_REORDERED) && objfile->psymtabs)
1593 {
1594 ps = find_pc_sect_psymtab (pc, section);
1595 if (ps)
1596 return PSYMTAB_TO_SYMTAB (ps);
1597 }
1598 if (section != 0)
1599 {
1600 int i;
1601 struct symbol *sym = NULL;
1602
1603 ALL_BLOCK_SYMBOLS (b, i, sym)
1604 {
1605 fixup_symbol_section (sym, objfile);
1606 if (section == SYMBOL_BFD_SECTION (sym))
1607 break;
1608 }
1609 if ((i >= BLOCK_BUCKETS (b)) && (sym == NULL))
1610 continue; /* no symbol in this symtab matches section */
1611 }
1612 distance = BLOCK_END (b) - BLOCK_START (b);
1613 best_s = s;
1614 }
1615 }
1616
1617 if (best_s != NULL)
1618 return (best_s);
1619
1620 s = NULL;
1621 ps = find_pc_sect_psymtab (pc, section);
1622 if (ps)
1623 {
1624 if (ps->readin)
1625 /* Might want to error() here (in case symtab is corrupt and
1626 will cause a core dump), but maybe we can successfully
1627 continue, so let's not. */
1628 warning ("\
1629 (Internal error: pc 0x%s in read in psymtab, but not in symtab.)\n",
1630 paddr_nz (pc));
1631 s = PSYMTAB_TO_SYMTAB (ps);
1632 }
1633 return (s);
1634 }
1635
1636 /* Find the symtab associated with PC. Look through the psymtabs and
1637 read in another symtab if necessary. Backward compatibility, no section */
1638
1639 struct symtab *
1640 find_pc_symtab (CORE_ADDR pc)
1641 {
1642 return find_pc_sect_symtab (pc, find_pc_mapped_section (pc));
1643 }
1644 \f
1645
1646 #if 0
1647
1648 /* Find the closest symbol value (of any sort -- function or variable)
1649 for a given address value. Slow but complete. (currently unused,
1650 mainly because it is too slow. We could fix it if each symtab and
1651 psymtab had contained in it the addresses ranges of each of its
1652 sections, which also would be required to make things like "info
1653 line *0x2345" cause psymtabs to be converted to symtabs). */
1654
1655 struct symbol *
1656 find_addr_symbol (CORE_ADDR addr, struct symtab **symtabp, CORE_ADDR *symaddrp)
1657 {
1658 struct symtab *symtab, *best_symtab;
1659 struct objfile *objfile;
1660 register int bot, top;
1661 register struct symbol *sym;
1662 register CORE_ADDR sym_addr;
1663 struct block *block;
1664 int blocknum;
1665
1666 /* Info on best symbol seen so far */
1667
1668 register CORE_ADDR best_sym_addr = 0;
1669 struct symbol *best_sym = 0;
1670
1671 /* FIXME -- we should pull in all the psymtabs, too! */
1672 ALL_SYMTABS (objfile, symtab)
1673 {
1674 /* Search the global and static blocks in this symtab for
1675 the closest symbol-address to the desired address. */
1676
1677 for (blocknum = GLOBAL_BLOCK; blocknum <= STATIC_BLOCK; blocknum++)
1678 {
1679 QUIT;
1680 block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab), blocknum);
1681 ALL_BLOCK_SYMBOLS (block, bot, sym)
1682 {
1683 switch (SYMBOL_CLASS (sym))
1684 {
1685 case LOC_STATIC:
1686 case LOC_LABEL:
1687 sym_addr = SYMBOL_VALUE_ADDRESS (sym);
1688 break;
1689
1690 case LOC_INDIRECT:
1691 sym_addr = SYMBOL_VALUE_ADDRESS (sym);
1692 /* An indirect symbol really lives at *sym_addr,
1693 * so an indirection needs to be done.
1694 * However, I am leaving this commented out because it's
1695 * expensive, and it's possible that symbolization
1696 * could be done without an active process (in
1697 * case this read_memory will fail). RT
1698 sym_addr = read_memory_unsigned_integer
1699 (sym_addr, TARGET_PTR_BIT / TARGET_CHAR_BIT);
1700 */
1701 break;
1702
1703 case LOC_BLOCK:
1704 sym_addr = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
1705 break;
1706
1707 default:
1708 continue;
1709 }
1710
1711 if (sym_addr <= addr)
1712 if (sym_addr > best_sym_addr)
1713 {
1714 /* Quit if we found an exact match. */
1715 best_sym = sym;
1716 best_sym_addr = sym_addr;
1717 best_symtab = symtab;
1718 if (sym_addr == addr)
1719 goto done;
1720 }
1721 }
1722 }
1723 }
1724
1725 done:
1726 if (symtabp)
1727 *symtabp = best_symtab;
1728 if (symaddrp)
1729 *symaddrp = best_sym_addr;
1730 return best_sym;
1731 }
1732 #endif /* 0 */
1733
1734 /* Find the source file and line number for a given PC value and SECTION.
1735 Return a structure containing a symtab pointer, a line number,
1736 and a pc range for the entire source line.
1737 The value's .pc field is NOT the specified pc.
1738 NOTCURRENT nonzero means, if specified pc is on a line boundary,
1739 use the line that ends there. Otherwise, in that case, the line
1740 that begins there is used. */
1741
1742 /* The big complication here is that a line may start in one file, and end just
1743 before the start of another file. This usually occurs when you #include
1744 code in the middle of a subroutine. To properly find the end of a line's PC
1745 range, we must search all symtabs associated with this compilation unit, and
1746 find the one whose first PC is closer than that of the next line in this
1747 symtab. */
1748
1749 /* If it's worth the effort, we could be using a binary search. */
1750
1751 struct symtab_and_line
1752 find_pc_sect_line (CORE_ADDR pc, struct sec *section, int notcurrent)
1753 {
1754 struct symtab *s;
1755 register struct linetable *l;
1756 register int len;
1757 register int i;
1758 register struct linetable_entry *item;
1759 struct symtab_and_line val;
1760 struct blockvector *bv;
1761 struct minimal_symbol *msymbol;
1762 struct minimal_symbol *mfunsym;
1763
1764 /* Info on best line seen so far, and where it starts, and its file. */
1765
1766 struct linetable_entry *best = NULL;
1767 CORE_ADDR best_end = 0;
1768 struct symtab *best_symtab = 0;
1769
1770 /* Store here the first line number
1771 of a file which contains the line at the smallest pc after PC.
1772 If we don't find a line whose range contains PC,
1773 we will use a line one less than this,
1774 with a range from the start of that file to the first line's pc. */
1775 struct linetable_entry *alt = NULL;
1776 struct symtab *alt_symtab = 0;
1777
1778 /* Info on best line seen in this file. */
1779
1780 struct linetable_entry *prev;
1781
1782 /* If this pc is not from the current frame,
1783 it is the address of the end of a call instruction.
1784 Quite likely that is the start of the following statement.
1785 But what we want is the statement containing the instruction.
1786 Fudge the pc to make sure we get that. */
1787
1788 INIT_SAL (&val); /* initialize to zeroes */
1789
1790 /* It's tempting to assume that, if we can't find debugging info for
1791 any function enclosing PC, that we shouldn't search for line
1792 number info, either. However, GAS can emit line number info for
1793 assembly files --- very helpful when debugging hand-written
1794 assembly code. In such a case, we'd have no debug info for the
1795 function, but we would have line info. */
1796
1797 if (notcurrent)
1798 pc -= 1;
1799
1800 /* elz: added this because this function returned the wrong
1801 information if the pc belongs to a stub (import/export)
1802 to call a shlib function. This stub would be anywhere between
1803 two functions in the target, and the line info was erroneously
1804 taken to be the one of the line before the pc.
1805 */
1806 /* RT: Further explanation:
1807
1808 * We have stubs (trampolines) inserted between procedures.
1809 *
1810 * Example: "shr1" exists in a shared library, and a "shr1" stub also
1811 * exists in the main image.
1812 *
1813 * In the minimal symbol table, we have a bunch of symbols
1814 * sorted by start address. The stubs are marked as "trampoline",
1815 * the others appear as text. E.g.:
1816 *
1817 * Minimal symbol table for main image
1818 * main: code for main (text symbol)
1819 * shr1: stub (trampoline symbol)
1820 * foo: code for foo (text symbol)
1821 * ...
1822 * Minimal symbol table for "shr1" image:
1823 * ...
1824 * shr1: code for shr1 (text symbol)
1825 * ...
1826 *
1827 * So the code below is trying to detect if we are in the stub
1828 * ("shr1" stub), and if so, find the real code ("shr1" trampoline),
1829 * and if found, do the symbolization from the real-code address
1830 * rather than the stub address.
1831 *
1832 * Assumptions being made about the minimal symbol table:
1833 * 1. lookup_minimal_symbol_by_pc() will return a trampoline only
1834 * if we're really in the trampoline. If we're beyond it (say
1835 * we're in "foo" in the above example), it'll have a closer
1836 * symbol (the "foo" text symbol for example) and will not
1837 * return the trampoline.
1838 * 2. lookup_minimal_symbol_text() will find a real text symbol
1839 * corresponding to the trampoline, and whose address will
1840 * be different than the trampoline address. I put in a sanity
1841 * check for the address being the same, to avoid an
1842 * infinite recursion.
1843 */
1844 msymbol = lookup_minimal_symbol_by_pc (pc);
1845 if (msymbol != NULL)
1846 if (MSYMBOL_TYPE (msymbol) == mst_solib_trampoline)
1847 {
1848 mfunsym = lookup_minimal_symbol_text (SYMBOL_NAME (msymbol), NULL, NULL);
1849 if (mfunsym == NULL)
1850 /* I eliminated this warning since it is coming out
1851 * in the following situation:
1852 * gdb shmain // test program with shared libraries
1853 * (gdb) break shr1 // function in shared lib
1854 * Warning: In stub for ...
1855 * In the above situation, the shared lib is not loaded yet,
1856 * so of course we can't find the real func/line info,
1857 * but the "break" still works, and the warning is annoying.
1858 * So I commented out the warning. RT */
1859 /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_NAME(msymbol)) */ ;
1860 /* fall through */
1861 else if (SYMBOL_VALUE (mfunsym) == SYMBOL_VALUE (msymbol))
1862 /* Avoid infinite recursion */
1863 /* See above comment about why warning is commented out */
1864 /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_NAME(msymbol)) */ ;
1865 /* fall through */
1866 else
1867 return find_pc_line (SYMBOL_VALUE (mfunsym), 0);
1868 }
1869
1870
1871 s = find_pc_sect_symtab (pc, section);
1872 if (!s)
1873 {
1874 /* if no symbol information, return previous pc */
1875 if (notcurrent)
1876 pc++;
1877 val.pc = pc;
1878 return val;
1879 }
1880
1881 bv = BLOCKVECTOR (s);
1882
1883 /* Look at all the symtabs that share this blockvector.
1884 They all have the same apriori range, that we found was right;
1885 but they have different line tables. */
1886
1887 for (; s && BLOCKVECTOR (s) == bv; s = s->next)
1888 {
1889 /* Find the best line in this symtab. */
1890 l = LINETABLE (s);
1891 if (!l)
1892 continue;
1893 len = l->nitems;
1894 if (len <= 0)
1895 {
1896 /* I think len can be zero if the symtab lacks line numbers
1897 (e.g. gcc -g1). (Either that or the LINETABLE is NULL;
1898 I'm not sure which, and maybe it depends on the symbol
1899 reader). */
1900 continue;
1901 }
1902
1903 prev = NULL;
1904 item = l->item; /* Get first line info */
1905
1906 /* Is this file's first line closer than the first lines of other files?
1907 If so, record this file, and its first line, as best alternate. */
1908 if (item->pc > pc && (!alt || item->pc < alt->pc))
1909 {
1910 alt = item;
1911 alt_symtab = s;
1912 }
1913
1914 for (i = 0; i < len; i++, item++)
1915 {
1916 /* Leave prev pointing to the linetable entry for the last line
1917 that started at or before PC. */
1918 if (item->pc > pc)
1919 break;
1920
1921 prev = item;
1922 }
1923
1924 /* At this point, prev points at the line whose start addr is <= pc, and
1925 item points at the next line. If we ran off the end of the linetable
1926 (pc >= start of the last line), then prev == item. If pc < start of
1927 the first line, prev will not be set. */
1928
1929 /* Is this file's best line closer than the best in the other files?
1930 If so, record this file, and its best line, as best so far. */
1931
1932 if (prev && (!best || prev->pc > best->pc))
1933 {
1934 best = prev;
1935 best_symtab = s;
1936
1937 /* Discard BEST_END if it's before the PC of the current BEST. */
1938 if (best_end <= best->pc)
1939 best_end = 0;
1940 }
1941
1942 /* If another line (denoted by ITEM) is in the linetable and its
1943 PC is after BEST's PC, but before the current BEST_END, then
1944 use ITEM's PC as the new best_end. */
1945 if (best && i < len && item->pc > best->pc
1946 && (best_end == 0 || best_end > item->pc))
1947 best_end = item->pc;
1948 }
1949
1950 if (!best_symtab)
1951 {
1952 if (!alt_symtab)
1953 { /* If we didn't find any line # info, just
1954 return zeros. */
1955 val.pc = pc;
1956 }
1957 else
1958 {
1959 val.symtab = alt_symtab;
1960 val.line = alt->line - 1;
1961
1962 /* Don't return line 0, that means that we didn't find the line. */
1963 if (val.line == 0)
1964 ++val.line;
1965
1966 val.pc = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
1967 val.end = alt->pc;
1968 }
1969 }
1970 else if (best->line == 0)
1971 {
1972 /* If our best fit is in a range of PC's for which no line
1973 number info is available (line number is zero) then we didn't
1974 find any valid line information. */
1975 val.pc = pc;
1976 }
1977 else
1978 {
1979 val.symtab = best_symtab;
1980 val.line = best->line;
1981 val.pc = best->pc;
1982 if (best_end && (!alt || best_end < alt->pc))
1983 val.end = best_end;
1984 else if (alt)
1985 val.end = alt->pc;
1986 else
1987 val.end = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
1988 }
1989 val.section = section;
1990 return val;
1991 }
1992
1993 /* Backward compatibility (no section) */
1994
1995 struct symtab_and_line
1996 find_pc_line (CORE_ADDR pc, int notcurrent)
1997 {
1998 asection *section;
1999
2000 section = find_pc_overlay (pc);
2001 if (pc_in_unmapped_range (pc, section))
2002 pc = overlay_mapped_address (pc, section);
2003 return find_pc_sect_line (pc, section, notcurrent);
2004 }
2005 \f
2006 /* Find line number LINE in any symtab whose name is the same as
2007 SYMTAB.
2008
2009 If found, return the symtab that contains the linetable in which it was
2010 found, set *INDEX to the index in the linetable of the best entry
2011 found, and set *EXACT_MATCH nonzero if the value returned is an
2012 exact match.
2013
2014 If not found, return NULL. */
2015
2016 struct symtab *
2017 find_line_symtab (struct symtab *symtab, int line, int *index, int *exact_match)
2018 {
2019 int exact;
2020
2021 /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE
2022 so far seen. */
2023
2024 int best_index;
2025 struct linetable *best_linetable;
2026 struct symtab *best_symtab;
2027
2028 /* First try looking it up in the given symtab. */
2029 best_linetable = LINETABLE (symtab);
2030 best_symtab = symtab;
2031 best_index = find_line_common (best_linetable, line, &exact);
2032 if (best_index < 0 || !exact)
2033 {
2034 /* Didn't find an exact match. So we better keep looking for
2035 another symtab with the same name. In the case of xcoff,
2036 multiple csects for one source file (produced by IBM's FORTRAN
2037 compiler) produce multiple symtabs (this is unavoidable
2038 assuming csects can be at arbitrary places in memory and that
2039 the GLOBAL_BLOCK of a symtab has a begin and end address). */
2040
2041 /* BEST is the smallest linenumber > LINE so far seen,
2042 or 0 if none has been seen so far.
2043 BEST_INDEX and BEST_LINETABLE identify the item for it. */
2044 int best;
2045
2046 struct objfile *objfile;
2047 struct symtab *s;
2048
2049 if (best_index >= 0)
2050 best = best_linetable->item[best_index].line;
2051 else
2052 best = 0;
2053
2054 ALL_SYMTABS (objfile, s)
2055 {
2056 struct linetable *l;
2057 int ind;
2058
2059 if (!STREQ (symtab->filename, s->filename))
2060 continue;
2061 l = LINETABLE (s);
2062 ind = find_line_common (l, line, &exact);
2063 if (ind >= 0)
2064 {
2065 if (exact)
2066 {
2067 best_index = ind;
2068 best_linetable = l;
2069 best_symtab = s;
2070 goto done;
2071 }
2072 if (best == 0 || l->item[ind].line < best)
2073 {
2074 best = l->item[ind].line;
2075 best_index = ind;
2076 best_linetable = l;
2077 best_symtab = s;
2078 }
2079 }
2080 }
2081 }
2082 done:
2083 if (best_index < 0)
2084 return NULL;
2085
2086 if (index)
2087 *index = best_index;
2088 if (exact_match)
2089 *exact_match = exact;
2090
2091 return best_symtab;
2092 }
2093 \f
2094 /* Set the PC value for a given source file and line number and return true.
2095 Returns zero for invalid line number (and sets the PC to 0).
2096 The source file is specified with a struct symtab. */
2097
2098 int
2099 find_line_pc (struct symtab *symtab, int line, CORE_ADDR *pc)
2100 {
2101 struct linetable *l;
2102 int ind;
2103
2104 *pc = 0;
2105 if (symtab == 0)
2106 return 0;
2107
2108 symtab = find_line_symtab (symtab, line, &ind, NULL);
2109 if (symtab != NULL)
2110 {
2111 l = LINETABLE (symtab);
2112 *pc = l->item[ind].pc;
2113 return 1;
2114 }
2115 else
2116 return 0;
2117 }
2118
2119 /* Find the range of pc values in a line.
2120 Store the starting pc of the line into *STARTPTR
2121 and the ending pc (start of next line) into *ENDPTR.
2122 Returns 1 to indicate success.
2123 Returns 0 if could not find the specified line. */
2124
2125 int
2126 find_line_pc_range (struct symtab_and_line sal, CORE_ADDR *startptr,
2127 CORE_ADDR *endptr)
2128 {
2129 CORE_ADDR startaddr;
2130 struct symtab_and_line found_sal;
2131
2132 startaddr = sal.pc;
2133 if (startaddr == 0 && !find_line_pc (sal.symtab, sal.line, &startaddr))
2134 return 0;
2135
2136 /* This whole function is based on address. For example, if line 10 has
2137 two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then
2138 "info line *0x123" should say the line goes from 0x100 to 0x200
2139 and "info line *0x355" should say the line goes from 0x300 to 0x400.
2140 This also insures that we never give a range like "starts at 0x134
2141 and ends at 0x12c". */
2142
2143 found_sal = find_pc_sect_line (startaddr, sal.section, 0);
2144 if (found_sal.line != sal.line)
2145 {
2146 /* The specified line (sal) has zero bytes. */
2147 *startptr = found_sal.pc;
2148 *endptr = found_sal.pc;
2149 }
2150 else
2151 {
2152 *startptr = found_sal.pc;
2153 *endptr = found_sal.end;
2154 }
2155 return 1;
2156 }
2157
2158 /* Given a line table and a line number, return the index into the line
2159 table for the pc of the nearest line whose number is >= the specified one.
2160 Return -1 if none is found. The value is >= 0 if it is an index.
2161
2162 Set *EXACT_MATCH nonzero if the value returned is an exact match. */
2163
2164 static int
2165 find_line_common (register struct linetable *l, register int lineno,
2166 int *exact_match)
2167 {
2168 register int i;
2169 register int len;
2170
2171 /* BEST is the smallest linenumber > LINENO so far seen,
2172 or 0 if none has been seen so far.
2173 BEST_INDEX identifies the item for it. */
2174
2175 int best_index = -1;
2176 int best = 0;
2177
2178 if (lineno <= 0)
2179 return -1;
2180 if (l == 0)
2181 return -1;
2182
2183 len = l->nitems;
2184 for (i = 0; i < len; i++)
2185 {
2186 register struct linetable_entry *item = &(l->item[i]);
2187
2188 if (item->line == lineno)
2189 {
2190 /* Return the first (lowest address) entry which matches. */
2191 *exact_match = 1;
2192 return i;
2193 }
2194
2195 if (item->line > lineno && (best == 0 || item->line < best))
2196 {
2197 best = item->line;
2198 best_index = i;
2199 }
2200 }
2201
2202 /* If we got here, we didn't get an exact match. */
2203
2204 *exact_match = 0;
2205 return best_index;
2206 }
2207
2208 int
2209 find_pc_line_pc_range (CORE_ADDR pc, CORE_ADDR *startptr, CORE_ADDR *endptr)
2210 {
2211 struct symtab_and_line sal;
2212 sal = find_pc_line (pc, 0);
2213 *startptr = sal.pc;
2214 *endptr = sal.end;
2215 return sal.symtab != 0;
2216 }
2217
2218 /* Given a function symbol SYM, find the symtab and line for the start
2219 of the function.
2220 If the argument FUNFIRSTLINE is nonzero, we want the first line
2221 of real code inside the function. */
2222
2223 struct symtab_and_line
2224 find_function_start_sal (struct symbol *sym, int funfirstline)
2225 {
2226 CORE_ADDR pc;
2227 struct symtab_and_line sal;
2228
2229 pc = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
2230 fixup_symbol_section (sym, NULL);
2231 if (funfirstline)
2232 { /* skip "first line" of function (which is actually its prologue) */
2233 asection *section = SYMBOL_BFD_SECTION (sym);
2234 /* If function is in an unmapped overlay, use its unmapped LMA
2235 address, so that SKIP_PROLOGUE has something unique to work on */
2236 if (section_is_overlay (section) &&
2237 !section_is_mapped (section))
2238 pc = overlay_unmapped_address (pc, section);
2239
2240 pc += FUNCTION_START_OFFSET;
2241 pc = SKIP_PROLOGUE (pc);
2242
2243 /* For overlays, map pc back into its mapped VMA range */
2244 pc = overlay_mapped_address (pc, section);
2245 }
2246 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2247
2248 #ifdef PROLOGUE_FIRSTLINE_OVERLAP
2249 /* Convex: no need to suppress code on first line, if any */
2250 sal.pc = pc;
2251 #else
2252 /* Check if SKIP_PROLOGUE left us in mid-line, and the next
2253 line is still part of the same function. */
2254 if (sal.pc != pc
2255 && BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= sal.end
2256 && sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
2257 {
2258 /* First pc of next line */
2259 pc = sal.end;
2260 /* Recalculate the line number (might not be N+1). */
2261 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2262 }
2263 sal.pc = pc;
2264 #endif
2265
2266 return sal;
2267 }
2268
2269 /* If P is of the form "operator[ \t]+..." where `...' is
2270 some legitimate operator text, return a pointer to the
2271 beginning of the substring of the operator text.
2272 Otherwise, return "". */
2273 char *
2274 operator_chars (char *p, char **end)
2275 {
2276 *end = "";
2277 if (strncmp (p, "operator", 8))
2278 return *end;
2279 p += 8;
2280
2281 /* Don't get faked out by `operator' being part of a longer
2282 identifier. */
2283 if (isalpha (*p) || *p == '_' || *p == '$' || *p == '\0')
2284 return *end;
2285
2286 /* Allow some whitespace between `operator' and the operator symbol. */
2287 while (*p == ' ' || *p == '\t')
2288 p++;
2289
2290 /* Recognize 'operator TYPENAME'. */
2291
2292 if (isalpha (*p) || *p == '_' || *p == '$')
2293 {
2294 register char *q = p + 1;
2295 while (isalnum (*q) || *q == '_' || *q == '$')
2296 q++;
2297 *end = q;
2298 return p;
2299 }
2300
2301 while (*p)
2302 switch (*p)
2303 {
2304 case '\\': /* regexp quoting */
2305 if (p[1] == '*')
2306 {
2307 if (p[2] == '=') /* 'operator\*=' */
2308 *end = p + 3;
2309 else /* 'operator\*' */
2310 *end = p + 2;
2311 return p;
2312 }
2313 else if (p[1] == '[')
2314 {
2315 if (p[2] == ']')
2316 error ("mismatched quoting on brackets, try 'operator\\[\\]'");
2317 else if (p[2] == '\\' && p[3] == ']')
2318 {
2319 *end = p + 4; /* 'operator\[\]' */
2320 return p;
2321 }
2322 else
2323 error ("nothing is allowed between '[' and ']'");
2324 }
2325 else
2326 {
2327 /* Gratuitous qoute: skip it and move on. */
2328 p++;
2329 continue;
2330 }
2331 break;
2332 case '!':
2333 case '=':
2334 case '*':
2335 case '/':
2336 case '%':
2337 case '^':
2338 if (p[1] == '=')
2339 *end = p + 2;
2340 else
2341 *end = p + 1;
2342 return p;
2343 case '<':
2344 case '>':
2345 case '+':
2346 case '-':
2347 case '&':
2348 case '|':
2349 if (p[0] == '-' && p[1] == '>')
2350 {
2351 /* Struct pointer member operator 'operator->'. */
2352 if (p[2] == '*')
2353 {
2354 *end = p + 3; /* 'operator->*' */
2355 return p;
2356 }
2357 else if (p[2] == '\\')
2358 {
2359 *end = p + 4; /* Hopefully 'operator->\*' */
2360 return p;
2361 }
2362 else
2363 {
2364 *end = p + 2; /* 'operator->' */
2365 return p;
2366 }
2367 }
2368 if (p[1] == '=' || p[1] == p[0])
2369 *end = p + 2;
2370 else
2371 *end = p + 1;
2372 return p;
2373 case '~':
2374 case ',':
2375 *end = p + 1;
2376 return p;
2377 case '(':
2378 if (p[1] != ')')
2379 error ("`operator ()' must be specified without whitespace in `()'");
2380 *end = p + 2;
2381 return p;
2382 case '?':
2383 if (p[1] != ':')
2384 error ("`operator ?:' must be specified without whitespace in `?:'");
2385 *end = p + 2;
2386 return p;
2387 case '[':
2388 if (p[1] != ']')
2389 error ("`operator []' must be specified without whitespace in `[]'");
2390 *end = p + 2;
2391 return p;
2392 default:
2393 error ("`operator %s' not supported", p);
2394 break;
2395 }
2396
2397 *end = "";
2398 return *end;
2399 }
2400 \f
2401
2402 /* If FILE is not already in the table of files, return zero;
2403 otherwise return non-zero. Optionally add FILE to the table if ADD
2404 is non-zero. If *FIRST is non-zero, forget the old table
2405 contents. */
2406 static int
2407 filename_seen (const char *file, int add, int *first)
2408 {
2409 /* Table of files seen so far. */
2410 static const char **tab = NULL;
2411 /* Allocated size of tab in elements.
2412 Start with one 256-byte block (when using GNU malloc.c).
2413 24 is the malloc overhead when range checking is in effect. */
2414 static int tab_alloc_size = (256 - 24) / sizeof (char *);
2415 /* Current size of tab in elements. */
2416 static int tab_cur_size;
2417 const char **p;
2418
2419 if (*first)
2420 {
2421 if (tab == NULL)
2422 tab = (const char **) xmalloc (tab_alloc_size * sizeof (*tab));
2423 tab_cur_size = 0;
2424 }
2425
2426 /* Is FILE in tab? */
2427 for (p = tab; p < tab + tab_cur_size; p++)
2428 if (strcmp (*p, file) == 0)
2429 return 1;
2430
2431 /* No; maybe add it to tab. */
2432 if (add)
2433 {
2434 if (tab_cur_size == tab_alloc_size)
2435 {
2436 tab_alloc_size *= 2;
2437 tab = (const char **) xrealloc ((char *) tab,
2438 tab_alloc_size * sizeof (*tab));
2439 }
2440 tab[tab_cur_size++] = file;
2441 }
2442
2443 return 0;
2444 }
2445
2446 /* Slave routine for sources_info. Force line breaks at ,'s.
2447 NAME is the name to print and *FIRST is nonzero if this is the first
2448 name printed. Set *FIRST to zero. */
2449 static void
2450 output_source_filename (char *name, int *first)
2451 {
2452 /* Since a single source file can result in several partial symbol
2453 tables, we need to avoid printing it more than once. Note: if
2454 some of the psymtabs are read in and some are not, it gets
2455 printed both under "Source files for which symbols have been
2456 read" and "Source files for which symbols will be read in on
2457 demand". I consider this a reasonable way to deal with the
2458 situation. I'm not sure whether this can also happen for
2459 symtabs; it doesn't hurt to check. */
2460
2461 /* Was NAME already seen? */
2462 if (filename_seen (name, 1, first))
2463 {
2464 /* Yes; don't print it again. */
2465 return;
2466 }
2467 /* No; print it and reset *FIRST. */
2468 if (*first)
2469 {
2470 *first = 0;
2471 }
2472 else
2473 {
2474 printf_filtered (", ");
2475 }
2476
2477 wrap_here ("");
2478 fputs_filtered (name, gdb_stdout);
2479 }
2480
2481 static void
2482 sources_info (char *ignore, int from_tty)
2483 {
2484 register struct symtab *s;
2485 register struct partial_symtab *ps;
2486 register struct objfile *objfile;
2487 int first;
2488
2489 if (!have_full_symbols () && !have_partial_symbols ())
2490 {
2491 error ("No symbol table is loaded. Use the \"file\" command.");
2492 }
2493
2494 printf_filtered ("Source files for which symbols have been read in:\n\n");
2495
2496 first = 1;
2497 ALL_SYMTABS (objfile, s)
2498 {
2499 output_source_filename (s->filename, &first);
2500 }
2501 printf_filtered ("\n\n");
2502
2503 printf_filtered ("Source files for which symbols will be read in on demand:\n\n");
2504
2505 first = 1;
2506 ALL_PSYMTABS (objfile, ps)
2507 {
2508 if (!ps->readin)
2509 {
2510 output_source_filename (ps->filename, &first);
2511 }
2512 }
2513 printf_filtered ("\n");
2514 }
2515
2516 static int
2517 file_matches (char *file, char *files[], int nfiles)
2518 {
2519 int i;
2520
2521 if (file != NULL && nfiles != 0)
2522 {
2523 for (i = 0; i < nfiles; i++)
2524 {
2525 if (strcmp (files[i], lbasename (file)) == 0)
2526 return 1;
2527 }
2528 }
2529 else if (nfiles == 0)
2530 return 1;
2531 return 0;
2532 }
2533
2534 /* Free any memory associated with a search. */
2535 void
2536 free_search_symbols (struct symbol_search *symbols)
2537 {
2538 struct symbol_search *p;
2539 struct symbol_search *next;
2540
2541 for (p = symbols; p != NULL; p = next)
2542 {
2543 next = p->next;
2544 xfree (p);
2545 }
2546 }
2547
2548 static void
2549 do_free_search_symbols_cleanup (void *symbols)
2550 {
2551 free_search_symbols (symbols);
2552 }
2553
2554 struct cleanup *
2555 make_cleanup_free_search_symbols (struct symbol_search *symbols)
2556 {
2557 return make_cleanup (do_free_search_symbols_cleanup, symbols);
2558 }
2559
2560 /* Helper function for sort_search_symbols and qsort. Can only
2561 sort symbols, not minimal symbols. */
2562 static int
2563 compare_search_syms (const void *sa, const void *sb)
2564 {
2565 struct symbol_search **sym_a = (struct symbol_search **) sa;
2566 struct symbol_search **sym_b = (struct symbol_search **) sb;
2567
2568 return strcmp (SYMBOL_SOURCE_NAME ((*sym_a)->symbol),
2569 SYMBOL_SOURCE_NAME ((*sym_b)->symbol));
2570 }
2571
2572 /* Sort the ``nfound'' symbols in the list after prevtail. Leave
2573 prevtail where it is, but update its next pointer to point to
2574 the first of the sorted symbols. */
2575 static struct symbol_search *
2576 sort_search_symbols (struct symbol_search *prevtail, int nfound)
2577 {
2578 struct symbol_search **symbols, *symp, *old_next;
2579 int i;
2580
2581 symbols = (struct symbol_search **) xmalloc (sizeof (struct symbol_search *)
2582 * nfound);
2583 symp = prevtail->next;
2584 for (i = 0; i < nfound; i++)
2585 {
2586 symbols[i] = symp;
2587 symp = symp->next;
2588 }
2589 /* Generally NULL. */
2590 old_next = symp;
2591
2592 qsort (symbols, nfound, sizeof (struct symbol_search *),
2593 compare_search_syms);
2594
2595 symp = prevtail;
2596 for (i = 0; i < nfound; i++)
2597 {
2598 symp->next = symbols[i];
2599 symp = symp->next;
2600 }
2601 symp->next = old_next;
2602
2603 xfree (symbols);
2604 return symp;
2605 }
2606
2607 /* Search the symbol table for matches to the regular expression REGEXP,
2608 returning the results in *MATCHES.
2609
2610 Only symbols of KIND are searched:
2611 FUNCTIONS_NAMESPACE - search all functions
2612 TYPES_NAMESPACE - search all type names
2613 METHODS_NAMESPACE - search all methods NOT IMPLEMENTED
2614 VARIABLES_NAMESPACE - search all symbols, excluding functions, type names,
2615 and constants (enums)
2616
2617 free_search_symbols should be called when *MATCHES is no longer needed.
2618
2619 The results are sorted locally; each symtab's global and static blocks are
2620 separately alphabetized.
2621 */
2622 void
2623 search_symbols (char *regexp, namespace_enum kind, int nfiles, char *files[],
2624 struct symbol_search **matches)
2625 {
2626 register struct symtab *s;
2627 register struct partial_symtab *ps;
2628 register struct blockvector *bv;
2629 struct blockvector *prev_bv = 0;
2630 register struct block *b;
2631 register int i = 0;
2632 register int j;
2633 register struct symbol *sym;
2634 struct partial_symbol **psym;
2635 struct objfile *objfile;
2636 struct minimal_symbol *msymbol;
2637 char *val;
2638 int found_misc = 0;
2639 static enum minimal_symbol_type types[]
2640 =
2641 {mst_data, mst_text, mst_abs, mst_unknown};
2642 static enum minimal_symbol_type types2[]
2643 =
2644 {mst_bss, mst_file_text, mst_abs, mst_unknown};
2645 static enum minimal_symbol_type types3[]
2646 =
2647 {mst_file_data, mst_solib_trampoline, mst_abs, mst_unknown};
2648 static enum minimal_symbol_type types4[]
2649 =
2650 {mst_file_bss, mst_text, mst_abs, mst_unknown};
2651 enum minimal_symbol_type ourtype;
2652 enum minimal_symbol_type ourtype2;
2653 enum minimal_symbol_type ourtype3;
2654 enum minimal_symbol_type ourtype4;
2655 struct symbol_search *sr;
2656 struct symbol_search *psr;
2657 struct symbol_search *tail;
2658 struct cleanup *old_chain = NULL;
2659
2660 if (kind < VARIABLES_NAMESPACE)
2661 error ("must search on specific namespace");
2662
2663 ourtype = types[(int) (kind - VARIABLES_NAMESPACE)];
2664 ourtype2 = types2[(int) (kind - VARIABLES_NAMESPACE)];
2665 ourtype3 = types3[(int) (kind - VARIABLES_NAMESPACE)];
2666 ourtype4 = types4[(int) (kind - VARIABLES_NAMESPACE)];
2667
2668 sr = *matches = NULL;
2669 tail = NULL;
2670
2671 if (regexp != NULL)
2672 {
2673 /* Make sure spacing is right for C++ operators.
2674 This is just a courtesy to make the matching less sensitive
2675 to how many spaces the user leaves between 'operator'
2676 and <TYPENAME> or <OPERATOR>. */
2677 char *opend;
2678 char *opname = operator_chars (regexp, &opend);
2679 if (*opname)
2680 {
2681 int fix = -1; /* -1 means ok; otherwise number of spaces needed. */
2682 if (isalpha (*opname) || *opname == '_' || *opname == '$')
2683 {
2684 /* There should 1 space between 'operator' and 'TYPENAME'. */
2685 if (opname[-1] != ' ' || opname[-2] == ' ')
2686 fix = 1;
2687 }
2688 else
2689 {
2690 /* There should 0 spaces between 'operator' and 'OPERATOR'. */
2691 if (opname[-1] == ' ')
2692 fix = 0;
2693 }
2694 /* If wrong number of spaces, fix it. */
2695 if (fix >= 0)
2696 {
2697 char *tmp = (char *) alloca (8 + fix + strlen (opname) + 1);
2698 sprintf (tmp, "operator%.*s%s", fix, " ", opname);
2699 regexp = tmp;
2700 }
2701 }
2702
2703 if (0 != (val = re_comp (regexp)))
2704 error ("Invalid regexp (%s): %s", val, regexp);
2705 }
2706
2707 /* Search through the partial symtabs *first* for all symbols
2708 matching the regexp. That way we don't have to reproduce all of
2709 the machinery below. */
2710
2711 ALL_PSYMTABS (objfile, ps)
2712 {
2713 struct partial_symbol **bound, **gbound, **sbound;
2714 int keep_going = 1;
2715
2716 if (ps->readin)
2717 continue;
2718
2719 gbound = objfile->global_psymbols.list + ps->globals_offset + ps->n_global_syms;
2720 sbound = objfile->static_psymbols.list + ps->statics_offset + ps->n_static_syms;
2721 bound = gbound;
2722
2723 /* Go through all of the symbols stored in a partial
2724 symtab in one loop. */
2725 psym = objfile->global_psymbols.list + ps->globals_offset;
2726 while (keep_going)
2727 {
2728 if (psym >= bound)
2729 {
2730 if (bound == gbound && ps->n_static_syms != 0)
2731 {
2732 psym = objfile->static_psymbols.list + ps->statics_offset;
2733 bound = sbound;
2734 }
2735 else
2736 keep_going = 0;
2737 continue;
2738 }
2739 else
2740 {
2741 QUIT;
2742
2743 /* If it would match (logic taken from loop below)
2744 load the file and go on to the next one */
2745 if (file_matches (ps->filename, files, nfiles)
2746 && ((regexp == NULL || SYMBOL_MATCHES_REGEXP (*psym))
2747 && ((kind == VARIABLES_NAMESPACE && SYMBOL_CLASS (*psym) != LOC_TYPEDEF
2748 && SYMBOL_CLASS (*psym) != LOC_BLOCK)
2749 || (kind == FUNCTIONS_NAMESPACE && SYMBOL_CLASS (*psym) == LOC_BLOCK)
2750 || (kind == TYPES_NAMESPACE && SYMBOL_CLASS (*psym) == LOC_TYPEDEF)
2751 || (kind == METHODS_NAMESPACE && SYMBOL_CLASS (*psym) == LOC_BLOCK))))
2752 {
2753 PSYMTAB_TO_SYMTAB (ps);
2754 keep_going = 0;
2755 }
2756 }
2757 psym++;
2758 }
2759 }
2760
2761 /* Here, we search through the minimal symbol tables for functions
2762 and variables that match, and force their symbols to be read.
2763 This is in particular necessary for demangled variable names,
2764 which are no longer put into the partial symbol tables.
2765 The symbol will then be found during the scan of symtabs below.
2766
2767 For functions, find_pc_symtab should succeed if we have debug info
2768 for the function, for variables we have to call lookup_symbol
2769 to determine if the variable has debug info.
2770 If the lookup fails, set found_misc so that we will rescan to print
2771 any matching symbols without debug info.
2772 */
2773
2774 if (nfiles == 0 && (kind == VARIABLES_NAMESPACE || kind == FUNCTIONS_NAMESPACE))
2775 {
2776 ALL_MSYMBOLS (objfile, msymbol)
2777 {
2778 if (MSYMBOL_TYPE (msymbol) == ourtype ||
2779 MSYMBOL_TYPE (msymbol) == ourtype2 ||
2780 MSYMBOL_TYPE (msymbol) == ourtype3 ||
2781 MSYMBOL_TYPE (msymbol) == ourtype4)
2782 {
2783 if (regexp == NULL || SYMBOL_MATCHES_REGEXP (msymbol))
2784 {
2785 if (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol)))
2786 {
2787 if (kind == FUNCTIONS_NAMESPACE
2788 || lookup_symbol (SYMBOL_NAME (msymbol),
2789 (struct block *) NULL,
2790 VAR_NAMESPACE,
2791 0, (struct symtab **) NULL) == NULL)
2792 found_misc = 1;
2793 }
2794 }
2795 }
2796 }
2797 }
2798
2799 ALL_SYMTABS (objfile, s)
2800 {
2801 bv = BLOCKVECTOR (s);
2802 /* Often many files share a blockvector.
2803 Scan each blockvector only once so that
2804 we don't get every symbol many times.
2805 It happens that the first symtab in the list
2806 for any given blockvector is the main file. */
2807 if (bv != prev_bv)
2808 for (i = GLOBAL_BLOCK; i <= STATIC_BLOCK; i++)
2809 {
2810 struct symbol_search *prevtail = tail;
2811 int nfound = 0;
2812 b = BLOCKVECTOR_BLOCK (bv, i);
2813 ALL_BLOCK_SYMBOLS (b, j, sym)
2814 {
2815 QUIT;
2816 if (file_matches (s->filename, files, nfiles)
2817 && ((regexp == NULL || SYMBOL_MATCHES_REGEXP (sym))
2818 && ((kind == VARIABLES_NAMESPACE && SYMBOL_CLASS (sym) != LOC_TYPEDEF
2819 && SYMBOL_CLASS (sym) != LOC_BLOCK
2820 && SYMBOL_CLASS (sym) != LOC_CONST)
2821 || (kind == FUNCTIONS_NAMESPACE && SYMBOL_CLASS (sym) == LOC_BLOCK)
2822 || (kind == TYPES_NAMESPACE && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
2823 || (kind == METHODS_NAMESPACE && SYMBOL_CLASS (sym) == LOC_BLOCK))))
2824 {
2825 /* match */
2826 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
2827 psr->block = i;
2828 psr->symtab = s;
2829 psr->symbol = sym;
2830 psr->msymbol = NULL;
2831 psr->next = NULL;
2832 if (tail == NULL)
2833 sr = psr;
2834 else
2835 tail->next = psr;
2836 tail = psr;
2837 nfound ++;
2838 }
2839 }
2840 if (nfound > 0)
2841 {
2842 if (prevtail == NULL)
2843 {
2844 struct symbol_search dummy;
2845
2846 dummy.next = sr;
2847 tail = sort_search_symbols (&dummy, nfound);
2848 sr = dummy.next;
2849
2850 old_chain = make_cleanup_free_search_symbols (sr);
2851 }
2852 else
2853 tail = sort_search_symbols (prevtail, nfound);
2854 }
2855 }
2856 prev_bv = bv;
2857 }
2858
2859 /* If there are no eyes, avoid all contact. I mean, if there are
2860 no debug symbols, then print directly from the msymbol_vector. */
2861
2862 if (found_misc || kind != FUNCTIONS_NAMESPACE)
2863 {
2864 ALL_MSYMBOLS (objfile, msymbol)
2865 {
2866 if (MSYMBOL_TYPE (msymbol) == ourtype ||
2867 MSYMBOL_TYPE (msymbol) == ourtype2 ||
2868 MSYMBOL_TYPE (msymbol) == ourtype3 ||
2869 MSYMBOL_TYPE (msymbol) == ourtype4)
2870 {
2871 if (regexp == NULL || SYMBOL_MATCHES_REGEXP (msymbol))
2872 {
2873 /* Functions: Look up by address. */
2874 if (kind != FUNCTIONS_NAMESPACE ||
2875 (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol))))
2876 {
2877 /* Variables/Absolutes: Look up by name */
2878 if (lookup_symbol (SYMBOL_NAME (msymbol),
2879 (struct block *) NULL, VAR_NAMESPACE,
2880 0, (struct symtab **) NULL) == NULL)
2881 {
2882 /* match */
2883 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
2884 psr->block = i;
2885 psr->msymbol = msymbol;
2886 psr->symtab = NULL;
2887 psr->symbol = NULL;
2888 psr->next = NULL;
2889 if (tail == NULL)
2890 {
2891 sr = psr;
2892 old_chain = make_cleanup_free_search_symbols (sr);
2893 }
2894 else
2895 tail->next = psr;
2896 tail = psr;
2897 }
2898 }
2899 }
2900 }
2901 }
2902 }
2903
2904 *matches = sr;
2905 if (sr != NULL)
2906 discard_cleanups (old_chain);
2907 }
2908
2909 /* Helper function for symtab_symbol_info, this function uses
2910 the data returned from search_symbols() to print information
2911 regarding the match to gdb_stdout.
2912 */
2913 static void
2914 print_symbol_info (namespace_enum kind, struct symtab *s, struct symbol *sym,
2915 int block, char *last)
2916 {
2917 if (last == NULL || strcmp (last, s->filename) != 0)
2918 {
2919 fputs_filtered ("\nFile ", gdb_stdout);
2920 fputs_filtered (s->filename, gdb_stdout);
2921 fputs_filtered (":\n", gdb_stdout);
2922 }
2923
2924 if (kind != TYPES_NAMESPACE && block == STATIC_BLOCK)
2925 printf_filtered ("static ");
2926
2927 /* Typedef that is not a C++ class */
2928 if (kind == TYPES_NAMESPACE
2929 && SYMBOL_NAMESPACE (sym) != STRUCT_NAMESPACE)
2930 typedef_print (SYMBOL_TYPE (sym), sym, gdb_stdout);
2931 /* variable, func, or typedef-that-is-c++-class */
2932 else if (kind < TYPES_NAMESPACE ||
2933 (kind == TYPES_NAMESPACE &&
2934 SYMBOL_NAMESPACE (sym) == STRUCT_NAMESPACE))
2935 {
2936 type_print (SYMBOL_TYPE (sym),
2937 (SYMBOL_CLASS (sym) == LOC_TYPEDEF
2938 ? "" : SYMBOL_SOURCE_NAME (sym)),
2939 gdb_stdout, 0);
2940
2941 printf_filtered (";\n");
2942 }
2943 else
2944 {
2945 #if 0
2946 /* Tiemann says: "info methods was never implemented." */
2947 char *demangled_name;
2948 c_type_print_base (TYPE_FN_FIELD_TYPE (t, block),
2949 gdb_stdout, 0, 0);
2950 c_type_print_varspec_prefix (TYPE_FN_FIELD_TYPE (t, block),
2951 gdb_stdout, 0);
2952 if (TYPE_FN_FIELD_STUB (t, block))
2953 check_stub_method (TYPE_DOMAIN_TYPE (type), j, block);
2954 demangled_name =
2955 cplus_demangle (TYPE_FN_FIELD_PHYSNAME (t, block),
2956 DMGL_ANSI | DMGL_PARAMS);
2957 if (demangled_name == NULL)
2958 fprintf_filtered (stream, "<badly mangled name %s>",
2959 TYPE_FN_FIELD_PHYSNAME (t, block));
2960 else
2961 {
2962 fputs_filtered (demangled_name, stream);
2963 xfree (demangled_name);
2964 }
2965 #endif
2966 }
2967 }
2968
2969 /* This help function for symtab_symbol_info() prints information
2970 for non-debugging symbols to gdb_stdout.
2971 */
2972 static void
2973 print_msymbol_info (struct minimal_symbol *msymbol)
2974 {
2975 char *tmp;
2976
2977 if (TARGET_ADDR_BIT <= 32)
2978 tmp = local_hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol)
2979 & (CORE_ADDR) 0xffffffff,
2980 "08l");
2981 else
2982 tmp = local_hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol),
2983 "016l");
2984 printf_filtered ("%s %s\n",
2985 tmp, SYMBOL_SOURCE_NAME (msymbol));
2986 }
2987
2988 /* This is the guts of the commands "info functions", "info types", and
2989 "info variables". It calls search_symbols to find all matches and then
2990 print_[m]symbol_info to print out some useful information about the
2991 matches.
2992 */
2993 static void
2994 symtab_symbol_info (char *regexp, namespace_enum kind, int from_tty)
2995 {
2996 static char *classnames[]
2997 =
2998 {"variable", "function", "type", "method"};
2999 struct symbol_search *symbols;
3000 struct symbol_search *p;
3001 struct cleanup *old_chain;
3002 char *last_filename = NULL;
3003 int first = 1;
3004
3005 /* must make sure that if we're interrupted, symbols gets freed */
3006 search_symbols (regexp, kind, 0, (char **) NULL, &symbols);
3007 old_chain = make_cleanup_free_search_symbols (symbols);
3008
3009 printf_filtered (regexp
3010 ? "All %ss matching regular expression \"%s\":\n"
3011 : "All defined %ss:\n",
3012 classnames[(int) (kind - VARIABLES_NAMESPACE)], regexp);
3013
3014 for (p = symbols; p != NULL; p = p->next)
3015 {
3016 QUIT;
3017
3018 if (p->msymbol != NULL)
3019 {
3020 if (first)
3021 {
3022 printf_filtered ("\nNon-debugging symbols:\n");
3023 first = 0;
3024 }
3025 print_msymbol_info (p->msymbol);
3026 }
3027 else
3028 {
3029 print_symbol_info (kind,
3030 p->symtab,
3031 p->symbol,
3032 p->block,
3033 last_filename);
3034 last_filename = p->symtab->filename;
3035 }
3036 }
3037
3038 do_cleanups (old_chain);
3039 }
3040
3041 static void
3042 variables_info (char *regexp, int from_tty)
3043 {
3044 symtab_symbol_info (regexp, VARIABLES_NAMESPACE, from_tty);
3045 }
3046
3047 static void
3048 functions_info (char *regexp, int from_tty)
3049 {
3050 symtab_symbol_info (regexp, FUNCTIONS_NAMESPACE, from_tty);
3051 }
3052
3053
3054 static void
3055 types_info (char *regexp, int from_tty)
3056 {
3057 symtab_symbol_info (regexp, TYPES_NAMESPACE, from_tty);
3058 }
3059
3060 #if 0
3061 /* Tiemann says: "info methods was never implemented." */
3062 static void
3063 methods_info (char *regexp)
3064 {
3065 symtab_symbol_info (regexp, METHODS_NAMESPACE, 0, from_tty);
3066 }
3067 #endif /* 0 */
3068
3069 /* Breakpoint all functions matching regular expression. */
3070
3071 void
3072 rbreak_command_wrapper (char *regexp, int from_tty)
3073 {
3074 rbreak_command (regexp, from_tty);
3075 }
3076
3077 static void
3078 rbreak_command (char *regexp, int from_tty)
3079 {
3080 struct symbol_search *ss;
3081 struct symbol_search *p;
3082 struct cleanup *old_chain;
3083
3084 search_symbols (regexp, FUNCTIONS_NAMESPACE, 0, (char **) NULL, &ss);
3085 old_chain = make_cleanup_free_search_symbols (ss);
3086
3087 for (p = ss; p != NULL; p = p->next)
3088 {
3089 if (p->msymbol == NULL)
3090 {
3091 char *string = (char *) alloca (strlen (p->symtab->filename)
3092 + strlen (SYMBOL_NAME (p->symbol))
3093 + 4);
3094 strcpy (string, p->symtab->filename);
3095 strcat (string, ":'");
3096 strcat (string, SYMBOL_NAME (p->symbol));
3097 strcat (string, "'");
3098 break_command (string, from_tty);
3099 print_symbol_info (FUNCTIONS_NAMESPACE,
3100 p->symtab,
3101 p->symbol,
3102 p->block,
3103 p->symtab->filename);
3104 }
3105 else
3106 {
3107 break_command (SYMBOL_NAME (p->msymbol), from_tty);
3108 printf_filtered ("<function, no debug info> %s;\n",
3109 SYMBOL_SOURCE_NAME (p->msymbol));
3110 }
3111 }
3112
3113 do_cleanups (old_chain);
3114 }
3115 \f
3116
3117 /* Return Nonzero if block a is lexically nested within block b,
3118 or if a and b have the same pc range.
3119 Return zero otherwise. */
3120 int
3121 contained_in (struct block *a, struct block *b)
3122 {
3123 if (!a || !b)
3124 return 0;
3125 return BLOCK_START (a) >= BLOCK_START (b)
3126 && BLOCK_END (a) <= BLOCK_END (b);
3127 }
3128 \f
3129
3130 /* Helper routine for make_symbol_completion_list. */
3131
3132 static int return_val_size;
3133 static int return_val_index;
3134 static char **return_val;
3135
3136 #define COMPLETION_LIST_ADD_SYMBOL(symbol, sym_text, len, text, word) \
3137 do { \
3138 if (SYMBOL_DEMANGLED_NAME (symbol) != NULL) \
3139 /* Put only the mangled name on the list. */ \
3140 /* Advantage: "b foo<TAB>" completes to "b foo(int, int)" */ \
3141 /* Disadvantage: "b foo__i<TAB>" doesn't complete. */ \
3142 completion_list_add_name \
3143 (SYMBOL_DEMANGLED_NAME (symbol), (sym_text), (len), (text), (word)); \
3144 else \
3145 completion_list_add_name \
3146 (SYMBOL_NAME (symbol), (sym_text), (len), (text), (word)); \
3147 } while (0)
3148
3149 /* Test to see if the symbol specified by SYMNAME (which is already
3150 demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN
3151 characters. If so, add it to the current completion list. */
3152
3153 static void
3154 completion_list_add_name (char *symname, char *sym_text, int sym_text_len,
3155 char *text, char *word)
3156 {
3157 int newsize;
3158 int i;
3159
3160 /* clip symbols that cannot match */
3161
3162 if (strncmp (symname, sym_text, sym_text_len) != 0)
3163 {
3164 return;
3165 }
3166
3167 /* We have a match for a completion, so add SYMNAME to the current list
3168 of matches. Note that the name is moved to freshly malloc'd space. */
3169
3170 {
3171 char *new;
3172 if (word == sym_text)
3173 {
3174 new = xmalloc (strlen (symname) + 5);
3175 strcpy (new, symname);
3176 }
3177 else if (word > sym_text)
3178 {
3179 /* Return some portion of symname. */
3180 new = xmalloc (strlen (symname) + 5);
3181 strcpy (new, symname + (word - sym_text));
3182 }
3183 else
3184 {
3185 /* Return some of SYM_TEXT plus symname. */
3186 new = xmalloc (strlen (symname) + (sym_text - word) + 5);
3187 strncpy (new, word, sym_text - word);
3188 new[sym_text - word] = '\0';
3189 strcat (new, symname);
3190 }
3191
3192 if (return_val_index + 3 > return_val_size)
3193 {
3194 newsize = (return_val_size *= 2) * sizeof (char *);
3195 return_val = (char **) xrealloc ((char *) return_val, newsize);
3196 }
3197 return_val[return_val_index++] = new;
3198 return_val[return_val_index] = NULL;
3199 }
3200 }
3201
3202 /* Return a NULL terminated array of all symbols (regardless of class)
3203 which begin by matching TEXT. If the answer is no symbols, then
3204 the return value is an array which contains only a NULL pointer.
3205
3206 Problem: All of the symbols have to be copied because readline frees them.
3207 I'm not going to worry about this; hopefully there won't be that many. */
3208
3209 char **
3210 make_symbol_completion_list (char *text, char *word)
3211 {
3212 register struct symbol *sym;
3213 register struct symtab *s;
3214 register struct partial_symtab *ps;
3215 register struct minimal_symbol *msymbol;
3216 register struct objfile *objfile;
3217 register struct block *b, *surrounding_static_block = 0;
3218 register int i, j;
3219 struct partial_symbol **psym;
3220 /* The symbol we are completing on. Points in same buffer as text. */
3221 char *sym_text;
3222 /* Length of sym_text. */
3223 int sym_text_len;
3224
3225 /* Now look for the symbol we are supposed to complete on.
3226 FIXME: This should be language-specific. */
3227 {
3228 char *p;
3229 char quote_found;
3230 char *quote_pos = NULL;
3231
3232 /* First see if this is a quoted string. */
3233 quote_found = '\0';
3234 for (p = text; *p != '\0'; ++p)
3235 {
3236 if (quote_found != '\0')
3237 {
3238 if (*p == quote_found)
3239 /* Found close quote. */
3240 quote_found = '\0';
3241 else if (*p == '\\' && p[1] == quote_found)
3242 /* A backslash followed by the quote character
3243 doesn't end the string. */
3244 ++p;
3245 }
3246 else if (*p == '\'' || *p == '"')
3247 {
3248 quote_found = *p;
3249 quote_pos = p;
3250 }
3251 }
3252 if (quote_found == '\'')
3253 /* A string within single quotes can be a symbol, so complete on it. */
3254 sym_text = quote_pos + 1;
3255 else if (quote_found == '"')
3256 /* A double-quoted string is never a symbol, nor does it make sense
3257 to complete it any other way. */
3258 {
3259 return_val = (char **) xmalloc (sizeof (char *));
3260 return_val[0] = NULL;
3261 return return_val;
3262 }
3263 else
3264 {
3265 /* It is not a quoted string. Break it based on the characters
3266 which are in symbols. */
3267 while (p > text)
3268 {
3269 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3270 --p;
3271 else
3272 break;
3273 }
3274 sym_text = p;
3275 }
3276 }
3277
3278 sym_text_len = strlen (sym_text);
3279
3280 return_val_size = 100;
3281 return_val_index = 0;
3282 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3283 return_val[0] = NULL;
3284
3285 /* Look through the partial symtabs for all symbols which begin
3286 by matching SYM_TEXT. Add each one that you find to the list. */
3287
3288 ALL_PSYMTABS (objfile, ps)
3289 {
3290 /* If the psymtab's been read in we'll get it when we search
3291 through the blockvector. */
3292 if (ps->readin)
3293 continue;
3294
3295 for (psym = objfile->global_psymbols.list + ps->globals_offset;
3296 psym < (objfile->global_psymbols.list + ps->globals_offset
3297 + ps->n_global_syms);
3298 psym++)
3299 {
3300 /* If interrupted, then quit. */
3301 QUIT;
3302 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3303 }
3304
3305 for (psym = objfile->static_psymbols.list + ps->statics_offset;
3306 psym < (objfile->static_psymbols.list + ps->statics_offset
3307 + ps->n_static_syms);
3308 psym++)
3309 {
3310 QUIT;
3311 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3312 }
3313 }
3314
3315 /* At this point scan through the misc symbol vectors and add each
3316 symbol you find to the list. Eventually we want to ignore
3317 anything that isn't a text symbol (everything else will be
3318 handled by the psymtab code above). */
3319
3320 ALL_MSYMBOLS (objfile, msymbol)
3321 {
3322 QUIT;
3323 COMPLETION_LIST_ADD_SYMBOL (msymbol, sym_text, sym_text_len, text, word);
3324 }
3325
3326 /* Search upwards from currently selected frame (so that we can
3327 complete on local vars. */
3328
3329 for (b = get_selected_block (0); b != NULL; b = BLOCK_SUPERBLOCK (b))
3330 {
3331 if (!BLOCK_SUPERBLOCK (b))
3332 {
3333 surrounding_static_block = b; /* For elmin of dups */
3334 }
3335
3336 /* Also catch fields of types defined in this places which match our
3337 text string. Only complete on types visible from current context. */
3338
3339 ALL_BLOCK_SYMBOLS (b, i, sym)
3340 {
3341 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3342 if (SYMBOL_CLASS (sym) == LOC_TYPEDEF)
3343 {
3344 struct type *t = SYMBOL_TYPE (sym);
3345 enum type_code c = TYPE_CODE (t);
3346
3347 if (c == TYPE_CODE_UNION || c == TYPE_CODE_STRUCT)
3348 {
3349 for (j = TYPE_N_BASECLASSES (t); j < TYPE_NFIELDS (t); j++)
3350 {
3351 if (TYPE_FIELD_NAME (t, j))
3352 {
3353 completion_list_add_name (TYPE_FIELD_NAME (t, j),
3354 sym_text, sym_text_len, text, word);
3355 }
3356 }
3357 }
3358 }
3359 }
3360 }
3361
3362 /* Go through the symtabs and check the externs and statics for
3363 symbols which match. */
3364
3365 ALL_SYMTABS (objfile, s)
3366 {
3367 QUIT;
3368 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3369 ALL_BLOCK_SYMBOLS (b, i, sym)
3370 {
3371 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3372 }
3373 }
3374
3375 ALL_SYMTABS (objfile, s)
3376 {
3377 QUIT;
3378 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3379 /* Don't do this block twice. */
3380 if (b == surrounding_static_block)
3381 continue;
3382 ALL_BLOCK_SYMBOLS (b, i, sym)
3383 {
3384 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3385 }
3386 }
3387
3388 return (return_val);
3389 }
3390
3391 /* Like make_symbol_completion_list, but returns a list of symbols
3392 defined in a source file FILE. */
3393
3394 char **
3395 make_file_symbol_completion_list (char *text, char *word, char *srcfile)
3396 {
3397 register struct symbol *sym;
3398 register struct symtab *s;
3399 register struct block *b;
3400 register int i;
3401 /* The symbol we are completing on. Points in same buffer as text. */
3402 char *sym_text;
3403 /* Length of sym_text. */
3404 int sym_text_len;
3405
3406 /* Now look for the symbol we are supposed to complete on.
3407 FIXME: This should be language-specific. */
3408 {
3409 char *p;
3410 char quote_found;
3411 char *quote_pos = NULL;
3412
3413 /* First see if this is a quoted string. */
3414 quote_found = '\0';
3415 for (p = text; *p != '\0'; ++p)
3416 {
3417 if (quote_found != '\0')
3418 {
3419 if (*p == quote_found)
3420 /* Found close quote. */
3421 quote_found = '\0';
3422 else if (*p == '\\' && p[1] == quote_found)
3423 /* A backslash followed by the quote character
3424 doesn't end the string. */
3425 ++p;
3426 }
3427 else if (*p == '\'' || *p == '"')
3428 {
3429 quote_found = *p;
3430 quote_pos = p;
3431 }
3432 }
3433 if (quote_found == '\'')
3434 /* A string within single quotes can be a symbol, so complete on it. */
3435 sym_text = quote_pos + 1;
3436 else if (quote_found == '"')
3437 /* A double-quoted string is never a symbol, nor does it make sense
3438 to complete it any other way. */
3439 {
3440 return_val = (char **) xmalloc (sizeof (char *));
3441 return_val[0] = NULL;
3442 return return_val;
3443 }
3444 else
3445 {
3446 /* It is not a quoted string. Break it based on the characters
3447 which are in symbols. */
3448 while (p > text)
3449 {
3450 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3451 --p;
3452 else
3453 break;
3454 }
3455 sym_text = p;
3456 }
3457 }
3458
3459 sym_text_len = strlen (sym_text);
3460
3461 return_val_size = 10;
3462 return_val_index = 0;
3463 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3464 return_val[0] = NULL;
3465
3466 /* Find the symtab for SRCFILE (this loads it if it was not yet read
3467 in). */
3468 s = lookup_symtab (srcfile);
3469 if (s == NULL)
3470 {
3471 /* Maybe they typed the file with leading directories, while the
3472 symbol tables record only its basename. */
3473 const char *tail = lbasename (srcfile);
3474
3475 if (tail > srcfile)
3476 s = lookup_symtab (tail);
3477 }
3478
3479 /* If we have no symtab for that file, return an empty list. */
3480 if (s == NULL)
3481 return (return_val);
3482
3483 /* Go through this symtab and check the externs and statics for
3484 symbols which match. */
3485
3486 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3487 ALL_BLOCK_SYMBOLS (b, i, sym)
3488 {
3489 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3490 }
3491
3492 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3493 ALL_BLOCK_SYMBOLS (b, i, sym)
3494 {
3495 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3496 }
3497
3498 return (return_val);
3499 }
3500
3501 /* A helper function for make_source_files_completion_list. It adds
3502 another file name to a list of possible completions, growing the
3503 list as necessary. */
3504
3505 static void
3506 add_filename_to_list (const char *fname, char *text, char *word,
3507 char ***list, int *list_used, int *list_alloced)
3508 {
3509 char *new;
3510 size_t fnlen = strlen (fname);
3511
3512 if (*list_used + 1 >= *list_alloced)
3513 {
3514 *list_alloced *= 2;
3515 *list = (char **) xrealloc ((char *) *list,
3516 *list_alloced * sizeof (char *));
3517 }
3518
3519 if (word == text)
3520 {
3521 /* Return exactly fname. */
3522 new = xmalloc (fnlen + 5);
3523 strcpy (new, fname);
3524 }
3525 else if (word > text)
3526 {
3527 /* Return some portion of fname. */
3528 new = xmalloc (fnlen + 5);
3529 strcpy (new, fname + (word - text));
3530 }
3531 else
3532 {
3533 /* Return some of TEXT plus fname. */
3534 new = xmalloc (fnlen + (text - word) + 5);
3535 strncpy (new, word, text - word);
3536 new[text - word] = '\0';
3537 strcat (new, fname);
3538 }
3539 (*list)[*list_used] = new;
3540 (*list)[++*list_used] = NULL;
3541 }
3542
3543 static int
3544 not_interesting_fname (const char *fname)
3545 {
3546 static const char *illegal_aliens[] = {
3547 "_globals_", /* inserted by coff_symtab_read */
3548 NULL
3549 };
3550 int i;
3551
3552 for (i = 0; illegal_aliens[i]; i++)
3553 {
3554 if (strcmp (fname, illegal_aliens[i]) == 0)
3555 return 1;
3556 }
3557 return 0;
3558 }
3559
3560 /* Return a NULL terminated array of all source files whose names
3561 begin with matching TEXT. The file names are looked up in the
3562 symbol tables of this program. If the answer is no matchess, then
3563 the return value is an array which contains only a NULL pointer. */
3564
3565 char **
3566 make_source_files_completion_list (char *text, char *word)
3567 {
3568 register struct symtab *s;
3569 register struct partial_symtab *ps;
3570 register struct objfile *objfile;
3571 int first = 1;
3572 int list_alloced = 1;
3573 int list_used = 0;
3574 size_t text_len = strlen (text);
3575 char **list = (char **) xmalloc (list_alloced * sizeof (char *));
3576 const char *base_name;
3577
3578 list[0] = NULL;
3579
3580 if (!have_full_symbols () && !have_partial_symbols ())
3581 return list;
3582
3583 ALL_SYMTABS (objfile, s)
3584 {
3585 if (not_interesting_fname (s->filename))
3586 continue;
3587 if (!filename_seen (s->filename, 1, &first)
3588 #if HAVE_DOS_BASED_FILE_SYSTEM
3589 && strncasecmp (s->filename, text, text_len) == 0
3590 #else
3591 && strncmp (s->filename, text, text_len) == 0
3592 #endif
3593 )
3594 {
3595 /* This file matches for a completion; add it to the current
3596 list of matches. */
3597 add_filename_to_list (s->filename, text, word,
3598 &list, &list_used, &list_alloced);
3599 }
3600 else
3601 {
3602 /* NOTE: We allow the user to type a base name when the
3603 debug info records leading directories, but not the other
3604 way around. This is what subroutines of breakpoint
3605 command do when they parse file names. */
3606 base_name = lbasename (s->filename);
3607 if (base_name != s->filename
3608 && !filename_seen (base_name, 1, &first)
3609 #if HAVE_DOS_BASED_FILE_SYSTEM
3610 && strncasecmp (base_name, text, text_len) == 0
3611 #else
3612 && strncmp (base_name, text, text_len) == 0
3613 #endif
3614 )
3615 add_filename_to_list (base_name, text, word,
3616 &list, &list_used, &list_alloced);
3617 }
3618 }
3619
3620 ALL_PSYMTABS (objfile, ps)
3621 {
3622 if (not_interesting_fname (ps->filename))
3623 continue;
3624 if (!ps->readin)
3625 {
3626 if (!filename_seen (ps->filename, 1, &first)
3627 #if HAVE_DOS_BASED_FILE_SYSTEM
3628 && strncasecmp (ps->filename, text, text_len) == 0
3629 #else
3630 && strncmp (ps->filename, text, text_len) == 0
3631 #endif
3632 )
3633 {
3634 /* This file matches for a completion; add it to the
3635 current list of matches. */
3636 add_filename_to_list (ps->filename, text, word,
3637 &list, &list_used, &list_alloced);
3638
3639 }
3640 else
3641 {
3642 base_name = lbasename (ps->filename);
3643 if (base_name != ps->filename
3644 && !filename_seen (base_name, 1, &first)
3645 #if HAVE_DOS_BASED_FILE_SYSTEM
3646 && strncasecmp (base_name, text, text_len) == 0
3647 #else
3648 && strncmp (base_name, text, text_len) == 0
3649 #endif
3650 )
3651 add_filename_to_list (base_name, text, word,
3652 &list, &list_used, &list_alloced);
3653 }
3654 }
3655 }
3656
3657 return list;
3658 }
3659
3660 /* Determine if PC is in the prologue of a function. The prologue is the area
3661 between the first instruction of a function, and the first executable line.
3662 Returns 1 if PC *might* be in prologue, 0 if definately *not* in prologue.
3663
3664 If non-zero, func_start is where we think the prologue starts, possibly
3665 by previous examination of symbol table information.
3666 */
3667
3668 int
3669 in_prologue (CORE_ADDR pc, CORE_ADDR func_start)
3670 {
3671 struct symtab_and_line sal;
3672 CORE_ADDR func_addr, func_end;
3673
3674 /* We have several sources of information we can consult to figure
3675 this out.
3676 - Compilers usually emit line number info that marks the prologue
3677 as its own "source line". So the ending address of that "line"
3678 is the end of the prologue. If available, this is the most
3679 reliable method.
3680 - The minimal symbols and partial symbols, which can usually tell
3681 us the starting and ending addresses of a function.
3682 - If we know the function's start address, we can call the
3683 architecture-defined SKIP_PROLOGUE function to analyze the
3684 instruction stream and guess where the prologue ends.
3685 - Our `func_start' argument; if non-zero, this is the caller's
3686 best guess as to the function's entry point. At the time of
3687 this writing, handle_inferior_event doesn't get this right, so
3688 it should be our last resort. */
3689
3690 /* Consult the partial symbol table, to find which function
3691 the PC is in. */
3692 if (! find_pc_partial_function (pc, NULL, &func_addr, &func_end))
3693 {
3694 CORE_ADDR prologue_end;
3695
3696 /* We don't even have minsym information, so fall back to using
3697 func_start, if given. */
3698 if (! func_start)
3699 return 1; /* We *might* be in a prologue. */
3700
3701 prologue_end = SKIP_PROLOGUE (func_start);
3702
3703 return func_start <= pc && pc < prologue_end;
3704 }
3705
3706 /* If we have line number information for the function, that's
3707 usually pretty reliable. */
3708 sal = find_pc_line (func_addr, 0);
3709
3710 /* Now sal describes the source line at the function's entry point,
3711 which (by convention) is the prologue. The end of that "line",
3712 sal.end, is the end of the prologue.
3713
3714 Note that, for functions whose source code is all on a single
3715 line, the line number information doesn't always end up this way.
3716 So we must verify that our purported end-of-prologue address is
3717 *within* the function, not at its start or end. */
3718 if (sal.line == 0
3719 || sal.end <= func_addr
3720 || func_end <= sal.end)
3721 {
3722 /* We don't have any good line number info, so use the minsym
3723 information, together with the architecture-specific prologue
3724 scanning code. */
3725 CORE_ADDR prologue_end = SKIP_PROLOGUE (func_addr);
3726
3727 return func_addr <= pc && pc < prologue_end;
3728 }
3729
3730 /* We have line number info, and it looks good. */
3731 return func_addr <= pc && pc < sal.end;
3732 }
3733
3734
3735 /* Begin overload resolution functions */
3736
3737 static char *
3738 remove_params (const char *demangled_name)
3739 {
3740 const char *argp;
3741 char *new_name;
3742 int depth;
3743
3744 if (demangled_name == NULL)
3745 return NULL;
3746
3747 /* First find the end of the arg list. */
3748 argp = strrchr (demangled_name, ')');
3749 if (argp == NULL)
3750 return NULL;
3751
3752 /* Back up to the beginning. */
3753 depth = 1;
3754
3755 while (argp-- > demangled_name)
3756 {
3757 if (*argp == ')')
3758 depth ++;
3759 else if (*argp == '(')
3760 {
3761 depth --;
3762
3763 if (depth == 0)
3764 break;
3765 }
3766 }
3767 if (depth != 0)
3768 internal_error (__FILE__, __LINE__,
3769 "bad demangled name %s\n", demangled_name);
3770 while (argp[-1] == ' ' && argp > demangled_name)
3771 argp --;
3772
3773 new_name = xmalloc (argp - demangled_name + 1);
3774 memcpy (new_name, demangled_name, argp - demangled_name);
3775 new_name[argp - demangled_name] = '\0';
3776 return new_name;
3777 }
3778
3779 /* Helper routine for make_symbol_completion_list. */
3780
3781 static int sym_return_val_size;
3782 static int sym_return_val_index;
3783 static struct symbol **sym_return_val;
3784
3785 /* Test to see if the symbol specified by SYMNAME (which is already
3786 demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN
3787 characters. If so, add it to the current completion list. */
3788
3789 static void
3790 overload_list_add_symbol (struct symbol *sym, char *oload_name)
3791 {
3792 int newsize;
3793 int i;
3794 char *sym_name;
3795
3796 /* If there is no type information, we can't do anything, so skip */
3797 if (SYMBOL_TYPE (sym) == NULL)
3798 return;
3799
3800 /* skip any symbols that we've already considered. */
3801 for (i = 0; i < sym_return_val_index; ++i)
3802 if (!strcmp (SYMBOL_NAME (sym), SYMBOL_NAME (sym_return_val[i])))
3803 return;
3804
3805 /* Get the demangled name without parameters */
3806 sym_name = remove_params (SYMBOL_DEMANGLED_NAME (sym));
3807 if (!sym_name)
3808 return;
3809
3810 /* skip symbols that cannot match */
3811 if (strcmp (sym_name, oload_name) != 0)
3812 {
3813 xfree (sym_name);
3814 return;
3815 }
3816
3817 xfree (sym_name);
3818
3819 /* We have a match for an overload instance, so add SYM to the current list
3820 * of overload instances */
3821 if (sym_return_val_index + 3 > sym_return_val_size)
3822 {
3823 newsize = (sym_return_val_size *= 2) * sizeof (struct symbol *);
3824 sym_return_val = (struct symbol **) xrealloc ((char *) sym_return_val, newsize);
3825 }
3826 sym_return_val[sym_return_val_index++] = sym;
3827 sym_return_val[sym_return_val_index] = NULL;
3828 }
3829
3830 /* Return a null-terminated list of pointers to function symbols that
3831 * match name of the supplied symbol FSYM.
3832 * This is used in finding all overloaded instances of a function name.
3833 * This has been modified from make_symbol_completion_list. */
3834
3835
3836 struct symbol **
3837 make_symbol_overload_list (struct symbol *fsym)
3838 {
3839 register struct symbol *sym;
3840 register struct symtab *s;
3841 register struct partial_symtab *ps;
3842 register struct objfile *objfile;
3843 register struct block *b, *surrounding_static_block = 0;
3844 register int i;
3845 /* The name we are completing on. */
3846 char *oload_name = NULL;
3847 /* Length of name. */
3848 int oload_name_len = 0;
3849
3850 /* Look for the symbol we are supposed to complete on. */
3851
3852 oload_name = remove_params (SYMBOL_DEMANGLED_NAME (fsym));
3853 if (!oload_name)
3854 {
3855 sym_return_val_size = 1;
3856 sym_return_val = (struct symbol **) xmalloc (2 * sizeof (struct symbol *));
3857 sym_return_val[0] = fsym;
3858 sym_return_val[1] = NULL;
3859
3860 return sym_return_val;
3861 }
3862 oload_name_len = strlen (oload_name);
3863
3864 sym_return_val_size = 100;
3865 sym_return_val_index = 0;
3866 sym_return_val = (struct symbol **) xmalloc ((sym_return_val_size + 1) * sizeof (struct symbol *));
3867 sym_return_val[0] = NULL;
3868
3869 /* Look through the partial symtabs for all symbols which begin
3870 by matching OLOAD_NAME. Make sure we read that symbol table in. */
3871
3872 ALL_PSYMTABS (objfile, ps)
3873 {
3874 struct partial_symbol **psym;
3875
3876 /* If the psymtab's been read in we'll get it when we search
3877 through the blockvector. */
3878 if (ps->readin)
3879 continue;
3880
3881 for (psym = objfile->global_psymbols.list + ps->globals_offset;
3882 psym < (objfile->global_psymbols.list + ps->globals_offset
3883 + ps->n_global_syms);
3884 psym++)
3885 {
3886 /* If interrupted, then quit. */
3887 QUIT;
3888 /* This will cause the symbol table to be read if it has not yet been */
3889 s = PSYMTAB_TO_SYMTAB (ps);
3890 }
3891
3892 for (psym = objfile->static_psymbols.list + ps->statics_offset;
3893 psym < (objfile->static_psymbols.list + ps->statics_offset
3894 + ps->n_static_syms);
3895 psym++)
3896 {
3897 QUIT;
3898 /* This will cause the symbol table to be read if it has not yet been */
3899 s = PSYMTAB_TO_SYMTAB (ps);
3900 }
3901 }
3902
3903 /* Search upwards from currently selected frame (so that we can
3904 complete on local vars. */
3905
3906 for (b = get_selected_block (0); b != NULL; b = BLOCK_SUPERBLOCK (b))
3907 {
3908 if (!BLOCK_SUPERBLOCK (b))
3909 {
3910 surrounding_static_block = b; /* For elimination of dups */
3911 }
3912
3913 /* Also catch fields of types defined in this places which match our
3914 text string. Only complete on types visible from current context. */
3915
3916 ALL_BLOCK_SYMBOLS (b, i, sym)
3917 {
3918 overload_list_add_symbol (sym, oload_name);
3919 }
3920 }
3921
3922 /* Go through the symtabs and check the externs and statics for
3923 symbols which match. */
3924
3925 ALL_SYMTABS (objfile, s)
3926 {
3927 QUIT;
3928 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3929 ALL_BLOCK_SYMBOLS (b, i, sym)
3930 {
3931 overload_list_add_symbol (sym, oload_name);
3932 }
3933 }
3934
3935 ALL_SYMTABS (objfile, s)
3936 {
3937 QUIT;
3938 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3939 /* Don't do this block twice. */
3940 if (b == surrounding_static_block)
3941 continue;
3942 ALL_BLOCK_SYMBOLS (b, i, sym)
3943 {
3944 overload_list_add_symbol (sym, oload_name);
3945 }
3946 }
3947
3948 xfree (oload_name);
3949
3950 return (sym_return_val);
3951 }
3952
3953 /* End of overload resolution functions */
3954 \f
3955 struct symtabs_and_lines
3956 decode_line_spec (char *string, int funfirstline)
3957 {
3958 struct symtabs_and_lines sals;
3959 if (string == 0)
3960 error ("Empty line specification.");
3961 sals = decode_line_1 (&string, funfirstline,
3962 current_source_symtab, current_source_line,
3963 (char ***) NULL);
3964 if (*string)
3965 error ("Junk at end of line specification: %s", string);
3966 return sals;
3967 }
3968
3969 /* Track MAIN */
3970 static char *name_of_main;
3971
3972 void
3973 set_main_name (const char *name)
3974 {
3975 if (name_of_main != NULL)
3976 {
3977 xfree (name_of_main);
3978 name_of_main = NULL;
3979 }
3980 if (name != NULL)
3981 {
3982 name_of_main = xstrdup (name);
3983 }
3984 }
3985
3986 char *
3987 main_name (void)
3988 {
3989 if (name_of_main != NULL)
3990 return name_of_main;
3991 else
3992 return "main";
3993 }
3994
3995
3996 void
3997 _initialize_symtab (void)
3998 {
3999 add_info ("variables", variables_info,
4000 "All global and static variable names, or those matching REGEXP.");
4001 if (dbx_commands)
4002 add_com ("whereis", class_info, variables_info,
4003 "All global and static variable names, or those matching REGEXP.");
4004
4005 add_info ("functions", functions_info,
4006 "All function names, or those matching REGEXP.");
4007
4008
4009 /* FIXME: This command has at least the following problems:
4010 1. It prints builtin types (in a very strange and confusing fashion).
4011 2. It doesn't print right, e.g. with
4012 typedef struct foo *FOO
4013 type_print prints "FOO" when we want to make it (in this situation)
4014 print "struct foo *".
4015 I also think "ptype" or "whatis" is more likely to be useful (but if
4016 there is much disagreement "info types" can be fixed). */
4017 add_info ("types", types_info,
4018 "All type names, or those matching REGEXP.");
4019
4020 #if 0
4021 add_info ("methods", methods_info,
4022 "All method names, or those matching REGEXP::REGEXP.\n\
4023 If the class qualifier is omitted, it is assumed to be the current scope.\n\
4024 If the first REGEXP is omitted, then all methods matching the second REGEXP\n\
4025 are listed.");
4026 #endif
4027 add_info ("sources", sources_info,
4028 "Source files in the program.");
4029
4030 add_com ("rbreak", class_breakpoint, rbreak_command,
4031 "Set a breakpoint for all functions matching REGEXP.");
4032
4033 if (xdb_commands)
4034 {
4035 add_com ("lf", class_info, sources_info, "Source files in the program");
4036 add_com ("lg", class_info, variables_info,
4037 "All global and static variable names, or those matching REGEXP.");
4038 }
4039
4040 /* Initialize the one built-in type that isn't language dependent... */
4041 builtin_type_error = init_type (TYPE_CODE_ERROR, 0, 0,
4042 "<unknown type>", (struct objfile *) NULL);
4043 }