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