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