start-sanitize-gdbtk
[binutils-gdb.git] / gdb / symtab.c
1 /* Symbol table lookup for the GNU debugger, GDB.
2 Copyright 1986, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 1997
3 Free Software Foundation, Inc.
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
20
21 #include "defs.h"
22 #include "symtab.h"
23 #include "gdbtypes.h"
24 #include "gdbcore.h"
25 #include "frame.h"
26 #include "target.h"
27 #include "value.h"
28 #include "symfile.h"
29 #include "objfiles.h"
30 #include "gdbcmd.h"
31 #include "call-cmds.h"
32 #include "gnu-regex.h"
33 #include "expression.h"
34 #include "language.h"
35 #include "demangle.h"
36
37 #include "obstack.h"
38
39 #include <sys/types.h>
40 #include <fcntl.h>
41 #include "gdb_string.h"
42 #include "gdb_stat.h"
43 #include <ctype.h>
44
45 /* Prototypes for local functions */
46
47 extern int
48 find_methods PARAMS ((struct type *, char *, struct symbol **));
49
50 static void
51 completion_list_add_name PARAMS ((char *, char *, int, char *, char *));
52
53 static void
54 build_canonical_line_spec PARAMS ((struct symtab_and_line *, char *, char ***));
55
56 static struct symtabs_and_lines
57 decode_line_2 PARAMS ((struct symbol *[], int, int, char ***));
58
59 static void
60 rbreak_command PARAMS ((char *, int));
61
62 static void
63 types_info PARAMS ((char *, int));
64
65 static void
66 functions_info PARAMS ((char *, int));
67
68 static void
69 variables_info PARAMS ((char *, int));
70
71 static void
72 sources_info PARAMS ((char *, int));
73
74 static void
75 list_symbols PARAMS ((char *, int, int, int));
76
77 static void
78 output_source_filename PARAMS ((char *, int *));
79
80 char *
81 operator_chars PARAMS ((char *, char **));
82
83 static int find_line_common PARAMS ((struct linetable *, int, int *));
84
85 static struct partial_symbol *
86 lookup_partial_symbol PARAMS ((struct partial_symtab *, const char *,
87 int, namespace_enum));
88
89 static struct symtab *
90 lookup_symtab_1 PARAMS ((char *));
91
92 static void
93 cplusplus_hint PARAMS ((char *));
94
95 /* */
96
97 /* The single non-language-specific builtin type */
98 struct type *builtin_type_error;
99
100 /* Block in which the most recently searched-for symbol was found.
101 Might be better to make this a parameter to lookup_symbol and
102 value_of_this. */
103
104 const struct block *block_found;
105
106 char no_symtab_msg[] = "No symbol table is loaded. Use the \"file\" command.";
107
108 /* While the C++ support is still in flux, issue a possibly helpful hint on
109 using the new command completion feature on single quoted demangled C++
110 symbols. Remove when loose ends are cleaned up. FIXME -fnf */
111
112 static void
113 cplusplus_hint (name)
114 char *name;
115 {
116 while (*name == '\'')
117 name++;
118 printf_filtered ("Hint: try '%s<TAB> or '%s<ESC-?>\n", name, name);
119 printf_filtered ("(Note leading single quote.)\n");
120 }
121
122 /* Check for a symtab of a specific name; first in symtabs, then in
123 psymtabs. *If* there is no '/' in the name, a match after a '/'
124 in the symtab filename will also work. */
125
126 static struct symtab *
127 lookup_symtab_1 (name)
128 char *name;
129 {
130 register struct symtab *s;
131 register struct partial_symtab *ps;
132 register char *slash;
133 register struct objfile *objfile;
134
135 got_symtab:
136
137 /* First, search for an exact match */
138
139 ALL_SYMTABS (objfile, s)
140 if (STREQ (name, s->filename))
141 return s;
142
143 slash = strchr (name, '/');
144
145 /* Now, search for a matching tail (only if name doesn't have any dirs) */
146
147 if (!slash)
148 ALL_SYMTABS (objfile, s)
149 {
150 char *p = s -> filename;
151 char *tail = strrchr (p, '/');
152
153 if (tail)
154 p = tail + 1;
155
156 if (STREQ (p, name))
157 return s;
158 }
159
160 /* Same search rules as above apply here, but now we look thru the
161 psymtabs. */
162
163 ps = lookup_partial_symtab (name);
164 if (!ps)
165 return (NULL);
166
167 if (ps -> readin)
168 error ("Internal: readin %s pst for `%s' found when no symtab found.",
169 ps -> filename, name);
170
171 s = PSYMTAB_TO_SYMTAB (ps);
172
173 if (s)
174 return s;
175
176 /* At this point, we have located the psymtab for this file, but
177 the conversion to a symtab has failed. This usually happens
178 when we are looking up an include file. In this case,
179 PSYMTAB_TO_SYMTAB doesn't return a symtab, even though one has
180 been created. So, we need to run through the symtabs again in
181 order to find the file.
182 XXX - This is a crock, and should be fixed inside of the the
183 symbol parsing routines. */
184 goto got_symtab;
185 }
186
187 /* Lookup the symbol table of a source file named NAME. Try a couple
188 of variations if the first lookup doesn't work. */
189
190 struct symtab *
191 lookup_symtab (name)
192 char *name;
193 {
194 register struct symtab *s;
195 #if 0
196 register char *copy;
197 #endif
198
199 s = lookup_symtab_1 (name);
200 if (s) return s;
201
202 #if 0
203 /* This screws c-exp.y:yylex if there is both a type "tree" and a symtab
204 "tree.c". */
205
206 /* If name not found as specified, see if adding ".c" helps. */
207 /* Why is this? Is it just a user convenience? (If so, it's pretty
208 questionable in the presence of C++, FORTRAN, etc.). It's not in
209 the GDB manual. */
210
211 copy = (char *) alloca (strlen (name) + 3);
212 strcpy (copy, name);
213 strcat (copy, ".c");
214 s = lookup_symtab_1 (copy);
215 if (s) return s;
216 #endif /* 0 */
217
218 /* We didn't find anything; die. */
219 return 0;
220 }
221
222 /* Lookup the partial symbol table of a source file named NAME.
223 *If* there is no '/' in the name, a match after a '/'
224 in the psymtab filename will also work. */
225
226 struct partial_symtab *
227 lookup_partial_symtab (name)
228 char *name;
229 {
230 register struct partial_symtab *pst;
231 register struct objfile *objfile;
232
233 ALL_PSYMTABS (objfile, pst)
234 {
235 if (STREQ (name, pst -> filename))
236 {
237 return (pst);
238 }
239 }
240
241 /* Now, search for a matching tail (only if name doesn't have any dirs) */
242
243 if (!strchr (name, '/'))
244 ALL_PSYMTABS (objfile, pst)
245 {
246 char *p = pst -> filename;
247 char *tail = strrchr (p, '/');
248
249 if (tail)
250 p = tail + 1;
251
252 if (STREQ (p, name))
253 return (pst);
254 }
255
256 return (NULL);
257 }
258 \f
259 /* Demangle a GDB method stub type.
260 Note that this function is g++ specific. */
261
262 char *
263 gdb_mangle_name (type, i, j)
264 struct type *type;
265 int i, j;
266 {
267 int mangled_name_len;
268 char *mangled_name;
269 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i);
270 struct fn_field *method = &f[j];
271 char *field_name = TYPE_FN_FIELDLIST_NAME (type, i);
272 char *physname = TYPE_FN_FIELD_PHYSNAME (f, j);
273 char *newname = type_name_no_tag (type);
274
275 /* Does the form of physname indicate that it is the full mangled name
276 of a constructor (not just the args)? */
277 int is_full_physname_constructor;
278
279 int is_constructor;
280 int is_destructor = DESTRUCTOR_PREFIX_P (physname);
281 /* Need a new type prefix. */
282 char *const_prefix = method->is_const ? "C" : "";
283 char *volatile_prefix = method->is_volatile ? "V" : "";
284 char buf[20];
285 int len = (newname == NULL ? 0 : strlen (newname));
286
287 is_full_physname_constructor =
288 ((physname[0]=='_' && physname[1]=='_' &&
289 (isdigit(physname[2]) || physname[2]=='Q' || physname[2]=='t'))
290 || (strncmp(physname, "__ct", 4) == 0));
291
292 is_constructor =
293 is_full_physname_constructor || (newname && STREQ(field_name, newname));
294
295 if (!is_destructor)
296 is_destructor = (strncmp(physname, "__dt", 4) == 0);
297
298 if (is_destructor || is_full_physname_constructor)
299 {
300 mangled_name = (char*) xmalloc(strlen(physname)+1);
301 strcpy(mangled_name, physname);
302 return mangled_name;
303 }
304
305 if (len == 0)
306 {
307 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
308 }
309 else if (physname[0] == 't' || physname[0] == 'Q')
310 {
311 /* The physname for template and qualified methods already includes
312 the class name. */
313 sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
314 newname = NULL;
315 len = 0;
316 }
317 else
318 {
319 sprintf (buf, "__%s%s%d", const_prefix, volatile_prefix, len);
320 }
321 mangled_name_len = ((is_constructor ? 0 : strlen (field_name))
322 + strlen (buf) + len
323 + strlen (physname)
324 + 1);
325
326 /* Only needed for GNU-mangled names. ANSI-mangled names
327 work with the normal mechanisms. */
328 if (OPNAME_PREFIX_P (field_name))
329 {
330 const char *opname = cplus_mangle_opname (field_name + 3, 0);
331 if (opname == NULL)
332 error ("No mangling for \"%s\"", field_name);
333 mangled_name_len += strlen (opname);
334 mangled_name = (char *)xmalloc (mangled_name_len);
335
336 strncpy (mangled_name, field_name, 3);
337 mangled_name[3] = '\0';
338 strcat (mangled_name, opname);
339 }
340 else
341 {
342 mangled_name = (char *)xmalloc (mangled_name_len);
343 if (is_constructor)
344 mangled_name[0] = '\0';
345 else
346 strcpy (mangled_name, field_name);
347 }
348 strcat (mangled_name, buf);
349 /* If the class doesn't have a name, i.e. newname NULL, then we just
350 mangle it using 0 for the length of the class. Thus it gets mangled
351 as something starting with `::' rather than `classname::'. */
352 if (newname != NULL)
353 strcat (mangled_name, newname);
354
355 strcat (mangled_name, physname);
356 return (mangled_name);
357 }
358
359 \f
360
361 struct symbol * fixup_symbol_section PARAMS ((struct symbol *,
362 struct objfile *));
363 struct partial_symbol * fixup_psymbol_section PARAMS ((struct partial_symbol *,
364 struct objfile *));
365
366
367 /* Find which partial symtab on contains PC and SECTION. Return 0 if none. */
368
369 struct partial_symtab *
370 find_pc_sect_psymtab (pc, section)
371 CORE_ADDR pc;
372 asection *section;
373 {
374 register struct partial_symtab *pst;
375 register struct objfile *objfile;
376
377 ALL_PSYMTABS (objfile, pst)
378 {
379 if (pc >= pst->textlow && pc < pst->texthigh)
380 {
381 struct minimal_symbol *msymbol;
382 struct partial_symtab *tpst;
383
384 /* An objfile that has its functions reordered might have
385 many partial symbol tables containing the PC, but
386 we want the partial symbol table that contains the
387 function containing the PC. */
388 if (!(objfile->flags & OBJF_REORDERED) &&
389 section == 0) /* can't validate section this way */
390 return (pst);
391
392 msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
393 if (msymbol == NULL)
394 return (pst);
395
396 for (tpst = pst; tpst != NULL; tpst = tpst->next)
397 {
398 if (pc >= tpst->textlow && pc < tpst->texthigh)
399 {
400 struct partial_symbol *p;
401
402 p = find_pc_sect_psymbol (tpst, pc, section);
403 if (p != NULL
404 && SYMBOL_VALUE_ADDRESS(p)
405 == SYMBOL_VALUE_ADDRESS (msymbol))
406 return (tpst);
407 }
408 }
409 return (pst);
410 }
411 }
412 return (NULL);
413 }
414
415 /* Find which partial symtab contains PC. Return 0 if none.
416 Backward compatibility, no section */
417
418 struct partial_symtab *
419 find_pc_psymtab (pc)
420 CORE_ADDR pc;
421 {
422 return find_pc_sect_psymtab (pc, find_pc_mapped_section (pc));
423 }
424
425 /* Find which partial symbol within a psymtab matches PC and SECTION.
426 Return 0 if none. Check all psymtabs if PSYMTAB is 0. */
427
428 struct partial_symbol *
429 find_pc_sect_psymbol (psymtab, pc, section)
430 struct partial_symtab *psymtab;
431 CORE_ADDR pc;
432 asection *section;
433 {
434 struct partial_symbol *best = NULL, *p, **pp;
435 CORE_ADDR best_pc;
436
437 if (!psymtab)
438 psymtab = find_pc_sect_psymtab (pc, section);
439 if (!psymtab)
440 return 0;
441
442 best_pc = psymtab->textlow - 1;
443
444 /* Search the global symbols as well as the static symbols, so that
445 find_pc_partial_function doesn't use a minimal symbol and thus
446 cache a bad endaddr. */
447 for (pp = psymtab->objfile->global_psymbols.list + psymtab->globals_offset;
448 (pp - (psymtab->objfile->global_psymbols.list + psymtab->globals_offset)
449 < psymtab->n_global_syms);
450 pp++)
451 {
452 p = *pp;
453 if (SYMBOL_NAMESPACE (p) == VAR_NAMESPACE
454 && SYMBOL_CLASS (p) == LOC_BLOCK
455 && pc >= SYMBOL_VALUE_ADDRESS (p)
456 && SYMBOL_VALUE_ADDRESS (p) > best_pc)
457 {
458 if (section) /* match on a specific section */
459 {
460 fixup_psymbol_section (p, psymtab->objfile);
461 if (SYMBOL_BFD_SECTION (p) != section)
462 continue;
463 }
464 best_pc = SYMBOL_VALUE_ADDRESS (p);
465 best = p;
466 }
467 }
468 for (pp = psymtab->objfile->static_psymbols.list + psymtab->statics_offset;
469 (pp - (psymtab->objfile->static_psymbols.list + psymtab->statics_offset)
470 < psymtab->n_static_syms);
471 pp++)
472 {
473 p = *pp;
474 if (SYMBOL_NAMESPACE (p) == VAR_NAMESPACE
475 && SYMBOL_CLASS (p) == LOC_BLOCK
476 && pc >= SYMBOL_VALUE_ADDRESS (p)
477 && SYMBOL_VALUE_ADDRESS (p) > best_pc)
478 {
479 if (section) /* match on a specific section */
480 {
481 fixup_psymbol_section (p, psymtab->objfile);
482 if (SYMBOL_BFD_SECTION (p) != section)
483 continue;
484 }
485 best_pc = SYMBOL_VALUE_ADDRESS (p);
486 best = p;
487 }
488 }
489 if (best_pc == psymtab->textlow - 1)
490 return 0;
491 return best;
492 }
493
494 /* Find which partial symbol within a psymtab matches PC. Return 0 if none.
495 Check all psymtabs if PSYMTAB is 0. Backwards compatibility, no section. */
496
497 struct partial_symbol *
498 find_pc_psymbol (psymtab, pc)
499 struct partial_symtab *psymtab;
500 CORE_ADDR pc;
501 {
502 return find_pc_sect_psymbol (psymtab, pc, find_pc_mapped_section (pc));
503 }
504 \f
505 /* Debug symbols usually don't have section information. We need to dig that
506 out of the minimal symbols and stash that in the debug symbol. */
507
508 static void
509 fixup_section (ginfo, objfile)
510 struct general_symbol_info *ginfo;
511 struct objfile *objfile;
512 {
513 struct minimal_symbol *msym;
514 msym = lookup_minimal_symbol (ginfo->name, NULL, objfile);
515
516 if (msym)
517 ginfo->bfd_section = SYMBOL_BFD_SECTION (msym);
518 }
519
520 struct symbol *
521 fixup_symbol_section (sym, objfile)
522 struct symbol *sym;
523 struct objfile *objfile;
524 {
525 struct minimal_symbol *msym;
526
527 if (!sym)
528 return NULL;
529
530 if (SYMBOL_BFD_SECTION (sym))
531 return sym;
532
533 fixup_section (&sym->ginfo, objfile);
534
535 return sym;
536 }
537
538 struct partial_symbol *
539 fixup_psymbol_section (psym, objfile)
540 struct partial_symbol *psym;
541 struct objfile *objfile;
542 {
543 struct minimal_symbol *msym;
544
545 if (!psym)
546 return NULL;
547
548 if (SYMBOL_BFD_SECTION (psym))
549 return psym;
550
551 fixup_section (&psym->ginfo, objfile);
552
553 return psym;
554 }
555
556 /* Find the definition for a specified symbol name NAME
557 in namespace NAMESPACE, visible from lexical block BLOCK.
558 Returns the struct symbol pointer, or zero if no symbol is found.
559 If SYMTAB is non-NULL, store the symbol table in which the
560 symbol was found there, or NULL if not found.
561 C++: if IS_A_FIELD_OF_THIS is nonzero on entry, check to see if
562 NAME is a field of the current implied argument `this'. If so set
563 *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero.
564 BLOCK_FOUND is set to the block in which NAME is found (in the case of
565 a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
566
567 /* This function has a bunch of loops in it and it would seem to be
568 attractive to put in some QUIT's (though I'm not really sure
569 whether it can run long enough to be really important). But there
570 are a few calls for which it would appear to be bad news to quit
571 out of here: find_proc_desc in alpha-tdep.c and mips-tdep.c, and
572 nindy_frame_chain_valid in nindy-tdep.c. (Note that there is C++
573 code below which can error(), but that probably doesn't affect
574 these calls since they are looking for a known variable and thus
575 can probably assume it will never hit the C++ code). */
576
577 struct symbol *
578 lookup_symbol (name, block, namespace, is_a_field_of_this, symtab)
579 const char *name;
580 register const struct block *block;
581 const namespace_enum namespace;
582 int *is_a_field_of_this;
583 struct symtab **symtab;
584 {
585 register struct symbol *sym;
586 register struct symtab *s = NULL;
587 register struct partial_symtab *ps;
588 struct blockvector *bv;
589 register struct objfile *objfile = NULL;
590 register struct block *b;
591 register struct minimal_symbol *msymbol;
592
593 /* Search specified block and its superiors. */
594
595 while (block != 0)
596 {
597 sym = lookup_block_symbol (block, name, namespace);
598 if (sym)
599 {
600 block_found = block;
601 if (symtab != NULL)
602 {
603 /* Search the list of symtabs for one which contains the
604 address of the start of this block. */
605 ALL_SYMTABS (objfile, s)
606 {
607 bv = BLOCKVECTOR (s);
608 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
609 if (BLOCK_START (b) <= BLOCK_START (block)
610 && BLOCK_END (b) > BLOCK_START (block))
611 goto found;
612 }
613 found:
614 *symtab = s;
615 }
616
617 return fixup_symbol_section (sym, objfile);
618 }
619 block = BLOCK_SUPERBLOCK (block);
620 }
621
622 /* FIXME: this code is never executed--block is always NULL at this
623 point. What is it trying to do, anyway? We already should have
624 checked the STATIC_BLOCK above (it is the superblock of top-level
625 blocks). Why is VAR_NAMESPACE special-cased? */
626 /* Don't need to mess with the psymtabs; if we have a block,
627 that file is read in. If we don't, then we deal later with
628 all the psymtab stuff that needs checking. */
629 if (namespace == VAR_NAMESPACE && block != NULL)
630 {
631 struct block *b;
632 /* Find the right symtab. */
633 ALL_SYMTABS (objfile, s)
634 {
635 bv = BLOCKVECTOR (s);
636 b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
637 if (BLOCK_START (b) <= BLOCK_START (block)
638 && BLOCK_END (b) > BLOCK_START (block))
639 {
640 sym = lookup_block_symbol (b, name, VAR_NAMESPACE);
641 if (sym)
642 {
643 block_found = b;
644 if (symtab != NULL)
645 *symtab = s;
646 return fixup_symbol_section (sym, objfile);
647 }
648 }
649 }
650 }
651
652
653 /* C++: If requested to do so by the caller,
654 check to see if NAME is a field of `this'. */
655 if (is_a_field_of_this)
656 {
657 struct value *v = value_of_this (0);
658
659 *is_a_field_of_this = 0;
660 if (v && check_field (v, name))
661 {
662 *is_a_field_of_this = 1;
663 if (symtab != NULL)
664 *symtab = NULL;
665 return NULL;
666 }
667 }
668
669 /* Now search all global blocks. Do the symtab's first, then
670 check the psymtab's */
671
672 ALL_SYMTABS (objfile, s)
673 {
674 bv = BLOCKVECTOR (s);
675 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
676 sym = lookup_block_symbol (block, name, namespace);
677 if (sym)
678 {
679 block_found = block;
680 if (symtab != NULL)
681 *symtab = s;
682 return fixup_symbol_section (sym, objfile);
683 }
684 }
685
686 /* Check for the possibility of the symbol being a function or
687 a mangled variable that is stored in one of the minimal symbol tables.
688 Eventually, all global symbols might be resolved in this way. */
689
690 if (namespace == VAR_NAMESPACE)
691 {
692 msymbol = lookup_minimal_symbol (name, NULL, NULL);
693 if (msymbol != NULL)
694 {
695 s = find_pc_sect_symtab (SYMBOL_VALUE_ADDRESS (msymbol),
696 SYMBOL_BFD_SECTION (msymbol));
697 if (s != NULL)
698 {
699 /* This is a function which has a symtab for its address. */
700 bv = BLOCKVECTOR (s);
701 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
702 sym = lookup_block_symbol (block, SYMBOL_NAME (msymbol),
703 namespace);
704 /* We kept static functions in minimal symbol table as well as
705 in static scope. We want to find them in the symbol table. */
706 if (!sym) {
707 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
708 sym = lookup_block_symbol (block, SYMBOL_NAME (msymbol),
709 namespace);
710 }
711
712 /* sym == 0 if symbol was found in the minimal symbol table
713 but not in the symtab.
714 Return 0 to use the msymbol definition of "foo_".
715
716 This happens for Fortran "foo_" symbols,
717 which are "foo" in the symtab.
718
719 This can also happen if "asm" is used to make a
720 regular symbol but not a debugging symbol, e.g.
721 asm(".globl _main");
722 asm("_main:");
723 */
724
725 if (symtab != NULL)
726 *symtab = s;
727 return fixup_symbol_section (sym, objfile);
728 }
729 else if (MSYMBOL_TYPE (msymbol) != mst_text
730 && MSYMBOL_TYPE (msymbol) != mst_file_text
731 && !STREQ (name, SYMBOL_NAME (msymbol)))
732 {
733 /* This is a mangled variable, look it up by its
734 mangled name. */
735 return lookup_symbol (SYMBOL_NAME (msymbol), block,
736 namespace, is_a_field_of_this, symtab);
737 }
738 /* There are no debug symbols for this file, or we are looking
739 for an unmangled variable.
740 Try to find a matching static symbol below. */
741 }
742 }
743
744 ALL_PSYMTABS (objfile, ps)
745 {
746 if (!ps->readin && lookup_partial_symbol (ps, name, 1, namespace))
747 {
748 s = PSYMTAB_TO_SYMTAB(ps);
749 bv = BLOCKVECTOR (s);
750 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
751 sym = lookup_block_symbol (block, name, namespace);
752 if (!sym)
753 error ("Internal: global symbol `%s' found in %s psymtab but not in symtab", name, ps->filename);
754 if (symtab != NULL)
755 *symtab = s;
756 return fixup_symbol_section (sym, objfile);
757 }
758 }
759
760 /* Now search all per-file blocks.
761 Not strictly correct, but more useful than an error.
762 Do the symtabs first, then check the psymtabs */
763
764 ALL_SYMTABS (objfile, s)
765 {
766 bv = BLOCKVECTOR (s);
767 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
768 sym = lookup_block_symbol (block, name, namespace);
769 if (sym)
770 {
771 block_found = block;
772 if (symtab != NULL)
773 *symtab = s;
774 return fixup_symbol_section (sym, objfile);
775 }
776 }
777
778 ALL_PSYMTABS (objfile, ps)
779 {
780 if (!ps->readin && lookup_partial_symbol (ps, name, 0, namespace))
781 {
782 s = PSYMTAB_TO_SYMTAB(ps);
783 bv = BLOCKVECTOR (s);
784 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
785 sym = lookup_block_symbol (block, name, namespace);
786 if (!sym)
787 error ("Internal: static symbol `%s' found in %s psymtab but not in symtab", name, ps->filename);
788 if (symtab != NULL)
789 *symtab = s;
790 return fixup_symbol_section (sym, objfile);
791 }
792 }
793
794 if (symtab != NULL)
795 *symtab = NULL;
796 return 0;
797 }
798
799 /* Look, in partial_symtab PST, for symbol NAME. Check the global
800 symbols if GLOBAL, the static symbols if not */
801
802 static struct partial_symbol *
803 lookup_partial_symbol (pst, name, global, namespace)
804 struct partial_symtab *pst;
805 const char *name;
806 int global;
807 namespace_enum namespace;
808 {
809 struct partial_symbol **start, **psym;
810 struct partial_symbol **top, **bottom, **center;
811 int length = (global ? pst->n_global_syms : pst->n_static_syms);
812 int do_linear_search = 1;
813
814 if (length == 0)
815 {
816 return (NULL);
817 }
818
819 start = (global ?
820 pst->objfile->global_psymbols.list + pst->globals_offset :
821 pst->objfile->static_psymbols.list + pst->statics_offset );
822
823 if (global) /* This means we can use a binary search. */
824 {
825 do_linear_search = 0;
826
827 /* Binary search. This search is guaranteed to end with center
828 pointing at the earliest partial symbol with the correct
829 name. At that point *all* partial symbols with that name
830 will be checked against the correct namespace. */
831
832 bottom = start;
833 top = start + length - 1;
834 while (top > bottom)
835 {
836 center = bottom + (top - bottom) / 2;
837 if (!(center < top))
838 abort ();
839 if (!do_linear_search && SYMBOL_LANGUAGE (*center) == language_cplus)
840 {
841 do_linear_search = 1;
842 }
843 if (STRCMP (SYMBOL_NAME (*center), name) >= 0)
844 {
845 top = center;
846 }
847 else
848 {
849 bottom = center + 1;
850 }
851 }
852 if (!(top == bottom))
853 abort ();
854 while (STREQ (SYMBOL_NAME (*top), name))
855 {
856 if (SYMBOL_NAMESPACE (*top) == namespace)
857 {
858 return (*top);
859 }
860 top ++;
861 }
862 }
863
864 /* Can't use a binary search or else we found during the binary search that
865 we should also do a linear search. */
866
867 if (do_linear_search)
868 {
869 for (psym = start; psym < start + length; psym++)
870 {
871 if (namespace == SYMBOL_NAMESPACE (*psym))
872 {
873 if (SYMBOL_MATCHES_NAME (*psym, name))
874 {
875 return (*psym);
876 }
877 }
878 }
879 }
880
881 return (NULL);
882 }
883
884 /* Find the psymtab containing main(). */
885 /* FIXME: What about languages without main() or specially linked
886 executables that have no main() ? */
887
888 struct partial_symtab *
889 find_main_psymtab ()
890 {
891 register struct partial_symtab *pst;
892 register struct objfile *objfile;
893
894 ALL_PSYMTABS (objfile, pst)
895 {
896 if (lookup_partial_symbol (pst, "main", 1, VAR_NAMESPACE))
897 {
898 return (pst);
899 }
900 }
901 return (NULL);
902 }
903
904 /* Search BLOCK for symbol NAME in NAMESPACE.
905
906 Note that if NAME is the demangled form of a C++ symbol, we will fail
907 to find a match during the binary search of the non-encoded names, but
908 for now we don't worry about the slight inefficiency of looking for
909 a match we'll never find, since it will go pretty quick. Once the
910 binary search terminates, we drop through and do a straight linear
911 search on the symbols. Each symbol which is marked as being a C++
912 symbol (language_cplus set) has both the encoded and non-encoded names
913 tested for a match. */
914
915 struct symbol *
916 lookup_block_symbol (block, name, namespace)
917 register const struct block *block;
918 const char *name;
919 const namespace_enum namespace;
920 {
921 register int bot, top, inc;
922 register struct symbol *sym;
923 register struct symbol *sym_found = NULL;
924 register int do_linear_search = 1;
925
926 /* If the blocks's symbols were sorted, start with a binary search. */
927
928 if (BLOCK_SHOULD_SORT (block))
929 {
930 /* Reset the linear search flag so if the binary search fails, we
931 won't do the linear search once unless we find some reason to
932 do so, such as finding a C++ symbol during the binary search.
933 Note that for C++ modules, ALL the symbols in a block should
934 end up marked as C++ symbols. */
935
936 do_linear_search = 0;
937 top = BLOCK_NSYMS (block);
938 bot = 0;
939
940 /* Advance BOT to not far before the first symbol whose name is NAME. */
941
942 while (1)
943 {
944 inc = (top - bot + 1);
945 /* No need to keep binary searching for the last few bits worth. */
946 if (inc < 4)
947 {
948 break;
949 }
950 inc = (inc >> 1) + bot;
951 sym = BLOCK_SYM (block, inc);
952 if (!do_linear_search && SYMBOL_LANGUAGE (sym) == language_cplus)
953 {
954 do_linear_search = 1;
955 }
956 if (SYMBOL_NAME (sym)[0] < name[0])
957 {
958 bot = inc;
959 }
960 else if (SYMBOL_NAME (sym)[0] > name[0])
961 {
962 top = inc;
963 }
964 else if (STRCMP (SYMBOL_NAME (sym), name) < 0)
965 {
966 bot = inc;
967 }
968 else
969 {
970 top = inc;
971 }
972 }
973
974 /* Now scan forward until we run out of symbols, find one whose
975 name is greater than NAME, or find one we want. If there is
976 more than one symbol with the right name and namespace, we
977 return the first one; I believe it is now impossible for us
978 to encounter two symbols with the same name and namespace
979 here, because blocks containing argument symbols are no
980 longer sorted. */
981
982 top = BLOCK_NSYMS (block);
983 while (bot < top)
984 {
985 sym = BLOCK_SYM (block, bot);
986 inc = SYMBOL_NAME (sym)[0] - name[0];
987 if (inc == 0)
988 {
989 inc = STRCMP (SYMBOL_NAME (sym), name);
990 }
991 if (inc == 0 && SYMBOL_NAMESPACE (sym) == namespace)
992 {
993 return (sym);
994 }
995 if (inc > 0)
996 {
997 break;
998 }
999 bot++;
1000 }
1001 }
1002
1003 /* Here if block isn't sorted, or we fail to find a match during the
1004 binary search above. If during the binary search above, we find a
1005 symbol which is a C++ symbol, then we have re-enabled the linear
1006 search flag which was reset when starting the binary search.
1007
1008 This loop is equivalent to the loop above, but hacked greatly for speed.
1009
1010 Note that parameter symbols do not always show up last in the
1011 list; this loop makes sure to take anything else other than
1012 parameter symbols first; it only uses parameter symbols as a
1013 last resort. Note that this only takes up extra computation
1014 time on a match. */
1015
1016 if (do_linear_search)
1017 {
1018 top = BLOCK_NSYMS (block);
1019 bot = 0;
1020 while (bot < top)
1021 {
1022 sym = BLOCK_SYM (block, bot);
1023 if (SYMBOL_NAMESPACE (sym) == namespace &&
1024 SYMBOL_MATCHES_NAME (sym, name))
1025 {
1026 sym_found = sym;
1027 if (SYMBOL_CLASS (sym) != LOC_ARG &&
1028 SYMBOL_CLASS (sym) != LOC_LOCAL_ARG &&
1029 SYMBOL_CLASS (sym) != LOC_REF_ARG &&
1030 SYMBOL_CLASS (sym) != LOC_REGPARM &&
1031 SYMBOL_CLASS (sym) != LOC_REGPARM_ADDR &&
1032 SYMBOL_CLASS (sym) != LOC_BASEREG_ARG)
1033 {
1034 break;
1035 }
1036 }
1037 bot++;
1038 }
1039 }
1040 return (sym_found); /* Will be NULL if not found. */
1041 }
1042
1043 \f
1044 /* Return the symbol for the function which contains a specified
1045 lexical block, described by a struct block BL. */
1046
1047 struct symbol *
1048 block_function (bl)
1049 struct block *bl;
1050 {
1051 while (BLOCK_FUNCTION (bl) == 0 && BLOCK_SUPERBLOCK (bl) != 0)
1052 bl = BLOCK_SUPERBLOCK (bl);
1053
1054 return BLOCK_FUNCTION (bl);
1055 }
1056
1057 /* Find the symtab associated with PC and SECTION. Look through the
1058 psymtabs and read in another symtab if necessary. */
1059
1060 struct symtab *
1061 find_pc_sect_symtab (pc, section)
1062 CORE_ADDR pc;
1063 asection *section;
1064 {
1065 register struct block *b;
1066 struct blockvector *bv;
1067 register struct symtab *s = NULL;
1068 register struct symtab *best_s = NULL;
1069 register struct partial_symtab *ps;
1070 register struct objfile *objfile;
1071 int distance = 0;
1072
1073 /* Search all symtabs for the one whose file contains our address, and which
1074 is the smallest of all the ones containing the address. This is designed
1075 to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000
1076 and symtab b is at 0x2000-0x3000. So the GLOBAL_BLOCK for a is from
1077 0x1000-0x4000, but for address 0x2345 we want to return symtab b.
1078
1079 This happens for native ecoff format, where code from included files
1080 gets its own symtab. The symtab for the included file should have
1081 been read in already via the dependency mechanism.
1082 It might be swifter to create several symtabs with the same name
1083 like xcoff does (I'm not sure).
1084
1085 It also happens for objfiles that have their functions reordered.
1086 For these, the symtab we are looking for is not necessarily read in. */
1087
1088 ALL_SYMTABS (objfile, s)
1089 {
1090 bv = BLOCKVECTOR (s);
1091 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1092 if (BLOCK_START (b) <= pc
1093 && BLOCK_END (b) > pc
1094 && (distance == 0
1095 || BLOCK_END (b) - BLOCK_START (b) < distance))
1096 {
1097 /* For an objfile that has its functions reordered,
1098 find_pc_psymtab will find the proper partial symbol table
1099 and we simply return its corresponding symtab. */
1100 /* In order to better support objfiles that contain both
1101 stabs and coff debugging info, we continue on if a psymtab
1102 can't be found. */
1103 if ((objfile->flags & OBJF_REORDERED) && objfile->psymtabs)
1104 {
1105 ps = find_pc_sect_psymtab (pc, section);
1106 if (ps)
1107 return PSYMTAB_TO_SYMTAB (ps);
1108 }
1109 if (section != 0)
1110 {
1111 int i;
1112
1113 for (i = 0; i < b->nsyms; i++)
1114 {
1115 fixup_symbol_section (b->sym[i], objfile);
1116 if (section == SYMBOL_BFD_SECTION (b->sym[i]))
1117 break;
1118 }
1119 if (i >= b->nsyms)
1120 continue; /* no symbol in this symtab matches section */
1121 }
1122 distance = BLOCK_END (b) - BLOCK_START (b);
1123 best_s = s;
1124 }
1125 }
1126
1127 if (best_s != NULL)
1128 return(best_s);
1129
1130 s = NULL;
1131 ps = find_pc_sect_psymtab (pc, section);
1132 if (ps)
1133 {
1134 if (ps->readin)
1135 /* Might want to error() here (in case symtab is corrupt and
1136 will cause a core dump), but maybe we can successfully
1137 continue, so let's not. */
1138 /* FIXME-32x64: assumes pc fits in a long */
1139 warning ("\
1140 (Internal error: pc 0x%lx in read in psymtab, but not in symtab.)\n",
1141 (unsigned long) pc);
1142 s = PSYMTAB_TO_SYMTAB (ps);
1143 }
1144 return (s);
1145 }
1146
1147 /* Find the symtab associated with PC. Look through the psymtabs and
1148 read in another symtab if necessary. Backward compatibility, no section */
1149
1150 struct symtab *
1151 find_pc_symtab (pc)
1152 CORE_ADDR pc;
1153 {
1154 return find_pc_sect_symtab (pc, find_pc_mapped_section (pc));
1155 }
1156
1157 \f
1158 #if 0
1159
1160 /* Find the closest symbol value (of any sort -- function or variable)
1161 for a given address value. Slow but complete. (currently unused,
1162 mainly because it is too slow. We could fix it if each symtab and
1163 psymtab had contained in it the addresses ranges of each of its
1164 sections, which also would be required to make things like "info
1165 line *0x2345" cause psymtabs to be converted to symtabs). */
1166
1167 struct symbol *
1168 find_addr_symbol (addr, symtabp, symaddrp)
1169 CORE_ADDR addr;
1170 struct symtab **symtabp;
1171 CORE_ADDR *symaddrp;
1172 {
1173 struct symtab *symtab, *best_symtab;
1174 struct objfile *objfile;
1175 register int bot, top;
1176 register struct symbol *sym;
1177 register CORE_ADDR sym_addr;
1178 struct block *block;
1179 int blocknum;
1180
1181 /* Info on best symbol seen so far */
1182
1183 register CORE_ADDR best_sym_addr = 0;
1184 struct symbol *best_sym = 0;
1185
1186 /* FIXME -- we should pull in all the psymtabs, too! */
1187 ALL_SYMTABS (objfile, symtab)
1188 {
1189 /* Search the global and static blocks in this symtab for
1190 the closest symbol-address to the desired address. */
1191
1192 for (blocknum = GLOBAL_BLOCK; blocknum <= STATIC_BLOCK; blocknum++)
1193 {
1194 QUIT;
1195 block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab), blocknum);
1196 top = BLOCK_NSYMS (block);
1197 for (bot = 0; bot < top; bot++)
1198 {
1199 sym = BLOCK_SYM (block, bot);
1200 switch (SYMBOL_CLASS (sym))
1201 {
1202 case LOC_STATIC:
1203 case LOC_LABEL:
1204 sym_addr = SYMBOL_VALUE_ADDRESS (sym);
1205 break;
1206
1207 case LOC_BLOCK:
1208 sym_addr = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
1209 break;
1210
1211 default:
1212 continue;
1213 }
1214
1215 if (sym_addr <= addr)
1216 if (sym_addr > best_sym_addr)
1217 {
1218 /* Quit if we found an exact match. */
1219 best_sym = sym;
1220 best_sym_addr = sym_addr;
1221 best_symtab = symtab;
1222 if (sym_addr == addr)
1223 goto done;
1224 }
1225 }
1226 }
1227 }
1228
1229 done:
1230 if (symtabp)
1231 *symtabp = best_symtab;
1232 if (symaddrp)
1233 *symaddrp = best_sym_addr;
1234 return best_sym;
1235 }
1236 #endif /* 0 */
1237
1238 /* Find the source file and line number for a given PC value and section.
1239 Return a structure containing a symtab pointer, a line number,
1240 and a pc range for the entire source line.
1241 The value's .pc field is NOT the specified pc.
1242 NOTCURRENT nonzero means, if specified pc is on a line boundary,
1243 use the line that ends there. Otherwise, in that case, the line
1244 that begins there is used. */
1245
1246 /* The big complication here is that a line may start in one file, and end just
1247 before the start of another file. This usually occurs when you #include
1248 code in the middle of a subroutine. To properly find the end of a line's PC
1249 range, we must search all symtabs associated with this compilation unit, and
1250 find the one whose first PC is closer than that of the next line in this
1251 symtab. */
1252
1253 /* If it's worth the effort, we could be using a binary search. */
1254
1255 struct symtab_and_line
1256 find_pc_sect_line (pc, section, notcurrent)
1257 CORE_ADDR pc;
1258 struct sec *section;
1259 int notcurrent;
1260 {
1261 struct symtab *s;
1262 register struct linetable *l;
1263 register int len;
1264 register int i;
1265 register struct linetable_entry *item;
1266 struct symtab_and_line val;
1267 struct blockvector *bv;
1268
1269 /* Info on best line seen so far, and where it starts, and its file. */
1270
1271 struct linetable_entry *best = NULL;
1272 CORE_ADDR best_end = 0;
1273 struct symtab *best_symtab = 0;
1274
1275 /* Store here the first line number
1276 of a file which contains the line at the smallest pc after PC.
1277 If we don't find a line whose range contains PC,
1278 we will use a line one less than this,
1279 with a range from the start of that file to the first line's pc. */
1280 struct linetable_entry *alt = NULL;
1281 struct symtab *alt_symtab = 0;
1282
1283 /* Info on best line seen in this file. */
1284
1285 struct linetable_entry *prev;
1286
1287 /* If this pc is not from the current frame,
1288 it is the address of the end of a call instruction.
1289 Quite likely that is the start of the following statement.
1290 But what we want is the statement containing the instruction.
1291 Fudge the pc to make sure we get that. */
1292
1293 INIT_SAL (&val); /* initialize to zeroes */
1294
1295 if (notcurrent)
1296 pc -= 1;
1297
1298 s = find_pc_sect_symtab (pc, section);
1299 if (!s)
1300 {
1301 val.pc = pc;
1302 return val;
1303 }
1304
1305 bv = BLOCKVECTOR (s);
1306
1307 /* Look at all the symtabs that share this blockvector.
1308 They all have the same apriori range, that we found was right;
1309 but they have different line tables. */
1310
1311 for (; s && BLOCKVECTOR (s) == bv; s = s->next)
1312 {
1313 /* Find the best line in this symtab. */
1314 l = LINETABLE (s);
1315 if (!l)
1316 continue;
1317 len = l->nitems;
1318 if (len <= 0)
1319 {
1320 /* I think len can be zero if the symtab lacks line numbers
1321 (e.g. gcc -g1). (Either that or the LINETABLE is NULL;
1322 I'm not sure which, and maybe it depends on the symbol
1323 reader). */
1324 continue;
1325 }
1326
1327 prev = NULL;
1328 item = l->item; /* Get first line info */
1329
1330 /* Is this file's first line closer than the first lines of other files?
1331 If so, record this file, and its first line, as best alternate. */
1332 if (item->pc > pc && (!alt || item->pc < alt->pc))
1333 {
1334 alt = item;
1335 alt_symtab = s;
1336 }
1337
1338 for (i = 0; i < len; i++, item++)
1339 {
1340 /* Leave prev pointing to the linetable entry for the last line
1341 that started at or before PC. */
1342 if (item->pc > pc)
1343 break;
1344
1345 prev = item;
1346 }
1347
1348 /* At this point, prev points at the line whose start addr is <= pc, and
1349 item points at the next line. If we ran off the end of the linetable
1350 (pc >= start of the last line), then prev == item. If pc < start of
1351 the first line, prev will not be set. */
1352
1353 /* Is this file's best line closer than the best in the other files?
1354 If so, record this file, and its best line, as best so far. */
1355
1356 if (prev && (!best || prev->pc > best->pc))
1357 {
1358 best = prev;
1359 best_symtab = s;
1360 /* If another line is in the linetable, and its PC is closer
1361 than the best_end we currently have, take it as best_end. */
1362 if (i < len && (best_end == 0 || best_end > item->pc))
1363 best_end = item->pc;
1364 }
1365 }
1366
1367 if (!best_symtab)
1368 {
1369 if (!alt_symtab)
1370 { /* If we didn't find any line # info, just
1371 return zeros. */
1372 val.pc = pc;
1373 }
1374 else
1375 {
1376 val.symtab = alt_symtab;
1377 val.line = alt->line - 1;
1378
1379 /* Don't return line 0, that means that we didn't find the line. */
1380 if (val.line == 0) ++val.line;
1381
1382 val.pc = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
1383 val.end = alt->pc;
1384 }
1385 }
1386 else
1387 {
1388 val.symtab = best_symtab;
1389 val.line = best->line;
1390 val.pc = best->pc;
1391 if (best_end && (!alt || best_end < alt->pc))
1392 val.end = best_end;
1393 else if (alt)
1394 val.end = alt->pc;
1395 else
1396 val.end = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
1397 }
1398 val.section = section;
1399 return val;
1400 }
1401
1402 /* Backward compatibility (no section) */
1403
1404 struct symtab_and_line
1405 find_pc_line (pc, notcurrent)
1406 CORE_ADDR pc;
1407 int notcurrent;
1408 {
1409 asection *section;
1410
1411 section = find_pc_overlay (pc);
1412 if (pc_in_unmapped_range (pc, section))
1413 pc = overlay_mapped_address (pc, section);
1414 return find_pc_sect_line (pc, section, notcurrent);
1415 }
1416
1417 \f
1418 static int find_line_symtab PARAMS ((struct symtab *, int, struct linetable **,
1419 int *, int *));
1420
1421 /* Find line number LINE in any symtab whose name is the same as
1422 SYMTAB.
1423
1424 If found, return 1, set *LINETABLE to the linetable in which it was
1425 found, set *INDEX to the index in the linetable of the best entry
1426 found, and set *EXACT_MATCH nonzero if the value returned is an
1427 exact match.
1428
1429 If not found, return 0. */
1430
1431 static int
1432 find_line_symtab (symtab, line, linetable, index, exact_match)
1433 struct symtab *symtab;
1434 int line;
1435 struct linetable **linetable;
1436 int *index;
1437 int *exact_match;
1438 {
1439 int exact;
1440
1441 /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE
1442 so far seen. */
1443
1444 int best_index;
1445 struct linetable *best_linetable;
1446
1447 /* First try looking it up in the given symtab. */
1448 best_linetable = LINETABLE (symtab);
1449 best_index = find_line_common (best_linetable, line, &exact);
1450 if (best_index < 0 || !exact)
1451 {
1452 /* Didn't find an exact match. So we better keep looking for
1453 another symtab with the same name. In the case of xcoff,
1454 multiple csects for one source file (produced by IBM's FORTRAN
1455 compiler) produce multiple symtabs (this is unavoidable
1456 assuming csects can be at arbitrary places in memory and that
1457 the GLOBAL_BLOCK of a symtab has a begin and end address). */
1458
1459 /* BEST is the smallest linenumber > LINE so far seen,
1460 or 0 if none has been seen so far.
1461 BEST_INDEX and BEST_LINETABLE identify the item for it. */
1462 int best;
1463
1464 struct objfile *objfile;
1465 struct symtab *s;
1466
1467 if (best_index >= 0)
1468 best = best_linetable->item[best_index].line;
1469 else
1470 best = 0;
1471
1472 ALL_SYMTABS (objfile, s)
1473 {
1474 struct linetable *l;
1475 int ind;
1476
1477 if (!STREQ (symtab->filename, s->filename))
1478 continue;
1479 l = LINETABLE (s);
1480 ind = find_line_common (l, line, &exact);
1481 if (ind >= 0)
1482 {
1483 if (exact)
1484 {
1485 best_index = ind;
1486 best_linetable = l;
1487 goto done;
1488 }
1489 if (best == 0 || l->item[ind].line < best)
1490 {
1491 best = l->item[ind].line;
1492 best_index = ind;
1493 best_linetable = l;
1494 }
1495 }
1496 }
1497 }
1498 done:
1499 if (best_index < 0)
1500 return 0;
1501
1502 if (index)
1503 *index = best_index;
1504 if (linetable)
1505 *linetable = best_linetable;
1506 if (exact_match)
1507 *exact_match = exact;
1508 return 1;
1509 }
1510 \f
1511 /* Find the PC value for a given source file and line number.
1512 Returns zero for invalid line number.
1513 The source file is specified with a struct symtab. */
1514
1515 CORE_ADDR
1516 find_line_pc (symtab, line)
1517 struct symtab *symtab;
1518 int line;
1519 {
1520 struct linetable *l;
1521 int ind;
1522
1523 if (symtab == 0)
1524 return 0;
1525 if (find_line_symtab (symtab, line, &l, &ind, NULL))
1526 return l->item[ind].pc;
1527 else
1528 return 0;
1529 }
1530
1531 /* Find the range of pc values in a line.
1532 Store the starting pc of the line into *STARTPTR
1533 and the ending pc (start of next line) into *ENDPTR.
1534 Returns 1 to indicate success.
1535 Returns 0 if could not find the specified line. */
1536
1537 int
1538 find_line_pc_range (sal, startptr, endptr)
1539 struct symtab_and_line sal;
1540 CORE_ADDR *startptr, *endptr;
1541 {
1542 CORE_ADDR startaddr;
1543 struct symtab_and_line found_sal;
1544
1545 startaddr = sal.pc;
1546 if (startaddr == 0)
1547 {
1548 startaddr = find_line_pc (sal.symtab, sal.line);
1549 }
1550 if (startaddr == 0)
1551 return 0;
1552
1553 /* This whole function is based on address. For example, if line 10 has
1554 two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then
1555 "info line *0x123" should say the line goes from 0x100 to 0x200
1556 and "info line *0x355" should say the line goes from 0x300 to 0x400.
1557 This also insures that we never give a range like "starts at 0x134
1558 and ends at 0x12c". */
1559
1560 found_sal = find_pc_sect_line (startaddr, sal.section, 0);
1561 if (found_sal.line != sal.line)
1562 {
1563 /* The specified line (sal) has zero bytes. */
1564 *startptr = found_sal.pc;
1565 *endptr = found_sal.pc;
1566 }
1567 else
1568 {
1569 *startptr = found_sal.pc;
1570 *endptr = found_sal.end;
1571 }
1572 return 1;
1573 }
1574
1575 /* Given a line table and a line number, return the index into the line
1576 table for the pc of the nearest line whose number is >= the specified one.
1577 Return -1 if none is found. The value is >= 0 if it is an index.
1578
1579 Set *EXACT_MATCH nonzero if the value returned is an exact match. */
1580
1581 static int
1582 find_line_common (l, lineno, exact_match)
1583 register struct linetable *l;
1584 register int lineno;
1585 int *exact_match;
1586 {
1587 register int i;
1588 register int len;
1589
1590 /* BEST is the smallest linenumber > LINENO so far seen,
1591 or 0 if none has been seen so far.
1592 BEST_INDEX identifies the item for it. */
1593
1594 int best_index = -1;
1595 int best = 0;
1596
1597 if (lineno <= 0)
1598 return -1;
1599 if (l == 0)
1600 return -1;
1601
1602 len = l->nitems;
1603 for (i = 0; i < len; i++)
1604 {
1605 register struct linetable_entry *item = &(l->item[i]);
1606
1607 if (item->line == lineno)
1608 {
1609 /* Return the first (lowest address) entry which matches. */
1610 *exact_match = 1;
1611 return i;
1612 }
1613
1614 if (item->line > lineno && (best == 0 || item->line < best))
1615 {
1616 best = item->line;
1617 best_index = i;
1618 }
1619 }
1620
1621 /* If we got here, we didn't get an exact match. */
1622
1623 *exact_match = 0;
1624 return best_index;
1625 }
1626
1627 int
1628 find_pc_line_pc_range (pc, startptr, endptr)
1629 CORE_ADDR pc;
1630 CORE_ADDR *startptr, *endptr;
1631 {
1632 struct symtab_and_line sal;
1633 sal = find_pc_line (pc, 0);
1634 *startptr = sal.pc;
1635 *endptr = sal.end;
1636 return sal.symtab != 0;
1637 }
1638
1639 /* Given a function symbol SYM, find the symtab and line for the start
1640 of the function.
1641 If the argument FUNFIRSTLINE is nonzero, we want the first line
1642 of real code inside the function. */
1643
1644 static struct symtab_and_line
1645 find_function_start_sal PARAMS ((struct symbol *sym, int));
1646
1647 static struct symtab_and_line
1648 find_function_start_sal (sym, funfirstline)
1649 struct symbol *sym;
1650 int funfirstline;
1651 {
1652 CORE_ADDR pc;
1653 struct symtab_and_line sal;
1654
1655 pc = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
1656 fixup_symbol_section (sym, NULL);
1657 if (funfirstline)
1658 { /* skip "first line" of function (which is actually its prologue) */
1659 asection *section = SYMBOL_BFD_SECTION (sym);
1660 /* If function is in an unmapped overlay, use its unmapped LMA
1661 address, so that SKIP_PROLOGUE has something unique to work on */
1662 if (section_is_overlay (section) &&
1663 !section_is_mapped (section))
1664 pc = overlay_unmapped_address (pc, section);
1665
1666 pc += FUNCTION_START_OFFSET;
1667 SKIP_PROLOGUE (pc);
1668
1669 /* For overlays, map pc back into its mapped VMA range */
1670 pc = overlay_mapped_address (pc, section);
1671 }
1672 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
1673
1674 #ifdef PROLOGUE_FIRSTLINE_OVERLAP
1675 /* Convex: no need to suppress code on first line, if any */
1676 sal.pc = pc;
1677 #else
1678 /* Check if SKIP_PROLOGUE left us in mid-line, and the next
1679 line is still part of the same function. */
1680 if (sal.pc != pc
1681 && BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= sal.end
1682 && sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
1683 {
1684 /* First pc of next line */
1685 pc = sal.end;
1686 /* Recalculate the line number (might not be N+1). */
1687 sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
1688 }
1689 sal.pc = pc;
1690 #endif
1691
1692 return sal;
1693 }
1694 \f
1695 /* If P is of the form "operator[ \t]+..." where `...' is
1696 some legitimate operator text, return a pointer to the
1697 beginning of the substring of the operator text.
1698 Otherwise, return "". */
1699 char *
1700 operator_chars (p, end)
1701 char *p;
1702 char **end;
1703 {
1704 *end = "";
1705 if (strncmp (p, "operator", 8))
1706 return *end;
1707 p += 8;
1708
1709 /* Don't get faked out by `operator' being part of a longer
1710 identifier. */
1711 if (isalpha(*p) || *p == '_' || *p == '$' || *p == '\0')
1712 return *end;
1713
1714 /* Allow some whitespace between `operator' and the operator symbol. */
1715 while (*p == ' ' || *p == '\t')
1716 p++;
1717
1718 /* Recognize 'operator TYPENAME'. */
1719
1720 if (isalpha(*p) || *p == '_' || *p == '$')
1721 {
1722 register char *q = p+1;
1723 while (isalnum(*q) || *q == '_' || *q == '$')
1724 q++;
1725 *end = q;
1726 return p;
1727 }
1728
1729 switch (*p)
1730 {
1731 case '!':
1732 case '=':
1733 case '*':
1734 case '/':
1735 case '%':
1736 case '^':
1737 if (p[1] == '=')
1738 *end = p+2;
1739 else
1740 *end = p+1;
1741 return p;
1742 case '<':
1743 case '>':
1744 case '+':
1745 case '-':
1746 case '&':
1747 case '|':
1748 if (p[1] == '=' || p[1] == p[0])
1749 *end = p+2;
1750 else
1751 *end = p+1;
1752 return p;
1753 case '~':
1754 case ',':
1755 *end = p+1;
1756 return p;
1757 case '(':
1758 if (p[1] != ')')
1759 error ("`operator ()' must be specified without whitespace in `()'");
1760 *end = p+2;
1761 return p;
1762 case '?':
1763 if (p[1] != ':')
1764 error ("`operator ?:' must be specified without whitespace in `?:'");
1765 *end = p+2;
1766 return p;
1767 case '[':
1768 if (p[1] != ']')
1769 error ("`operator []' must be specified without whitespace in `[]'");
1770 *end = p+2;
1771 return p;
1772 default:
1773 error ("`operator %s' not supported", p);
1774 break;
1775 }
1776 *end = "";
1777 return *end;
1778 }
1779
1780 /* Return the number of methods described for TYPE, including the
1781 methods from types it derives from. This can't be done in the symbol
1782 reader because the type of the baseclass might still be stubbed
1783 when the definition of the derived class is parsed. */
1784
1785 static int total_number_of_methods PARAMS ((struct type *type));
1786
1787 static int
1788 total_number_of_methods (type)
1789 struct type *type;
1790 {
1791 int n;
1792 int count;
1793
1794 CHECK_TYPEDEF (type);
1795 if (TYPE_CPLUS_SPECIFIC (type) == NULL)
1796 return 0;
1797 count = TYPE_NFN_FIELDS_TOTAL (type);
1798
1799 for (n = 0; n < TYPE_N_BASECLASSES (type); n++)
1800 count += total_number_of_methods (TYPE_BASECLASS (type, n));
1801
1802 return count;
1803 }
1804
1805 /* Recursive helper function for decode_line_1.
1806 Look for methods named NAME in type T.
1807 Return number of matches.
1808 Put matches in SYM_ARR, which should have been allocated with
1809 a size of total_number_of_methods (T) * sizeof (struct symbol *).
1810 Note that this function is g++ specific. */
1811
1812 int
1813 find_methods (t, name, sym_arr)
1814 struct type *t;
1815 char *name;
1816 struct symbol **sym_arr;
1817 {
1818 int i1 = 0;
1819 int ibase;
1820 struct symbol *sym_class;
1821 char *class_name = type_name_no_tag (t);
1822 /* Ignore this class if it doesn't have a name. This is ugly, but
1823 unless we figure out how to get the physname without the name of
1824 the class, then the loop can't do any good. */
1825 if (class_name
1826 && (sym_class = lookup_symbol (class_name,
1827 (struct block *)NULL,
1828 STRUCT_NAMESPACE,
1829 (int *)NULL,
1830 (struct symtab **)NULL)))
1831 {
1832 int method_counter;
1833 /* FIXME: Shouldn't this just be CHECK_TYPEDEF (t)? */
1834 t = SYMBOL_TYPE (sym_class);
1835 for (method_counter = TYPE_NFN_FIELDS (t) - 1;
1836 method_counter >= 0;
1837 --method_counter)
1838 {
1839 int field_counter;
1840 struct fn_field *f = TYPE_FN_FIELDLIST1 (t, method_counter);
1841 char *method_name = TYPE_FN_FIELDLIST_NAME (t, method_counter);
1842 char dem_opname[64];
1843
1844 if (strncmp(method_name, "__", 2)==0 ||
1845 strncmp(method_name, "op", 2)==0 ||
1846 strncmp(method_name, "type", 4)==0 )
1847 {
1848 if (cplus_demangle_opname(method_name, dem_opname, DMGL_ANSI))
1849 method_name = dem_opname;
1850 else if (cplus_demangle_opname(method_name, dem_opname, 0))
1851 method_name = dem_opname;
1852 }
1853 if (STREQ (name, method_name))
1854 /* Find all the fields with that name. */
1855 for (field_counter = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
1856 field_counter >= 0;
1857 --field_counter)
1858 {
1859 char *phys_name;
1860 if (TYPE_FN_FIELD_STUB (f, field_counter))
1861 check_stub_method (t, method_counter, field_counter);
1862 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
1863 /* Destructor is handled by caller, dont add it to the list */
1864 if (DESTRUCTOR_PREFIX_P (phys_name))
1865 continue;
1866
1867 sym_arr[i1] = lookup_symbol (phys_name,
1868 NULL, VAR_NAMESPACE,
1869 (int *) NULL,
1870 (struct symtab **) NULL);
1871 if (sym_arr[i1])
1872 i1++;
1873 else
1874 {
1875 fputs_filtered("(Cannot find method ", gdb_stdout);
1876 fprintf_symbol_filtered (gdb_stdout, phys_name,
1877 language_cplus,
1878 DMGL_PARAMS | DMGL_ANSI);
1879 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
1880 }
1881 }
1882 }
1883 }
1884
1885 /* Only search baseclasses if there is no match yet, since names in
1886 derived classes override those in baseclasses.
1887
1888 FIXME: The above is not true; it is only true of member functions
1889 if they have the same number of arguments (??? - section 13.1 of the
1890 ARM says the function members are not in the same scope but doesn't
1891 really spell out the rules in a way I understand. In any case, if
1892 the number of arguments differ this is a case in which we can overload
1893 rather than hiding without any problem, and gcc 2.4.5 does overload
1894 rather than hiding in this case). */
1895
1896 if (i1)
1897 return i1;
1898 for (ibase = 0; ibase < TYPE_N_BASECLASSES (t); ibase++)
1899 i1 += find_methods(TYPE_BASECLASS(t, ibase), name,
1900 sym_arr + i1);
1901 return i1;
1902 }
1903
1904 /* Helper function for decode_line_1.
1905 Build a canonical line spec in CANONICAL if it is non-NULL and if
1906 the SAL has a symtab.
1907 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
1908 If SYMNAME is NULL the line number from SAL is used and the canonical
1909 line spec is `filename:linenum'. */
1910
1911 static void
1912 build_canonical_line_spec (sal, symname, canonical)
1913 struct symtab_and_line *sal;
1914 char *symname;
1915 char ***canonical;
1916 {
1917 char **canonical_arr;
1918 char *canonical_name;
1919 char *filename;
1920 struct symtab *s = sal->symtab;
1921
1922 if (s == (struct symtab *)NULL
1923 || s->filename == (char *)NULL
1924 || canonical == (char ***)NULL)
1925 return;
1926
1927 canonical_arr = (char **) xmalloc (sizeof (char *));
1928 *canonical = canonical_arr;
1929
1930 filename = s->filename;
1931 if (symname != NULL)
1932 {
1933 canonical_name = xmalloc (strlen (filename) + strlen (symname) + 2);
1934 sprintf (canonical_name, "%s:%s", filename, symname);
1935 }
1936 else
1937 {
1938 canonical_name = xmalloc (strlen (filename) + 30);
1939 sprintf (canonical_name, "%s:%d", filename, sal->line);
1940 }
1941 canonical_arr[0] = canonical_name;
1942 }
1943
1944 /* Parse a string that specifies a line number.
1945 Pass the address of a char * variable; that variable will be
1946 advanced over the characters actually parsed.
1947
1948 The string can be:
1949
1950 LINENUM -- that line number in current file. PC returned is 0.
1951 FILE:LINENUM -- that line in that file. PC returned is 0.
1952 FUNCTION -- line number of openbrace of that function.
1953 PC returned is the start of the function.
1954 VARIABLE -- line number of definition of that variable.
1955 PC returned is 0.
1956 FILE:FUNCTION -- likewise, but prefer functions in that file.
1957 *EXPR -- line in which address EXPR appears.
1958
1959 FUNCTION may be an undebuggable function found in minimal symbol table.
1960
1961 If the argument FUNFIRSTLINE is nonzero, we want the first line
1962 of real code inside a function when a function is specified, and it is
1963 not OK to specify a variable or type to get its line number.
1964
1965 DEFAULT_SYMTAB specifies the file to use if none is specified.
1966 It defaults to current_source_symtab.
1967 DEFAULT_LINE specifies the line number to use for relative
1968 line numbers (that start with signs). Defaults to current_source_line.
1969 If CANONICAL is non-NULL, store an array of strings containing the canonical
1970 line specs there if necessary. Currently overloaded member functions and
1971 line numbers or static functions without a filename yield a canonical
1972 line spec. The array and the line spec strings are allocated on the heap,
1973 it is the callers responsibility to free them.
1974
1975 Note that it is possible to return zero for the symtab
1976 if no file is validly specified. Callers must check that.
1977 Also, the line number returned may be invalid. */
1978
1979 /* We allow single quotes in various places. This is a hideous
1980 kludge, which exists because the completer can't yet deal with the
1981 lack of single quotes. FIXME: write a linespec_completer which we
1982 can use as appropriate instead of make_symbol_completion_list. */
1983
1984 struct symtabs_and_lines
1985 decode_line_1 (argptr, funfirstline, default_symtab, default_line, canonical)
1986 char **argptr;
1987 int funfirstline;
1988 struct symtab *default_symtab;
1989 int default_line;
1990 char ***canonical;
1991 {
1992 struct symtabs_and_lines values;
1993 #ifdef HPPA_COMPILER_BUG
1994 /* FIXME: The native HP 9000/700 compiler has a bug which appears
1995 when optimizing this file with target i960-vxworks. I haven't
1996 been able to construct a simple test case. The problem is that
1997 in the second call to SKIP_PROLOGUE below, the compiler somehow
1998 does not realize that the statement val = find_pc_line (...) will
1999 change the values of the fields of val. It extracts the elements
2000 into registers at the top of the block, and does not update the
2001 registers after the call to find_pc_line. You can check this by
2002 inserting a printf at the end of find_pc_line to show what values
2003 it is returning for val.pc and val.end and another printf after
2004 the call to see what values the function actually got (remember,
2005 this is compiling with cc -O, with this patch removed). You can
2006 also examine the assembly listing: search for the second call to
2007 skip_prologue; the LDO statement before the next call to
2008 find_pc_line loads the address of the structure which
2009 find_pc_line will return; if there is a LDW just before the LDO,
2010 which fetches an element of the structure, then the compiler
2011 still has the bug.
2012
2013 Setting val to volatile avoids the problem. We must undef
2014 volatile, because the HPPA native compiler does not define
2015 __STDC__, although it does understand volatile, and so volatile
2016 will have been defined away in defs.h. */
2017 #undef volatile
2018 volatile struct symtab_and_line val;
2019 #define volatile /*nothing*/
2020 #else
2021 struct symtab_and_line val;
2022 #endif
2023 register char *p, *p1;
2024 char *q, *pp;
2025 #if 0
2026 char *q1;
2027 #endif
2028 register struct symtab *s;
2029
2030 register struct symbol *sym;
2031 /* The symtab that SYM was found in. */
2032 struct symtab *sym_symtab;
2033
2034 register CORE_ADDR pc;
2035 register struct minimal_symbol *msymbol;
2036 char *copy;
2037 struct symbol *sym_class;
2038 int i1;
2039 int is_quoted, has_parens;
2040 struct symbol **sym_arr;
2041 struct type *t;
2042 char *saved_arg = *argptr;
2043 extern char *gdb_completer_quote_characters;
2044
2045 INIT_SAL (&val); /* initialize to zeroes */
2046
2047 /* Defaults have defaults. */
2048
2049 if (default_symtab == 0)
2050 {
2051 default_symtab = current_source_symtab;
2052 default_line = current_source_line;
2053 }
2054
2055 /* See if arg is *PC */
2056
2057 if (**argptr == '*')
2058 {
2059 (*argptr)++;
2060 pc = parse_and_eval_address_1 (argptr);
2061 values.sals = (struct symtab_and_line *)
2062 xmalloc (sizeof (struct symtab_and_line));
2063 values.nelts = 1;
2064 values.sals[0] = find_pc_line (pc, 0);
2065 values.sals[0].pc = pc;
2066 return values;
2067 }
2068
2069 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION */
2070
2071 s = NULL;
2072 is_quoted = (**argptr
2073 && strchr (gdb_completer_quote_characters, **argptr) != NULL);
2074 has_parens = ((pp = strchr (*argptr, '(')) != NULL
2075 && (pp = strchr (pp, ')')) != NULL);
2076
2077 for (p = *argptr; *p; p++)
2078 {
2079 if (p[0] == '<')
2080 {
2081 while(++p && *p != '>');
2082 if (!p)
2083 {
2084 error ("non-matching '<' and '>' in command");
2085 }
2086 }
2087 if (p[0] == ':' || p[0] == ' ' || p[0] == '\t')
2088 break;
2089 }
2090 while (p[0] == ' ' || p[0] == '\t') p++;
2091
2092 if ((p[0] == ':') && !has_parens)
2093 {
2094
2095 /* C++ */
2096 if (is_quoted) *argptr = *argptr+1;
2097 if (p[1] ==':')
2098 {
2099 /* Extract the class name. */
2100 p1 = p;
2101 while (p != *argptr && p[-1] == ' ') --p;
2102 copy = (char *) alloca (p - *argptr + 1);
2103 memcpy (copy, *argptr, p - *argptr);
2104 copy[p - *argptr] = 0;
2105
2106 /* Discard the class name from the arg. */
2107 p = p1 + 2;
2108 while (*p == ' ' || *p == '\t') p++;
2109 *argptr = p;
2110
2111 sym_class = lookup_symbol (copy, 0, STRUCT_NAMESPACE, 0,
2112 (struct symtab **)NULL);
2113
2114 if (sym_class &&
2115 (t = check_typedef (SYMBOL_TYPE (sym_class)),
2116 (TYPE_CODE (t) == TYPE_CODE_STRUCT
2117 || TYPE_CODE (t) == TYPE_CODE_UNION)))
2118 {
2119 /* Arg token is not digits => try it as a function name
2120 Find the next token(everything up to end or next blank). */
2121 if (**argptr
2122 && strchr (gdb_completer_quote_characters, **argptr) != NULL)
2123 {
2124 p = skip_quoted(*argptr);
2125 *argptr = *argptr + 1;
2126 }
2127 else
2128 {
2129 p = *argptr;
2130 while (*p && *p!=' ' && *p!='\t' && *p!=',' && *p!=':') p++;
2131 }
2132 /*
2133 q = operator_chars (*argptr, &q1);
2134 if (q1 - q)
2135 {
2136 char *opname;
2137 char *tmp = alloca (q1 - q + 1);
2138 memcpy (tmp, q, q1 - q);
2139 tmp[q1 - q] = '\0';
2140 opname = cplus_mangle_opname (tmp, DMGL_ANSI);
2141 if (opname == NULL)
2142 {
2143 error_begin ();
2144 printf_filtered ("no mangling for \"%s\"\n", tmp);
2145 cplusplus_hint (saved_arg);
2146 return_to_top_level (RETURN_ERROR);
2147 }
2148 copy = (char*) alloca (3 + strlen(opname));
2149 sprintf (copy, "__%s", opname);
2150 p = q1;
2151 }
2152 else
2153 */
2154 {
2155 copy = (char *) alloca (p - *argptr + 1 );
2156 memcpy (copy, *argptr, p - *argptr);
2157 copy[p - *argptr] = '\0';
2158 if (p != *argptr
2159 && copy[p - *argptr - 1]
2160 && strchr (gdb_completer_quote_characters,
2161 copy[p - *argptr - 1]) != NULL)
2162 copy[p - *argptr - 1] = '\0';
2163 }
2164
2165 /* no line number may be specified */
2166 while (*p == ' ' || *p == '\t') p++;
2167 *argptr = p;
2168
2169 sym = 0;
2170 i1 = 0; /* counter for the symbol array */
2171 sym_arr = (struct symbol **) alloca(total_number_of_methods (t)
2172 * sizeof(struct symbol *));
2173
2174 if (destructor_name_p (copy, t))
2175 {
2176 /* Destructors are a special case. */
2177 int m_index, f_index;
2178
2179 if (get_destructor_fn_field (t, &m_index, &f_index))
2180 {
2181 struct fn_field *f = TYPE_FN_FIELDLIST1 (t, m_index);
2182
2183 sym_arr[i1] =
2184 lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f, f_index),
2185 NULL, VAR_NAMESPACE, (int *) NULL,
2186 (struct symtab **)NULL);
2187 if (sym_arr[i1])
2188 i1++;
2189 }
2190 }
2191 else
2192 i1 = find_methods (t, copy, sym_arr);
2193 if (i1 == 1)
2194 {
2195 /* There is exactly one field with that name. */
2196 sym = sym_arr[0];
2197
2198 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
2199 {
2200 values.sals = (struct symtab_and_line *)
2201 xmalloc (sizeof (struct symtab_and_line));
2202 values.nelts = 1;
2203 values.sals[0] = find_function_start_sal (sym,
2204 funfirstline);
2205 }
2206 else
2207 {
2208 values.nelts = 0;
2209 }
2210 return values;
2211 }
2212 if (i1 > 0)
2213 {
2214 /* There is more than one field with that name
2215 (overloaded). Ask the user which one to use. */
2216 return decode_line_2 (sym_arr, i1, funfirstline, canonical);
2217 }
2218 else
2219 {
2220 char *tmp;
2221
2222 if (OPNAME_PREFIX_P (copy))
2223 {
2224 tmp = (char *)alloca (strlen (copy+3) + 9);
2225 strcpy (tmp, "operator ");
2226 strcat (tmp, copy+3);
2227 }
2228 else
2229 tmp = copy;
2230 error_begin ();
2231 if (tmp[0] == '~')
2232 printf_filtered
2233 ("the class `%s' does not have destructor defined\n",
2234 SYMBOL_SOURCE_NAME(sym_class));
2235 else
2236 printf_filtered
2237 ("the class %s does not have any method named %s\n",
2238 SYMBOL_SOURCE_NAME(sym_class), tmp);
2239 cplusplus_hint (saved_arg);
2240 return_to_top_level (RETURN_ERROR);
2241 }
2242 }
2243 else
2244 {
2245 error_begin ();
2246 /* The quotes are important if copy is empty. */
2247 printf_filtered
2248 ("can't find class, struct, or union named \"%s\"\n", copy);
2249 cplusplus_hint (saved_arg);
2250 return_to_top_level (RETURN_ERROR);
2251 }
2252 }
2253 /* end of C++ */
2254
2255
2256 /* Extract the file name. */
2257 p1 = p;
2258 while (p != *argptr && p[-1] == ' ') --p;
2259 copy = (char *) alloca (p - *argptr + 1);
2260 memcpy (copy, *argptr, p - *argptr);
2261 copy[p - *argptr] = 0;
2262
2263 /* Find that file's data. */
2264 s = lookup_symtab (copy);
2265 if (s == 0)
2266 {
2267 if (!have_full_symbols () && !have_partial_symbols ())
2268 error (no_symtab_msg);
2269 error ("No source file named %s.", copy);
2270 }
2271
2272 /* Discard the file name from the arg. */
2273 p = p1 + 1;
2274 while (*p == ' ' || *p == '\t') p++;
2275 *argptr = p;
2276 }
2277
2278 /* S is specified file's symtab, or 0 if no file specified.
2279 arg no longer contains the file name. */
2280
2281 /* Check whether arg is all digits (and sign) */
2282
2283 q = *argptr;
2284 if (*q == '-' || *q == '+') q++;
2285 while (*q >= '0' && *q <= '9')
2286 q++;
2287
2288 if (q != *argptr && (*q == 0 || *q == ' ' || *q == '\t' || *q == ','))
2289 {
2290 /* We found a token consisting of all digits -- at least one digit. */
2291 enum sign {none, plus, minus} sign = none;
2292
2293 /* We might need a canonical line spec if no file was specified. */
2294 int need_canonical = (s == 0) ? 1 : 0;
2295
2296 /* This is where we need to make sure that we have good defaults.
2297 We must guarantee that this section of code is never executed
2298 when we are called with just a function name, since
2299 select_source_symtab calls us with such an argument */
2300
2301 if (s == 0 && default_symtab == 0)
2302 {
2303 select_source_symtab (0);
2304 default_symtab = current_source_symtab;
2305 default_line = current_source_line;
2306 }
2307
2308 if (**argptr == '+')
2309 sign = plus, (*argptr)++;
2310 else if (**argptr == '-')
2311 sign = minus, (*argptr)++;
2312 val.line = atoi (*argptr);
2313 switch (sign)
2314 {
2315 case plus:
2316 if (q == *argptr)
2317 val.line = 5;
2318 if (s == 0)
2319 val.line = default_line + val.line;
2320 break;
2321 case minus:
2322 if (q == *argptr)
2323 val.line = 15;
2324 if (s == 0)
2325 val.line = default_line - val.line;
2326 else
2327 val.line = 1;
2328 break;
2329 case none:
2330 break; /* No need to adjust val.line. */
2331 }
2332
2333 while (*q == ' ' || *q == '\t') q++;
2334 *argptr = q;
2335 if (s == 0)
2336 s = default_symtab;
2337 val.symtab = s;
2338 val.pc = 0;
2339 values.sals = (struct symtab_and_line *)
2340 xmalloc (sizeof (struct symtab_and_line));
2341 values.sals[0] = val;
2342 values.nelts = 1;
2343 if (need_canonical)
2344 build_canonical_line_spec (values.sals, NULL, canonical);
2345 return values;
2346 }
2347
2348 /* Arg token is not digits => try it as a variable name
2349 Find the next token (everything up to end or next whitespace). */
2350
2351 if (**argptr == '$') /* Convenience variable */
2352 p = skip_quoted (*argptr + 1);
2353 else if (is_quoted)
2354 {
2355 p = skip_quoted (*argptr);
2356 if (p[-1] != '\'')
2357 error ("Unmatched single quote.");
2358 }
2359 else if (has_parens)
2360 {
2361 p = pp+1;
2362 }
2363 else
2364 {
2365 p = skip_quoted(*argptr);
2366 }
2367
2368 copy = (char *) alloca (p - *argptr + 1);
2369 memcpy (copy, *argptr, p - *argptr);
2370 copy[p - *argptr] = '\0';
2371 if (p != *argptr
2372 && copy[0]
2373 && copy[0] == copy [p - *argptr - 1]
2374 && strchr (gdb_completer_quote_characters, copy[0]) != NULL)
2375 {
2376 copy [p - *argptr - 1] = '\0';
2377 copy++;
2378 }
2379 while (*p == ' ' || *p == '\t') p++;
2380 *argptr = p;
2381
2382 /* See if it's a convenience variable */
2383
2384 if (*copy == '$')
2385 {
2386 value_ptr valx;
2387 int need_canonical = (s == 0) ? 1 : 0;
2388
2389 valx = value_of_internalvar (lookup_internalvar (copy + 1));
2390 if (TYPE_CODE (VALUE_TYPE (valx)) != TYPE_CODE_INT)
2391 error ("Convenience variables used in line specs must have integer values.");
2392
2393 val.symtab = s ? s : default_symtab;
2394 val.line = value_as_long (valx);
2395 val.pc = 0;
2396
2397 values.sals = (struct symtab_and_line *)xmalloc (sizeof val);
2398 values.sals[0] = val;
2399 values.nelts = 1;
2400
2401 if (need_canonical)
2402 build_canonical_line_spec (values.sals, NULL, canonical);
2403
2404 return values;
2405 }
2406
2407
2408 /* Look up that token as a variable.
2409 If file specified, use that file's per-file block to start with. */
2410
2411 sym = lookup_symbol (copy,
2412 (s ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)
2413 : get_selected_block ()),
2414 VAR_NAMESPACE, 0, &sym_symtab);
2415
2416 if (sym != NULL)
2417 {
2418 if (SYMBOL_CLASS (sym) == LOC_BLOCK)
2419 {
2420 /* Arg is the name of a function */
2421 values.sals = (struct symtab_and_line *)
2422 xmalloc (sizeof (struct symtab_and_line));
2423 values.sals[0] = find_function_start_sal (sym, funfirstline);
2424 values.nelts = 1;
2425
2426 /* Don't use the SYMBOL_LINE; if used at all it points to
2427 the line containing the parameters or thereabouts, not
2428 the first line of code. */
2429
2430 /* We might need a canonical line spec if it is a static
2431 function. */
2432 if (s == 0)
2433 {
2434 struct blockvector *bv = BLOCKVECTOR (sym_symtab);
2435 struct block *b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
2436 if (lookup_block_symbol (b, copy, VAR_NAMESPACE) != NULL)
2437 build_canonical_line_spec (values.sals, copy, canonical);
2438 }
2439 return values;
2440 }
2441 else
2442 {
2443 if (funfirstline)
2444 error ("\"%s\" is not a function", copy);
2445 else if (SYMBOL_LINE (sym) != 0)
2446 {
2447 /* We know its line number. */
2448 values.sals = (struct symtab_and_line *)
2449 xmalloc (sizeof (struct symtab_and_line));
2450 values.nelts = 1;
2451 memset (&values.sals[0], 0, sizeof (values.sals[0]));
2452 values.sals[0].symtab = sym_symtab;
2453 values.sals[0].line = SYMBOL_LINE (sym);
2454 return values;
2455 }
2456 else
2457 /* This can happen if it is compiled with a compiler which doesn't
2458 put out line numbers for variables. */
2459 /* FIXME: Shouldn't we just set .line and .symtab to zero
2460 and return? For example, "info line foo" could print
2461 the address. */
2462 error ("Line number not known for symbol \"%s\"", copy);
2463 }
2464 }
2465
2466 msymbol = lookup_minimal_symbol (copy, NULL, NULL);
2467 if (msymbol != NULL)
2468 {
2469 val.pc = SYMBOL_VALUE_ADDRESS (msymbol);
2470 val.section = SYMBOL_BFD_SECTION (msymbol);
2471 if (funfirstline)
2472 {
2473 val.pc += FUNCTION_START_OFFSET;
2474 SKIP_PROLOGUE (val.pc);
2475 }
2476 values.sals = (struct symtab_and_line *)
2477 xmalloc (sizeof (struct symtab_and_line));
2478 values.sals[0] = val;
2479 values.nelts = 1;
2480 return values;
2481 }
2482
2483 if (!have_full_symbols () &&
2484 !have_partial_symbols () && !have_minimal_symbols ())
2485 error (no_symtab_msg);
2486
2487 error ("Function \"%s\" not defined.", copy);
2488 return values; /* for lint */
2489 }
2490
2491 struct symtabs_and_lines
2492 decode_line_spec (string, funfirstline)
2493 char *string;
2494 int funfirstline;
2495 {
2496 struct symtabs_and_lines sals;
2497 if (string == 0)
2498 error ("Empty line specification.");
2499 sals = decode_line_1 (&string, funfirstline,
2500 current_source_symtab, current_source_line,
2501 (char ***)NULL);
2502 if (*string)
2503 error ("Junk at end of line specification: %s", string);
2504 return sals;
2505 }
2506
2507 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
2508 operate on (ask user if necessary).
2509 If CANONICAL is non-NULL return a corresponding array of mangled names
2510 as canonical line specs there. */
2511
2512 static struct symtabs_and_lines
2513 decode_line_2 (sym_arr, nelts, funfirstline, canonical)
2514 struct symbol *sym_arr[];
2515 int nelts;
2516 int funfirstline;
2517 char ***canonical;
2518 {
2519 struct symtabs_and_lines values, return_values;
2520 char *args, *arg1;
2521 int i;
2522 char *prompt;
2523 char *symname;
2524 struct cleanup *old_chain;
2525 char **canonical_arr = (char **)NULL;
2526
2527 values.sals = (struct symtab_and_line *)
2528 alloca (nelts * sizeof(struct symtab_and_line));
2529 return_values.sals = (struct symtab_and_line *)
2530 xmalloc (nelts * sizeof(struct symtab_and_line));
2531 old_chain = make_cleanup (free, return_values.sals);
2532
2533 if (canonical)
2534 {
2535 canonical_arr = (char **) xmalloc (nelts * sizeof (char *));
2536 make_cleanup (free, canonical_arr);
2537 memset (canonical_arr, 0, nelts * sizeof (char *));
2538 *canonical = canonical_arr;
2539 }
2540
2541 i = 0;
2542 printf_unfiltered("[0] cancel\n[1] all\n");
2543 while (i < nelts)
2544 {
2545 INIT_SAL (&return_values.sals[i]); /* initialize to zeroes */
2546 INIT_SAL (&values.sals[i]);
2547 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
2548 {
2549 values.sals[i] = find_function_start_sal (sym_arr[i], funfirstline);
2550 printf_unfiltered ("[%d] %s at %s:%d\n",
2551 (i+2),
2552 SYMBOL_SOURCE_NAME (sym_arr[i]),
2553 values.sals[i].symtab->filename,
2554 values.sals[i].line);
2555 }
2556 else
2557 printf_unfiltered ("?HERE\n");
2558 i++;
2559 }
2560
2561 if ((prompt = getenv ("PS2")) == NULL)
2562 {
2563 prompt = ">";
2564 }
2565 printf_unfiltered("%s ",prompt);
2566 gdb_flush(gdb_stdout);
2567
2568 args = command_line_input ((char *) NULL, 0, "overload-choice");
2569
2570 if (args == 0 || *args == 0)
2571 error_no_arg ("one or more choice numbers");
2572
2573 i = 0;
2574 while (*args)
2575 {
2576 int num;
2577
2578 arg1 = args;
2579 while (*arg1 >= '0' && *arg1 <= '9') arg1++;
2580 if (*arg1 && *arg1 != ' ' && *arg1 != '\t')
2581 error ("Arguments must be choice numbers.");
2582
2583 num = atoi (args);
2584
2585 if (num == 0)
2586 error ("cancelled");
2587 else if (num == 1)
2588 {
2589 if (canonical_arr)
2590 {
2591 for (i = 0; i < nelts; i++)
2592 {
2593 if (canonical_arr[i] == NULL)
2594 {
2595 symname = SYMBOL_NAME (sym_arr[i]);
2596 canonical_arr[i] = savestring (symname, strlen (symname));
2597 }
2598 }
2599 }
2600 memcpy (return_values.sals, values.sals,
2601 (nelts * sizeof(struct symtab_and_line)));
2602 return_values.nelts = nelts;
2603 discard_cleanups (old_chain);
2604 return return_values;
2605 }
2606
2607 if (num >= nelts + 2)
2608 {
2609 printf_unfiltered ("No choice number %d.\n", num);
2610 }
2611 else
2612 {
2613 num -= 2;
2614 if (values.sals[num].pc)
2615 {
2616 if (canonical_arr)
2617 {
2618 symname = SYMBOL_NAME (sym_arr[num]);
2619 make_cleanup (free, symname);
2620 canonical_arr[i] = savestring (symname, strlen (symname));
2621 }
2622 return_values.sals[i++] = values.sals[num];
2623 values.sals[num].pc = 0;
2624 }
2625 else
2626 {
2627 printf_unfiltered ("duplicate request for %d ignored.\n", num);
2628 }
2629 }
2630
2631 args = arg1;
2632 while (*args == ' ' || *args == '\t') args++;
2633 }
2634 return_values.nelts = i;
2635 discard_cleanups (old_chain);
2636 return return_values;
2637 }
2638
2639 \f
2640 /* Slave routine for sources_info. Force line breaks at ,'s.
2641 NAME is the name to print and *FIRST is nonzero if this is the first
2642 name printed. Set *FIRST to zero. */
2643 static void
2644 output_source_filename (name, first)
2645 char *name;
2646 int *first;
2647 {
2648 /* Table of files printed so far. Since a single source file can
2649 result in several partial symbol tables, we need to avoid printing
2650 it more than once. Note: if some of the psymtabs are read in and
2651 some are not, it gets printed both under "Source files for which
2652 symbols have been read" and "Source files for which symbols will
2653 be read in on demand". I consider this a reasonable way to deal
2654 with the situation. I'm not sure whether this can also happen for
2655 symtabs; it doesn't hurt to check. */
2656 static char **tab = NULL;
2657 /* Allocated size of tab in elements.
2658 Start with one 256-byte block (when using GNU malloc.c).
2659 24 is the malloc overhead when range checking is in effect. */
2660 static int tab_alloc_size = (256 - 24) / sizeof (char *);
2661 /* Current size of tab in elements. */
2662 static int tab_cur_size;
2663
2664 char **p;
2665
2666 if (*first)
2667 {
2668 if (tab == NULL)
2669 tab = (char **) xmalloc (tab_alloc_size * sizeof (*tab));
2670 tab_cur_size = 0;
2671 }
2672
2673 /* Is NAME in tab? */
2674 for (p = tab; p < tab + tab_cur_size; p++)
2675 if (STREQ (*p, name))
2676 /* Yes; don't print it again. */
2677 return;
2678 /* No; add it to tab. */
2679 if (tab_cur_size == tab_alloc_size)
2680 {
2681 tab_alloc_size *= 2;
2682 tab = (char **) xrealloc ((char *) tab, tab_alloc_size * sizeof (*tab));
2683 }
2684 tab[tab_cur_size++] = name;
2685
2686 if (*first)
2687 {
2688 *first = 0;
2689 }
2690 else
2691 {
2692 printf_filtered (", ");
2693 }
2694
2695 wrap_here ("");
2696 fputs_filtered (name, gdb_stdout);
2697 }
2698
2699 static void
2700 sources_info (ignore, from_tty)
2701 char *ignore;
2702 int from_tty;
2703 {
2704 register struct symtab *s;
2705 register struct partial_symtab *ps;
2706 register struct objfile *objfile;
2707 int first;
2708
2709 if (!have_full_symbols () && !have_partial_symbols ())
2710 {
2711 error (no_symtab_msg);
2712 }
2713
2714 printf_filtered ("Source files for which symbols have been read in:\n\n");
2715
2716 first = 1;
2717 ALL_SYMTABS (objfile, s)
2718 {
2719 output_source_filename (s -> filename, &first);
2720 }
2721 printf_filtered ("\n\n");
2722
2723 printf_filtered ("Source files for which symbols will be read in on demand:\n\n");
2724
2725 first = 1;
2726 ALL_PSYMTABS (objfile, ps)
2727 {
2728 if (!ps->readin)
2729 {
2730 output_source_filename (ps -> filename, &first);
2731 }
2732 }
2733 printf_filtered ("\n");
2734 }
2735
2736 /* List all symbols (if REGEXP is NULL) or all symbols matching REGEXP.
2737 If CLASS is zero, list all symbols except functions, type names, and
2738 constants (enums).
2739 If CLASS is 1, list only functions.
2740 If CLASS is 2, list only type names.
2741 If CLASS is 3, list only method names.
2742
2743 BPT is non-zero if we should set a breakpoint at the functions
2744 we find. */
2745
2746 static void
2747 list_symbols (regexp, class, bpt, from_tty)
2748 char *regexp;
2749 int class;
2750 int bpt;
2751 int from_tty;
2752 {
2753 register struct symtab *s;
2754 register struct partial_symtab *ps;
2755 register struct blockvector *bv;
2756 struct blockvector *prev_bv = 0;
2757 register struct block *b;
2758 register int i, j;
2759 register struct symbol *sym;
2760 struct partial_symbol **psym;
2761 struct objfile *objfile;
2762 struct minimal_symbol *msymbol;
2763 char *val;
2764 static char *classnames[]
2765 = {"variable", "function", "type", "method"};
2766 int found_in_file = 0;
2767 int found_misc = 0;
2768 static enum minimal_symbol_type types[]
2769 = {mst_data, mst_text, mst_abs, mst_unknown};
2770 static enum minimal_symbol_type types2[]
2771 = {mst_bss, mst_file_text, mst_abs, mst_unknown};
2772 static enum minimal_symbol_type types3[]
2773 = {mst_file_data, mst_solib_trampoline, mst_abs, mst_unknown};
2774 static enum minimal_symbol_type types4[]
2775 = {mst_file_bss, mst_text, mst_abs, mst_unknown};
2776 enum minimal_symbol_type ourtype = types[class];
2777 enum minimal_symbol_type ourtype2 = types2[class];
2778 enum minimal_symbol_type ourtype3 = types3[class];
2779 enum minimal_symbol_type ourtype4 = types4[class];
2780
2781 if (regexp != NULL)
2782 {
2783 /* Make sure spacing is right for C++ operators.
2784 This is just a courtesy to make the matching less sensitive
2785 to how many spaces the user leaves between 'operator'
2786 and <TYPENAME> or <OPERATOR>. */
2787 char *opend;
2788 char *opname = operator_chars (regexp, &opend);
2789 if (*opname)
2790 {
2791 int fix = -1; /* -1 means ok; otherwise number of spaces needed. */
2792 if (isalpha(*opname) || *opname == '_' || *opname == '$')
2793 {
2794 /* There should 1 space between 'operator' and 'TYPENAME'. */
2795 if (opname[-1] != ' ' || opname[-2] == ' ')
2796 fix = 1;
2797 }
2798 else
2799 {
2800 /* There should 0 spaces between 'operator' and 'OPERATOR'. */
2801 if (opname[-1] == ' ')
2802 fix = 0;
2803 }
2804 /* If wrong number of spaces, fix it. */
2805 if (fix >= 0)
2806 {
2807 char *tmp = (char*) alloca(opend-opname+10);
2808 sprintf(tmp, "operator%.*s%s", fix, " ", opname);
2809 regexp = tmp;
2810 }
2811 }
2812
2813 if (0 != (val = re_comp (regexp)))
2814 error ("Invalid regexp (%s): %s", val, regexp);
2815 }
2816
2817 /* Search through the partial symtabs *first* for all symbols
2818 matching the regexp. That way we don't have to reproduce all of
2819 the machinery below. */
2820
2821 ALL_PSYMTABS (objfile, ps)
2822 {
2823 struct partial_symbol **bound, **gbound, **sbound;
2824 int keep_going = 1;
2825
2826 if (ps->readin) continue;
2827
2828 gbound = objfile->global_psymbols.list + ps->globals_offset + ps->n_global_syms;
2829 sbound = objfile->static_psymbols.list + ps->statics_offset + ps->n_static_syms;
2830 bound = gbound;
2831
2832 /* Go through all of the symbols stored in a partial
2833 symtab in one loop. */
2834 psym = objfile->global_psymbols.list + ps->globals_offset;
2835 while (keep_going)
2836 {
2837 if (psym >= bound)
2838 {
2839 if (bound == gbound && ps->n_static_syms != 0)
2840 {
2841 psym = objfile->static_psymbols.list + ps->statics_offset;
2842 bound = sbound;
2843 }
2844 else
2845 keep_going = 0;
2846 continue;
2847 }
2848 else
2849 {
2850 QUIT;
2851
2852 /* If it would match (logic taken from loop below)
2853 load the file and go on to the next one */
2854 if ((regexp == NULL || SYMBOL_MATCHES_REGEXP (*psym))
2855 && ((class == 0 && SYMBOL_CLASS (*psym) != LOC_TYPEDEF
2856 && SYMBOL_CLASS (*psym) != LOC_BLOCK)
2857 || (class == 1 && SYMBOL_CLASS (*psym) == LOC_BLOCK)
2858 || (class == 2 && SYMBOL_CLASS (*psym) == LOC_TYPEDEF)
2859 || (class == 3 && SYMBOL_CLASS (*psym) == LOC_BLOCK)))
2860 {
2861 PSYMTAB_TO_SYMTAB(ps);
2862 keep_going = 0;
2863 }
2864 }
2865 psym++;
2866 }
2867 }
2868
2869 /* Here, we search through the minimal symbol tables for functions
2870 and variables that match, and force their symbols to be read.
2871 This is in particular necessary for demangled variable names,
2872 which are no longer put into the partial symbol tables.
2873 The symbol will then be found during the scan of symtabs below.
2874
2875 For functions, find_pc_symtab should succeed if we have debug info
2876 for the function, for variables we have to call lookup_symbol
2877 to determine if the variable has debug info.
2878 If the lookup fails, set found_misc so that we will rescan to print
2879 any matching symbols without debug info.
2880 */
2881
2882 if (class == 0 || class == 1)
2883 {
2884 ALL_MSYMBOLS (objfile, msymbol)
2885 {
2886 if (MSYMBOL_TYPE (msymbol) == ourtype ||
2887 MSYMBOL_TYPE (msymbol) == ourtype2 ||
2888 MSYMBOL_TYPE (msymbol) == ourtype3 ||
2889 MSYMBOL_TYPE (msymbol) == ourtype4)
2890 {
2891 if (regexp == NULL || SYMBOL_MATCHES_REGEXP (msymbol))
2892 {
2893 if (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol)))
2894 {
2895 if (class == 1
2896 || lookup_symbol (SYMBOL_NAME (msymbol),
2897 (struct block *) NULL,
2898 VAR_NAMESPACE,
2899 0, (struct symtab **) NULL) == NULL)
2900 found_misc = 1;
2901 }
2902 }
2903 }
2904 }
2905 }
2906
2907 /* Printout here so as to get after the "Reading in symbols"
2908 messages which will be generated above. */
2909 if (!bpt)
2910 printf_filtered (regexp
2911 ? "All %ss matching regular expression \"%s\":\n"
2912 : "All defined %ss:\n",
2913 classnames[class],
2914 regexp);
2915
2916 ALL_SYMTABS (objfile, s)
2917 {
2918 found_in_file = 0;
2919 bv = BLOCKVECTOR (s);
2920 /* Often many files share a blockvector.
2921 Scan each blockvector only once so that
2922 we don't get every symbol many times.
2923 It happens that the first symtab in the list
2924 for any given blockvector is the main file. */
2925 if (bv != prev_bv)
2926 for (i = GLOBAL_BLOCK; i <= STATIC_BLOCK; i++)
2927 {
2928 b = BLOCKVECTOR_BLOCK (bv, i);
2929 /* Skip the sort if this block is always sorted. */
2930 if (!BLOCK_SHOULD_SORT (b))
2931 sort_block_syms (b);
2932 for (j = 0; j < BLOCK_NSYMS (b); j++)
2933 {
2934 QUIT;
2935 sym = BLOCK_SYM (b, j);
2936 if ((regexp == NULL || SYMBOL_MATCHES_REGEXP (sym))
2937 && ((class == 0 && SYMBOL_CLASS (sym) != LOC_TYPEDEF
2938 && SYMBOL_CLASS (sym) != LOC_BLOCK
2939 && SYMBOL_CLASS (sym) != LOC_CONST)
2940 || (class == 1 && SYMBOL_CLASS (sym) == LOC_BLOCK)
2941 || (class == 2 && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
2942 || (class == 3 && SYMBOL_CLASS (sym) == LOC_BLOCK)))
2943 {
2944 if (bpt)
2945 {
2946 /* Set a breakpoint here, if it's a function */
2947 if (class == 1)
2948 {
2949 /* There may be more than one function with the
2950 same name but in different files. In order to
2951 set breakpoints on all of them, we must give
2952 both the file name and the function name to
2953 break_command.
2954 Quoting the symbol name gets rid of problems
2955 with mangled symbol names that contain
2956 CPLUS_MARKER characters. */
2957 char *string =
2958 (char *) alloca (strlen (s->filename)
2959 + strlen (SYMBOL_NAME(sym))
2960 + 4);
2961 strcpy (string, s->filename);
2962 strcat (string, ":'");
2963 strcat (string, SYMBOL_NAME(sym));
2964 strcat (string, "'");
2965 break_command (string, from_tty);
2966 }
2967 }
2968 else if (!found_in_file)
2969 {
2970 fputs_filtered ("\nFile ", gdb_stdout);
2971 fputs_filtered (s->filename, gdb_stdout);
2972 fputs_filtered (":\n", gdb_stdout);
2973 }
2974 found_in_file = 1;
2975
2976 if (class != 2 && i == STATIC_BLOCK)
2977 printf_filtered ("static ");
2978
2979 /* Typedef that is not a C++ class */
2980 if (class == 2
2981 && SYMBOL_NAMESPACE (sym) != STRUCT_NAMESPACE)
2982 c_typedef_print (SYMBOL_TYPE(sym), sym, gdb_stdout);
2983 /* variable, func, or typedef-that-is-c++-class */
2984 else if (class < 2 ||
2985 (class == 2 &&
2986 SYMBOL_NAMESPACE(sym) == STRUCT_NAMESPACE))
2987 {
2988 type_print (SYMBOL_TYPE (sym),
2989 (SYMBOL_CLASS (sym) == LOC_TYPEDEF
2990 ? "" : SYMBOL_SOURCE_NAME (sym)),
2991 gdb_stdout, 0);
2992
2993 printf_filtered (";\n");
2994 }
2995 else
2996 {
2997 # if 0
2998 /* Tiemann says: "info methods was never implemented." */
2999 char *demangled_name;
3000 c_type_print_base (TYPE_FN_FIELD_TYPE(t, i),
3001 gdb_stdout, 0, 0);
3002 c_type_print_varspec_prefix (TYPE_FN_FIELD_TYPE(t, i),
3003 gdb_stdout, 0);
3004 if (TYPE_FN_FIELD_STUB (t, i))
3005 check_stub_method (TYPE_DOMAIN_TYPE (type), j, i);
3006 demangled_name =
3007 cplus_demangle (TYPE_FN_FIELD_PHYSNAME (t, i),
3008 DMGL_ANSI | DMGL_PARAMS);
3009 if (demangled_name == NULL)
3010 fprintf_filtered (stream, "<badly mangled name %s>",
3011 TYPE_FN_FIELD_PHYSNAME (t, i));
3012 else
3013 {
3014 fputs_filtered (demangled_name, stream);
3015 free (demangled_name);
3016 }
3017 # endif
3018 }
3019 }
3020 }
3021 }
3022 prev_bv = bv;
3023 }
3024
3025 /* If there are no eyes, avoid all contact. I mean, if there are
3026 no debug symbols, then print directly from the msymbol_vector. */
3027
3028 if (found_misc || class != 1)
3029 {
3030 found_in_file = 0;
3031 ALL_MSYMBOLS (objfile, msymbol)
3032 {
3033 if (MSYMBOL_TYPE (msymbol) == ourtype ||
3034 MSYMBOL_TYPE (msymbol) == ourtype2 ||
3035 MSYMBOL_TYPE (msymbol) == ourtype3 ||
3036 MSYMBOL_TYPE (msymbol) == ourtype4)
3037 {
3038 if (regexp == NULL || SYMBOL_MATCHES_REGEXP (msymbol))
3039 {
3040 /* Functions: Look up by address. */
3041 if (class != 1 ||
3042 (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol))))
3043 {
3044 /* Variables/Absolutes: Look up by name */
3045 if (lookup_symbol (SYMBOL_NAME (msymbol),
3046 (struct block *) NULL, VAR_NAMESPACE,
3047 0, (struct symtab **) NULL) == NULL)
3048 {
3049 if (bpt)
3050 {
3051 break_command (SYMBOL_NAME (msymbol), from_tty);
3052 printf_filtered ("<function, no debug info> %s;\n",
3053 SYMBOL_SOURCE_NAME (msymbol));
3054 continue;
3055 }
3056 if (!found_in_file)
3057 {
3058 printf_filtered ("\nNon-debugging symbols:\n");
3059 found_in_file = 1;
3060 }
3061 printf_filtered (" %08lx %s\n",
3062 (unsigned long) SYMBOL_VALUE_ADDRESS (msymbol),
3063 SYMBOL_SOURCE_NAME (msymbol));
3064 }
3065 }
3066 }
3067 }
3068 }
3069 }
3070 }
3071
3072 static void
3073 variables_info (regexp, from_tty)
3074 char *regexp;
3075 int from_tty;
3076 {
3077 list_symbols (regexp, 0, 0, from_tty);
3078 }
3079
3080 static void
3081 functions_info (regexp, from_tty)
3082 char *regexp;
3083 int from_tty;
3084 {
3085 list_symbols (regexp, 1, 0, from_tty);
3086 }
3087
3088 static void
3089 types_info (regexp, from_tty)
3090 char *regexp;
3091 int from_tty;
3092 {
3093 list_symbols (regexp, 2, 0, from_tty);
3094 }
3095
3096 #if 0
3097 /* Tiemann says: "info methods was never implemented." */
3098 static void
3099 methods_info (regexp)
3100 char *regexp;
3101 {
3102 list_symbols (regexp, 3, 0, from_tty);
3103 }
3104 #endif /* 0 */
3105
3106 /* Breakpoint all functions matching regular expression. */
3107 static void
3108 rbreak_command (regexp, from_tty)
3109 char *regexp;
3110 int from_tty;
3111 {
3112 list_symbols (regexp, 1, 1, from_tty);
3113 }
3114 \f
3115
3116 /* Return Nonzero if block a is lexically nested within block b,
3117 or if a and b have the same pc range.
3118 Return zero otherwise. */
3119 int
3120 contained_in (a, b)
3121 struct block *a, *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
3129 \f
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 (symname, sym_text, sym_text_len, text, word)
3155 char *symname;
3156 char *sym_text;
3157 int sym_text_len;
3158 char *text;
3159 char *word;
3160 {
3161 int newsize;
3162 int i;
3163
3164 /* clip symbols that cannot match */
3165
3166 if (strncmp (symname, sym_text, sym_text_len) != 0)
3167 {
3168 return;
3169 }
3170
3171 /* Clip any symbol names that we've already considered. (This is a
3172 time optimization) */
3173
3174 for (i = 0; i < return_val_index; ++i)
3175 {
3176 if (STREQ (symname, return_val[i]))
3177 {
3178 return;
3179 }
3180 }
3181
3182 /* We have a match for a completion, so add SYMNAME to the current list
3183 of matches. Note that the name is moved to freshly malloc'd space. */
3184
3185 {
3186 char *new;
3187 if (word == sym_text)
3188 {
3189 new = xmalloc (strlen (symname) + 5);
3190 strcpy (new, symname);
3191 }
3192 else if (word > sym_text)
3193 {
3194 /* Return some portion of symname. */
3195 new = xmalloc (strlen (symname) + 5);
3196 strcpy (new, symname + (word - sym_text));
3197 }
3198 else
3199 {
3200 /* Return some of SYM_TEXT plus symname. */
3201 new = xmalloc (strlen (symname) + (sym_text - word) + 5);
3202 strncpy (new, word, sym_text - word);
3203 new[sym_text - word] = '\0';
3204 strcat (new, symname);
3205 }
3206
3207 /* Recheck for duplicates if we intend to add a modified symbol. */
3208 if (word != sym_text)
3209 {
3210 for (i = 0; i < return_val_index; ++i)
3211 {
3212 if (STREQ (new, return_val[i]))
3213 {
3214 free (new);
3215 return;
3216 }
3217 }
3218 }
3219
3220 if (return_val_index + 3 > return_val_size)
3221 {
3222 newsize = (return_val_size *= 2) * sizeof (char *);
3223 return_val = (char **) xrealloc ((char *) return_val, newsize);
3224 }
3225 return_val[return_val_index++] = new;
3226 return_val[return_val_index] = NULL;
3227 }
3228 }
3229
3230 /* Return a NULL terminated array of all symbols (regardless of class) which
3231 begin by matching TEXT. If the answer is no symbols, then the return value
3232 is an array which contains only a NULL pointer.
3233
3234 Problem: All of the symbols have to be copied because readline frees them.
3235 I'm not going to worry about this; hopefully there won't be that many. */
3236
3237 char **
3238 make_symbol_completion_list (text, word)
3239 char *text;
3240 char *word;
3241 {
3242 register struct symbol *sym;
3243 register struct symtab *s;
3244 register struct partial_symtab *ps;
3245 register struct minimal_symbol *msymbol;
3246 register struct objfile *objfile;
3247 register struct block *b, *surrounding_static_block = 0;
3248 register int i, j;
3249 struct partial_symbol **psym;
3250 /* The symbol we are completing on. Points in same buffer as text. */
3251 char *sym_text;
3252 /* Length of sym_text. */
3253 int sym_text_len;
3254
3255 /* Now look for the symbol we are supposed to complete on.
3256 FIXME: This should be language-specific. */
3257 {
3258 char *p;
3259 char quote_found;
3260 char *quote_pos = NULL;
3261
3262 /* First see if this is a quoted string. */
3263 quote_found = '\0';
3264 for (p = text; *p != '\0'; ++p)
3265 {
3266 if (quote_found != '\0')
3267 {
3268 if (*p == quote_found)
3269 /* Found close quote. */
3270 quote_found = '\0';
3271 else if (*p == '\\' && p[1] == quote_found)
3272 /* A backslash followed by the quote character
3273 doesn't end the string. */
3274 ++p;
3275 }
3276 else if (*p == '\'' || *p == '"')
3277 {
3278 quote_found = *p;
3279 quote_pos = p;
3280 }
3281 }
3282 if (quote_found == '\'')
3283 /* A string within single quotes can be a symbol, so complete on it. */
3284 sym_text = quote_pos + 1;
3285 else if (quote_found == '"')
3286 /* A double-quoted string is never a symbol, nor does it make sense
3287 to complete it any other way. */
3288 return NULL;
3289 else
3290 {
3291 /* It is not a quoted string. Break it based on the characters
3292 which are in symbols. */
3293 while (p > text)
3294 {
3295 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0')
3296 --p;
3297 else
3298 break;
3299 }
3300 sym_text = p;
3301 }
3302 }
3303
3304 sym_text_len = strlen (sym_text);
3305
3306 return_val_size = 100;
3307 return_val_index = 0;
3308 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
3309 return_val[0] = NULL;
3310
3311 /* Look through the partial symtabs for all symbols which begin
3312 by matching SYM_TEXT. Add each one that you find to the list. */
3313
3314 ALL_PSYMTABS (objfile, ps)
3315 {
3316 /* If the psymtab's been read in we'll get it when we search
3317 through the blockvector. */
3318 if (ps->readin) continue;
3319
3320 for (psym = objfile->global_psymbols.list + ps->globals_offset;
3321 psym < (objfile->global_psymbols.list + ps->globals_offset
3322 + ps->n_global_syms);
3323 psym++)
3324 {
3325 /* If interrupted, then quit. */
3326 QUIT;
3327 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3328 }
3329
3330 for (psym = objfile->static_psymbols.list + ps->statics_offset;
3331 psym < (objfile->static_psymbols.list + ps->statics_offset
3332 + ps->n_static_syms);
3333 psym++)
3334 {
3335 QUIT;
3336 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word);
3337 }
3338 }
3339
3340 /* At this point scan through the misc symbol vectors and add each
3341 symbol you find to the list. Eventually we want to ignore
3342 anything that isn't a text symbol (everything else will be
3343 handled by the psymtab code above). */
3344
3345 ALL_MSYMBOLS (objfile, msymbol)
3346 {
3347 QUIT;
3348 COMPLETION_LIST_ADD_SYMBOL (msymbol, sym_text, sym_text_len, text, word);
3349 }
3350
3351 /* Search upwards from currently selected frame (so that we can
3352 complete on local vars. */
3353
3354 for (b = get_selected_block (); b != NULL; b = BLOCK_SUPERBLOCK (b))
3355 {
3356 if (!BLOCK_SUPERBLOCK (b))
3357 {
3358 surrounding_static_block = b; /* For elmin of dups */
3359 }
3360
3361 /* Also catch fields of types defined in this places which match our
3362 text string. Only complete on types visible from current context. */
3363
3364 for (i = 0; i < BLOCK_NSYMS (b); i++)
3365 {
3366 sym = BLOCK_SYM (b, i);
3367 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3368 if (SYMBOL_CLASS (sym) == LOC_TYPEDEF)
3369 {
3370 struct type *t = SYMBOL_TYPE (sym);
3371 enum type_code c = TYPE_CODE (t);
3372
3373 if (c == TYPE_CODE_UNION || c == TYPE_CODE_STRUCT)
3374 {
3375 for (j = TYPE_N_BASECLASSES (t); j < TYPE_NFIELDS (t); j++)
3376 {
3377 if (TYPE_FIELD_NAME (t, j))
3378 {
3379 completion_list_add_name (TYPE_FIELD_NAME (t, j),
3380 sym_text, sym_text_len, text, word);
3381 }
3382 }
3383 }
3384 }
3385 }
3386 }
3387
3388 /* Go through the symtabs and check the externs and statics for
3389 symbols which match. */
3390
3391 ALL_SYMTABS (objfile, s)
3392 {
3393 QUIT;
3394 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
3395 for (i = 0; i < BLOCK_NSYMS (b); i++)
3396 {
3397 sym = BLOCK_SYM (b, i);
3398 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3399 }
3400 }
3401
3402 ALL_SYMTABS (objfile, s)
3403 {
3404 QUIT;
3405 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK);
3406 /* Don't do this block twice. */
3407 if (b == surrounding_static_block) continue;
3408 for (i = 0; i < BLOCK_NSYMS (b); i++)
3409 {
3410 sym = BLOCK_SYM (b, i);
3411 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word);
3412 }
3413 }
3414
3415 return (return_val);
3416 }
3417
3418 /* Determine if PC is in the prologue of a function. The prologue is the area
3419 between the first instruction of a function, and the first executable line.
3420 Returns 1 if PC *might* be in prologue, 0 if definately *not* in prologue.
3421
3422 If non-zero, func_start is where we think the prologue starts, possibly
3423 by previous examination of symbol table information.
3424 */
3425
3426 int
3427 in_prologue (pc, func_start)
3428 CORE_ADDR pc;
3429 CORE_ADDR func_start;
3430 {
3431 struct symtab_and_line sal;
3432 CORE_ADDR func_addr, func_end;
3433
3434 if (!find_pc_partial_function (pc, NULL, &func_addr, &func_end))
3435 goto nosyms; /* Might be in prologue */
3436
3437 sal = find_pc_line (func_addr, 0);
3438
3439 if (sal.line == 0)
3440 goto nosyms;
3441
3442 if (sal.end > func_addr
3443 && sal.end <= func_end) /* Is prologue in function? */
3444 return pc < sal.end; /* Yes, is pc in prologue? */
3445
3446 /* The line after the prologue seems to be outside the function. In this
3447 case, tell the caller to find the prologue the hard way. */
3448
3449 return 1;
3450
3451 /* Come here when symtabs don't contain line # info. In this case, it is
3452 likely that the user has stepped into a library function w/o symbols, or
3453 is doing a stepi/nexti through code without symbols. */
3454
3455 nosyms:
3456
3457 /* If func_start is zero (meaning unknown) then we don't know whether pc is
3458 in the prologue or not. I.E. it might be. */
3459
3460 if (!func_start) return 1;
3461
3462 /* We need to call the target-specific prologue skipping functions with the
3463 function's start address because PC may be pointing at an instruction that
3464 could be mistakenly considered part of the prologue. */
3465
3466 SKIP_PROLOGUE (func_start);
3467
3468 return pc < func_start;
3469 }
3470
3471 \f
3472 void
3473 _initialize_symtab ()
3474 {
3475 add_info ("variables", variables_info,
3476 "All global and static variable names, or those matching REGEXP.");
3477 add_info ("functions", functions_info,
3478 "All function names, or those matching REGEXP.");
3479
3480 /* FIXME: This command has at least the following problems:
3481 1. It prints builtin types (in a very strange and confusing fashion).
3482 2. It doesn't print right, e.g. with
3483 typedef struct foo *FOO
3484 type_print prints "FOO" when we want to make it (in this situation)
3485 print "struct foo *".
3486 I also think "ptype" or "whatis" is more likely to be useful (but if
3487 there is much disagreement "info types" can be fixed). */
3488 add_info ("types", types_info,
3489 "All type names, or those matching REGEXP.");
3490
3491 #if 0
3492 add_info ("methods", methods_info,
3493 "All method names, or those matching REGEXP::REGEXP.\n\
3494 If the class qualifier is omitted, it is assumed to be the current scope.\n\
3495 If the first REGEXP is omitted, then all methods matching the second REGEXP\n\
3496 are listed.");
3497 #endif
3498 add_info ("sources", sources_info,
3499 "Source files in the program.");
3500
3501 add_com ("rbreak", no_class, rbreak_command,
3502 "Set a breakpoint for all functions matching REGEXP.");
3503
3504 /* Initialize the one built-in type that isn't language dependent... */
3505 builtin_type_error = init_type (TYPE_CODE_ERROR, 0, 0,
3506 "<unknown type>", (struct objfile *) NULL);
3507 }