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