gdb/linespec.c

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