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