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