* symtab.c (lookup_partial_symtab): Use psymtab_to_fullname.
[external/binutils.git] / gdb / symtab.c
1 /* Symbol table lookup for the GNU debugger, GDB.
2
3    Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
4    1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
5    Free Software Foundation, Inc.
6
7    This file is part of GDB.
8
9    This program is free software; you can redistribute it and/or modify
10    it under the terms of the GNU General Public License as published by
11    the Free Software Foundation; either version 2 of the License, or
12    (at your option) any later version.
13
14    This program is distributed in the hope that it will be useful,
15    but WITHOUT ANY WARRANTY; without even the implied warranty of
16    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17    GNU General Public License for more details.
18
19    You should have received a copy of the GNU General Public License
20    along with this program; if not, write to the Free Software
21    Foundation, Inc., 59 Temple Place - Suite 330,
22    Boston, MA 02111-1307, USA.  */
23
24 #include "defs.h"
25 #include "symtab.h"
26 #include "gdbtypes.h"
27 #include "gdbcore.h"
28 #include "frame.h"
29 #include "target.h"
30 #include "value.h"
31 #include "symfile.h"
32 #include "objfiles.h"
33 #include "gdbcmd.h"
34 #include "call-cmds.h"
35 #include "gdb_regex.h"
36 #include "expression.h"
37 #include "language.h"
38 #include "demangle.h"
39 #include "inferior.h"
40 #include "linespec.h"
41 #include "source.h"
42 #include "filenames.h"          /* for FILENAME_CMP */
43 #include "objc-lang.h"
44
45 #include "hashtab.h"
46
47 #include "gdb_obstack.h"
48 #include "block.h"
49 #include "dictionary.h"
50
51 #include <sys/types.h>
52 #include <fcntl.h>
53 #include "gdb_string.h"
54 #include "gdb_stat.h"
55 #include <ctype.h>
56 #include "cp-abi.h"
57
58 /* Prototypes for local functions */
59
60 static void completion_list_add_name (char *, char *, int, char *, char *);
61
62 static void rbreak_command (char *, int);
63
64 static void types_info (char *, int);
65
66 static void functions_info (char *, int);
67
68 static void variables_info (char *, int);
69
70 static void sources_info (char *, int);
71
72 static void output_source_filename (const 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         psymtab_to_fullname (pst);
276         if (pst->fullname != NULL
277             && FILENAME_CMP (full_path, pst->fullname) == 0)
278           {
279             return pst;
280           }
281       }
282
283     if (real_path != NULL)
284       {
285         char *rp = NULL;
286         psymtab_to_fullname (pst);
287         if (pst->fullname != NULL)
288           {
289             rp = gdb_realpath (pst->fullname);
290             make_cleanup (xfree, rp);
291           }
292         if (rp != NULL && FILENAME_CMP (real_path, rp) == 0)
293           {
294             return pst;
295           }
296       }
297   }
298
299   /* Now, search for a matching tail (only if name doesn't have any dirs) */
300
301   if (lbasename (name) == name)
302     ALL_PSYMTABS (objfile, pst)
303     {
304       if (FILENAME_CMP (lbasename (pst->filename), name) == 0)
305         return (pst);
306     }
307
308   return (NULL);
309 }
310 \f
311 /* Mangle a GDB method stub type.  This actually reassembles the pieces of the
312    full method name, which consist of the class name (from T), the unadorned
313    method name from METHOD_ID, and the signature for the specific overload,
314    specified by SIGNATURE_ID.  Note that this function is g++ specific. */
315
316 char *
317 gdb_mangle_name (struct type *type, int method_id, int signature_id)
318 {
319   int mangled_name_len;
320   char *mangled_name;
321   struct fn_field *f = TYPE_FN_FIELDLIST1 (type, method_id);
322   struct fn_field *method = &f[signature_id];
323   char *field_name = TYPE_FN_FIELDLIST_NAME (type, method_id);
324   char *physname = TYPE_FN_FIELD_PHYSNAME (f, signature_id);
325   char *newname = type_name_no_tag (type);
326
327   /* Does the form of physname indicate that it is the full mangled name
328      of a constructor (not just the args)?  */
329   int is_full_physname_constructor;
330
331   int is_constructor;
332   int is_destructor = is_destructor_name (physname);
333   /* Need a new type prefix.  */
334   char *const_prefix = method->is_const ? "C" : "";
335   char *volatile_prefix = method->is_volatile ? "V" : "";
336   char buf[20];
337   int len = (newname == NULL ? 0 : strlen (newname));
338
339   /* Nothing to do if physname already contains a fully mangled v3 abi name
340      or an operator name.  */
341   if ((physname[0] == '_' && physname[1] == 'Z')
342       || is_operator_name (field_name))
343     return xstrdup (physname);
344
345   is_full_physname_constructor = is_constructor_name (physname);
346
347   is_constructor =
348     is_full_physname_constructor || (newname && strcmp (field_name, newname) == 0);
349
350   if (!is_destructor)
351     is_destructor = (strncmp (physname, "__dt", 4) == 0);
352
353   if (is_destructor || is_full_physname_constructor)
354     {
355       mangled_name = (char *) xmalloc (strlen (physname) + 1);
356       strcpy (mangled_name, physname);
357       return mangled_name;
358     }
359
360   if (len == 0)
361     {
362       sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
363     }
364   else if (physname[0] == 't' || physname[0] == 'Q')
365     {
366       /* The physname for template and qualified methods already includes
367          the class name.  */
368       sprintf (buf, "__%s%s", const_prefix, volatile_prefix);
369       newname = NULL;
370       len = 0;
371     }
372   else
373     {
374       sprintf (buf, "__%s%s%d", const_prefix, volatile_prefix, len);
375     }
376   mangled_name_len = ((is_constructor ? 0 : strlen (field_name))
377                       + strlen (buf) + len + strlen (physname) + 1);
378
379     {
380       mangled_name = (char *) xmalloc (mangled_name_len);
381       if (is_constructor)
382         mangled_name[0] = '\0';
383       else
384         strcpy (mangled_name, field_name);
385     }
386   strcat (mangled_name, buf);
387   /* If the class doesn't have a name, i.e. newname NULL, then we just
388      mangle it using 0 for the length of the class.  Thus it gets mangled
389      as something starting with `::' rather than `classname::'. */
390   if (newname != NULL)
391     strcat (mangled_name, newname);
392
393   strcat (mangled_name, physname);
394   return (mangled_name);
395 }
396
397 \f
398 /* Initialize the language dependent portion of a symbol
399    depending upon the language for the symbol. */
400 void
401 symbol_init_language_specific (struct general_symbol_info *gsymbol,
402                                enum language language)
403 {
404   gsymbol->language = language;
405   if (gsymbol->language == language_cplus
406       || gsymbol->language == language_java
407       || gsymbol->language == language_objc)
408     {
409       gsymbol->language_specific.cplus_specific.demangled_name = NULL;
410     }
411   else
412     {
413       memset (&gsymbol->language_specific, 0,
414               sizeof (gsymbol->language_specific));
415     }
416 }
417
418 /* Functions to initialize a symbol's mangled name.  */
419
420 /* Create the hash table used for demangled names.  Each hash entry is
421    a pair of strings; one for the mangled name and one for the demangled
422    name.  The entry is hashed via just the mangled name.  */
423
424 static void
425 create_demangled_names_hash (struct objfile *objfile)
426 {
427   /* Choose 256 as the starting size of the hash table, somewhat arbitrarily.
428      The hash table code will round this up to the next prime number. 
429      Choosing a much larger table size wastes memory, and saves only about
430      1% in symbol reading.  */
431
432   objfile->demangled_names_hash = htab_create_alloc
433     (256, htab_hash_string, (int (*) (const void *, const void *)) streq,
434      NULL, xcalloc, xfree);
435 }
436
437 /* Try to determine the demangled name for a symbol, based on the
438    language of that symbol.  If the language is set to language_auto,
439    it will attempt to find any demangling algorithm that works and
440    then set the language appropriately.  The returned name is allocated
441    by the demangler and should be xfree'd.  */
442
443 static char *
444 symbol_find_demangled_name (struct general_symbol_info *gsymbol,
445                             const char *mangled)
446 {
447   char *demangled = NULL;
448
449   if (gsymbol->language == language_unknown)
450     gsymbol->language = language_auto;
451
452   if (gsymbol->language == language_objc
453       || gsymbol->language == language_auto)
454     {
455       demangled =
456         objc_demangle (mangled, 0);
457       if (demangled != NULL)
458         {
459           gsymbol->language = language_objc;
460           return demangled;
461         }
462     }
463   if (gsymbol->language == language_cplus
464       || gsymbol->language == language_auto)
465     {
466       demangled =
467         cplus_demangle (mangled, DMGL_PARAMS | DMGL_ANSI);
468       if (demangled != NULL)
469         {
470           gsymbol->language = language_cplus;
471           return demangled;
472         }
473     }
474   if (gsymbol->language == language_java)
475     {
476       demangled =
477         cplus_demangle (mangled,
478                         DMGL_PARAMS | DMGL_ANSI | DMGL_JAVA);
479       if (demangled != NULL)
480         {
481           gsymbol->language = language_java;
482           return demangled;
483         }
484     }
485   return NULL;
486 }
487
488 /* Set both the mangled and demangled (if any) names for GSYMBOL based
489    on LINKAGE_NAME and LEN.  The hash table corresponding to OBJFILE
490    is used, and the memory comes from that objfile's objfile_obstack.
491    LINKAGE_NAME is copied, so the pointer can be discarded after
492    calling this function.  */
493
494 /* We have to be careful when dealing with Java names: when we run
495    into a Java minimal symbol, we don't know it's a Java symbol, so it
496    gets demangled as a C++ name.  This is unfortunate, but there's not
497    much we can do about it: but when demangling partial symbols and
498    regular symbols, we'd better not reuse the wrong demangled name.
499    (See PR gdb/1039.)  We solve this by putting a distinctive prefix
500    on Java names when storing them in the hash table.  */
501
502 /* FIXME: carlton/2003-03-13: This is an unfortunate situation.  I
503    don't mind the Java prefix so much: different languages have
504    different demangling requirements, so it's only natural that we
505    need to keep language data around in our demangling cache.  But
506    it's not good that the minimal symbol has the wrong demangled name.
507    Unfortunately, I can't think of any easy solution to that
508    problem.  */
509
510 #define JAVA_PREFIX "##JAVA$$"
511 #define JAVA_PREFIX_LEN 8
512
513 void
514 symbol_set_names (struct general_symbol_info *gsymbol,
515                   const char *linkage_name, int len, struct objfile *objfile)
516 {
517   char **slot;
518   /* A 0-terminated copy of the linkage name.  */
519   const char *linkage_name_copy;
520   /* A copy of the linkage name that might have a special Java prefix
521      added to it, for use when looking names up in the hash table.  */
522   const char *lookup_name;
523   /* The length of lookup_name.  */
524   int lookup_len;
525
526   if (objfile->demangled_names_hash == NULL)
527     create_demangled_names_hash (objfile);
528
529   /* The stabs reader generally provides names that are not
530      NUL-terminated; most of the other readers don't do this, so we
531      can just use the given copy, unless we're in the Java case.  */
532   if (gsymbol->language == language_java)
533     {
534       char *alloc_name;
535       lookup_len = len + JAVA_PREFIX_LEN;
536
537       alloc_name = alloca (lookup_len + 1);
538       memcpy (alloc_name, JAVA_PREFIX, JAVA_PREFIX_LEN);
539       memcpy (alloc_name + JAVA_PREFIX_LEN, linkage_name, len);
540       alloc_name[lookup_len] = '\0';
541
542       lookup_name = alloc_name;
543       linkage_name_copy = alloc_name + JAVA_PREFIX_LEN;
544     }
545   else if (linkage_name[len] != '\0')
546     {
547       char *alloc_name;
548       lookup_len = len;
549
550       alloc_name = alloca (lookup_len + 1);
551       memcpy (alloc_name, linkage_name, len);
552       alloc_name[lookup_len] = '\0';
553
554       lookup_name = alloc_name;
555       linkage_name_copy = alloc_name;
556     }
557   else
558     {
559       lookup_len = len;
560       lookup_name = linkage_name;
561       linkage_name_copy = linkage_name;
562     }
563
564   slot = (char **) htab_find_slot (objfile->demangled_names_hash,
565                                    lookup_name, INSERT);
566
567   /* If this name is not in the hash table, add it.  */
568   if (*slot == NULL)
569     {
570       char *demangled_name = symbol_find_demangled_name (gsymbol,
571                                                          linkage_name_copy);
572       int demangled_len = demangled_name ? strlen (demangled_name) : 0;
573
574       /* If there is a demangled name, place it right after the mangled name.
575          Otherwise, just place a second zero byte after the end of the mangled
576          name.  */
577       *slot = obstack_alloc (&objfile->objfile_obstack,
578                              lookup_len + demangled_len + 2);
579       memcpy (*slot, lookup_name, lookup_len + 1);
580       if (demangled_name != NULL)
581         {
582           memcpy (*slot + lookup_len + 1, demangled_name, demangled_len + 1);
583           xfree (demangled_name);
584         }
585       else
586         (*slot)[lookup_len + 1] = '\0';
587     }
588
589   gsymbol->name = *slot + lookup_len - len;
590   if ((*slot)[lookup_len + 1] != '\0')
591     gsymbol->language_specific.cplus_specific.demangled_name
592       = &(*slot)[lookup_len + 1];
593   else
594     gsymbol->language_specific.cplus_specific.demangled_name = NULL;
595 }
596
597 /* Initialize the demangled name of GSYMBOL if possible.  Any required space
598    to store the name is obtained from the specified obstack.  The function
599    symbol_set_names, above, should be used instead where possible for more
600    efficient memory usage.  */
601
602 void
603 symbol_init_demangled_name (struct general_symbol_info *gsymbol,
604                             struct obstack *obstack)
605 {
606   char *mangled = gsymbol->name;
607   char *demangled = NULL;
608
609   demangled = symbol_find_demangled_name (gsymbol, mangled);
610   if (gsymbol->language == language_cplus
611       || gsymbol->language == language_java
612       || gsymbol->language == language_objc)
613     {
614       if (demangled)
615         {
616           gsymbol->language_specific.cplus_specific.demangled_name
617             = obsavestring (demangled, strlen (demangled), obstack);
618           xfree (demangled);
619         }
620       else
621         gsymbol->language_specific.cplus_specific.demangled_name = NULL;
622     }
623   else
624     {
625       /* Unknown language; just clean up quietly.  */
626       if (demangled)
627         xfree (demangled);
628     }
629 }
630
631 /* Return the source code name of a symbol.  In languages where
632    demangling is necessary, this is the demangled name.  */
633
634 char *
635 symbol_natural_name (const struct general_symbol_info *gsymbol)
636 {
637   if ((gsymbol->language == language_cplus
638        || gsymbol->language == language_java
639        || gsymbol->language == language_objc)
640       && (gsymbol->language_specific.cplus_specific.demangled_name != NULL))
641     {
642       return gsymbol->language_specific.cplus_specific.demangled_name;
643     }
644   else
645     {
646       return gsymbol->name;
647     }
648 }
649
650 /* Return the demangled name for a symbol based on the language for
651    that symbol.  If no demangled name exists, return NULL. */
652 char *
653 symbol_demangled_name (struct general_symbol_info *gsymbol)
654 {
655   if (gsymbol->language == language_cplus
656       || gsymbol->language == language_java
657       || gsymbol->language == language_objc)
658     return gsymbol->language_specific.cplus_specific.demangled_name;
659
660   else 
661     return NULL;
662 }
663
664 /* Return the search name of a symbol---generally the demangled or
665    linkage name of the symbol, depending on how it will be searched for.
666    If there is no distinct demangled name, then returns the same value 
667    (same pointer) as SYMBOL_LINKAGE_NAME. */
668 char *symbol_search_name (const struct general_symbol_info *gsymbol) {
669   return symbol_natural_name (gsymbol);
670 }
671
672 /* Initialize the structure fields to zero values.  */
673 void
674 init_sal (struct symtab_and_line *sal)
675 {
676   sal->symtab = 0;
677   sal->section = 0;
678   sal->line = 0;
679   sal->pc = 0;
680   sal->end = 0;
681 }
682 \f
683
684
685 /* Find which partial symtab contains PC and SECTION.  Return 0 if
686    none.  We return the psymtab that contains a symbol whose address
687    exactly matches PC, or, if we cannot find an exact match, the
688    psymtab that contains a symbol whose address is closest to PC.  */
689 struct partial_symtab *
690 find_pc_sect_psymtab (CORE_ADDR pc, asection *section)
691 {
692   struct partial_symtab *pst;
693   struct objfile *objfile;
694   struct minimal_symbol *msymbol;
695
696   /* If we know that this is not a text address, return failure.  This is
697      necessary because we loop based on texthigh and textlow, which do
698      not include the data ranges.  */
699   msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
700   if (msymbol
701       && (msymbol->type == mst_data
702           || msymbol->type == mst_bss
703           || msymbol->type == mst_abs
704           || msymbol->type == mst_file_data
705           || msymbol->type == mst_file_bss))
706     return NULL;
707
708   ALL_PSYMTABS (objfile, pst)
709   {
710     if (pc >= pst->textlow && pc < pst->texthigh)
711       {
712         struct partial_symtab *tpst;
713         struct partial_symtab *best_pst = pst;
714         struct partial_symbol *best_psym = NULL;
715
716         /* An objfile that has its functions reordered might have
717            many partial symbol tables containing the PC, but
718            we want the partial symbol table that contains the
719            function containing the PC.  */
720         if (!(objfile->flags & OBJF_REORDERED) &&
721             section == 0)       /* can't validate section this way */
722           return (pst);
723
724         if (msymbol == NULL)
725           return (pst);
726
727         /* The code range of partial symtabs sometimes overlap, so, in
728            the loop below, we need to check all partial symtabs and
729            find the one that fits better for the given PC address. We
730            select the partial symtab that contains a symbol whose
731            address is closest to the PC address.  By closest we mean
732            that find_pc_sect_symbol returns the symbol with address
733            that is closest and still less than the given PC.  */
734         for (tpst = pst; tpst != NULL; tpst = tpst->next)
735           {
736             if (pc >= tpst->textlow && pc < tpst->texthigh)
737               {
738                 struct partial_symbol *p;
739
740                 p = find_pc_sect_psymbol (tpst, pc, section);
741                 if (p != NULL
742                     && SYMBOL_VALUE_ADDRESS (p)
743                     == SYMBOL_VALUE_ADDRESS (msymbol))
744                   return (tpst);
745                 if (p != NULL)
746                   {
747                     /* We found a symbol in this partial symtab which
748                        matches (or is closest to) PC, check whether it
749                        is closer than our current BEST_PSYM.  Since
750                        this symbol address is necessarily lower or
751                        equal to PC, the symbol closer to PC is the
752                        symbol which address is the highest.  */
753                     /* This way we return the psymtab which contains
754                        such best match symbol. This can help in cases
755                        where the symbol information/debuginfo is not
756                        complete, like for instance on IRIX6 with gcc,
757                        where no debug info is emitted for
758                        statics. (See also the nodebug.exp
759                        testcase.)  */
760                     if (best_psym == NULL
761                         || SYMBOL_VALUE_ADDRESS (p)
762                         > SYMBOL_VALUE_ADDRESS (best_psym))
763                       {
764                         best_psym = p;
765                         best_pst = tpst;
766                       }
767                   }
768
769               }
770           }
771         return (best_pst);
772       }
773   }
774   return (NULL);
775 }
776
777 /* Find which partial symtab contains PC.  Return 0 if none. 
778    Backward compatibility, no section */
779
780 struct partial_symtab *
781 find_pc_psymtab (CORE_ADDR pc)
782 {
783   return find_pc_sect_psymtab (pc, find_pc_mapped_section (pc));
784 }
785
786 /* Find which partial symbol within a psymtab matches PC and SECTION.  
787    Return 0 if none.  Check all psymtabs if PSYMTAB is 0.  */
788
789 struct partial_symbol *
790 find_pc_sect_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc,
791                       asection *section)
792 {
793   struct partial_symbol *best = NULL, *p, **pp;
794   CORE_ADDR best_pc;
795
796   if (!psymtab)
797     psymtab = find_pc_sect_psymtab (pc, section);
798   if (!psymtab)
799     return 0;
800
801   /* Cope with programs that start at address 0 */
802   best_pc = (psymtab->textlow != 0) ? psymtab->textlow - 1 : 0;
803
804   /* Search the global symbols as well as the static symbols, so that
805      find_pc_partial_function doesn't use a minimal symbol and thus
806      cache a bad endaddr.  */
807   for (pp = psymtab->objfile->global_psymbols.list + psymtab->globals_offset;
808     (pp - (psymtab->objfile->global_psymbols.list + psymtab->globals_offset)
809      < psymtab->n_global_syms);
810        pp++)
811     {
812       p = *pp;
813       if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
814           && SYMBOL_CLASS (p) == LOC_BLOCK
815           && pc >= SYMBOL_VALUE_ADDRESS (p)
816           && (SYMBOL_VALUE_ADDRESS (p) > best_pc
817               || (psymtab->textlow == 0
818                   && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
819         {
820           if (section)          /* match on a specific section */
821             {
822               fixup_psymbol_section (p, psymtab->objfile);
823               if (SYMBOL_BFD_SECTION (p) != section)
824                 continue;
825             }
826           best_pc = SYMBOL_VALUE_ADDRESS (p);
827           best = p;
828         }
829     }
830
831   for (pp = psymtab->objfile->static_psymbols.list + psymtab->statics_offset;
832     (pp - (psymtab->objfile->static_psymbols.list + psymtab->statics_offset)
833      < psymtab->n_static_syms);
834        pp++)
835     {
836       p = *pp;
837       if (SYMBOL_DOMAIN (p) == VAR_DOMAIN
838           && SYMBOL_CLASS (p) == LOC_BLOCK
839           && pc >= SYMBOL_VALUE_ADDRESS (p)
840           && (SYMBOL_VALUE_ADDRESS (p) > best_pc
841               || (psymtab->textlow == 0
842                   && best_pc == 0 && SYMBOL_VALUE_ADDRESS (p) == 0)))
843         {
844           if (section)          /* match on a specific section */
845             {
846               fixup_psymbol_section (p, psymtab->objfile);
847               if (SYMBOL_BFD_SECTION (p) != section)
848                 continue;
849             }
850           best_pc = SYMBOL_VALUE_ADDRESS (p);
851           best = p;
852         }
853     }
854
855   return best;
856 }
857
858 /* Find which partial symbol within a psymtab matches PC.  Return 0 if none.  
859    Check all psymtabs if PSYMTAB is 0.  Backwards compatibility, no section. */
860
861 struct partial_symbol *
862 find_pc_psymbol (struct partial_symtab *psymtab, CORE_ADDR pc)
863 {
864   return find_pc_sect_psymbol (psymtab, pc, find_pc_mapped_section (pc));
865 }
866 \f
867 /* Debug symbols usually don't have section information.  We need to dig that
868    out of the minimal symbols and stash that in the debug symbol.  */
869
870 static void
871 fixup_section (struct general_symbol_info *ginfo, struct objfile *objfile)
872 {
873   struct minimal_symbol *msym;
874   msym = lookup_minimal_symbol (ginfo->name, NULL, objfile);
875
876   if (msym)
877     {
878       ginfo->bfd_section = SYMBOL_BFD_SECTION (msym);
879       ginfo->section = SYMBOL_SECTION (msym);
880     }
881   else if (objfile)
882     {
883       /* Static, function-local variables do appear in the linker
884          (minimal) symbols, but are frequently given names that won't
885          be found via lookup_minimal_symbol().  E.g., it has been
886          observed in frv-uclinux (ELF) executables that a static,
887          function-local variable named "foo" might appear in the
888          linker symbols as "foo.6" or "foo.3".  Thus, there is no
889          point in attempting to extend the lookup-by-name mechanism to
890          handle this case due to the fact that there can be multiple
891          names.
892          
893          So, instead, search the section table when lookup by name has
894          failed.  The ``addr'' and ``endaddr'' fields may have already
895          been relocated.  If so, the relocation offset (i.e. the
896          ANOFFSET value) needs to be subtracted from these values when
897          performing the comparison.  We unconditionally subtract it,
898          because, when no relocation has been performed, the ANOFFSET
899          value will simply be zero.
900          
901          The address of the symbol whose section we're fixing up HAS
902          NOT BEEN adjusted (relocated) yet.  It can't have been since
903          the section isn't yet known and knowing the section is
904          necessary in order to add the correct relocation value.  In
905          other words, we wouldn't even be in this function (attempting
906          to compute the section) if it were already known.
907
908          Note that it is possible to search the minimal symbols
909          (subtracting the relocation value if necessary) to find the
910          matching minimal symbol, but this is overkill and much less
911          efficient.  It is not necessary to find the matching minimal
912          symbol, only its section.  
913          
914          Note that this technique (of doing a section table search)
915          can fail when unrelocated section addresses overlap.  For
916          this reason, we still attempt a lookup by name prior to doing
917          a search of the section table.  */
918          
919       CORE_ADDR addr;
920       struct obj_section *s;
921
922       addr = ginfo->value.address;
923
924       ALL_OBJFILE_OSECTIONS (objfile, s)
925         {
926           int idx = s->the_bfd_section->index;
927           CORE_ADDR offset = ANOFFSET (objfile->section_offsets, idx);
928
929           if (s->addr - offset <= addr && addr < s->endaddr - offset)
930             {
931               ginfo->bfd_section = s->the_bfd_section;
932               ginfo->section = idx;
933               return;
934             }
935         }
936     }
937 }
938
939 struct symbol *
940 fixup_symbol_section (struct symbol *sym, struct objfile *objfile)
941 {
942   if (!sym)
943     return NULL;
944
945   if (SYMBOL_BFD_SECTION (sym))
946     return sym;
947
948   fixup_section (&sym->ginfo, objfile);
949
950   return sym;
951 }
952
953 struct partial_symbol *
954 fixup_psymbol_section (struct partial_symbol *psym, struct objfile *objfile)
955 {
956   if (!psym)
957     return NULL;
958
959   if (SYMBOL_BFD_SECTION (psym))
960     return psym;
961
962   fixup_section (&psym->ginfo, objfile);
963
964   return psym;
965 }
966
967 /* Find the definition for a specified symbol name NAME
968    in domain DOMAIN, visible from lexical block BLOCK.
969    Returns the struct symbol pointer, or zero if no symbol is found.
970    If SYMTAB is non-NULL, store the symbol table in which the
971    symbol was found there, or NULL if not found.
972    C++: if IS_A_FIELD_OF_THIS is nonzero on entry, check to see if
973    NAME is a field of the current implied argument `this'.  If so set
974    *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero. 
975    BLOCK_FOUND is set to the block in which NAME is found (in the case of
976    a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
977
978 /* This function has a bunch of loops in it and it would seem to be
979    attractive to put in some QUIT's (though I'm not really sure
980    whether it can run long enough to be really important).  But there
981    are a few calls for which it would appear to be bad news to quit
982    out of here: find_proc_desc in alpha-tdep.c and mips-tdep.c.  (Note
983    that there is C++ code below which can error(), but that probably
984    doesn't affect these calls since they are looking for a known
985    variable and thus can probably assume it will never hit the C++
986    code).  */
987
988 struct symbol *
989 lookup_symbol (const char *name, const struct block *block,
990                const domain_enum domain, int *is_a_field_of_this,
991                struct symtab **symtab)
992 {
993   char *demangled_name = NULL;
994   const char *modified_name = NULL;
995   const char *mangled_name = NULL;
996   int needtofreename = 0;
997   struct symbol *returnval;
998
999   modified_name = name;
1000
1001   /* If we are using C++ language, demangle the name before doing a lookup, so
1002      we can always binary search. */
1003   if (current_language->la_language == language_cplus)
1004     {
1005       demangled_name = cplus_demangle (name, DMGL_ANSI | DMGL_PARAMS);
1006       if (demangled_name)
1007         {
1008           mangled_name = name;
1009           modified_name = demangled_name;
1010           needtofreename = 1;
1011         }
1012     }
1013
1014   if (case_sensitivity == case_sensitive_off)
1015     {
1016       char *copy;
1017       int len, i;
1018
1019       len = strlen (name);
1020       copy = (char *) alloca (len + 1);
1021       for (i= 0; i < len; i++)
1022         copy[i] = tolower (name[i]);
1023       copy[len] = 0;
1024       modified_name = copy;
1025     }
1026
1027   returnval = lookup_symbol_aux (modified_name, mangled_name, block,
1028                                  domain, is_a_field_of_this, symtab);
1029   if (needtofreename)
1030     xfree (demangled_name);
1031
1032   return returnval;      
1033 }
1034
1035 /* Behave like lookup_symbol_aux except that NAME is the natural name
1036    of the symbol that we're looking for and, if LINKAGE_NAME is
1037    non-NULL, ensure that the symbol's linkage name matches as
1038    well.  */
1039
1040 static struct symbol *
1041 lookup_symbol_aux (const char *name, const char *linkage_name,
1042                    const struct block *block, const domain_enum domain,
1043                    int *is_a_field_of_this, struct symtab **symtab)
1044 {
1045   struct symbol *sym;
1046
1047   /* Make sure we do something sensible with is_a_field_of_this, since
1048      the callers that set this parameter to some non-null value will
1049      certainly use it later and expect it to be either 0 or 1.
1050      If we don't set it, the contents of is_a_field_of_this are
1051      undefined.  */
1052   if (is_a_field_of_this != NULL)
1053     *is_a_field_of_this = 0;
1054
1055   /* Search specified block and its superiors.  Don't search
1056      STATIC_BLOCK or GLOBAL_BLOCK.  */
1057
1058   sym = lookup_symbol_aux_local (name, linkage_name, block, domain,
1059                                  symtab);
1060   if (sym != NULL)
1061     return sym;
1062
1063   /* If requested to do so by the caller and if appropriate for the
1064      current language, check to see if NAME is a field of `this'. */
1065
1066   if (current_language->la_value_of_this != NULL
1067       && is_a_field_of_this != NULL)
1068     {
1069       struct value *v = current_language->la_value_of_this (0);
1070
1071       if (v && check_field (v, name))
1072         {
1073           *is_a_field_of_this = 1;
1074           if (symtab != NULL)
1075             *symtab = NULL;
1076           return NULL;
1077         }
1078     }
1079
1080   /* Now do whatever is appropriate for the current language to look
1081      up static and global variables.  */
1082
1083   sym = current_language->la_lookup_symbol_nonlocal (name, linkage_name,
1084                                                      block, domain,
1085                                                      symtab);
1086   if (sym != NULL)
1087     return sym;
1088
1089   /* Now search all static file-level symbols.  Not strictly correct,
1090      but more useful than an error.  Do the symtabs first, then check
1091      the psymtabs.  If a psymtab indicates the existence of the
1092      desired name as a file-level static, then do psymtab-to-symtab
1093      conversion on the fly and return the found symbol. */
1094
1095   sym = lookup_symbol_aux_symtabs (STATIC_BLOCK, name, linkage_name,
1096                                    domain, symtab);
1097   if (sym != NULL)
1098     return sym;
1099   
1100   sym = lookup_symbol_aux_psymtabs (STATIC_BLOCK, name, linkage_name,
1101                                     domain, symtab);
1102   if (sym != NULL)
1103     return sym;
1104
1105   if (symtab != NULL)
1106     *symtab = NULL;
1107   return NULL;
1108 }
1109
1110 /* Check to see if the symbol is defined in BLOCK or its superiors.
1111    Don't search STATIC_BLOCK or GLOBAL_BLOCK.  */
1112
1113 static struct symbol *
1114 lookup_symbol_aux_local (const char *name, const char *linkage_name,
1115                          const struct block *block,
1116                          const domain_enum domain,
1117                          struct symtab **symtab)
1118 {
1119   struct symbol *sym;
1120   const struct block *static_block = block_static_block (block);
1121
1122   /* Check if either no block is specified or it's a global block.  */
1123
1124   if (static_block == NULL)
1125     return NULL;
1126
1127   while (block != static_block)
1128     {
1129       sym = lookup_symbol_aux_block (name, linkage_name, block, domain,
1130                                      symtab);
1131       if (sym != NULL)
1132         return sym;
1133       block = BLOCK_SUPERBLOCK (block);
1134     }
1135
1136   /* We've reached the static block without finding a result.  */
1137
1138   return NULL;
1139 }
1140
1141 /* Look up a symbol in a block; if found, locate its symtab, fixup the
1142    symbol, and set block_found appropriately.  */
1143
1144 struct symbol *
1145 lookup_symbol_aux_block (const char *name, const char *linkage_name,
1146                          const struct block *block,
1147                          const domain_enum domain,
1148                          struct symtab **symtab)
1149 {
1150   struct symbol *sym;
1151   struct objfile *objfile = NULL;
1152   struct blockvector *bv;
1153   struct block *b;
1154   struct symtab *s = NULL;
1155
1156   sym = lookup_block_symbol (block, name, linkage_name, domain);
1157   if (sym)
1158     {
1159       block_found = block;
1160       if (symtab != NULL)
1161         {
1162           /* Search the list of symtabs for one which contains the
1163              address of the start of this block.  */
1164           ALL_SYMTABS (objfile, s)
1165             {
1166               bv = BLOCKVECTOR (s);
1167               b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1168               if (BLOCK_START (b) <= BLOCK_START (block)
1169                   && BLOCK_END (b) > BLOCK_START (block))
1170                 goto found;
1171             }
1172         found:
1173           *symtab = s;
1174         }
1175       
1176       return fixup_symbol_section (sym, objfile);
1177     }
1178
1179   return NULL;
1180 }
1181
1182 /* Check to see if the symbol is defined in one of the symtabs.
1183    BLOCK_INDEX should be either GLOBAL_BLOCK or STATIC_BLOCK,
1184    depending on whether or not we want to search global symbols or
1185    static symbols.  */
1186
1187 static struct symbol *
1188 lookup_symbol_aux_symtabs (int block_index,
1189                            const char *name, const char *linkage_name,
1190                            const domain_enum domain,
1191                            struct symtab **symtab)
1192 {
1193   struct symbol *sym;
1194   struct objfile *objfile;
1195   struct blockvector *bv;
1196   const struct block *block;
1197   struct symtab *s;
1198
1199   ALL_SYMTABS (objfile, s)
1200   {
1201     bv = BLOCKVECTOR (s);
1202     block = BLOCKVECTOR_BLOCK (bv, block_index);
1203     sym = lookup_block_symbol (block, name, linkage_name, domain);
1204     if (sym)
1205       {
1206         block_found = block;
1207         if (symtab != NULL)
1208           *symtab = s;
1209         return fixup_symbol_section (sym, objfile);
1210       }
1211   }
1212
1213   return NULL;
1214 }
1215
1216 /* Check to see if the symbol is defined in one of the partial
1217    symtabs.  BLOCK_INDEX should be either GLOBAL_BLOCK or
1218    STATIC_BLOCK, depending on whether or not we want to search global
1219    symbols or static symbols.  */
1220
1221 static struct symbol *
1222 lookup_symbol_aux_psymtabs (int block_index, const char *name,
1223                             const char *linkage_name,
1224                             const domain_enum domain,
1225                             struct symtab **symtab)
1226 {
1227   struct symbol *sym;
1228   struct objfile *objfile;
1229   struct blockvector *bv;
1230   const struct block *block;
1231   struct partial_symtab *ps;
1232   struct symtab *s;
1233   const int psymtab_index = (block_index == GLOBAL_BLOCK ? 1 : 0);
1234
1235   ALL_PSYMTABS (objfile, ps)
1236   {
1237     if (!ps->readin
1238         && lookup_partial_symbol (ps, name, linkage_name,
1239                                   psymtab_index, domain))
1240       {
1241         s = PSYMTAB_TO_SYMTAB (ps);
1242         bv = BLOCKVECTOR (s);
1243         block = BLOCKVECTOR_BLOCK (bv, block_index);
1244         sym = lookup_block_symbol (block, name, linkage_name, domain);
1245         if (!sym)
1246           {
1247             /* This shouldn't be necessary, but as a last resort try
1248                looking in the statics even though the psymtab claimed
1249                the symbol was global, or vice-versa. It's possible
1250                that the psymtab gets it wrong in some cases.  */
1251
1252             /* FIXME: carlton/2002-09-30: Should we really do that?
1253                If that happens, isn't it likely to be a GDB error, in
1254                which case we should fix the GDB error rather than
1255                silently dealing with it here?  So I'd vote for
1256                removing the check for the symbol in the other
1257                block.  */
1258             block = BLOCKVECTOR_BLOCK (bv,
1259                                        block_index == GLOBAL_BLOCK ?
1260                                        STATIC_BLOCK : GLOBAL_BLOCK);
1261             sym = lookup_block_symbol (block, name, linkage_name, domain);
1262             if (!sym)
1263               error ("Internal: %s symbol `%s' found in %s psymtab but not in symtab.\n%s may be an inlined function, or may be a template function\n(if a template, try specifying an instantiation: %s<type>).",
1264                      block_index == GLOBAL_BLOCK ? "global" : "static",
1265                      name, ps->filename, name, name);
1266           }
1267         if (symtab != NULL)
1268           *symtab = s;
1269         return fixup_symbol_section (sym, objfile);
1270       }
1271   }
1272
1273   return NULL;
1274 }
1275
1276 #if 0
1277 /* Check for the possibility of the symbol being a function or a
1278    mangled variable that is stored in one of the minimal symbol
1279    tables.  Eventually, all global symbols might be resolved in this
1280    way.  */
1281
1282 /* NOTE: carlton/2002-12-05: At one point, this function was part of
1283    lookup_symbol_aux, and what are now 'return' statements within
1284    lookup_symbol_aux_minsyms returned from lookup_symbol_aux, even if
1285    sym was NULL.  As far as I can tell, this was basically accidental;
1286    it didn't happen every time that msymbol was non-NULL, but only if
1287    some additional conditions held as well, and it caused problems
1288    with HP-generated symbol tables.  */
1289
1290 /* NOTE: carlton/2003-05-14: This function was once used as part of
1291    lookup_symbol.  It is currently unnecessary for correctness
1292    reasons, however, and using it doesn't seem to be any faster than
1293    using lookup_symbol_aux_psymtabs, so I'm commenting it out.  */
1294
1295 static struct symbol *
1296 lookup_symbol_aux_minsyms (const char *name,
1297                            const char *linkage_name,
1298                            const domain_enum domain,
1299                            int *is_a_field_of_this,
1300                            struct symtab **symtab)
1301 {
1302   struct symbol *sym;
1303   struct blockvector *bv;
1304   const struct block *block;
1305   struct minimal_symbol *msymbol;
1306   struct symtab *s;
1307
1308   if (domain == VAR_DOMAIN)
1309     {
1310       msymbol = lookup_minimal_symbol (name, NULL, NULL);
1311
1312       if (msymbol != NULL)
1313         {
1314           /* OK, we found a minimal symbol in spite of not finding any
1315              symbol. There are various possible explanations for
1316              this. One possibility is the symbol exists in code not
1317              compiled -g. Another possibility is that the 'psymtab'
1318              isn't doing its job.  A third possibility, related to #2,
1319              is that we were confused by name-mangling. For instance,
1320              maybe the psymtab isn't doing its job because it only
1321              know about demangled names, but we were given a mangled
1322              name...  */
1323
1324           /* We first use the address in the msymbol to try to locate
1325              the appropriate symtab. Note that find_pc_sect_symtab()
1326              has a side-effect of doing psymtab-to-symtab expansion,
1327              for the found symtab.  */
1328           s = find_pc_sect_symtab (SYMBOL_VALUE_ADDRESS (msymbol),
1329                                    SYMBOL_BFD_SECTION (msymbol));
1330           if (s != NULL)
1331             {
1332               /* This is a function which has a symtab for its address.  */
1333               bv = BLOCKVECTOR (s);
1334               block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1335
1336               /* This call used to pass `SYMBOL_LINKAGE_NAME (msymbol)' as the
1337                  `name' argument to lookup_block_symbol.  But the name
1338                  of a minimal symbol is always mangled, so that seems
1339                  to be clearly the wrong thing to pass as the
1340                  unmangled name.  */
1341               sym =
1342                 lookup_block_symbol (block, name, linkage_name, domain);
1343               /* We kept static functions in minimal symbol table as well as
1344                  in static scope. We want to find them in the symbol table. */
1345               if (!sym)
1346                 {
1347                   block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1348                   sym = lookup_block_symbol (block, name,
1349                                              linkage_name, domain);
1350                 }
1351
1352               /* NOTE: carlton/2002-12-04: The following comment was
1353                  taken from a time when two versions of this function
1354                  were part of the body of lookup_symbol_aux: this
1355                  comment was taken from the version of the function
1356                  that was #ifdef HPUXHPPA, and the comment was right
1357                  before the 'return NULL' part of lookup_symbol_aux.
1358                  (Hence the "Fall through and return 0" comment.)
1359                  Elena did some digging into the situation for
1360                  Fortran, and she reports:
1361
1362                  "I asked around (thanks to Jeff Knaggs), and I think
1363                  the story for Fortran goes like this:
1364
1365                  "Apparently, in older Fortrans, '_' was not part of
1366                  the user namespace.  g77 attached a final '_' to
1367                  procedure names as the exported symbols for linkage
1368                  (foo_) , but the symbols went in the debug info just
1369                  like 'foo'. The rationale behind this is not
1370                  completely clear, and maybe it was done to other
1371                  symbols as well, not just procedures."  */
1372
1373               /* If we get here with sym == 0, the symbol was 
1374                  found in the minimal symbol table
1375                  but not in the symtab.
1376                  Fall through and return 0 to use the msymbol 
1377                  definition of "foo_".
1378                  (Note that outer code generally follows up a call
1379                  to this routine with a call to lookup_minimal_symbol(),
1380                  so a 0 return means we'll just flow into that other routine).
1381
1382                  This happens for Fortran  "foo_" symbols,
1383                  which are "foo" in the symtab.
1384
1385                  This can also happen if "asm" is used to make a
1386                  regular symbol but not a debugging symbol, e.g.
1387                  asm(".globl _main");
1388                  asm("_main:");
1389                */
1390
1391               if (symtab != NULL && sym != NULL)
1392                 *symtab = s;
1393               return fixup_symbol_section (sym, s->objfile);
1394             }
1395         }
1396     }
1397
1398   return NULL;
1399 }
1400 #endif /* 0 */
1401
1402 /* A default version of lookup_symbol_nonlocal for use by languages
1403    that can't think of anything better to do.  This implements the C
1404    lookup rules.  */
1405
1406 struct symbol *
1407 basic_lookup_symbol_nonlocal (const char *name,
1408                               const char *linkage_name,
1409                               const struct block *block,
1410                               const domain_enum domain,
1411                               struct symtab **symtab)
1412 {
1413   struct symbol *sym;
1414
1415   /* NOTE: carlton/2003-05-19: The comments below were written when
1416      this (or what turned into this) was part of lookup_symbol_aux;
1417      I'm much less worried about these questions now, since these
1418      decisions have turned out well, but I leave these comments here
1419      for posterity.  */
1420
1421   /* NOTE: carlton/2002-12-05: There is a question as to whether or
1422      not it would be appropriate to search the current global block
1423      here as well.  (That's what this code used to do before the
1424      is_a_field_of_this check was moved up.)  On the one hand, it's
1425      redundant with the lookup_symbol_aux_symtabs search that happens
1426      next.  On the other hand, if decode_line_1 is passed an argument
1427      like filename:var, then the user presumably wants 'var' to be
1428      searched for in filename.  On the third hand, there shouldn't be
1429      multiple global variables all of which are named 'var', and it's
1430      not like decode_line_1 has ever restricted its search to only
1431      global variables in a single filename.  All in all, only
1432      searching the static block here seems best: it's correct and it's
1433      cleanest.  */
1434
1435   /* NOTE: carlton/2002-12-05: There's also a possible performance
1436      issue here: if you usually search for global symbols in the
1437      current file, then it would be slightly better to search the
1438      current global block before searching all the symtabs.  But there
1439      are other factors that have a much greater effect on performance
1440      than that one, so I don't think we should worry about that for
1441      now.  */
1442
1443   sym = lookup_symbol_static (name, linkage_name, block, domain, symtab);
1444   if (sym != NULL)
1445     return sym;
1446
1447   return lookup_symbol_global (name, linkage_name, domain, symtab);
1448 }
1449
1450 /* Lookup a symbol in the static block associated to BLOCK, if there
1451    is one; do nothing if BLOCK is NULL or a global block.  */
1452
1453 struct symbol *
1454 lookup_symbol_static (const char *name,
1455                       const char *linkage_name,
1456                       const struct block *block,
1457                       const domain_enum domain,
1458                       struct symtab **symtab)
1459 {
1460   const struct block *static_block = block_static_block (block);
1461
1462   if (static_block != NULL)
1463     return lookup_symbol_aux_block (name, linkage_name, static_block,
1464                                     domain, symtab);
1465   else
1466     return NULL;
1467 }
1468
1469 /* Lookup a symbol in all files' global blocks (searching psymtabs if
1470    necessary).  */
1471
1472 struct symbol *
1473 lookup_symbol_global (const char *name,
1474                       const char *linkage_name,
1475                       const domain_enum domain,
1476                       struct symtab **symtab)
1477 {
1478   struct symbol *sym;
1479
1480   sym = lookup_symbol_aux_symtabs (GLOBAL_BLOCK, name, linkage_name,
1481                                    domain, symtab);
1482   if (sym != NULL)
1483     return sym;
1484
1485   return lookup_symbol_aux_psymtabs (GLOBAL_BLOCK, name, linkage_name,
1486                                      domain, symtab);
1487 }
1488
1489 /* Look, in partial_symtab PST, for symbol whose natural name is NAME.
1490    If LINKAGE_NAME is non-NULL, check in addition that the symbol's
1491    linkage name matches it.  Check the global symbols if GLOBAL, the
1492    static symbols if not */
1493
1494 struct partial_symbol *
1495 lookup_partial_symbol (struct partial_symtab *pst, const char *name,
1496                        const char *linkage_name, int global,
1497                        domain_enum domain)
1498 {
1499   struct partial_symbol *temp;
1500   struct partial_symbol **start, **psym;
1501   struct partial_symbol **top, **real_top, **bottom, **center;
1502   int length = (global ? pst->n_global_syms : pst->n_static_syms);
1503   int do_linear_search = 1;
1504   
1505   if (length == 0)
1506     {
1507       return (NULL);
1508     }
1509   start = (global ?
1510            pst->objfile->global_psymbols.list + pst->globals_offset :
1511            pst->objfile->static_psymbols.list + pst->statics_offset);
1512   
1513   if (global)                   /* This means we can use a binary search. */
1514     {
1515       do_linear_search = 0;
1516
1517       /* Binary search.  This search is guaranteed to end with center
1518          pointing at the earliest partial symbol whose name might be
1519          correct.  At that point *all* partial symbols with an
1520          appropriate name will be checked against the correct
1521          domain.  */
1522
1523       bottom = start;
1524       top = start + length - 1;
1525       real_top = top;
1526       while (top > bottom)
1527         {
1528           center = bottom + (top - bottom) / 2;
1529           if (!(center < top))
1530             internal_error (__FILE__, __LINE__, "failed internal consistency check");
1531           if (!do_linear_search
1532               && (SYMBOL_LANGUAGE (*center) == language_java))
1533             {
1534               do_linear_search = 1;
1535             }
1536           if (strcmp_iw_ordered (SYMBOL_SEARCH_NAME (*center), name) >= 0)
1537             {
1538               top = center;
1539             }
1540           else
1541             {
1542               bottom = center + 1;
1543             }
1544         }
1545       if (!(top == bottom))
1546         internal_error (__FILE__, __LINE__, "failed internal consistency check");
1547
1548       while (top <= real_top
1549              && (linkage_name != NULL
1550                  ? strcmp (SYMBOL_LINKAGE_NAME (*top), linkage_name) == 0
1551                  : SYMBOL_MATCHES_SEARCH_NAME (*top,name)))
1552         {
1553           if (SYMBOL_DOMAIN (*top) == domain)
1554             {
1555                   return (*top);
1556             }
1557           top++;
1558         }
1559     }
1560
1561   /* Can't use a binary search or else we found during the binary search that
1562      we should also do a linear search. */
1563
1564   if (do_linear_search)
1565     {                   
1566       for (psym = start; psym < start + length; psym++)
1567         {
1568           if (domain == SYMBOL_DOMAIN (*psym))
1569             {
1570               if (linkage_name != NULL
1571                   ? strcmp (SYMBOL_LINKAGE_NAME (*psym), linkage_name) == 0
1572                   : SYMBOL_MATCHES_SEARCH_NAME (*psym, name))
1573                 {
1574                   return (*psym);
1575                 }
1576             }
1577         }
1578     }
1579
1580   return (NULL);
1581 }
1582
1583 /* Look up a type named NAME in the struct_domain.  The type returned
1584    must not be opaque -- i.e., must have at least one field
1585    defined.  */
1586
1587 struct type *
1588 lookup_transparent_type (const char *name)
1589 {
1590   return current_language->la_lookup_transparent_type (name);
1591 }
1592
1593 /* The standard implementation of lookup_transparent_type.  This code
1594    was modeled on lookup_symbol -- the parts not relevant to looking
1595    up types were just left out.  In particular it's assumed here that
1596    types are available in struct_domain and only at file-static or
1597    global blocks.  */
1598
1599 struct type *
1600 basic_lookup_transparent_type (const char *name)
1601 {
1602   struct symbol *sym;
1603   struct symtab *s = NULL;
1604   struct partial_symtab *ps;
1605   struct blockvector *bv;
1606   struct objfile *objfile;
1607   struct block *block;
1608
1609   /* Now search all the global symbols.  Do the symtab's first, then
1610      check the psymtab's. If a psymtab indicates the existence
1611      of the desired name as a global, then do psymtab-to-symtab
1612      conversion on the fly and return the found symbol.  */
1613
1614   ALL_SYMTABS (objfile, s)
1615   {
1616     bv = BLOCKVECTOR (s);
1617     block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1618     sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1619     if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1620       {
1621         return SYMBOL_TYPE (sym);
1622       }
1623   }
1624
1625   ALL_PSYMTABS (objfile, ps)
1626   {
1627     if (!ps->readin && lookup_partial_symbol (ps, name, NULL,
1628                                               1, STRUCT_DOMAIN))
1629       {
1630         s = PSYMTAB_TO_SYMTAB (ps);
1631         bv = BLOCKVECTOR (s);
1632         block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1633         sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1634         if (!sym)
1635           {
1636             /* This shouldn't be necessary, but as a last resort
1637              * try looking in the statics even though the psymtab
1638              * claimed the symbol was global. It's possible that
1639              * the psymtab gets it wrong in some cases.
1640              */
1641             block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1642             sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1643             if (!sym)
1644               error ("Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
1645 %s may be an inlined function, or may be a template function\n\
1646 (if a template, try specifying an instantiation: %s<type>).",
1647                      name, ps->filename, name, name);
1648           }
1649         if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1650           return SYMBOL_TYPE (sym);
1651       }
1652   }
1653
1654   /* Now search the static file-level symbols.
1655      Not strictly correct, but more useful than an error.
1656      Do the symtab's first, then
1657      check the psymtab's. If a psymtab indicates the existence
1658      of the desired name as a file-level static, then do psymtab-to-symtab
1659      conversion on the fly and return the found symbol.
1660    */
1661
1662   ALL_SYMTABS (objfile, s)
1663   {
1664     bv = BLOCKVECTOR (s);
1665     block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1666     sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1667     if (sym && !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1668       {
1669         return SYMBOL_TYPE (sym);
1670       }
1671   }
1672
1673   ALL_PSYMTABS (objfile, ps)
1674   {
1675     if (!ps->readin && lookup_partial_symbol (ps, name, NULL, 0, STRUCT_DOMAIN))
1676       {
1677         s = PSYMTAB_TO_SYMTAB (ps);
1678         bv = BLOCKVECTOR (s);
1679         block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1680         sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1681         if (!sym)
1682           {
1683             /* This shouldn't be necessary, but as a last resort
1684              * try looking in the globals even though the psymtab
1685              * claimed the symbol was static. It's possible that
1686              * the psymtab gets it wrong in some cases.
1687              */
1688             block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1689             sym = lookup_block_symbol (block, name, NULL, STRUCT_DOMAIN);
1690             if (!sym)
1691               error ("Internal: static symbol `%s' found in %s psymtab but not in symtab.\n\
1692 %s may be an inlined function, or may be a template function\n\
1693 (if a template, try specifying an instantiation: %s<type>).",
1694                      name, ps->filename, name, name);
1695           }
1696         if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
1697           return SYMBOL_TYPE (sym);
1698       }
1699   }
1700   return (struct type *) 0;
1701 }
1702
1703
1704 /* Find the psymtab containing main(). */
1705 /* FIXME:  What about languages without main() or specially linked
1706    executables that have no main() ? */
1707
1708 struct partial_symtab *
1709 find_main_psymtab (void)
1710 {
1711   struct partial_symtab *pst;
1712   struct objfile *objfile;
1713
1714   ALL_PSYMTABS (objfile, pst)
1715   {
1716     if (lookup_partial_symbol (pst, main_name (), NULL, 1, VAR_DOMAIN))
1717       {
1718         return (pst);
1719       }
1720   }
1721   return (NULL);
1722 }
1723
1724 /* Search BLOCK for symbol NAME in DOMAIN.
1725
1726    Note that if NAME is the demangled form of a C++ symbol, we will fail
1727    to find a match during the binary search of the non-encoded names, but
1728    for now we don't worry about the slight inefficiency of looking for
1729    a match we'll never find, since it will go pretty quick.  Once the
1730    binary search terminates, we drop through and do a straight linear
1731    search on the symbols.  Each symbol which is marked as being a ObjC/C++
1732    symbol (language_cplus or language_objc set) has both the encoded and 
1733    non-encoded names tested for a match.
1734
1735    If LINKAGE_NAME is non-NULL, verify that any symbol we find has this
1736    particular mangled name.
1737 */
1738
1739 struct symbol *
1740 lookup_block_symbol (const struct block *block, const char *name,
1741                      const char *linkage_name,
1742                      const domain_enum domain)
1743 {
1744   struct dict_iterator iter;
1745   struct symbol *sym;
1746
1747   if (!BLOCK_FUNCTION (block))
1748     {
1749       for (sym = dict_iter_name_first (BLOCK_DICT (block), name, &iter);
1750            sym != NULL;
1751            sym = dict_iter_name_next (name, &iter))
1752         {
1753           if (SYMBOL_DOMAIN (sym) == domain
1754               && (linkage_name != NULL
1755                   ? strcmp (SYMBOL_LINKAGE_NAME (sym), linkage_name) == 0 : 1))
1756             return sym;
1757         }
1758       return NULL;
1759     }
1760   else
1761     {
1762       /* Note that parameter symbols do not always show up last in the
1763          list; this loop makes sure to take anything else other than
1764          parameter symbols first; it only uses parameter symbols as a
1765          last resort.  Note that this only takes up extra computation
1766          time on a match.  */
1767
1768       struct symbol *sym_found = NULL;
1769
1770       for (sym = dict_iter_name_first (BLOCK_DICT (block), name, &iter);
1771            sym != NULL;
1772            sym = dict_iter_name_next (name, &iter))
1773         {
1774           if (SYMBOL_DOMAIN (sym) == domain
1775               && (linkage_name != NULL
1776                   ? strcmp (SYMBOL_LINKAGE_NAME (sym), linkage_name) == 0 : 1))
1777             {
1778               sym_found = sym;
1779               if (SYMBOL_CLASS (sym) != LOC_ARG &&
1780                   SYMBOL_CLASS (sym) != LOC_LOCAL_ARG &&
1781                   SYMBOL_CLASS (sym) != LOC_REF_ARG &&
1782                   SYMBOL_CLASS (sym) != LOC_REGPARM &&
1783                   SYMBOL_CLASS (sym) != LOC_REGPARM_ADDR &&
1784                   SYMBOL_CLASS (sym) != LOC_BASEREG_ARG &&
1785                   SYMBOL_CLASS (sym) != LOC_COMPUTED_ARG)
1786                 {
1787                   break;
1788                 }
1789             }
1790         }
1791       return (sym_found);       /* Will be NULL if not found. */
1792     }
1793 }
1794
1795 /* Find the symtab associated with PC and SECTION.  Look through the
1796    psymtabs and read in another symtab if necessary. */
1797
1798 struct symtab *
1799 find_pc_sect_symtab (CORE_ADDR pc, asection *section)
1800 {
1801   struct block *b;
1802   struct blockvector *bv;
1803   struct symtab *s = NULL;
1804   struct symtab *best_s = NULL;
1805   struct partial_symtab *ps;
1806   struct objfile *objfile;
1807   CORE_ADDR distance = 0;
1808   struct minimal_symbol *msymbol;
1809
1810   /* If we know that this is not a text address, return failure.  This is
1811      necessary because we loop based on the block's high and low code
1812      addresses, which do not include the data ranges, and because
1813      we call find_pc_sect_psymtab which has a similar restriction based
1814      on the partial_symtab's texthigh and textlow.  */
1815   msymbol = lookup_minimal_symbol_by_pc_section (pc, section);
1816   if (msymbol
1817       && (msymbol->type == mst_data
1818           || msymbol->type == mst_bss
1819           || msymbol->type == mst_abs
1820           || msymbol->type == mst_file_data
1821           || msymbol->type == mst_file_bss))
1822     return NULL;
1823
1824   /* Search all symtabs for the one whose file contains our address, and which
1825      is the smallest of all the ones containing the address.  This is designed
1826      to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000
1827      and symtab b is at 0x2000-0x3000.  So the GLOBAL_BLOCK for a is from
1828      0x1000-0x4000, but for address 0x2345 we want to return symtab b.
1829
1830      This happens for native ecoff format, where code from included files
1831      gets its own symtab. The symtab for the included file should have
1832      been read in already via the dependency mechanism.
1833      It might be swifter to create several symtabs with the same name
1834      like xcoff does (I'm not sure).
1835
1836      It also happens for objfiles that have their functions reordered.
1837      For these, the symtab we are looking for is not necessarily read in.  */
1838
1839   ALL_SYMTABS (objfile, s)
1840   {
1841     bv = BLOCKVECTOR (s);
1842     b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
1843
1844     if (BLOCK_START (b) <= pc
1845         && BLOCK_END (b) > pc
1846         && (distance == 0
1847             || BLOCK_END (b) - BLOCK_START (b) < distance))
1848       {
1849         /* For an objfile that has its functions reordered,
1850            find_pc_psymtab will find the proper partial symbol table
1851            and we simply return its corresponding symtab.  */
1852         /* In order to better support objfiles that contain both
1853            stabs and coff debugging info, we continue on if a psymtab
1854            can't be found. */
1855         if ((objfile->flags & OBJF_REORDERED) && objfile->psymtabs)
1856           {
1857             ps = find_pc_sect_psymtab (pc, section);
1858             if (ps)
1859               return PSYMTAB_TO_SYMTAB (ps);
1860           }
1861         if (section != 0)
1862           {
1863             struct dict_iterator iter;
1864             struct symbol *sym = NULL;
1865
1866             ALL_BLOCK_SYMBOLS (b, iter, sym)
1867               {
1868                 fixup_symbol_section (sym, objfile);
1869                 if (section == SYMBOL_BFD_SECTION (sym))
1870                   break;
1871               }
1872             if (sym == NULL)
1873               continue;         /* no symbol in this symtab matches section */
1874           }
1875         distance = BLOCK_END (b) - BLOCK_START (b);
1876         best_s = s;
1877       }
1878   }
1879
1880   if (best_s != NULL)
1881     return (best_s);
1882
1883   s = NULL;
1884   ps = find_pc_sect_psymtab (pc, section);
1885   if (ps)
1886     {
1887       if (ps->readin)
1888         /* Might want to error() here (in case symtab is corrupt and
1889            will cause a core dump), but maybe we can successfully
1890            continue, so let's not.  */
1891         warning ("\
1892 (Internal error: pc 0x%s in read in psymtab, but not in symtab.)\n",
1893                  paddr_nz (pc));
1894       s = PSYMTAB_TO_SYMTAB (ps);
1895     }
1896   return (s);
1897 }
1898
1899 /* Find the symtab associated with PC.  Look through the psymtabs and
1900    read in another symtab if necessary.  Backward compatibility, no section */
1901
1902 struct symtab *
1903 find_pc_symtab (CORE_ADDR pc)
1904 {
1905   return find_pc_sect_symtab (pc, find_pc_mapped_section (pc));
1906 }
1907 \f
1908
1909 /* Find the source file and line number for a given PC value and SECTION.
1910    Return a structure containing a symtab pointer, a line number,
1911    and a pc range for the entire source line.
1912    The value's .pc field is NOT the specified pc.
1913    NOTCURRENT nonzero means, if specified pc is on a line boundary,
1914    use the line that ends there.  Otherwise, in that case, the line
1915    that begins there is used.  */
1916
1917 /* The big complication here is that a line may start in one file, and end just
1918    before the start of another file.  This usually occurs when you #include
1919    code in the middle of a subroutine.  To properly find the end of a line's PC
1920    range, we must search all symtabs associated with this compilation unit, and
1921    find the one whose first PC is closer than that of the next line in this
1922    symtab.  */
1923
1924 /* If it's worth the effort, we could be using a binary search.  */
1925
1926 struct symtab_and_line
1927 find_pc_sect_line (CORE_ADDR pc, struct bfd_section *section, int notcurrent)
1928 {
1929   struct symtab *s;
1930   struct linetable *l;
1931   int len;
1932   int i;
1933   struct linetable_entry *item;
1934   struct symtab_and_line val;
1935   struct blockvector *bv;
1936   struct minimal_symbol *msymbol;
1937   struct minimal_symbol *mfunsym;
1938
1939   /* Info on best line seen so far, and where it starts, and its file.  */
1940
1941   struct linetable_entry *best = NULL;
1942   CORE_ADDR best_end = 0;
1943   struct symtab *best_symtab = 0;
1944
1945   /* Store here the first line number
1946      of a file which contains the line at the smallest pc after PC.
1947      If we don't find a line whose range contains PC,
1948      we will use a line one less than this,
1949      with a range from the start of that file to the first line's pc.  */
1950   struct linetable_entry *alt = NULL;
1951   struct symtab *alt_symtab = 0;
1952
1953   /* Info on best line seen in this file.  */
1954
1955   struct linetable_entry *prev;
1956
1957   /* If this pc is not from the current frame,
1958      it is the address of the end of a call instruction.
1959      Quite likely that is the start of the following statement.
1960      But what we want is the statement containing the instruction.
1961      Fudge the pc to make sure we get that.  */
1962
1963   init_sal (&val);              /* initialize to zeroes */
1964
1965   /* It's tempting to assume that, if we can't find debugging info for
1966      any function enclosing PC, that we shouldn't search for line
1967      number info, either.  However, GAS can emit line number info for
1968      assembly files --- very helpful when debugging hand-written
1969      assembly code.  In such a case, we'd have no debug info for the
1970      function, but we would have line info.  */
1971
1972   if (notcurrent)
1973     pc -= 1;
1974
1975   /* elz: added this because this function returned the wrong
1976      information if the pc belongs to a stub (import/export)
1977      to call a shlib function. This stub would be anywhere between
1978      two functions in the target, and the line info was erroneously 
1979      taken to be the one of the line before the pc. 
1980    */
1981   /* RT: Further explanation:
1982
1983    * We have stubs (trampolines) inserted between procedures.
1984    *
1985    * Example: "shr1" exists in a shared library, and a "shr1" stub also
1986    * exists in the main image.
1987    *
1988    * In the minimal symbol table, we have a bunch of symbols
1989    * sorted by start address. The stubs are marked as "trampoline",
1990    * the others appear as text. E.g.:
1991    *
1992    *  Minimal symbol table for main image 
1993    *     main:  code for main (text symbol)
1994    *     shr1: stub  (trampoline symbol)
1995    *     foo:   code for foo (text symbol)
1996    *     ...
1997    *  Minimal symbol table for "shr1" image:
1998    *     ...
1999    *     shr1: code for shr1 (text symbol)
2000    *     ...
2001    *
2002    * So the code below is trying to detect if we are in the stub
2003    * ("shr1" stub), and if so, find the real code ("shr1" trampoline),
2004    * and if found,  do the symbolization from the real-code address
2005    * rather than the stub address.
2006    *
2007    * Assumptions being made about the minimal symbol table:
2008    *   1. lookup_minimal_symbol_by_pc() will return a trampoline only
2009    *      if we're really in the trampoline. If we're beyond it (say
2010    *      we're in "foo" in the above example), it'll have a closer 
2011    *      symbol (the "foo" text symbol for example) and will not
2012    *      return the trampoline.
2013    *   2. lookup_minimal_symbol_text() will find a real text symbol
2014    *      corresponding to the trampoline, and whose address will
2015    *      be different than the trampoline address. I put in a sanity
2016    *      check for the address being the same, to avoid an
2017    *      infinite recursion.
2018    */
2019   msymbol = lookup_minimal_symbol_by_pc (pc);
2020   if (msymbol != NULL)
2021     if (MSYMBOL_TYPE (msymbol) == mst_solib_trampoline)
2022       {
2023         mfunsym = lookup_minimal_symbol_text (SYMBOL_LINKAGE_NAME (msymbol),
2024                                               NULL);
2025         if (mfunsym == NULL)
2026           /* I eliminated this warning since it is coming out
2027            * in the following situation:
2028            * gdb shmain // test program with shared libraries
2029            * (gdb) break shr1  // function in shared lib
2030            * Warning: In stub for ...
2031            * In the above situation, the shared lib is not loaded yet, 
2032            * so of course we can't find the real func/line info,
2033            * but the "break" still works, and the warning is annoying.
2034            * So I commented out the warning. RT */
2035           /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
2036         /* fall through */
2037         else if (SYMBOL_VALUE (mfunsym) == SYMBOL_VALUE (msymbol))
2038           /* Avoid infinite recursion */
2039           /* See above comment about why warning is commented out */
2040           /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
2041         /* fall through */
2042         else
2043           return find_pc_line (SYMBOL_VALUE (mfunsym), 0);
2044       }
2045
2046
2047   s = find_pc_sect_symtab (pc, section);
2048   if (!s)
2049     {
2050       /* if no symbol information, return previous pc */
2051       if (notcurrent)
2052         pc++;
2053       val.pc = pc;
2054       return val;
2055     }
2056
2057   bv = BLOCKVECTOR (s);
2058
2059   /* Look at all the symtabs that share this blockvector.
2060      They all have the same apriori range, that we found was right;
2061      but they have different line tables.  */
2062
2063   for (; s && BLOCKVECTOR (s) == bv; s = s->next)
2064     {
2065       /* Find the best line in this symtab.  */
2066       l = LINETABLE (s);
2067       if (!l)
2068         continue;
2069       len = l->nitems;
2070       if (len <= 0)
2071         {
2072           /* I think len can be zero if the symtab lacks line numbers
2073              (e.g. gcc -g1).  (Either that or the LINETABLE is NULL;
2074              I'm not sure which, and maybe it depends on the symbol
2075              reader).  */
2076           continue;
2077         }
2078
2079       prev = NULL;
2080       item = l->item;           /* Get first line info */
2081
2082       /* Is this file's first line closer than the first lines of other files?
2083          If so, record this file, and its first line, as best alternate.  */
2084       if (item->pc > pc && (!alt || item->pc < alt->pc))
2085         {
2086           alt = item;
2087           alt_symtab = s;
2088         }
2089
2090       for (i = 0; i < len; i++, item++)
2091         {
2092           /* Leave prev pointing to the linetable entry for the last line
2093              that started at or before PC.  */
2094           if (item->pc > pc)
2095             break;
2096
2097           prev = item;
2098         }
2099
2100       /* At this point, prev points at the line whose start addr is <= pc, and
2101          item points at the next line.  If we ran off the end of the linetable
2102          (pc >= start of the last line), then prev == item.  If pc < start of
2103          the first line, prev will not be set.  */
2104
2105       /* Is this file's best line closer than the best in the other files?
2106          If so, record this file, and its best line, as best so far.  Don't
2107          save prev if it represents the end of a function (i.e. line number
2108          0) instead of a real line.  */
2109
2110       if (prev && prev->line && (!best || prev->pc > best->pc))
2111         {
2112           best = prev;
2113           best_symtab = s;
2114
2115           /* Discard BEST_END if it's before the PC of the current BEST.  */
2116           if (best_end <= best->pc)
2117             best_end = 0;
2118         }
2119
2120       /* If another line (denoted by ITEM) is in the linetable and its
2121          PC is after BEST's PC, but before the current BEST_END, then
2122          use ITEM's PC as the new best_end.  */
2123       if (best && i < len && item->pc > best->pc
2124           && (best_end == 0 || best_end > item->pc))
2125         best_end = item->pc;
2126     }
2127
2128   if (!best_symtab)
2129     {
2130       if (!alt_symtab)
2131         {                       /* If we didn't find any line # info, just
2132                                    return zeros.  */
2133           val.pc = pc;
2134         }
2135       else
2136         {
2137           val.symtab = alt_symtab;
2138           val.line = alt->line - 1;
2139
2140           /* Don't return line 0, that means that we didn't find the line.  */
2141           if (val.line == 0)
2142             ++val.line;
2143
2144           val.pc = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2145           val.end = alt->pc;
2146         }
2147     }
2148   else if (best->line == 0)
2149     {
2150       /* If our best fit is in a range of PC's for which no line
2151          number info is available (line number is zero) then we didn't
2152          find any valid line information. */
2153       val.pc = pc;
2154     }
2155   else
2156     {
2157       val.symtab = best_symtab;
2158       val.line = best->line;
2159       val.pc = best->pc;
2160       if (best_end && (!alt || best_end < alt->pc))
2161         val.end = best_end;
2162       else if (alt)
2163         val.end = alt->pc;
2164       else
2165         val.end = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
2166     }
2167   val.section = section;
2168   return val;
2169 }
2170
2171 /* Backward compatibility (no section) */
2172
2173 struct symtab_and_line
2174 find_pc_line (CORE_ADDR pc, int notcurrent)
2175 {
2176   asection *section;
2177
2178   section = find_pc_overlay (pc);
2179   if (pc_in_unmapped_range (pc, section))
2180     pc = overlay_mapped_address (pc, section);
2181   return find_pc_sect_line (pc, section, notcurrent);
2182 }
2183 \f
2184 /* Find line number LINE in any symtab whose name is the same as
2185    SYMTAB.
2186
2187    If found, return the symtab that contains the linetable in which it was
2188    found, set *INDEX to the index in the linetable of the best entry
2189    found, and set *EXACT_MATCH nonzero if the value returned is an
2190    exact match.
2191
2192    If not found, return NULL.  */
2193
2194 struct symtab *
2195 find_line_symtab (struct symtab *symtab, int line, int *index, int *exact_match)
2196 {
2197   int exact;
2198
2199   /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE
2200      so far seen.  */
2201
2202   int best_index;
2203   struct linetable *best_linetable;
2204   struct symtab *best_symtab;
2205
2206   /* First try looking it up in the given symtab.  */
2207   best_linetable = LINETABLE (symtab);
2208   best_symtab = symtab;
2209   best_index = find_line_common (best_linetable, line, &exact);
2210   if (best_index < 0 || !exact)
2211     {
2212       /* Didn't find an exact match.  So we better keep looking for
2213          another symtab with the same name.  In the case of xcoff,
2214          multiple csects for one source file (produced by IBM's FORTRAN
2215          compiler) produce multiple symtabs (this is unavoidable
2216          assuming csects can be at arbitrary places in memory and that
2217          the GLOBAL_BLOCK of a symtab has a begin and end address).  */
2218
2219       /* BEST is the smallest linenumber > LINE so far seen,
2220          or 0 if none has been seen so far.
2221          BEST_INDEX and BEST_LINETABLE identify the item for it.  */
2222       int best;
2223
2224       struct objfile *objfile;
2225       struct symtab *s;
2226
2227       if (best_index >= 0)
2228         best = best_linetable->item[best_index].line;
2229       else
2230         best = 0;
2231
2232       ALL_SYMTABS (objfile, s)
2233       {
2234         struct linetable *l;
2235         int ind;
2236
2237         if (strcmp (symtab->filename, s->filename) != 0)
2238           continue;
2239         l = LINETABLE (s);
2240         ind = find_line_common (l, line, &exact);
2241         if (ind >= 0)
2242           {
2243             if (exact)
2244               {
2245                 best_index = ind;
2246                 best_linetable = l;
2247                 best_symtab = s;
2248                 goto done;
2249               }
2250             if (best == 0 || l->item[ind].line < best)
2251               {
2252                 best = l->item[ind].line;
2253                 best_index = ind;
2254                 best_linetable = l;
2255                 best_symtab = s;
2256               }
2257           }
2258       }
2259     }
2260 done:
2261   if (best_index < 0)
2262     return NULL;
2263
2264   if (index)
2265     *index = best_index;
2266   if (exact_match)
2267     *exact_match = exact;
2268
2269   return best_symtab;
2270 }
2271 \f
2272 /* Set the PC value for a given source file and line number and return true.
2273    Returns zero for invalid line number (and sets the PC to 0).
2274    The source file is specified with a struct symtab.  */
2275
2276 int
2277 find_line_pc (struct symtab *symtab, int line, CORE_ADDR *pc)
2278 {
2279   struct linetable *l;
2280   int ind;
2281
2282   *pc = 0;
2283   if (symtab == 0)
2284     return 0;
2285
2286   symtab = find_line_symtab (symtab, line, &ind, NULL);
2287   if (symtab != NULL)
2288     {
2289       l = LINETABLE (symtab);
2290       *pc = l->item[ind].pc;
2291       return 1;
2292     }
2293   else
2294     return 0;
2295 }
2296
2297 /* Find the range of pc values in a line.
2298    Store the starting pc of the line into *STARTPTR
2299    and the ending pc (start of next line) into *ENDPTR.
2300    Returns 1 to indicate success.
2301    Returns 0 if could not find the specified line.  */
2302
2303 int
2304 find_line_pc_range (struct symtab_and_line sal, CORE_ADDR *startptr,
2305                     CORE_ADDR *endptr)
2306 {
2307   CORE_ADDR startaddr;
2308   struct symtab_and_line found_sal;
2309
2310   startaddr = sal.pc;
2311   if (startaddr == 0 && !find_line_pc (sal.symtab, sal.line, &startaddr))
2312     return 0;
2313
2314   /* This whole function is based on address.  For example, if line 10 has
2315      two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then
2316      "info line *0x123" should say the line goes from 0x100 to 0x200
2317      and "info line *0x355" should say the line goes from 0x300 to 0x400.
2318      This also insures that we never give a range like "starts at 0x134
2319      and ends at 0x12c".  */
2320
2321   found_sal = find_pc_sect_line (startaddr, sal.section, 0);
2322   if (found_sal.line != sal.line)
2323     {
2324       /* The specified line (sal) has zero bytes.  */
2325       *startptr = found_sal.pc;
2326       *endptr = found_sal.pc;
2327     }
2328   else
2329     {
2330       *startptr = found_sal.pc;
2331       *endptr = found_sal.end;
2332     }
2333   return 1;
2334 }
2335
2336 /* Given a line table and a line number, return the index into the line
2337    table for the pc of the nearest line whose number is >= the specified one.
2338    Return -1 if none is found.  The value is >= 0 if it is an index.
2339
2340    Set *EXACT_MATCH nonzero if the value returned is an exact match.  */
2341
2342 static int
2343 find_line_common (struct linetable *l, int lineno,
2344                   int *exact_match)
2345 {
2346   int i;
2347   int len;
2348
2349   /* BEST is the smallest linenumber > LINENO so far seen,
2350      or 0 if none has been seen so far.
2351      BEST_INDEX identifies the item for it.  */
2352
2353   int best_index = -1;
2354   int best = 0;
2355
2356   if (lineno <= 0)
2357     return -1;
2358   if (l == 0)
2359     return -1;
2360
2361   len = l->nitems;
2362   for (i = 0; i < len; i++)
2363     {
2364       struct linetable_entry *item = &(l->item[i]);
2365
2366       if (item->line == lineno)
2367         {
2368           /* Return the first (lowest address) entry which matches.  */
2369           *exact_match = 1;
2370           return i;
2371         }
2372
2373       if (item->line > lineno && (best == 0 || item->line < best))
2374         {
2375           best = item->line;
2376           best_index = i;
2377         }
2378     }
2379
2380   /* If we got here, we didn't get an exact match.  */
2381
2382   *exact_match = 0;
2383   return best_index;
2384 }
2385
2386 int
2387 find_pc_line_pc_range (CORE_ADDR pc, CORE_ADDR *startptr, CORE_ADDR *endptr)
2388 {
2389   struct symtab_and_line sal;
2390   sal = find_pc_line (pc, 0);
2391   *startptr = sal.pc;
2392   *endptr = sal.end;
2393   return sal.symtab != 0;
2394 }
2395
2396 /* Given a function symbol SYM, find the symtab and line for the start
2397    of the function.
2398    If the argument FUNFIRSTLINE is nonzero, we want the first line
2399    of real code inside the function.  */
2400
2401 struct symtab_and_line
2402 find_function_start_sal (struct symbol *sym, int funfirstline)
2403 {
2404   CORE_ADDR pc;
2405   struct symtab_and_line sal;
2406
2407   pc = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
2408   fixup_symbol_section (sym, NULL);
2409   if (funfirstline)
2410     {                           /* skip "first line" of function (which is actually its prologue) */
2411       asection *section = SYMBOL_BFD_SECTION (sym);
2412       /* If function is in an unmapped overlay, use its unmapped LMA
2413          address, so that SKIP_PROLOGUE has something unique to work on */
2414       if (section_is_overlay (section) &&
2415           !section_is_mapped (section))
2416         pc = overlay_unmapped_address (pc, section);
2417
2418       pc += DEPRECATED_FUNCTION_START_OFFSET;
2419       pc = SKIP_PROLOGUE (pc);
2420
2421       /* For overlays, map pc back into its mapped VMA range */
2422       pc = overlay_mapped_address (pc, section);
2423     }
2424   sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2425
2426   /* Check if SKIP_PROLOGUE left us in mid-line, and the next
2427      line is still part of the same function.  */
2428   if (sal.pc != pc
2429       && BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= sal.end
2430       && sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
2431     {
2432       /* First pc of next line */
2433       pc = sal.end;
2434       /* Recalculate the line number (might not be N+1).  */
2435       sal = find_pc_sect_line (pc, SYMBOL_BFD_SECTION (sym), 0);
2436     }
2437   sal.pc = pc;
2438
2439   return sal;
2440 }
2441
2442 /* If P is of the form "operator[ \t]+..." where `...' is
2443    some legitimate operator text, return a pointer to the
2444    beginning of the substring of the operator text.
2445    Otherwise, return "".  */
2446 char *
2447 operator_chars (char *p, char **end)
2448 {
2449   *end = "";
2450   if (strncmp (p, "operator", 8))
2451     return *end;
2452   p += 8;
2453
2454   /* Don't get faked out by `operator' being part of a longer
2455      identifier.  */
2456   if (isalpha (*p) || *p == '_' || *p == '$' || *p == '\0')
2457     return *end;
2458
2459   /* Allow some whitespace between `operator' and the operator symbol.  */
2460   while (*p == ' ' || *p == '\t')
2461     p++;
2462
2463   /* Recognize 'operator TYPENAME'. */
2464
2465   if (isalpha (*p) || *p == '_' || *p == '$')
2466     {
2467       char *q = p + 1;
2468       while (isalnum (*q) || *q == '_' || *q == '$')
2469         q++;
2470       *end = q;
2471       return p;
2472     }
2473
2474   while (*p)
2475     switch (*p)
2476       {
2477       case '\\':                        /* regexp quoting */
2478         if (p[1] == '*')
2479           {
2480             if (p[2] == '=')    /* 'operator\*=' */
2481               *end = p + 3;
2482             else                        /* 'operator\*'  */
2483               *end = p + 2;
2484             return p;
2485           }
2486         else if (p[1] == '[')
2487           {
2488             if (p[2] == ']')
2489               error ("mismatched quoting on brackets, try 'operator\\[\\]'");
2490             else if (p[2] == '\\' && p[3] == ']')
2491               {
2492                 *end = p + 4;   /* 'operator\[\]' */
2493                 return p;
2494               }
2495             else
2496               error ("nothing is allowed between '[' and ']'");
2497           }
2498         else 
2499           {
2500             /* Gratuitous qoute: skip it and move on. */
2501             p++;
2502             continue;
2503           }
2504         break;
2505       case '!':
2506       case '=':
2507       case '*':
2508       case '/':
2509       case '%':
2510       case '^':
2511         if (p[1] == '=')
2512           *end = p + 2;
2513         else
2514           *end = p + 1;
2515         return p;
2516       case '<':
2517       case '>':
2518       case '+':
2519       case '-':
2520       case '&':
2521       case '|':
2522         if (p[0] == '-' && p[1] == '>')
2523           {
2524             /* Struct pointer member operator 'operator->'. */
2525             if (p[2] == '*')
2526               {
2527                 *end = p + 3;   /* 'operator->*' */
2528                 return p;
2529               }
2530             else if (p[2] == '\\')
2531               {
2532                 *end = p + 4;   /* Hopefully 'operator->\*' */
2533                 return p;
2534               }
2535             else
2536               {
2537                 *end = p + 2;   /* 'operator->' */
2538                 return p;
2539               }
2540           }
2541         if (p[1] == '=' || p[1] == p[0])
2542           *end = p + 2;
2543         else
2544           *end = p + 1;
2545         return p;
2546       case '~':
2547       case ',':
2548         *end = p + 1;
2549         return p;
2550       case '(':
2551         if (p[1] != ')')
2552           error ("`operator ()' must be specified without whitespace in `()'");
2553         *end = p + 2;
2554         return p;
2555       case '?':
2556         if (p[1] != ':')
2557           error ("`operator ?:' must be specified without whitespace in `?:'");
2558         *end = p + 2;
2559         return p;
2560       case '[':
2561         if (p[1] != ']')
2562           error ("`operator []' must be specified without whitespace in `[]'");
2563         *end = p + 2;
2564         return p;
2565       default:
2566         error ("`operator %s' not supported", p);
2567         break;
2568       }
2569
2570   *end = "";
2571   return *end;
2572 }
2573 \f
2574
2575 /* If FILE is not already in the table of files, return zero;
2576    otherwise return non-zero.  Optionally add FILE to the table if ADD
2577    is non-zero.  If *FIRST is non-zero, forget the old table
2578    contents.  */
2579 static int
2580 filename_seen (const char *file, int add, int *first)
2581 {
2582   /* Table of files seen so far.  */
2583   static const char **tab = NULL;
2584   /* Allocated size of tab in elements.
2585      Start with one 256-byte block (when using GNU malloc.c).
2586      24 is the malloc overhead when range checking is in effect.  */
2587   static int tab_alloc_size = (256 - 24) / sizeof (char *);
2588   /* Current size of tab in elements.  */
2589   static int tab_cur_size;
2590   const char **p;
2591
2592   if (*first)
2593     {
2594       if (tab == NULL)
2595         tab = (const char **) xmalloc (tab_alloc_size * sizeof (*tab));
2596       tab_cur_size = 0;
2597     }
2598
2599   /* Is FILE in tab?  */
2600   for (p = tab; p < tab + tab_cur_size; p++)
2601     if (strcmp (*p, file) == 0)
2602       return 1;
2603
2604   /* No; maybe add it to tab.  */
2605   if (add)
2606     {
2607       if (tab_cur_size == tab_alloc_size)
2608         {
2609           tab_alloc_size *= 2;
2610           tab = (const char **) xrealloc ((char *) tab,
2611                                           tab_alloc_size * sizeof (*tab));
2612         }
2613       tab[tab_cur_size++] = file;
2614     }
2615
2616   return 0;
2617 }
2618
2619 /* Slave routine for sources_info.  Force line breaks at ,'s.
2620    NAME is the name to print and *FIRST is nonzero if this is the first
2621    name printed.  Set *FIRST to zero.  */
2622 static void
2623 output_source_filename (const char *name, int *first)
2624 {
2625   /* Since a single source file can result in several partial symbol
2626      tables, we need to avoid printing it more than once.  Note: if
2627      some of the psymtabs are read in and some are not, it gets
2628      printed both under "Source files for which symbols have been
2629      read" and "Source files for which symbols will be read in on
2630      demand".  I consider this a reasonable way to deal with the
2631      situation.  I'm not sure whether this can also happen for
2632      symtabs; it doesn't hurt to check.  */
2633
2634   /* Was NAME already seen?  */
2635   if (filename_seen (name, 1, first))
2636     {
2637       /* Yes; don't print it again.  */
2638       return;
2639     }
2640   /* No; print it and reset *FIRST.  */
2641   if (*first)
2642     {
2643       *first = 0;
2644     }
2645   else
2646     {
2647       printf_filtered (", ");
2648     }
2649
2650   wrap_here ("");
2651   fputs_filtered (name, gdb_stdout);
2652 }
2653
2654 static void
2655 sources_info (char *ignore, int from_tty)
2656 {
2657   struct symtab *s;
2658   struct partial_symtab *ps;
2659   struct objfile *objfile;
2660   int first;
2661
2662   if (!have_full_symbols () && !have_partial_symbols ())
2663     {
2664       error ("No symbol table is loaded.  Use the \"file\" command.");
2665     }
2666
2667   printf_filtered ("Source files for which symbols have been read in:\n\n");
2668
2669   first = 1;
2670   ALL_SYMTABS (objfile, s)
2671   {
2672     const char *fullname = symtab_to_fullname (s);
2673     output_source_filename (fullname ? fullname : s->filename, &first);
2674   }
2675   printf_filtered ("\n\n");
2676
2677   printf_filtered ("Source files for which symbols will be read in on demand:\n\n");
2678
2679   first = 1;
2680   ALL_PSYMTABS (objfile, ps)
2681   {
2682     if (!ps->readin)
2683       {
2684         const char *fullname = psymtab_to_fullname (ps);
2685         output_source_filename (fullname ? fullname : 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 = hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol)
3140                              & (CORE_ADDR) 0xffffffff,
3141                              8);
3142   else
3143     tmp = hex_string_custom (SYMBOL_VALUE_ADDRESS (msymbol),
3144                              16);
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 }