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