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