2011-03-01 Michael Snyder <msnyder@vmware.com>
[platform/upstream/binutils.git] / gdb / linespec.c
1 /* Parser for linespec for the GNU debugger, GDB.
2
3    Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
4    1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007, 2008,
5    2009, 2010, 2011 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 3 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, see <http://www.gnu.org/licenses/>.  */
21
22 #include "defs.h"
23 #include "symtab.h"
24 #include "frame.h"
25 #include "command.h"
26 #include "symfile.h"
27 #include "objfiles.h"
28 #include "source.h"
29 #include "demangle.h"
30 #include "value.h"
31 #include "completer.h"
32 #include "cp-abi.h"
33 #include "cp-support.h"
34 #include "parser-defs.h"
35 #include "block.h"
36 #include "objc-lang.h"
37 #include "linespec.h"
38 #include "exceptions.h"
39 #include "language.h"
40 #include "interps.h"
41 #include "mi/mi-cmds.h"
42 #include "target.h"
43 #include "arch-utils.h"
44
45 /* We share this one with symtab.c, but it is not exported widely.  */
46
47 extern char *operator_chars (char *, char **);
48
49 /* Prototypes for local functions.  */
50
51 static void initialize_defaults (struct symtab **default_symtab,
52                                  int *default_line);
53
54 static struct symtabs_and_lines decode_indirect (char **argptr);
55
56 static char *locate_first_half (char **argptr, int *is_quote_enclosed);
57
58 static struct symtabs_and_lines decode_objc (char **argptr,
59                                              int funfirstline,
60                                              struct symtab *file_symtab,
61                                              char ***canonical,
62                                              char *saved_arg);
63
64 static struct symtabs_and_lines decode_compound (char **argptr,
65                                                  int funfirstline,
66                                                  char ***canonical,
67                                                  char *saved_arg,
68                                                  char *p,
69                                                  int *not_found_ptr);
70
71 static struct symbol *lookup_prefix_sym (char **argptr, char *p);
72
73 static struct symtabs_and_lines find_method (int funfirstline,
74                                              char ***canonical,
75                                              char *saved_arg,
76                                              char *copy,
77                                              struct type *t,
78                                              struct symbol *sym_class,
79                                              int *not_found_ptr);
80
81 static void cplusplus_error (const char *name, const char *fmt, ...)
82      ATTRIBUTE_NORETURN ATTRIBUTE_PRINTF (2, 3);
83
84 static int total_number_of_methods (struct type *type);
85
86 static int find_methods (struct type *, char *,
87                          enum language, struct symbol **);
88
89 static int add_matching_methods (int method_counter, struct type *t,
90                                  enum language language,
91                                  struct symbol **sym_arr);
92
93 static int add_constructors (int method_counter, struct type *t,
94                              enum language language,
95                              struct symbol **sym_arr);
96
97 static void build_canonical_line_spec (struct symtab_and_line *,
98                                        char *, char ***);
99
100 static char *find_toplevel_char (char *s, char c);
101
102 static int is_objc_method_format (const char *s);
103
104 static struct symtabs_and_lines decode_line_2 (struct symbol *[],
105                                                int, int, char ***);
106
107 static struct symtab *symtab_from_filename (char **argptr,
108                                             char *p, int is_quote_enclosed,
109                                             int *not_found_ptr);
110
111 static struct
112 symtabs_and_lines decode_all_digits (char **argptr,
113                                      struct symtab *default_symtab,
114                                      int default_line,
115                                      char ***canonical,
116                                      struct symtab *file_symtab,
117                                      char *q);
118
119 static struct symtabs_and_lines decode_dollar (char *copy,
120                                                int funfirstline,
121                                                struct symtab *default_symtab,
122                                                char ***canonical,
123                                                struct symtab *file_symtab);
124
125 static int decode_label (char *copy, char ***canonical,
126                          struct symtabs_and_lines *result);
127
128 static struct symtabs_and_lines decode_variable (char *copy,
129                                                  int funfirstline,
130                                                  char ***canonical,
131                                                  struct symtab *file_symtab,
132                                                  int *not_found_ptr);
133
134 static struct
135 symtabs_and_lines symbol_found (int funfirstline,
136                                 char ***canonical,
137                                 char *copy,
138                                 struct symbol *sym,
139                                 struct symtab *file_symtab);
140
141 static struct
142 symtabs_and_lines minsym_found (int funfirstline,
143                                 struct minimal_symbol *msymbol);
144
145 /* Helper functions.  */
146
147 /* Issue a helpful hint on using the command completion feature on
148    single quoted demangled C++ symbols as part of the completion
149    error.  */
150
151 static void
152 cplusplus_error (const char *name, const char *fmt, ...)
153 {
154   struct ui_file *tmp_stream;
155   char *message;
156
157   tmp_stream = mem_fileopen ();
158   make_cleanup_ui_file_delete (tmp_stream);
159
160   {
161     va_list args;
162
163     va_start (args, fmt);
164     vfprintf_unfiltered (tmp_stream, fmt, args);
165     va_end (args);
166   }
167
168   while (*name == '\'')
169     name++;
170   fprintf_unfiltered (tmp_stream,
171                       ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
172                        "(Note leading single quote.)"),
173                       name, name);
174
175   message = ui_file_xstrdup (tmp_stream, NULL);
176   make_cleanup (xfree, message);
177   throw_error (NOT_FOUND_ERROR, "%s", message);
178 }
179
180 /* Return the number of methods described for TYPE, including the
181    methods from types it derives from.  This can't be done in the symbol
182    reader because the type of the baseclass might still be stubbed
183    when the definition of the derived class is parsed.  */
184
185 static int
186 total_number_of_methods (struct type *type)
187 {
188   int n;
189   int count;
190
191   CHECK_TYPEDEF (type);
192   if (! HAVE_CPLUS_STRUCT (type))
193     return 0;
194   count = TYPE_NFN_FIELDS_TOTAL (type);
195
196   for (n = 0; n < TYPE_N_BASECLASSES (type); n++)
197     count += total_number_of_methods (TYPE_BASECLASS (type, n));
198
199   return count;
200 }
201
202 /* Recursive helper function for decode_line_1.
203    Look for methods named NAME in type T.
204    Return number of matches.
205    Put matches in SYM_ARR, which should have been allocated with
206    a size of total_number_of_methods (T) * sizeof (struct symbol *).
207    Note that this function is g++ specific.  */
208
209 static int
210 find_methods (struct type *t, char *name, enum language language,
211               struct symbol **sym_arr)
212 {
213   int i1 = 0;
214   int ibase;
215   char *class_name = type_name_no_tag (t);
216
217   /* Ignore this class if it doesn't have a name.  This is ugly, but
218      unless we figure out how to get the physname without the name of
219      the class, then the loop can't do any good.  */
220   if (class_name
221       && (lookup_symbol_in_language (class_name, (struct block *) NULL,
222                          STRUCT_DOMAIN, language, (int *) NULL)))
223     {
224       int method_counter;
225       int name_len = strlen (name);
226
227       CHECK_TYPEDEF (t);
228
229       /* Loop over each method name.  At this level, all overloads of a name
230          are counted as a single name.  There is an inner loop which loops over
231          each overload.  */
232
233       for (method_counter = TYPE_NFN_FIELDS (t) - 1;
234            method_counter >= 0;
235            --method_counter)
236         {
237           char *method_name = TYPE_FN_FIELDLIST_NAME (t, method_counter);
238           char dem_opname[64];
239
240           if (strncmp (method_name, "__", 2) == 0 ||
241               strncmp (method_name, "op", 2) == 0 ||
242               strncmp (method_name, "type", 4) == 0)
243             {
244               if (cplus_demangle_opname (method_name, dem_opname, DMGL_ANSI))
245                 method_name = dem_opname;
246               else if (cplus_demangle_opname (method_name, dem_opname, 0))
247                 method_name = dem_opname;
248             }
249
250           if (strcmp_iw (name, method_name) == 0)
251             /* Find all the overloaded methods with that name.  */
252             i1 += add_matching_methods (method_counter, t, language,
253                                         sym_arr + i1);
254           else if (strncmp (class_name, name, name_len) == 0
255                    && (class_name[name_len] == '\0'
256                        || class_name[name_len] == '<'))
257             i1 += add_constructors (method_counter, t, language,
258                                     sym_arr + i1);
259         }
260     }
261
262   /* Only search baseclasses if there is no match yet, since names in
263      derived classes override those in baseclasses.
264
265      FIXME: The above is not true; it is only true of member functions
266      if they have the same number of arguments (??? - section 13.1 of the
267      ARM says the function members are not in the same scope but doesn't
268      really spell out the rules in a way I understand.  In any case, if
269      the number of arguments differ this is a case in which we can overload
270      rather than hiding without any problem, and gcc 2.4.5 does overload
271      rather than hiding in this case).  */
272
273   if (i1 == 0)
274     for (ibase = 0; ibase < TYPE_N_BASECLASSES (t); ibase++)
275       i1 += find_methods (TYPE_BASECLASS (t, ibase), name,
276                           language, sym_arr + i1);
277
278   return i1;
279 }
280
281 /* Add the symbols associated to methods of the class whose type is T
282    and whose name matches the method indexed by METHOD_COUNTER in the
283    array SYM_ARR.  Return the number of methods added.  */
284
285 static int
286 add_matching_methods (int method_counter, struct type *t,
287                       enum language language, struct symbol **sym_arr)
288 {
289   int field_counter;
290   int i1 = 0;
291
292   for (field_counter = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
293        field_counter >= 0;
294        --field_counter)
295     {
296       struct fn_field *f;
297       char *phys_name;
298
299       f = TYPE_FN_FIELDLIST1 (t, method_counter);
300
301       if (TYPE_FN_FIELD_STUB (f, field_counter))
302         {
303           char *tmp_name;
304
305           tmp_name = gdb_mangle_name (t,
306                                       method_counter,
307                                       field_counter);
308           phys_name = alloca (strlen (tmp_name) + 1);
309           strcpy (phys_name, tmp_name);
310           xfree (tmp_name);
311         }
312       else
313         phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
314
315       sym_arr[i1] = lookup_symbol_in_language (phys_name,
316                                    NULL, VAR_DOMAIN,
317                                    language,
318                                    (int *) NULL);
319       if (sym_arr[i1])
320         i1++;
321       else
322         {
323           /* This error message gets printed, but the method
324              still seems to be found.
325              fputs_filtered("(Cannot find method ", gdb_stdout);
326              fprintf_symbol_filtered (gdb_stdout, phys_name,
327                                       language_cplus,
328                                       DMGL_PARAMS | DMGL_ANSI);
329              fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
330           */
331         }
332     }
333
334   return i1;
335 }
336
337 /* Add the symbols associated to constructors of the class whose type
338    is CLASS_TYPE and which are indexed by by METHOD_COUNTER to the
339    array SYM_ARR.  Return the number of methods added.  */
340
341 static int
342 add_constructors (int method_counter, struct type *t,
343                   enum language language, struct symbol **sym_arr)
344 {
345   int field_counter;
346   int i1 = 0;
347
348   /* For GCC 3.x and stabs, constructors and destructors
349      have names like __base_ctor and __complete_dtor.
350      Check the physname for now if we're looking for a
351      constructor.  */
352   for (field_counter
353          = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
354        field_counter >= 0;
355        --field_counter)
356     {
357       struct fn_field *f;
358       char *phys_name;
359
360       f = TYPE_FN_FIELDLIST1 (t, method_counter);
361
362       /* GCC 3.x will never produce stabs stub methods, so
363          we don't need to handle this case.  */
364       if (TYPE_FN_FIELD_STUB (f, field_counter))
365         continue;
366       phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
367       if (! is_constructor_name (phys_name))
368         continue;
369
370       /* If this method is actually defined, include it in the
371          list.  */
372       sym_arr[i1] = lookup_symbol_in_language (phys_name,
373                                    NULL, VAR_DOMAIN,
374                                    language,
375                                    (int *) NULL);
376       if (sym_arr[i1])
377         i1++;
378     }
379
380   return i1;
381 }
382
383 /* Helper function for decode_line_1.
384    Build a canonical line spec in CANONICAL if it is non-NULL and if
385    the SAL has a symtab.
386    If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
387    If SYMNAME is NULL the line number from SAL is used and the canonical
388    line spec is `filename:linenum'.  */
389
390 static void
391 build_canonical_line_spec (struct symtab_and_line *sal, char *symname,
392                            char ***canonical)
393 {
394   char **canonical_arr;
395   char *canonical_name;
396   char *filename;
397   struct symtab *s = sal->symtab;
398
399   if (s == (struct symtab *) NULL
400       || s->filename == (char *) NULL
401       || canonical == (char ***) NULL)
402     return;
403
404   canonical_arr = (char **) xmalloc (sizeof (char *));
405   *canonical = canonical_arr;
406
407   filename = s->filename;
408   if (symname != NULL)
409     {
410       canonical_name = xmalloc (strlen (filename) + strlen (symname) + 2);
411       sprintf (canonical_name, "%s:%s", filename, symname);
412     }
413   else
414     {
415       canonical_name = xmalloc (strlen (filename) + 30);
416       sprintf (canonical_name, "%s:%d", filename, sal->line);
417     }
418   canonical_arr[0] = canonical_name;
419 }
420
421
422
423 /* Find an instance of the character C in the string S that is outside
424    of all parenthesis pairs, single-quoted strings, and double-quoted
425    strings.  Also, ignore the char within a template name, like a ','
426    within foo<int, int>.  */
427
428 static char *
429 find_toplevel_char (char *s, char c)
430 {
431   int quoted = 0;               /* zero if we're not in quotes;
432                                    '"' if we're in a double-quoted string;
433                                    '\'' if we're in a single-quoted string.  */
434   int depth = 0;                /* Number of unclosed parens we've seen.  */
435   char *scan;
436
437   for (scan = s; *scan; scan++)
438     {
439       if (quoted)
440         {
441           if (*scan == quoted)
442             quoted = 0;
443           else if (*scan == '\\' && *(scan + 1))
444             scan++;
445         }
446       else if (*scan == c && ! quoted && depth == 0)
447         return scan;
448       else if (*scan == '"' || *scan == '\'')
449         quoted = *scan;
450       else if (*scan == '(' || *scan == '<')
451         depth++;
452       else if ((*scan == ')' || *scan == '>') && depth > 0)
453         depth--;
454     }
455
456   return 0;
457 }
458
459 /* Determines if the gives string corresponds to an Objective-C method
460    representation, such as -[Foo bar:] or +[Foo bar].  Objective-C symbols
461    are allowed to have spaces and parentheses in them.  */
462
463 static int 
464 is_objc_method_format (const char *s)
465 {
466   if (s == NULL || *s == '\0')
467     return 0;
468   /* Handle arguments with the format FILENAME:SYMBOL.  */
469   if ((s[0] == ':') && (strchr ("+-", s[1]) != NULL) 
470       && (s[2] == '[') && strchr(s, ']'))
471     return 1;
472   /* Handle arguments that are just SYMBOL.  */
473   else if ((strchr ("+-", s[0]) != NULL) && (s[1] == '[') && strchr(s, ']'))
474     return 1;
475   return 0;
476 }
477
478 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
479    operate on (ask user if necessary).
480    If CANONICAL is non-NULL return a corresponding array of mangled names
481    as canonical line specs there.  */
482
483 static struct symtabs_and_lines
484 decode_line_2 (struct symbol *sym_arr[], int nelts, int funfirstline,
485                char ***canonical)
486 {
487   struct symtabs_and_lines values, return_values;
488   char *args, *arg1;
489   int i;
490   char *prompt;
491   char *symname;
492   struct cleanup *old_chain;
493   char **canonical_arr = (char **) NULL;
494   const char *select_mode = multiple_symbols_select_mode ();
495
496   if (select_mode == multiple_symbols_cancel)
497     error (_("canceled because the command is ambiguous\n"
498              "See set/show multiple-symbol."));
499   
500   values.sals = (struct symtab_and_line *)
501     alloca (nelts * sizeof (struct symtab_and_line));
502   return_values.sals = (struct symtab_and_line *)
503     xmalloc (nelts * sizeof (struct symtab_and_line));
504   old_chain = make_cleanup (xfree, return_values.sals);
505
506   if (canonical)
507     {
508       canonical_arr = (char **) xmalloc (nelts * sizeof (char *));
509       make_cleanup (xfree, canonical_arr);
510       memset (canonical_arr, 0, nelts * sizeof (char *));
511       *canonical = canonical_arr;
512     }
513
514   i = 0;
515   while (i < nelts)
516     {
517       init_sal (&return_values.sals[i]);        /* Initialize to zeroes.  */
518       init_sal (&values.sals[i]);
519       if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
520         values.sals[i] = find_function_start_sal (sym_arr[i], funfirstline);
521       i++;
522     }
523
524   /* If select_mode is "all", then do not print the multiple-choice
525      menu and act as if the user had chosen choice "1" (all).  */
526   if (select_mode == multiple_symbols_all
527       || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
528     args = "1";
529   else
530     {
531       i = 0;
532       printf_unfiltered (_("[0] cancel\n[1] all\n"));
533       while (i < nelts)
534         {
535           if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
536             {
537               if (values.sals[i].symtab)
538                 printf_unfiltered ("[%d] %s at %s:%d\n",
539                                    (i + 2),
540                                    SYMBOL_PRINT_NAME (sym_arr[i]),
541                                    values.sals[i].symtab->filename,
542                                    values.sals[i].line);
543               else
544                 printf_unfiltered (_("[%d] %s at ?FILE:%d [No symtab? "
545                                      "Probably broken debug info...]\n"),
546                                    (i + 2),
547                                    SYMBOL_PRINT_NAME (sym_arr[i]),
548                                    values.sals[i].line);
549
550             }
551           else
552             printf_unfiltered (_("?HERE\n"));
553           i++;
554         }
555
556       prompt = getenv ("PS2");
557       if (prompt == NULL)
558         {
559           prompt = "> ";
560         }
561       args = command_line_input (prompt, 0, "overload-choice");
562     }
563
564   if (args == 0 || *args == 0)
565     error_no_arg (_("one or more choice numbers"));
566
567   i = 0;
568   while (*args)
569     {
570       int num;
571
572       arg1 = args;
573       while (*arg1 >= '0' && *arg1 <= '9')
574         arg1++;
575       if (*arg1 && *arg1 != ' ' && *arg1 != '\t')
576         error (_("Arguments must be choice numbers."));
577
578       num = atoi (args);
579
580       if (num == 0)
581         error (_("canceled"));
582       else if (num == 1)
583         {
584           if (canonical_arr)
585             {
586               for (i = 0; i < nelts; i++)
587                 {
588                   if (canonical_arr[i] == NULL)
589                     {
590                       symname = SYMBOL_LINKAGE_NAME (sym_arr[i]);
591                       canonical_arr[i] = xstrdup (symname);
592                     }
593                 }
594             }
595           memcpy (return_values.sals, values.sals,
596                   (nelts * sizeof (struct symtab_and_line)));
597           return_values.nelts = nelts;
598           discard_cleanups (old_chain);
599           return return_values;
600         }
601
602       if (num >= nelts + 2)
603         {
604           printf_unfiltered (_("No choice number %d.\n"), num);
605         }
606       else
607         {
608           num -= 2;
609           if (values.sals[num].pc)
610             {
611               if (canonical_arr)
612                 {
613                   symname = SYMBOL_LINKAGE_NAME (sym_arr[num]);
614                   make_cleanup (xfree, symname);
615                   canonical_arr[i] = xstrdup (symname);
616                 }
617               return_values.sals[i++] = values.sals[num];
618               values.sals[num].pc = 0;
619             }
620           else
621             {
622               printf_unfiltered (_("duplicate request for %d ignored.\n"),
623                                  num);
624             }
625         }
626
627       args = arg1;
628       while (*args == ' ' || *args == '\t')
629         args++;
630     }
631   return_values.nelts = i;
632   discard_cleanups (old_chain);
633   return return_values;
634 }
635
636 /* A helper function for decode_line_1 and friends which skips P
637    past any method overload information at the beginning of P, e.g.,
638    "(const struct foo *)".
639
640    This function assumes that P has already been validated to contain
641    overload information, and it will assert if *P != '('.  */
642 static char *
643 find_method_overload_end (char *p)
644 {
645   int depth = 0;
646
647   gdb_assert (*p == '(');
648
649   while (*p)
650     {
651       if (*p == '(')
652         ++depth;
653       else if (*p == ')')
654         {
655           if (--depth == 0)
656             {
657               ++p;
658               break;
659             }
660         }
661       ++p;
662     }
663
664   return p;
665 }
666 \f
667 /* The parser of linespec itself.  */
668
669 /* Parse a string that specifies a line number.
670    Pass the address of a char * variable; that variable will be
671    advanced over the characters actually parsed.
672
673    The string can be:
674
675    LINENUM -- that line number in current file.  PC returned is 0.
676    FILE:LINENUM -- that line in that file.  PC returned is 0.
677    FUNCTION -- line number of openbrace of that function.
678    PC returned is the start of the function.
679    LABEL -- a label in the current scope
680    VARIABLE -- line number of definition of that variable.
681    PC returned is 0.
682    FILE:FUNCTION -- likewise, but prefer functions in that file.
683    *EXPR -- line in which address EXPR appears.
684
685    This may all be followed by an "if EXPR", which we ignore.
686
687    FUNCTION may be an undebuggable function found in minimal symbol table.
688
689    If the argument FUNFIRSTLINE is nonzero, we want the first line
690    of real code inside a function when a function is specified, and it is
691    not OK to specify a variable or type to get its line number.
692
693    DEFAULT_SYMTAB specifies the file to use if none is specified.
694    It defaults to current_source_symtab.
695    DEFAULT_LINE specifies the line number to use for relative
696    line numbers (that start with signs).  Defaults to current_source_line.
697    If CANONICAL is non-NULL, store an array of strings containing the canonical
698    line specs there if necessary.  Currently overloaded member functions and
699    line numbers or static functions without a filename yield a canonical
700    line spec.  The array and the line spec strings are allocated on the heap,
701    it is the callers responsibility to free them.
702
703    Note that it is possible to return zero for the symtab
704    if no file is validly specified.  Callers must check that.
705    Also, the line number returned may be invalid.  
706  
707    If NOT_FOUND_PTR is not null, store a boolean true/false value at
708    the location, based on whether or not failure occurs due to an
709    unknown function or file.  In the case where failure does occur due
710    to an unknown function or file, do not issue an error message.  */
711
712 /* We allow single quotes in various places.  This is a hideous
713    kludge, which exists because the completer can't yet deal with the
714    lack of single quotes.  FIXME: write a linespec_completer which we
715    can use as appropriate instead of make_symbol_completion_list.  */
716
717 struct symtabs_and_lines
718 decode_line_1 (char **argptr, int funfirstline, struct symtab *default_symtab,
719                int default_line, char ***canonical, int *not_found_ptr)
720 {
721   char *p;
722   char *q;
723   /* If a file name is specified, this is its symtab.  */
724   struct symtab *file_symtab = NULL;
725
726   char *copy;
727   /* This says whether or not something in *ARGPTR is quoted with
728      completer_quotes (i.e. with single quotes).  */
729   int is_quoted = 0;
730   /* Is *ARGPTR is enclosed in double quotes?  */
731   int is_quote_enclosed;
732   int is_objc_method = 0;
733   char *saved_arg = *argptr;
734   /* If IS_QUOTED, the end of the quoted bit.  */
735   char *end_quote = NULL;
736   /* The "first half" of the linespec.  */
737   char *first_half;
738
739   if (not_found_ptr)
740     *not_found_ptr = 0;
741
742   /* Defaults have defaults.  */
743
744   initialize_defaults (&default_symtab, &default_line);
745   
746   /* See if arg is *PC.  */
747
748   if (*argptr)
749     {
750       if (**argptr == '*')
751         return decode_indirect (argptr);
752
753       is_quoted = (strchr (get_gdb_completer_quote_characters (),
754                            **argptr) != NULL);
755     }
756
757   if (is_quoted)
758     end_quote = skip_quoted (*argptr);
759
760   /* Check to see if it's a multipart linespec (with colons or
761      periods).  */
762
763   /* Locate the end of the first half of the linespec.
764      After the call, for instance, if the argptr string is "foo.c:123"
765      p will point at "123".  If there is only one part, like "foo", p
766      will point to "".  If this is a C++ name, like "A::B::foo", p will
767      point to "::B::foo".  Argptr is not changed by this call.  */
768
769   first_half = p = locate_first_half (argptr, &is_quote_enclosed);
770
771   /* Check if this is an Objective-C method (anything that starts with
772      a '+' or '-' and a '[').  */
773   if (is_objc_method_format (p))
774     is_objc_method = 1;
775
776   /* Check if the symbol could be an Objective-C selector.  */
777
778   {
779     struct symtabs_and_lines values;
780
781     values = decode_objc (argptr, funfirstline, NULL,
782                           canonical, saved_arg);
783     if (values.sals != NULL)
784       return values;
785   }
786
787   /* Does it look like there actually were two parts?  */
788
789   if (p[0] == ':' || p[0] == '.')
790     {
791       /* Is it a C++ or Java compound data structure?
792          The check on p[1] == ':' is capturing the case of "::",
793          since p[0]==':' was checked above.
794          Note that the call to decode_compound does everything
795          for us, including the lookup on the symbol table, so we
796          can return now.  */
797         
798       if (p[0] == '.' || p[1] == ':')
799         {
800           struct symtabs_and_lines values;
801
802           if (is_quote_enclosed)
803             ++saved_arg;
804           values = decode_compound (argptr, funfirstline, canonical,
805                                     saved_arg, p, not_found_ptr);
806           if (is_quoted && **argptr == '\'')
807             *argptr = *argptr + 1;
808           return values;
809         }
810
811       /* No, the first part is a filename; set file_symtab to be that file's
812          symtab.  Also, move argptr past the filename.  */
813
814       file_symtab = symtab_from_filename (argptr, p, is_quote_enclosed,
815                                           not_found_ptr);
816
817       /* Check for single quotes on the non-filename part.  */
818       if (!is_quoted)
819         {
820           is_quoted = (**argptr
821                        && strchr (get_gdb_completer_quote_characters (),
822                                   **argptr) != NULL);
823           if (is_quoted)
824             end_quote = skip_quoted (*argptr);
825         }
826     }
827
828   /* file_symtab is specified file's symtab, or 0 if no file specified.
829      arg no longer contains the file name.  */
830
831   /* If the filename was quoted, we must re-check the quotation.  */
832
833   if (end_quote == first_half && *end_quote!= '\0')
834     {
835       is_quoted = (**argptr
836                    && strchr (get_gdb_completer_quote_characters (),
837                               **argptr) != NULL);
838       if (is_quoted)
839         end_quote = skip_quoted (*argptr);
840     }
841
842   /* Check whether arg is all digits (and sign).  */
843
844   q = *argptr;
845   if (*q == '-' || *q == '+')
846     q++;
847   while (*q >= '0' && *q <= '9')
848     q++;
849
850   if (q != *argptr && (*q == 0 || *q == ' ' || *q == '\t' || *q == ','))
851     /* We found a token consisting of all digits -- at least one digit.  */
852     return decode_all_digits (argptr, default_symtab, default_line,
853                               canonical, file_symtab, q);
854
855   /* Arg token is not digits => try it as a variable name
856      Find the next token (everything up to end or next whitespace).  */
857
858   if (**argptr == '$')          /* May be a convenience variable.  */
859     /* One or two $ chars possible.  */
860     p = skip_quoted (*argptr + (((*argptr)[1] == '$') ? 2 : 1));
861   else if (is_quoted)
862     {
863       p = end_quote;
864       if (p[-1] != '\'')
865         error (_("Unmatched single quote."));
866     }
867   else if (is_objc_method)
868     {
869       /* allow word separators in method names for Obj-C.  */
870       p = skip_quoted_chars (*argptr, NULL, "");
871     }
872   else
873     {
874       p = skip_quoted (*argptr);
875     }
876
877   /* Keep any template parameters.  */
878   if (*p == '<')
879     p = find_template_name_end (p);
880
881   /* Keep method overload information.  */
882   if (*p == '(')
883     p = find_method_overload_end (p);
884
885   /* Make sure we keep important kewords like "const".  */
886   if (strncmp (p, " const", 6) == 0)
887     p += 6;
888
889   copy = (char *) alloca (p - *argptr + 1);
890   memcpy (copy, *argptr, p - *argptr);
891   copy[p - *argptr] = '\0';
892   if (p != *argptr
893       && copy[0]
894       && copy[0] == copy[p - *argptr - 1]
895       && strchr (get_gdb_completer_quote_characters (), copy[0]) != NULL)
896     {
897       copy[p - *argptr - 1] = '\0';
898       copy++;
899     }
900   else if (is_quoted)
901     copy[p - *argptr - 1] = '\0';
902   while (*p == ' ' || *p == '\t')
903     p++;
904   *argptr = p;
905
906   /* If it starts with $: may be a legitimate variable or routine name
907      (e.g. HP-UX millicode routines such as $$dyncall), or it may
908      be history value, or it may be a convenience variable.  */
909
910   if (*copy == '$')
911     return decode_dollar (copy, funfirstline, default_symtab,
912                           canonical, file_symtab);
913
914   /* Try the token as a label, but only if no file was specified,
915      because we can only really find labels in the current scope.  */
916
917   if (!file_symtab)
918     {
919       struct symtabs_and_lines label_result;
920       if (decode_label (copy, canonical, &label_result))
921         return label_result;
922     }
923
924   /* Look up that token as a variable.
925      If file specified, use that file's per-file block to start with.  */
926
927   return decode_variable (copy, funfirstline, canonical,
928                           file_symtab, not_found_ptr);
929 }
930
931 \f
932
933 /* Now, more helper functions for decode_line_1.  Some conventions
934    that these functions follow:
935
936    Decode_line_1 typically passes along some of its arguments or local
937    variables to the subfunctions.  It passes the variables by
938    reference if they are modified by the subfunction, and by value
939    otherwise.
940
941    Some of the functions have side effects that don't arise from
942    variables that are passed by reference.  In particular, if a
943    function is passed ARGPTR as an argument, it modifies what ARGPTR
944    points to; typically, it advances *ARGPTR past whatever substring
945    it has just looked at.  (If it doesn't modify *ARGPTR, then the
946    function gets passed *ARGPTR instead, which is then called ARG.)
947    Also, functions that return a struct symtabs_and_lines may modify
948    CANONICAL, as in the description of decode_line_1.
949
950    If a function returns a struct symtabs_and_lines, then that struct
951    will immediately make its way up the call chain to be returned by
952    decode_line_1.  In particular, all of the functions decode_XXX
953    calculate the appropriate struct symtabs_and_lines, under the
954    assumption that their argument is of the form XXX.  */
955
956 /* First, some functions to initialize stuff at the beggining of the
957    function.  */
958
959 static void
960 initialize_defaults (struct symtab **default_symtab, int *default_line)
961 {
962   if (*default_symtab == 0)
963     {
964       /* Use whatever we have for the default source line.  We don't use
965          get_current_or_default_symtab_and_line as it can recurse and call
966          us back!  */
967       struct symtab_and_line cursal = 
968         get_current_source_symtab_and_line ();
969       
970       *default_symtab = cursal.symtab;
971       *default_line = cursal.line;
972     }
973 }
974
975 \f
976
977 /* Decode arg of the form *PC.  */
978
979 static struct symtabs_and_lines
980 decode_indirect (char **argptr)
981 {
982   struct symtabs_and_lines values;
983   CORE_ADDR pc;
984   
985   (*argptr)++;
986   pc = parse_and_eval_address_1 (argptr);
987
988   values.sals = (struct symtab_and_line *)
989     xmalloc (sizeof (struct symtab_and_line));
990
991   values.nelts = 1;
992   values.sals[0] = find_pc_line (pc, 0);
993   values.sals[0].pc = pc;
994   values.sals[0].section = find_pc_overlay (pc);
995   values.sals[0].explicit_pc = 1;
996
997   return values;
998 }
999
1000 \f
1001
1002 /* Locate the first half of the linespec, ending in a colon, period,
1003    or whitespace.  (More or less.)  Also, check to see if *ARGPTR is
1004    enclosed in double quotes; if so, set is_quote_enclosed, advance
1005    ARGPTR past that and zero out the trailing double quote.
1006    If ARGPTR is just a simple name like "main", p will point to ""
1007    at the end.  */
1008
1009 static char *
1010 locate_first_half (char **argptr, int *is_quote_enclosed)
1011 {
1012   char *ii;
1013   char *p, *p1;
1014   int has_comma;
1015
1016   /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
1017      and we must isolate the first half.  Outer layers will call again later
1018      for the second half.
1019
1020      Don't count commas that appear in argument lists of overloaded
1021      functions, or in quoted strings.  It's stupid to go to this much
1022      trouble when the rest of the function is such an obvious roach hotel.  */
1023   ii = find_toplevel_char (*argptr, ',');
1024   has_comma = (ii != 0);
1025
1026   /* Temporarily zap out second half to not confuse the code below.
1027      This is undone below.  Do not change ii!!  */
1028   if (has_comma)
1029     {
1030       *ii = '\0';
1031     }
1032
1033   /* Maybe arg is FILE : LINENUM or FILE : FUNCTION.  May also be
1034      CLASS::MEMBER, or NAMESPACE::NAME.  Look for ':', but ignore
1035      inside of <>.  */
1036
1037   p = *argptr;
1038   if (p[0] == '"')
1039     {
1040       *is_quote_enclosed = 1;
1041       (*argptr)++;
1042       p++;
1043     }
1044   else
1045     {
1046       *is_quote_enclosed = 0;
1047       if (strchr (get_gdb_completer_quote_characters (), *p))
1048         {
1049           ++(*argptr);
1050           ++p;
1051         }
1052     }
1053   for (; *p; p++)
1054     {
1055       if (p[0] == '<')
1056         {
1057           char *temp_end = find_template_name_end (p);
1058
1059           if (!temp_end)
1060             error (_("malformed template specification in command"));
1061           p = temp_end;
1062         }
1063       /* Check for a colon and a plus or minus and a [ (which
1064          indicates an Objective-C method).  */
1065       if (is_objc_method_format (p))
1066         {
1067           break;
1068         }
1069       /* Check for the end of the first half of the linespec.  End of
1070          line, a tab, a double colon or the last single colon, or a
1071          space.  But if enclosed in double quotes we do not break on
1072          enclosed spaces.  */
1073       if (!*p
1074           || p[0] == '\t'
1075           || ((p[0] == ':')
1076               && ((p[1] == ':') || (strchr (p + 1, ':') == NULL)))
1077           || ((p[0] == ' ') && !*is_quote_enclosed))
1078         break;
1079       if (p[0] == '.' && strchr (p, ':') == NULL)
1080         {
1081           /* Java qualified method.  Find the *last* '.', since the
1082              others are package qualifiers.  Stop at any open parenthesis
1083              which might provide overload information.  */
1084           for (p1 = p; *p1 && *p1 != '('; p1++)
1085             {
1086               if (*p1 == '.')
1087                 p = p1;
1088             }
1089           break;
1090         }
1091     }
1092   while (p[0] == ' ' || p[0] == '\t')
1093     p++;
1094
1095   /* If the closing double quote was left at the end, remove it.  */
1096   if (*is_quote_enclosed)
1097     {
1098       char *closing_quote = strchr (p - 1, '"');
1099
1100       if (closing_quote && closing_quote[1] == '\0')
1101         *closing_quote = '\0';
1102     }
1103
1104   /* Now that we've safely parsed the first half, put back ',' so
1105      outer layers can see it.  */
1106   if (has_comma)
1107     *ii = ',';
1108
1109   return p;
1110 }
1111
1112 \f
1113
1114 /* Here's where we recognise an Objective-C Selector.  An Objective C
1115    selector may be implemented by more than one class, therefore it
1116    may represent more than one method/function.  This gives us a
1117    situation somewhat analogous to C++ overloading.  If there's more
1118    than one method that could represent the selector, then use some of
1119    the existing C++ code to let the user choose one.  */
1120
1121 struct symtabs_and_lines
1122 decode_objc (char **argptr, int funfirstline, struct symtab *file_symtab,
1123              char ***canonical, char *saved_arg)
1124 {
1125   struct symtabs_and_lines values;
1126   struct symbol **sym_arr = NULL;
1127   struct symbol *sym = NULL;
1128   struct block *block = NULL;
1129   unsigned i1 = 0;
1130   unsigned i2 = 0;
1131
1132   values.sals = NULL;
1133   values.nelts = 0;
1134
1135   if (file_symtab != NULL)
1136     block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab), STATIC_BLOCK);
1137   else
1138     {
1139       enum language save_language;
1140
1141       /* get_selected_block can change the current language when there is
1142          no selected frame yet.  */
1143       save_language = current_language->la_language;
1144       block = get_selected_block (0);
1145       set_language (save_language);
1146     }
1147
1148   find_imps (file_symtab, block, *argptr, NULL, &i1, &i2); 
1149     
1150   if (i1 > 0)
1151     {
1152       sym_arr = (struct symbol **)
1153         alloca ((i1 + 1) * sizeof (struct symbol *));
1154       sym_arr[i1] = NULL;
1155
1156       *argptr = find_imps (file_symtab, block, *argptr, sym_arr, &i1, &i2);
1157     }
1158
1159   /* i1 now represents the TOTAL number of matches found.
1160      i2 represents how many HIGH-LEVEL (struct symbol) matches,
1161      which will come first in the sym_arr array.  Any low-level
1162      (minimal_symbol) matches will follow those.  */
1163       
1164   if (i1 == 1)
1165     {
1166       if (i2 > 0)
1167         {
1168           /* Already a struct symbol.  */
1169           sym = sym_arr[0];
1170         }
1171       else
1172         {
1173           sym = find_pc_function (SYMBOL_VALUE_ADDRESS (sym_arr[0]));
1174           if ((sym != NULL) && strcmp (SYMBOL_LINKAGE_NAME (sym_arr[0]),
1175                                        SYMBOL_LINKAGE_NAME (sym)) != 0)
1176             {
1177               warning (_("debugging symbol \"%s\" does "
1178                          "not match selector; ignoring"),
1179                        SYMBOL_LINKAGE_NAME (sym));
1180               sym = NULL;
1181             }
1182         }
1183               
1184       values.sals = (struct symtab_and_line *)
1185         xmalloc (sizeof (struct symtab_and_line));
1186       values.nelts = 1;
1187               
1188       if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
1189         {
1190           /* Canonicalize this, so it remains resolved for dylib loads.  */
1191           values.sals[0] = find_function_start_sal (sym, funfirstline);
1192           build_canonical_line_spec (values.sals,
1193                                      SYMBOL_NATURAL_NAME (sym), canonical);
1194         }
1195       else
1196         {
1197           /* The only match was a non-debuggable symbol, which might point
1198              to a function descriptor; resolve it to the actual code address
1199              instead.  */
1200           struct minimal_symbol *msymbol = (struct minimal_symbol *)sym_arr[0];
1201           struct objfile *objfile = msymbol_objfile (msymbol);
1202           struct gdbarch *gdbarch = get_objfile_arch (objfile);
1203           CORE_ADDR pc = SYMBOL_VALUE_ADDRESS (msymbol);
1204
1205           pc = gdbarch_convert_from_func_ptr_addr (gdbarch, pc,
1206                                                    &current_target);
1207
1208           init_sal (&values.sals[0]);
1209           values.sals[0].pc = pc;
1210         }
1211       return values;
1212     }
1213
1214   if (i1 > 1)
1215     {
1216       /* More than one match.  The user must choose one or more.  */
1217       return decode_line_2 (sym_arr, i2, funfirstline, canonical);
1218     }
1219
1220   return values;
1221 }
1222
1223 /* This handles C++ and Java compound data structures.  P should point
1224    at the first component separator, i.e. double-colon or period.  As
1225    an example, on entrance to this function we could have ARGPTR
1226    pointing to "AAA::inA::fun" and P pointing to "::inA::fun".  */
1227
1228 static struct symtabs_and_lines
1229 decode_compound (char **argptr, int funfirstline, char ***canonical,
1230                  char *saved_arg, char *p, int *not_found_ptr)
1231 {
1232   struct symtabs_and_lines values;
1233   char *p2;
1234   char *saved_arg2 = *argptr;
1235   char *temp_end;
1236   struct symbol *sym;
1237   char *copy;
1238   struct symbol *sym_class;
1239   struct type *t;
1240   char *saved_java_argptr = NULL;
1241
1242   /* First check for "global" namespace specification, of the form
1243      "::foo".  If found, skip over the colons and jump to normal
1244      symbol processing.  I.e. the whole line specification starts with
1245      "::" (note the condition that *argptr == p).  */
1246   if (p[0] == ':' 
1247       && ((*argptr == p) || (p[-1] == ' ') || (p[-1] == '\t')))
1248     saved_arg2 += 2;
1249
1250   /* Given our example "AAA::inA::fun", we have two cases to consider:
1251
1252      1) AAA::inA is the name of a class.  In that case, presumably it
1253         has a method called "fun"; we then look up that method using
1254         find_method.
1255
1256      2) AAA::inA isn't the name of a class.  In that case, either the
1257         user made a typo or AAA::inA is the name of a namespace.
1258         Either way, we just look up AAA::inA::fun with lookup_symbol.
1259
1260      Thus, our first task is to find everything before the last set of
1261      double-colons and figure out if it's the name of a class.  So we
1262      first loop through all of the double-colons.  */
1263
1264   p2 = p;               /* Save for restart.  */
1265
1266   /* This is very messy.  Following the example above we have now the
1267      following pointers:
1268      p -> "::inA::fun"
1269      argptr -> "AAA::inA::fun
1270      saved_arg -> "AAA::inA::fun
1271      saved_arg2 -> "AAA::inA::fun
1272      p2 -> "::inA::fun".  */
1273
1274   /* In the loop below, with these strings, we'll make 2 passes, each
1275      is marked in comments.  */
1276
1277   while (1)
1278     {
1279       /* Move pointer up to next possible class/namespace token.  */
1280
1281       p = p2 + 1;       /* Restart with old value +1.  */
1282
1283       /* PASS1: at this point p2->"::inA::fun", so p->":inA::fun",
1284          i.e. if there is a double-colon, p will now point to the
1285          second colon.  */
1286       /* PASS2: p2->"::fun", p->":fun" */
1287
1288       /* Move pointer ahead to next double-colon.  */
1289       while (*p && (p[0] != ' ') && (p[0] != '\t') && (p[0] != '\'')
1290              && (*p != '('))
1291         {
1292           if (current_language->la_language == language_cplus)
1293             p += cp_validate_operator (p);
1294
1295           if (p[0] == '<')
1296             {
1297               temp_end = find_template_name_end (p);
1298               if (!temp_end)
1299                 error (_("malformed template specification in command"));
1300               p = temp_end;
1301             }
1302           /* Note that, since, at the start of this loop, p would be
1303              pointing to the second colon in a double-colon, we only
1304              satisfy the condition below if there is another
1305              double-colon to the right (after).  I.e. there is another
1306              component that can be a class or a namespace.  I.e, if at
1307              the beginning of this loop (PASS1), we had
1308              p->":inA::fun", we'll trigger this when p has been
1309              advanced to point to "::fun".  */
1310           /* PASS2: we will not trigger this.  */
1311           else if ((p[0] == ':') && (p[1] == ':'))
1312             break;      /* Found double-colon.  */
1313           else
1314             /* PASS2: We'll keep getting here, until p->"", at which point
1315                we exit this loop.  */
1316             p++;
1317         }
1318
1319       if (*p != ':')
1320         break;          /* Out of the while (1).  This would happen
1321                            for instance if we have looked up
1322                            unsuccessfully all the components of the
1323                            string, and p->""(PASS2).  */
1324
1325       /* We get here if p points to ' ', '\t', '\'', "::" or ""(i.e
1326          string ended).  */
1327       /* Save restart for next time around.  */
1328       p2 = p;
1329       /* Restore argptr as it was on entry to this function.  */
1330       *argptr = saved_arg2;
1331       /* PASS1: at this point p->"::fun" argptr->"AAA::inA::fun",
1332          p2->"::fun".  */
1333
1334       /* All ready for next pass through the loop.  */
1335     }                   /* while (1) */
1336
1337
1338   /* Start of lookup in the symbol tables.  */
1339
1340   /* Lookup in the symbol table the substring between argptr and
1341      p.  Note, this call changes the value of argptr.  */
1342   /* Before the call, argptr->"AAA::inA::fun",
1343      p->"", p2->"::fun".  After the call: argptr->"fun", p, p2
1344      unchanged.  */
1345   sym_class = lookup_prefix_sym (argptr, p2);
1346
1347   /* If sym_class has been found, and if "AAA::inA" is a class, then
1348      we're in case 1 above.  So we look up "fun" as a method of that
1349      class.  */
1350   if (sym_class &&
1351       (t = check_typedef (SYMBOL_TYPE (sym_class)),
1352        (TYPE_CODE (t) == TYPE_CODE_STRUCT
1353         || TYPE_CODE (t) == TYPE_CODE_UNION)))
1354     {
1355       /* Arg token is not digits => try it as a function name.
1356          Find the next token (everything up to end or next
1357          blank).  */
1358       if (**argptr
1359           && strchr (get_gdb_completer_quote_characters (),
1360                      **argptr) != NULL)
1361         {
1362           p = skip_quoted (*argptr);
1363           *argptr = *argptr + 1;
1364         }
1365       else
1366         {
1367           /* At this point argptr->"fun".  */
1368           char *a;
1369
1370           p = *argptr;
1371           while (*p && *p != ' ' && *p != '\t' && *p != ',' && *p != ':'
1372                  && *p != '(')
1373             p++;
1374           /* At this point p->"".  String ended.  */
1375           /* Nope, C++ operators could have spaces in them
1376              ("foo::operator <" or "foo::operator delete []").
1377              I apologize, this is a bit hacky...  */
1378           if (current_language->la_language == language_cplus
1379               && *p == ' ' && p - 8 - *argptr + 1 > 0)
1380             {
1381               /* The above loop has already swallowed "operator".  */
1382               p += cp_validate_operator (p - 8) - 8;
1383             }
1384
1385           /* Keep any template parameters.  */
1386           if (*p == '<')
1387             p = find_template_name_end (p);
1388
1389           /* Keep method overload information.  */
1390           a = strchr (p, '(');
1391           if (a != NULL)
1392             p = find_method_overload_end (a);
1393
1394           /* Make sure we keep important kewords like "const".  */
1395           if (strncmp (p, " const", 6) == 0)
1396             p += 6;
1397
1398           /* Java may append typenames,  so assume that if there is
1399              anything else left in *argptr, it must be a typename.  */
1400           if (*p && current_language->la_language == language_java)
1401             {
1402               struct type *type;
1403
1404               p2 = p;
1405               while (*p2)
1406                 ++p2;
1407               copy = (char *) alloca (p2 - p + 1);
1408               memcpy (copy, p, p2 - p);
1409               copy[p2 - p] = '\0';
1410               type = lookup_typename (current_language, get_current_arch (),
1411                                       copy, NULL, 1);
1412               if (type != NULL)
1413                 {
1414                   /* Save the location of this just in case this
1415                      method/type combination isn't actually defined.
1416                      It will be checked later.  */
1417                   saved_java_argptr = p;
1418                   p = p2;
1419                 }
1420             }
1421         }
1422
1423       /* Allocate our own copy of the substring between argptr and
1424          p.  */
1425       copy = (char *) alloca (p - *argptr + 1);
1426       memcpy (copy, *argptr, p - *argptr);
1427       copy[p - *argptr] = '\0';
1428       if (p != *argptr
1429           && copy[p - *argptr - 1]
1430           && strchr (get_gdb_completer_quote_characters (),
1431                      copy[p - *argptr - 1]) != NULL)
1432         copy[p - *argptr - 1] = '\0';
1433
1434       /* At this point copy->"fun", p->"".  */
1435
1436       /* No line number may be specified.  */
1437       while (*p == ' ' || *p == '\t')
1438         p++;
1439       *argptr = p;
1440       /* At this point arptr->"".  */
1441
1442       /* Look for copy as a method of sym_class.  */
1443       /* At this point copy->"fun", sym_class is "AAA:inA",
1444          saved_arg->"AAA::inA::fun".  This concludes the scanning of
1445          the string for possible components matches.  If we find it
1446          here, we return.  If not, and we are at the and of the string,
1447          we'll lookup the whole string in the symbol tables.  */
1448
1449       values = find_method (funfirstline, canonical, saved_arg,
1450                             copy, t, sym_class, not_found_ptr);
1451       if (saved_java_argptr != NULL && values.nelts == 1)
1452         {
1453           /* The user specified a specific return type for a java method.
1454              Double-check that it really is the one the user specified.
1455              [This is a necessary evil because strcmp_iw_ordered stops
1456              comparisons too prematurely.]  */
1457           sym = find_pc_sect_function (values.sals[0].pc,
1458                                        values.sals[0].section);
1459           /* We just found a SAL, we had better be able to go backwards!  */
1460           gdb_assert (sym != NULL);
1461           if (strcmp_iw (SYMBOL_LINKAGE_NAME (sym), saved_arg) != 0)
1462             {
1463               xfree (values.sals);
1464               error (_("the class `%s' does not have "
1465                        "any method instance named %s"),
1466                      SYMBOL_PRINT_NAME (sym_class), copy);
1467             }
1468         }
1469       return values;
1470     } /* End if symbol found.  */
1471
1472
1473   /* We couldn't find a class, so we're in case 2 above.  We check the
1474      entire name as a symbol instead.  */
1475
1476   copy = (char *) alloca (p - saved_arg2 + 1);
1477   memcpy (copy, saved_arg2, p - saved_arg2);
1478   /* Note: if is_quoted should be true, we snuff out quote here
1479      anyway.  */
1480   copy[p - saved_arg2] = '\000';
1481   /* Set argptr to skip over the name.  */
1482   *argptr = (*p == '\'') ? p + 1 : p;
1483
1484   /* Look up entire name.  */
1485   sym = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1486   if (sym)
1487     return symbol_found (funfirstline, canonical, copy, sym, NULL);
1488
1489   /* Couldn't find any interpretation as classes/namespaces, so give
1490      up.  The quotes are important if copy is empty.  */
1491   if (not_found_ptr)
1492     *not_found_ptr = 1;
1493   cplusplus_error (saved_arg,
1494                    "Can't find member of namespace, "
1495                    "class, struct, or union named \"%s\"\n",
1496                    copy);
1497 }
1498
1499 /* Next come some helper functions for decode_compound.  */
1500
1501 /* Return the symbol corresponding to the substring of *ARGPTR ending
1502    at P, allowing whitespace.  Also, advance *ARGPTR past the symbol
1503    name in question, the compound object separator ("::" or "."), and
1504    whitespace.  Note that *ARGPTR is changed whether or not the
1505    lookup_symbol call finds anything (i.e we return NULL).  As an
1506    example, say ARGPTR is "AAA::inA::fun" and P is "::inA::fun".  */
1507
1508 static struct symbol *
1509 lookup_prefix_sym (char **argptr, char *p)
1510 {
1511   char *p1;
1512   char *copy;
1513   struct symbol *sym;
1514
1515   /* Extract the class name.  */
1516   p1 = p;
1517   while (p != *argptr && p[-1] == ' ')
1518     --p;
1519   copy = (char *) alloca (p - *argptr + 1);
1520   memcpy (copy, *argptr, p - *argptr);
1521   copy[p - *argptr] = 0;
1522
1523   /* Discard the class name from the argptr.  */
1524   p = p1 + (p1[0] == ':' ? 2 : 1);
1525   while (*p == ' ' || *p == '\t')
1526     p++;
1527   *argptr = p;
1528
1529   /* At this point p1->"::inA::fun", p->"inA::fun" copy->"AAA",
1530      argptr->"inA::fun".  */
1531
1532   sym = lookup_symbol (copy, 0, STRUCT_DOMAIN, 0);
1533   if (sym == NULL)
1534     {
1535       /* Typedefs are in VAR_DOMAIN so the above symbol lookup will
1536          fail when the user attempts to lookup a method of a class
1537          via a typedef'd name (NOT via the class's name, which is already
1538          handled in symbol_matches_domain).  So try the lookup again
1539          using VAR_DOMAIN (where typedefs live) and double-check that we
1540          found a struct/class type.  */
1541       struct symbol *s = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1542
1543       if (s != NULL)
1544         {
1545           struct type *t = SYMBOL_TYPE (s);
1546
1547           CHECK_TYPEDEF (t);
1548           if (TYPE_CODE (t) == TYPE_CODE_STRUCT)
1549             return s;
1550         }
1551     }
1552
1553   return sym;
1554 }
1555
1556 /* This finds the method COPY in the class whose type is T and whose
1557    symbol is SYM_CLASS.  */
1558
1559 static struct symtabs_and_lines
1560 find_method (int funfirstline, char ***canonical, char *saved_arg,
1561              char *copy, struct type *t, struct symbol *sym_class,
1562              int *not_found_ptr)
1563 {
1564   struct symtabs_and_lines values;
1565   struct symbol *sym = NULL;
1566   int i1;       /*  Counter for the symbol array.  */
1567   struct symbol **sym_arr =  alloca (total_number_of_methods (t)
1568                                      * sizeof (struct symbol *));
1569
1570   /* Find all methods with a matching name, and put them in
1571      sym_arr.  */
1572
1573   i1 = find_methods (t, copy, SYMBOL_LANGUAGE (sym_class), sym_arr);
1574
1575   if (i1 == 1)
1576     {
1577       /* There is exactly one field with that name.  */
1578       sym = sym_arr[0];
1579
1580       if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
1581         {
1582           values.sals = (struct symtab_and_line *)
1583             xmalloc (sizeof (struct symtab_and_line));
1584           values.nelts = 1;
1585           values.sals[0] = find_function_start_sal (sym,
1586                                                     funfirstline);
1587         }
1588       else
1589         {
1590           values.sals = NULL;
1591           values.nelts = 0;
1592         }
1593       return values;
1594     }
1595   if (i1 > 0)
1596     {
1597       /* If we were given a specific overload instance, use that
1598          (or error if no matches were found).  Otherwise ask the user
1599          which one to use.  */
1600       if (strchr (saved_arg, '(') != NULL)
1601         {
1602           int i;
1603           char *name = saved_arg;
1604           char *canon = cp_canonicalize_string (name);
1605           struct cleanup *cleanup;
1606
1607           if (canon != NULL)
1608             {
1609               name = canon;
1610               cleanup = make_cleanup (xfree, canon);
1611             }
1612           else
1613             cleanup = make_cleanup (null_cleanup, NULL);
1614
1615           for (i = 0; i < i1; ++i)
1616             {
1617               if (strcmp_iw (name, SYMBOL_LINKAGE_NAME (sym_arr[i])) == 0)
1618                 {
1619                   values.sals = (struct symtab_and_line *)
1620                     xmalloc (sizeof (struct symtab_and_line));
1621                   values.nelts = 1;
1622                   values.sals[0] = find_function_start_sal (sym_arr[i],
1623                                                             funfirstline);
1624                   do_cleanups (cleanup);
1625                   return values;
1626                 }
1627             }
1628
1629           error (_("the class `%s' does not have "
1630                    "any method instance named %s"),
1631                  SYMBOL_PRINT_NAME (sym_class), copy);
1632         }
1633
1634       return decode_line_2 (sym_arr, i1, funfirstline, canonical);
1635     }
1636   else
1637     {
1638       if (not_found_ptr)
1639         *not_found_ptr = 1;
1640       if (copy[0] == '~')
1641         cplusplus_error (saved_arg,
1642                          "the class `%s' does not have destructor defined\n",
1643                          SYMBOL_PRINT_NAME (sym_class));
1644       else
1645         cplusplus_error (saved_arg,
1646                          "the class %s does not have any method named %s\n",
1647                          SYMBOL_PRINT_NAME (sym_class), copy);
1648     }
1649 }
1650
1651 \f
1652
1653 /* Return the symtab associated to the filename given by the substring
1654    of *ARGPTR ending at P, and advance ARGPTR past that filename.  If
1655    NOT_FOUND_PTR is not null and the source file is not found, store
1656    boolean true at the location pointed to and do not issue an
1657    error message.  */
1658
1659 static struct symtab *
1660 symtab_from_filename (char **argptr, char *p, int is_quote_enclosed, 
1661                       int *not_found_ptr)
1662 {
1663   char *p1;
1664   char *copy;
1665   struct symtab *file_symtab;
1666   
1667   p1 = p;
1668   while (p != *argptr && p[-1] == ' ')
1669     --p;
1670   if ((*p == '"') && is_quote_enclosed)
1671     --p;
1672   copy = (char *) alloca (p - *argptr + 1);
1673   memcpy (copy, *argptr, p - *argptr);
1674   /* It may have the ending quote right after the file name.  */
1675   if ((is_quote_enclosed && copy[p - *argptr - 1] == '"')
1676       || copy[p - *argptr - 1] == '\'')
1677     copy[p - *argptr - 1] = 0;
1678   else
1679     copy[p - *argptr] = 0;
1680
1681   /* Find that file's data.  */
1682   file_symtab = lookup_symtab (copy);
1683   if (file_symtab == 0)
1684     {
1685       if (not_found_ptr)
1686         *not_found_ptr = 1;
1687       if (!have_full_symbols () && !have_partial_symbols ())
1688         throw_error (NOT_FOUND_ERROR,
1689                      _("No symbol table is loaded.  "
1690                        "Use the \"file\" command."));
1691       throw_error (NOT_FOUND_ERROR, _("No source file named %s."), copy);
1692     }
1693
1694   /* Discard the file name from the arg.  */
1695   p = p1 + 1;
1696   while (*p == ' ' || *p == '\t')
1697     p++;
1698   *argptr = p;
1699
1700   return file_symtab;
1701 }
1702
1703 \f
1704
1705 /* This decodes a line where the argument is all digits (possibly
1706    preceded by a sign).  Q should point to the end of those digits;
1707    the other arguments are as usual.  */
1708
1709 static struct symtabs_and_lines
1710 decode_all_digits (char **argptr, struct symtab *default_symtab,
1711                    int default_line, char ***canonical,
1712                    struct symtab *file_symtab, char *q)
1713
1714 {
1715   struct symtabs_and_lines values;
1716   struct symtab_and_line val;
1717
1718   enum sign
1719     {
1720       none, plus, minus
1721     }
1722   sign = none;
1723
1724   /* We might need a canonical line spec if no file was specified.  */
1725   int need_canonical = (file_symtab == NULL) ? 1 : 0;
1726
1727   init_sal (&val);
1728
1729   val.pspace = current_program_space;
1730
1731   /* This is where we need to make sure that we have good defaults.
1732      We must guarantee that this section of code is never executed
1733      when we are called with just a function name, since
1734      set_default_source_symtab_and_line uses
1735      select_source_symtab that calls us with such an argument.  */
1736
1737   if (file_symtab == 0 && default_symtab == 0)
1738     {
1739       /* Make sure we have at least a default source file.  */
1740       set_default_source_symtab_and_line ();
1741       initialize_defaults (&default_symtab, &default_line);
1742     }
1743
1744   if (**argptr == '+')
1745     sign = plus, (*argptr)++;
1746   else if (**argptr == '-')
1747     sign = minus, (*argptr)++;
1748   val.line = atoi (*argptr);
1749   switch (sign)
1750     {
1751     case plus:
1752       if (q == *argptr)
1753         val.line = 5;
1754       if (file_symtab == 0)
1755         val.line = default_line + val.line;
1756       break;
1757     case minus:
1758       if (q == *argptr)
1759         val.line = 15;
1760       if (file_symtab == 0)
1761         val.line = default_line - val.line;
1762       else
1763         val.line = 1;
1764       break;
1765     case none:
1766       break;            /* No need to adjust val.line.  */
1767     }
1768
1769   while (*q == ' ' || *q == '\t')
1770     q++;
1771   *argptr = q;
1772   if (file_symtab == 0)
1773     file_symtab = default_symtab;
1774
1775   /* It is possible that this source file has more than one symtab, 
1776      and that the new line number specification has moved us from the
1777      default (in file_symtab) to a new one.  */
1778   val.symtab = find_line_symtab (file_symtab, val.line, NULL, NULL);
1779   if (val.symtab == 0)
1780     val.symtab = file_symtab;
1781
1782   val.pspace = SYMTAB_PSPACE (val.symtab);
1783   val.pc = 0;
1784   values.sals = (struct symtab_and_line *)
1785     xmalloc (sizeof (struct symtab_and_line));
1786   values.sals[0] = val;
1787   values.nelts = 1;
1788   if (need_canonical)
1789     build_canonical_line_spec (values.sals, NULL, canonical);
1790   values.sals[0].explicit_line = 1;
1791   return values;
1792 }
1793
1794 \f
1795
1796 /* Decode a linespec starting with a dollar sign.  */
1797
1798 static struct symtabs_and_lines
1799 decode_dollar (char *copy, int funfirstline, struct symtab *default_symtab,
1800                char ***canonical, struct symtab *file_symtab)
1801 {
1802   LONGEST valx;
1803   int index = 0;
1804   int need_canonical = 0;
1805   struct symtabs_and_lines values;
1806   struct symtab_and_line val;
1807   char *p;
1808   struct symbol *sym;
1809   struct minimal_symbol *msymbol;
1810
1811   p = (copy[1] == '$') ? copy + 2 : copy + 1;
1812   while (*p >= '0' && *p <= '9')
1813     p++;
1814   if (!*p)              /* Reached end of token without hitting non-digit.  */
1815     {
1816       /* We have a value history reference.  */
1817       struct value *val_history;
1818
1819       sscanf ((copy[1] == '$') ? copy + 2 : copy + 1, "%d", &index);
1820       val_history = access_value_history ((copy[1] == '$') ? -index : index);
1821       if (TYPE_CODE (value_type (val_history)) != TYPE_CODE_INT)
1822         error (_("History values used in line "
1823                  "specs must have integer values."));
1824       valx = value_as_long (val_history);
1825     }
1826   else
1827     {
1828       /* Not all digits -- may be user variable/function or a
1829          convenience variable.  */
1830
1831       /* Look up entire name as a symbol first.  */
1832       sym = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1833       file_symtab = (struct symtab *) NULL;
1834       need_canonical = 1;
1835       /* Symbol was found --> jump to normal symbol processing.  */
1836       if (sym)
1837         return symbol_found (funfirstline, canonical, copy, sym, NULL);
1838
1839       /* If symbol was not found, look in minimal symbol tables.  */
1840       msymbol = lookup_minimal_symbol (copy, NULL, NULL);
1841       /* Min symbol was found --> jump to minsym processing.  */
1842       if (msymbol)
1843         return minsym_found (funfirstline, msymbol);
1844
1845       /* Not a user variable or function -- must be convenience variable.  */
1846       if (!get_internalvar_integer (lookup_internalvar (copy + 1), &valx))
1847         error (_("Convenience variables used in line "
1848                  "specs must have integer values."));
1849     }
1850
1851   init_sal (&val);
1852
1853   /* Either history value or convenience value from above, in valx.  */
1854   val.symtab = file_symtab ? file_symtab : default_symtab;
1855   val.line = valx;
1856   val.pc = 0;
1857   val.pspace = current_program_space;
1858
1859   values.sals = (struct symtab_and_line *) xmalloc (sizeof val);
1860   values.sals[0] = val;
1861   values.nelts = 1;
1862
1863   if (need_canonical)
1864     build_canonical_line_spec (values.sals, NULL, canonical);
1865
1866   return values;
1867 }
1868
1869 \f
1870
1871 /* A helper for decode_line_1 that tries to find a label.  The label
1872    is searched for in the current block.
1873    COPY is the name of the label to find.
1874    CANONICAL is the same as the "canonical" argument to decode_line_1.
1875    RESULT is a pointer to a symtabs_and_lines structure which will be
1876    filled in on success.
1877    This function returns 1 if a label was found, 0 otherwise.  */
1878
1879 static int
1880 decode_label (char *copy, char ***canonical, struct symtabs_and_lines *result)
1881 {
1882   struct symbol *sym;
1883
1884   sym = lookup_symbol (copy, get_selected_block (0), LABEL_DOMAIN, 0);
1885
1886   if (sym != NULL)
1887     *result = symbol_found (0, canonical, copy, sym, NULL);
1888
1889   return sym != NULL;
1890 }
1891
1892 /* Decode a linespec that's a variable.  If FILE_SYMTAB is non-NULL,
1893    look in that symtab's static variables first.  If NOT_FOUND_PTR is
1894    not NULL and the function cannot be found, store boolean true in
1895    the location pointed to and do not issue an error message.  */ 
1896
1897 static struct symtabs_and_lines
1898 decode_variable (char *copy, int funfirstline, char ***canonical,
1899                  struct symtab *file_symtab, int *not_found_ptr)
1900 {
1901   struct symbol *sym;
1902   struct minimal_symbol *msymbol;
1903
1904   sym = lookup_symbol (copy,
1905                        (file_symtab
1906                         ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab),
1907                                              STATIC_BLOCK)
1908                         : get_selected_block (0)),
1909                        VAR_DOMAIN, 0);
1910
1911   if (sym != NULL)
1912     return symbol_found (funfirstline, canonical, copy, sym, file_symtab);
1913
1914   msymbol = lookup_minimal_symbol (copy, NULL, NULL);
1915
1916   if (msymbol != NULL)
1917     return minsym_found (funfirstline, msymbol);
1918
1919   if (not_found_ptr)
1920     *not_found_ptr = 1;
1921
1922   if (!have_full_symbols ()
1923       && !have_partial_symbols ()
1924       && !have_minimal_symbols ())
1925     throw_error (NOT_FOUND_ERROR,
1926                  _("No symbol table is loaded.  Use the \"file\" command."));
1927   throw_error (NOT_FOUND_ERROR, _("Function \"%s\" not defined."), copy);
1928 }
1929
1930
1931 \f
1932
1933 /* Now come some functions that are called from multiple places within
1934    decode_line_1.  */
1935
1936 /* We've found a symbol SYM to associate with our linespec; build a
1937    corresponding struct symtabs_and_lines.  */
1938
1939 static struct symtabs_and_lines
1940 symbol_found (int funfirstline, char ***canonical, char *copy,
1941               struct symbol *sym, struct symtab *file_symtab)
1942 {
1943   struct symtabs_and_lines values;
1944   
1945   if (SYMBOL_CLASS (sym) == LOC_BLOCK)
1946     {
1947       /* Arg is the name of a function.  */
1948       values.sals = (struct symtab_and_line *)
1949         xmalloc (sizeof (struct symtab_and_line));
1950       values.sals[0] = find_function_start_sal (sym, funfirstline);
1951       values.nelts = 1;
1952
1953       /* Don't use the SYMBOL_LINE; if used at all it points to
1954          the line containing the parameters or thereabouts, not
1955          the first line of code.  */
1956
1957       /* We might need a canonical line spec if it is a static
1958          function.  */
1959       if (file_symtab == 0)
1960         {
1961           struct blockvector *bv = BLOCKVECTOR (SYMBOL_SYMTAB (sym));
1962           struct block *b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1963
1964           if (lookup_block_symbol (b, copy, VAR_DOMAIN) != NULL)
1965             build_canonical_line_spec (values.sals, copy, canonical);
1966         }
1967       return values;
1968     }
1969   else
1970     {
1971       if (funfirstline && SYMBOL_CLASS (sym) != LOC_LABEL)
1972         error (_("\"%s\" is not a function"), copy);
1973       else if (SYMBOL_LINE (sym) != 0)
1974         {
1975           /* We know its line number.  */
1976           values.sals = (struct symtab_and_line *)
1977             xmalloc (sizeof (struct symtab_and_line));
1978           values.nelts = 1;
1979           memset (&values.sals[0], 0, sizeof (values.sals[0]));
1980           values.sals[0].symtab = SYMBOL_SYMTAB (sym);
1981           values.sals[0].line = SYMBOL_LINE (sym);
1982           values.sals[0].pspace = SYMTAB_PSPACE (SYMBOL_SYMTAB (sym));
1983           return values;
1984         }
1985       else
1986         /* This can happen if it is compiled with a compiler which doesn't
1987            put out line numbers for variables.  */
1988         /* FIXME: Shouldn't we just set .line and .symtab to zero
1989            and return?  For example, "info line foo" could print
1990            the address.  */
1991         error (_("Line number not known for symbol \"%s\""), copy);
1992     }
1993 }
1994
1995 /* We've found a minimal symbol MSYMBOL to associate with our
1996    linespec; build a corresponding struct symtabs_and_lines.  */
1997
1998 static struct symtabs_and_lines
1999 minsym_found (int funfirstline, struct minimal_symbol *msymbol)
2000 {
2001   struct objfile *objfile = msymbol_objfile (msymbol);
2002   struct gdbarch *gdbarch = get_objfile_arch (objfile);
2003   struct symtabs_and_lines values;
2004   CORE_ADDR pc;
2005
2006   values.sals = (struct symtab_and_line *)
2007     xmalloc (sizeof (struct symtab_and_line));
2008   values.sals[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol),
2009                                       (struct obj_section *) 0, 0);
2010   values.sals[0].section = SYMBOL_OBJ_SECTION (msymbol);
2011
2012   /* The minimal symbol might point to a function descriptor;
2013      resolve it to the actual code address instead.  */
2014   pc = gdbarch_convert_from_func_ptr_addr (gdbarch,
2015                                            values.sals[0].pc,
2016                                            &current_target);
2017   if (pc != values.sals[0].pc)
2018     values.sals[0] = find_pc_sect_line (pc, NULL, 0);
2019
2020   if (funfirstline)
2021     skip_prologue_sal (&values.sals[0]);
2022
2023   values.nelts = 1;
2024   return values;
2025 }