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