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