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