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