1 /* Parser for linespec for the GNU debugger, GDB.
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.
7 This file is part of GDB.
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.
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.
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/>. */
31 #include "completer.h"
33 #include "cp-support.h"
34 #include "parser-defs.h"
36 #include "objc-lang.h"
38 #include "exceptions.h"
41 #include "mi/mi-cmds.h"
43 #include "arch-utils.h"
45 #include "cli/cli-utils.h"
46 #include "filenames.h"
48 /* Prototypes for local functions. */
50 static void initialize_defaults (struct symtab **default_symtab,
53 static struct symtabs_and_lines decode_indirect (char **argptr);
55 static char *locate_first_half (char **argptr, int *is_quote_enclosed);
57 static struct symtabs_and_lines decode_objc (char **argptr,
59 struct symtab *file_symtab,
60 struct linespec_result *canonical,
63 static struct symtabs_and_lines decode_compound (char **argptr,
65 struct linespec_result *canonical,
66 struct symtab *file_symtab,
70 static struct symbol *lookup_prefix_sym (char **argptr, char *p,
73 static struct symtabs_and_lines find_method (int funfirstline,
74 struct linespec_result *canonical,
78 struct symbol *sym_class,
81 static void cplusplus_error (const char *name, const char *fmt, ...)
82 ATTRIBUTE_NORETURN ATTRIBUTE_PRINTF (2, 3);
84 static int total_number_of_methods (struct type *type);
86 static int find_methods (struct type *, char *,
87 enum language, struct symbol **, struct symtab *);
89 static int add_matching_methods (int method_counter, struct type *t,
90 enum language language,
91 struct symbol **sym_arr);
93 static int add_constructors (int method_counter, struct type *t,
94 enum language language,
95 struct symbol **sym_arr);
97 static void build_canonical_line_spec (struct symtab_and_line *,
98 char *, struct linespec_result *);
100 static char *find_toplevel_char (char *s, char c);
102 static int is_objc_method_format (const char *s);
104 static struct symtabs_and_lines decode_line_2 (struct symbol *[],
106 struct linespec_result *);
108 static struct symtab *symtab_from_filename (char **argptr,
109 char *p, int is_quote_enclosed);
111 static struct symbol *find_function_symbol (char **argptr, char *p,
112 int is_quote_enclosed);
115 symtabs_and_lines decode_all_digits (char **argptr,
116 struct symtab *default_symtab,
118 struct linespec_result *canonical,
119 struct symtab *file_symtab,
122 static struct symtabs_and_lines decode_dollar (char *copy,
124 struct symtab *default_symtab,
125 struct linespec_result *canonical,
126 struct symtab *file_symtab);
128 static int decode_label (struct symbol *function_symbol,
129 char *copy, struct linespec_result *canonical,
130 struct symtabs_and_lines *result);
132 static struct symtabs_and_lines decode_variable (char *copy,
134 struct linespec_result *canonical,
135 struct symtab *file_symtab);
138 symtabs_and_lines symbol_found (int funfirstline,
139 struct linespec_result *canonical,
142 struct symtab *file_symtab,
143 struct symbol *function_symbol);
146 symtabs_and_lines minsym_found (int funfirstline,
147 struct minimal_symbol *msymbol);
149 /* Helper functions. */
151 /* Issue a helpful hint on using the command completion feature on
152 single quoted demangled C++ symbols as part of the completion
156 cplusplus_error (const char *name, const char *fmt, ...)
158 struct ui_file *tmp_stream;
161 tmp_stream = mem_fileopen ();
162 make_cleanup_ui_file_delete (tmp_stream);
167 va_start (args, fmt);
168 vfprintf_unfiltered (tmp_stream, fmt, args);
172 while (*name == '\'')
174 fprintf_unfiltered (tmp_stream,
175 ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
176 "(Note leading single quote.)"),
179 message = ui_file_xstrdup (tmp_stream, NULL);
180 make_cleanup (xfree, message);
181 throw_error (NOT_FOUND_ERROR, "%s", message);
184 /* Return the number of methods described for TYPE, including the
185 methods from types it derives from. This can't be done in the symbol
186 reader because the type of the baseclass might still be stubbed
187 when the definition of the derived class is parsed. */
190 total_number_of_methods (struct type *type)
195 CHECK_TYPEDEF (type);
196 if (! HAVE_CPLUS_STRUCT (type))
198 count = TYPE_NFN_FIELDS_TOTAL (type);
200 for (n = 0; n < TYPE_N_BASECLASSES (type); n++)
201 count += total_number_of_methods (TYPE_BASECLASS (type, n));
206 /* Returns the block to be used for symbol searches for the given SYMTAB,
207 which may be NULL. */
209 static struct block *
210 get_search_block (struct symtab *symtab)
215 block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab), STATIC_BLOCK);
218 enum language save_language;
220 /* get_selected_block can change the current language when there is
221 no selected frame yet. */
222 save_language = current_language->la_language;
223 block = get_selected_block (0);
224 set_language (save_language);
230 /* Recursive helper function for decode_line_1.
231 Look for methods named NAME in type T.
232 Return number of matches.
233 Put matches in SYM_ARR, which should have been allocated with
234 a size of total_number_of_methods (T) * sizeof (struct symbol *).
235 Note that this function is g++ specific. */
238 find_methods (struct type *t, char *name, enum language language,
239 struct symbol **sym_arr, struct symtab *file_symtab)
243 char *class_name = type_name_no_tag (t);
244 struct cleanup *cleanup;
247 /* NAME is typed by the user: it needs to be canonicalized before
248 passing to lookup_symbol. */
249 canon = cp_canonicalize_string_no_typedefs (name);
253 cleanup = make_cleanup (xfree, name);
256 cleanup = make_cleanup (null_cleanup, NULL);
258 /* Ignore this class if it doesn't have a name. This is ugly, but
259 unless we figure out how to get the physname without the name of
260 the class, then the loop can't do any good. */
262 && (lookup_symbol_in_language (class_name, get_search_block (file_symtab),
263 STRUCT_DOMAIN, language, (int *) NULL)))
266 int name_len = strlen (name);
270 /* Loop over each method name. At this level, all overloads of a name
271 are counted as a single name. There is an inner loop which loops over
274 for (method_counter = TYPE_NFN_FIELDS (t) - 1;
278 char *method_name = TYPE_FN_FIELDLIST_NAME (t, method_counter);
281 if (strncmp (method_name, "__", 2) == 0 ||
282 strncmp (method_name, "op", 2) == 0 ||
283 strncmp (method_name, "type", 4) == 0)
285 if (cplus_demangle_opname (method_name, dem_opname, DMGL_ANSI))
286 method_name = dem_opname;
287 else if (cplus_demangle_opname (method_name, dem_opname, 0))
288 method_name = dem_opname;
291 if (strcmp_iw (name, method_name) == 0)
292 /* Find all the overloaded methods with that name. */
293 i1 += add_matching_methods (method_counter, t, language,
295 else if (strncmp (class_name, name, name_len) == 0
296 && (class_name[name_len] == '\0'
297 || class_name[name_len] == '<'))
298 i1 += add_constructors (method_counter, t, language,
303 /* Only search baseclasses if there is no match yet, since names in
304 derived classes override those in baseclasses.
306 FIXME: The above is not true; it is only true of member functions
307 if they have the same number of arguments (??? - section 13.1 of the
308 ARM says the function members are not in the same scope but doesn't
309 really spell out the rules in a way I understand. In any case, if
310 the number of arguments differ this is a case in which we can overload
311 rather than hiding without any problem, and gcc 2.4.5 does overload
312 rather than hiding in this case). */
315 for (ibase = 0; ibase < TYPE_N_BASECLASSES (t); ibase++)
316 i1 += find_methods (TYPE_BASECLASS (t, ibase), name,
317 language, sym_arr + i1, file_symtab);
319 do_cleanups (cleanup);
323 /* Add the symbols associated to methods of the class whose type is T
324 and whose name matches the method indexed by METHOD_COUNTER in the
325 array SYM_ARR. Return the number of methods added. */
328 add_matching_methods (int method_counter, struct type *t,
329 enum language language, struct symbol **sym_arr)
334 for (field_counter = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
339 const char *phys_name;
341 f = TYPE_FN_FIELDLIST1 (t, method_counter);
343 if (TYPE_FN_FIELD_STUB (f, field_counter))
345 char *tmp_name, *tmp2;
347 tmp_name = gdb_mangle_name (t,
350 tmp2 = alloca (strlen (tmp_name) + 1);
351 strcpy (tmp2, tmp_name);
356 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
358 sym_arr[i1] = lookup_symbol_in_language (phys_name,
366 /* This error message gets printed, but the method
367 still seems to be found.
368 fputs_filtered("(Cannot find method ", gdb_stdout);
369 fprintf_symbol_filtered (gdb_stdout, phys_name,
371 DMGL_PARAMS | DMGL_ANSI);
372 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
380 /* Add the symbols associated to constructors of the class whose type
381 is CLASS_TYPE and which are indexed by by METHOD_COUNTER to the
382 array SYM_ARR. Return the number of methods added. */
385 add_constructors (int method_counter, struct type *t,
386 enum language language, struct symbol **sym_arr)
391 /* For GCC 3.x and stabs, constructors and destructors
392 have names like __base_ctor and __complete_dtor.
393 Check the physname for now if we're looking for a
396 = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
401 const char *phys_name;
403 f = TYPE_FN_FIELDLIST1 (t, method_counter);
405 /* GCC 3.x will never produce stabs stub methods, so
406 we don't need to handle this case. */
407 if (TYPE_FN_FIELD_STUB (f, field_counter))
409 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
410 if (! is_constructor_name (phys_name))
413 /* If this method is actually defined, include it in the
415 sym_arr[i1] = lookup_symbol_in_language (phys_name,
426 /* Helper function for decode_line_1.
427 Build a canonical line spec in CANONICAL if it is non-NULL and if
428 the SAL has a symtab.
429 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
430 If SYMNAME is NULL the line number from SAL is used and the canonical
431 line spec is `filename:linenum'. */
434 build_canonical_line_spec (struct symtab_and_line *sal, char *symname,
435 struct linespec_result *canonical)
437 char **canonical_arr;
438 char *canonical_name;
440 struct symtab *s = sal->symtab;
442 if (s == (struct symtab *) NULL
443 || s->filename == (char *) NULL
444 || canonical == NULL)
447 canonical_arr = (char **) xmalloc (sizeof (char *));
448 canonical->canonical = canonical_arr;
450 filename = s->filename;
453 canonical_name = xmalloc (strlen (filename) + strlen (symname) + 2);
454 sprintf (canonical_name, "%s:%s", filename, symname);
458 canonical_name = xmalloc (strlen (filename) + 30);
459 sprintf (canonical_name, "%s:%d", filename, sal->line);
461 canonical_arr[0] = canonical_name;
466 /* Find an instance of the character C in the string S that is outside
467 of all parenthesis pairs, single-quoted strings, and double-quoted
468 strings. Also, ignore the char within a template name, like a ','
469 within foo<int, int>. */
472 find_toplevel_char (char *s, char c)
474 int quoted = 0; /* zero if we're not in quotes;
475 '"' if we're in a double-quoted string;
476 '\'' if we're in a single-quoted string. */
477 int depth = 0; /* Number of unclosed parens we've seen. */
480 for (scan = s; *scan; scan++)
486 else if (*scan == '\\' && *(scan + 1))
489 else if (*scan == c && ! quoted && depth == 0)
491 else if (*scan == '"' || *scan == '\'')
493 else if (*scan == '(' || *scan == '<')
495 else if ((*scan == ')' || *scan == '>') && depth > 0)
502 /* Determines if the gives string corresponds to an Objective-C method
503 representation, such as -[Foo bar:] or +[Foo bar]. Objective-C symbols
504 are allowed to have spaces and parentheses in them. */
507 is_objc_method_format (const char *s)
509 if (s == NULL || *s == '\0')
511 /* Handle arguments with the format FILENAME:SYMBOL. */
512 if ((s[0] == ':') && (strchr ("+-", s[1]) != NULL)
513 && (s[2] == '[') && strchr(s, ']'))
515 /* Handle arguments that are just SYMBOL. */
516 else if ((strchr ("+-", s[0]) != NULL) && (s[1] == '[') && strchr(s, ']'))
521 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
522 operate on (ask user if necessary).
523 If CANONICAL is non-NULL return a corresponding array of mangled names
524 as canonical line specs there. */
526 static struct symtabs_and_lines
527 decode_line_2 (struct symbol *sym_arr[], int nelts, int funfirstline,
528 struct linespec_result *canonical)
530 struct symtabs_and_lines values, return_values;
535 struct cleanup *old_chain;
536 char **canonical_arr = (char **) NULL;
537 const char *select_mode = multiple_symbols_select_mode ();
539 if (select_mode == multiple_symbols_cancel)
540 error (_("canceled because the command is ambiguous\n"
541 "See set/show multiple-symbol."));
543 values.sals = (struct symtab_and_line *)
544 alloca (nelts * sizeof (struct symtab_and_line));
545 return_values.sals = (struct symtab_and_line *)
546 xmalloc (nelts * sizeof (struct symtab_and_line));
547 old_chain = make_cleanup (xfree, return_values.sals);
551 canonical_arr = (char **) xmalloc (nelts * sizeof (char *));
552 make_cleanup (xfree, canonical_arr);
553 memset (canonical_arr, 0, nelts * sizeof (char *));
554 canonical->canonical = canonical_arr;
560 init_sal (&return_values.sals[i]); /* Initialize to zeroes. */
561 init_sal (&values.sals[i]);
562 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
563 values.sals[i] = find_function_start_sal (sym_arr[i], funfirstline);
567 /* If select_mode is "all", then do not print the multiple-choice
568 menu and act as if the user had chosen choice "1" (all). */
569 if (select_mode == multiple_symbols_all
570 || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
575 printf_unfiltered (_("[0] cancel\n[1] all\n"));
578 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
580 if (values.sals[i].symtab)
581 printf_unfiltered ("[%d] %s at %s:%d\n",
583 SYMBOL_PRINT_NAME (sym_arr[i]),
584 values.sals[i].symtab->filename,
585 values.sals[i].line);
587 printf_unfiltered (_("[%d] %s at ?FILE:%d [No symtab? "
588 "Probably broken debug info...]\n"),
590 SYMBOL_PRINT_NAME (sym_arr[i]),
591 values.sals[i].line);
595 printf_unfiltered (_("?HERE\n"));
599 prompt = getenv ("PS2");
604 args = command_line_input (prompt, 0, "overload-choice");
607 if (args == 0 || *args == 0)
608 error_no_arg (_("one or more choice numbers"));
616 while (*arg1 >= '0' && *arg1 <= '9')
618 if (*arg1 && *arg1 != ' ' && *arg1 != '\t')
619 error (_("Arguments must be choice numbers."));
624 error (_("canceled"));
629 for (i = 0; i < nelts; i++)
631 if (canonical_arr[i] == NULL)
633 symname = SYMBOL_LINKAGE_NAME (sym_arr[i]);
634 canonical_arr[i] = xstrdup (symname);
638 memcpy (return_values.sals, values.sals,
639 (nelts * sizeof (struct symtab_and_line)));
640 return_values.nelts = nelts;
641 discard_cleanups (old_chain);
642 return return_values;
645 if (num >= nelts + 2)
647 printf_unfiltered (_("No choice number %d.\n"), num);
652 if (values.sals[num].pc)
656 symname = SYMBOL_LINKAGE_NAME (sym_arr[num]);
657 make_cleanup (xfree, symname);
658 canonical_arr[i] = xstrdup (symname);
660 return_values.sals[i++] = values.sals[num];
661 values.sals[num].pc = 0;
665 printf_unfiltered (_("duplicate request for %d ignored.\n"),
671 while (*args == ' ' || *args == '\t')
674 return_values.nelts = i;
675 discard_cleanups (old_chain);
676 return return_values;
679 /* Valid delimiters for linespec keywords "if", "thread" or "task". */
682 is_linespec_boundary (char c)
684 return c == ' ' || c == '\t' || c == '\0' || c == ',';
687 /* A helper function for decode_line_1 and friends which skips P
688 past any method overload information at the beginning of P, e.g.,
689 "(const struct foo *)".
691 This function assumes that P has already been validated to contain
692 overload information, and it will assert if *P != '('. */
694 find_method_overload_end (char *p)
698 gdb_assert (*p == '(');
718 /* Keep important information used when looking up a name. This includes
719 template parameters, overload information, and important keywords, including
720 the possible Java trailing type. */
723 keep_name_info (char *p, int on_boundary)
725 const char *quotes = get_gdb_completer_quote_characters ();
731 if (strchr (quotes, *p))
734 if (*p == ',' && !nest)
737 if (on_boundary && !nest)
739 const char *const words[] = { "if", "thread", "task" };
742 for (wordi = 0; wordi < ARRAY_SIZE (words); wordi++)
743 if (strncmp (p, words[wordi], strlen (words[wordi])) == 0
744 && is_linespec_boundary (p[strlen (words[wordi])]))
746 if (wordi < ARRAY_SIZE (words))
750 if (*p == '(' || *p == '<' || *p == '[')
752 else if ((*p == ')' || *p == '>' || *p == ']') && nest > 0)
757 /* The ',' check could fail on "operator ,". */
758 p += cp_validate_operator (p);
760 on_boundary = is_linespec_boundary (p[-1]);
763 while (p > saved_p && is_linespec_boundary (p[-1]))
770 /* The parser of linespec itself. */
772 /* Parse a string that specifies a line number.
773 Pass the address of a char * variable; that variable will be
774 advanced over the characters actually parsed.
778 LINENUM -- that line number in current file. PC returned is 0.
779 FILE:LINENUM -- that line in that file. PC returned is 0.
780 FUNCTION -- line number of openbrace of that function.
781 PC returned is the start of the function.
782 LABEL -- a label in the current scope
783 VARIABLE -- line number of definition of that variable.
785 FILE:FUNCTION -- likewise, but prefer functions in that file.
786 *EXPR -- line in which address EXPR appears.
788 This may all be followed by an "if EXPR", which we ignore.
790 FUNCTION may be an undebuggable function found in minimal symbol table.
792 If the argument FUNFIRSTLINE is nonzero, we want the first line
793 of real code inside a function when a function is specified, and it is
794 not OK to specify a variable or type to get its line number.
796 DEFAULT_SYMTAB specifies the file to use if none is specified.
797 It defaults to current_source_symtab.
798 DEFAULT_LINE specifies the line number to use for relative
799 line numbers (that start with signs). Defaults to current_source_line.
800 If CANONICAL is non-NULL, store an array of strings containing the canonical
801 line specs there if necessary. Currently overloaded member functions and
802 line numbers or static functions without a filename yield a canonical
803 line spec. The array and the line spec strings are allocated on the heap,
804 it is the callers responsibility to free them.
806 Note that it is possible to return zero for the symtab
807 if no file is validly specified. Callers must check that.
808 Also, the line number returned may be invalid. */
810 /* We allow single quotes in various places. This is a hideous
811 kludge, which exists because the completer can't yet deal with the
812 lack of single quotes. FIXME: write a linespec_completer which we
813 can use as appropriate instead of make_symbol_completion_list. */
815 struct symtabs_and_lines
816 decode_line_1 (char **argptr, int funfirstline, struct symtab *default_symtab,
817 int default_line, struct linespec_result *canonical)
821 /* If a file name is specified, this is its symtab. */
822 struct symtab *file_symtab = NULL;
825 /* This says whether or not something in *ARGPTR is quoted with
826 completer_quotes (i.e. with single quotes). */
828 /* Is *ARGPTR enclosed in double quotes? */
829 int is_quote_enclosed;
830 int is_objc_method = 0;
831 char *saved_arg = *argptr;
832 /* If IS_QUOTED, the end of the quoted bit. */
833 char *end_quote = NULL;
834 /* Is *ARGPTR enclosed in single quotes? */
835 int is_squote_enclosed = 0;
836 /* The "first half" of the linespec. */
839 /* If we are parsing `function:label', this holds the symbol for the
841 struct symbol *function_symbol = NULL;
842 /* If FUNCTION_SYMBOL is not NULL, then this is the exception that
843 was thrown when trying to parse a filename. */
844 volatile struct gdb_exception file_exception;
846 /* Defaults have defaults. */
848 initialize_defaults (&default_symtab, &default_line);
850 /* See if arg is *PC. */
853 return decode_indirect (argptr);
855 is_quoted = (strchr (get_gdb_completer_quote_characters (),
860 end_quote = skip_quoted (*argptr);
861 if (*end_quote == '\0')
862 is_squote_enclosed = 1;
865 /* Check to see if it's a multipart linespec (with colons or
868 /* Locate the end of the first half of the linespec.
869 After the call, for instance, if the argptr string is "foo.c:123"
870 p will point at "123". If there is only one part, like "foo", p
871 will point to "". If this is a C++ name, like "A::B::foo", p will
872 point to "::B::foo". Argptr is not changed by this call. */
874 first_half = p = locate_first_half (argptr, &is_quote_enclosed);
876 /* First things first: if ARGPTR starts with a filename, get its
877 symtab and strip the filename from ARGPTR. */
878 TRY_CATCH (file_exception, RETURN_MASK_ERROR)
880 file_symtab = symtab_from_filename (argptr, p, is_quote_enclosed);
883 if (file_exception.reason >= 0)
885 /* Check for single quotes on the non-filename part. */
886 is_quoted = (**argptr
887 && strchr (get_gdb_completer_quote_characters (),
890 end_quote = skip_quoted (*argptr);
892 /* Locate the next "half" of the linespec. */
893 first_half = p = locate_first_half (argptr, &is_quote_enclosed);
896 /* Check if this is an Objective-C method (anything that starts with
897 a '+' or '-' and a '['). */
898 if (is_objc_method_format (p))
901 /* Check if the symbol could be an Objective-C selector. */
904 struct symtabs_and_lines values;
906 values = decode_objc (argptr, funfirstline, file_symtab,
907 canonical, saved_arg);
908 if (values.sals != NULL)
912 /* Does it look like there actually were two parts? */
914 if (p[0] == ':' || p[0] == '.')
916 /* Is it a C++ or Java compound data structure?
917 The check on p[1] == ':' is capturing the case of "::",
918 since p[0]==':' was checked above.
919 Note that the call to decode_compound does everything
920 for us, including the lookup on the symbol table, so we
923 if (p[0] == '.' || p[1] == ':')
925 struct symtabs_and_lines values;
926 volatile struct gdb_exception ex;
927 char *saved_argptr = *argptr;
929 if (is_quote_enclosed)
932 /* Initialize it just to avoid a GCC false warning. */
933 memset (&values, 0, sizeof (values));
935 TRY_CATCH (ex, RETURN_MASK_ERROR)
937 values = decode_compound (argptr, funfirstline, canonical,
938 file_symtab, saved_arg, p);
940 if ((is_quoted || is_squote_enclosed) && **argptr == '\'')
941 *argptr = *argptr + 1;
946 if (ex.error != NOT_FOUND_ERROR)
947 throw_exception (ex);
949 *argptr = saved_argptr;
953 /* If there was an exception looking up a specified filename earlier,
954 then check whether we were really given `function:label'. */
955 if (file_exception.reason < 0)
957 function_symbol = find_function_symbol (argptr, p,
959 /* If we did not find a function, re-throw the original
961 if (!function_symbol)
962 throw_exception (file_exception);
965 /* Check for single quotes on the non-filename part. */
968 is_quoted = (**argptr
969 && strchr (get_gdb_completer_quote_characters (),
972 end_quote = skip_quoted (*argptr);
977 /* file_symtab is specified file's symtab, or 0 if no file specified.
978 If we are parsing `function:symbol', then FUNCTION_SYMBOL is the
979 function before the `:'.
980 arg no longer contains the file name. */
982 /* If the filename was quoted, we must re-check the quotation. */
984 if (end_quote == first_half && *end_quote!= '\0')
986 is_quoted = (**argptr
987 && strchr (get_gdb_completer_quote_characters (),
990 end_quote = skip_quoted (*argptr);
993 /* Check whether arg is all digits (and sign). */
996 if (*q == '-' || *q == '+')
998 while (*q >= '0' && *q <= '9')
1001 if (q != *argptr && (*q == 0 || *q == ' ' || *q == '\t' || *q == ',')
1002 && function_symbol == NULL)
1003 /* We found a token consisting of all digits -- at least one digit. */
1004 return decode_all_digits (argptr, default_symtab, default_line,
1005 canonical, file_symtab, q);
1007 /* Arg token is not digits => try it as a variable name
1008 Find the next token (everything up to end or next whitespace). */
1010 if (**argptr == '$') /* May be a convenience variable. */
1011 /* One or two $ chars possible. */
1012 p = skip_quoted (*argptr + (((*argptr)[1] == '$') ? 2 : 1));
1013 else if (is_quoted || is_squote_enclosed)
1017 error (_("Unmatched single quote."));
1019 else if (is_objc_method)
1021 /* allow word separators in method names for Obj-C. */
1022 p = skip_quoted_chars (*argptr, NULL, "");
1026 p = skip_quoted (*argptr);
1029 /* Keep any important naming information. */
1030 p = keep_name_info (p, p == saved_arg || is_linespec_boundary (p[-1]));
1032 copy = (char *) alloca (p - *argptr + 1);
1033 memcpy (copy, *argptr, p - *argptr);
1034 copy[p - *argptr] = '\0';
1037 && copy[0] == copy[p - *argptr - 1]
1038 && strchr (get_gdb_completer_quote_characters (), copy[0]) != NULL)
1040 copy[p - *argptr - 1] = '\0';
1043 else if (is_quoted || is_squote_enclosed)
1044 copy[p - *argptr - 1] = '\0';
1045 while (*p == ' ' || *p == '\t')
1049 /* If it starts with $: may be a legitimate variable or routine name
1050 (e.g. HP-UX millicode routines such as $$dyncall), or it may
1051 be history value, or it may be a convenience variable. */
1053 if (*copy == '$' && function_symbol == NULL)
1054 return decode_dollar (copy, funfirstline, default_symtab,
1055 canonical, file_symtab);
1057 /* Try the token as a label, but only if no file was specified,
1058 because we can only really find labels in the current scope. */
1062 struct symtabs_and_lines label_result;
1063 if (decode_label (function_symbol, copy, canonical, &label_result))
1064 return label_result;
1067 if (function_symbol)
1068 throw_exception (file_exception);
1070 /* Look up that token as a variable.
1071 If file specified, use that file's per-file block to start with. */
1073 return decode_variable (copy, funfirstline, canonical, file_symtab);
1078 /* Now, more helper functions for decode_line_1. Some conventions
1079 that these functions follow:
1081 Decode_line_1 typically passes along some of its arguments or local
1082 variables to the subfunctions. It passes the variables by
1083 reference if they are modified by the subfunction, and by value
1086 Some of the functions have side effects that don't arise from
1087 variables that are passed by reference. In particular, if a
1088 function is passed ARGPTR as an argument, it modifies what ARGPTR
1089 points to; typically, it advances *ARGPTR past whatever substring
1090 it has just looked at. (If it doesn't modify *ARGPTR, then the
1091 function gets passed *ARGPTR instead, which is then called ARG.)
1092 Also, functions that return a struct symtabs_and_lines may modify
1093 CANONICAL, as in the description of decode_line_1.
1095 If a function returns a struct symtabs_and_lines, then that struct
1096 will immediately make its way up the call chain to be returned by
1097 decode_line_1. In particular, all of the functions decode_XXX
1098 calculate the appropriate struct symtabs_and_lines, under the
1099 assumption that their argument is of the form XXX. */
1101 /* First, some functions to initialize stuff at the beggining of the
1105 initialize_defaults (struct symtab **default_symtab, int *default_line)
1107 if (*default_symtab == 0)
1109 /* Use whatever we have for the default source line. We don't use
1110 get_current_or_default_symtab_and_line as it can recurse and call
1112 struct symtab_and_line cursal =
1113 get_current_source_symtab_and_line ();
1115 *default_symtab = cursal.symtab;
1116 *default_line = cursal.line;
1122 /* Decode arg of the form *PC. */
1124 static struct symtabs_and_lines
1125 decode_indirect (char **argptr)
1127 struct symtabs_and_lines values;
1131 pc = value_as_address (parse_to_comma_and_eval (argptr));
1133 values.sals = (struct symtab_and_line *)
1134 xmalloc (sizeof (struct symtab_and_line));
1137 values.sals[0] = find_pc_line (pc, 0);
1138 values.sals[0].pc = pc;
1139 values.sals[0].section = find_pc_overlay (pc);
1140 values.sals[0].explicit_pc = 1;
1147 /* Locate the first half of the linespec, ending in a colon, period,
1148 or whitespace. (More or less.) Also, check to see if *ARGPTR is
1149 enclosed in double quotes; if so, set is_quote_enclosed, advance
1150 ARGPTR past that and zero out the trailing double quote.
1151 If ARGPTR is just a simple name like "main", p will point to ""
1155 locate_first_half (char **argptr, int *is_quote_enclosed)
1161 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
1162 and we must isolate the first half. Outer layers will call again later
1163 for the second half.
1165 Don't count commas that appear in argument lists of overloaded
1166 functions, or in quoted strings. It's stupid to go to this much
1167 trouble when the rest of the function is such an obvious roach hotel. */
1168 ii = find_toplevel_char (*argptr, ',');
1169 has_comma = (ii != 0);
1171 /* Temporarily zap out second half to not confuse the code below.
1172 This is undone below. Do not change ii!! */
1178 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
1179 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
1185 *is_quote_enclosed = 1;
1191 *is_quote_enclosed = 0;
1192 if (strchr (get_gdb_completer_quote_characters (), *p))
1200 /* Check for a drive letter in the filename. This is done on all hosts
1201 to capture cross-compilation environments. On Unixen, directory
1202 separators are illegal in filenames, so if the user enters "e:/foo.c",
1203 he is referring to a directory named "e:" and a source file named
1204 "foo.c", and we still want to keep these two pieces together. */
1205 if (isalpha (p[0]) && p[1] == ':' && IS_DIR_SEPARATOR (p[2]))
1212 char *temp_end = find_template_name_end (p);
1215 error (_("malformed template specification in command"));
1220 p = find_method_overload_end (p);
1222 /* Check for a colon and a plus or minus and a [ (which
1223 indicates an Objective-C method). */
1224 if (is_objc_method_format (p))
1228 /* Check for the end of the first half of the linespec. End of
1229 line, a tab, a colon or a space. But if enclosed in double
1230 quotes we do not break on enclosed spaces. */
1234 || ((p[0] == ' ') && !*is_quote_enclosed))
1236 if (p[0] == '.' && strchr (p, ':') == NULL)
1238 /* Java qualified method. Find the *last* '.', since the
1239 others are package qualifiers. Stop at any open parenthesis
1240 which might provide overload information. */
1241 for (p1 = p; *p1 && *p1 != '('; p1++)
1249 while (p[0] == ' ' || p[0] == '\t')
1252 /* If the closing double quote was left at the end, remove it. */
1253 if (*is_quote_enclosed)
1255 char *closing_quote = strchr (p - 1, '"');
1257 if (closing_quote && closing_quote[1] == '\0')
1258 *closing_quote = '\0';
1261 /* Now that we've safely parsed the first half, put back ',' so
1262 outer layers can see it. */
1271 /* Here's where we recognise an Objective-C Selector. An Objective C
1272 selector may be implemented by more than one class, therefore it
1273 may represent more than one method/function. This gives us a
1274 situation somewhat analogous to C++ overloading. If there's more
1275 than one method that could represent the selector, then use some of
1276 the existing C++ code to let the user choose one. */
1278 struct symtabs_and_lines
1279 decode_objc (char **argptr, int funfirstline, struct symtab *file_symtab,
1280 struct linespec_result *canonical, char *saved_arg)
1282 struct symtabs_and_lines values;
1283 struct symbol **sym_arr = NULL;
1284 struct symbol *sym = NULL;
1285 struct block *block = NULL;
1292 find_imps (file_symtab, get_search_block (file_symtab), *argptr,
1297 sym_arr = (struct symbol **)
1298 alloca ((i1 + 1) * sizeof (struct symbol *));
1301 *argptr = find_imps (file_symtab, block, *argptr, sym_arr, &i1, &i2);
1304 /* i1 now represents the TOTAL number of matches found.
1305 i2 represents how many HIGH-LEVEL (struct symbol) matches,
1306 which will come first in the sym_arr array. Any low-level
1307 (minimal_symbol) matches will follow those. */
1313 /* Already a struct symbol. */
1318 sym = find_pc_function (SYMBOL_VALUE_ADDRESS (sym_arr[0]));
1319 if ((sym != NULL) && strcmp (SYMBOL_LINKAGE_NAME (sym_arr[0]),
1320 SYMBOL_LINKAGE_NAME (sym)) != 0)
1322 warning (_("debugging symbol \"%s\" does "
1323 "not match selector; ignoring"),
1324 SYMBOL_LINKAGE_NAME (sym));
1329 values.sals = (struct symtab_and_line *)
1330 xmalloc (sizeof (struct symtab_and_line));
1333 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
1335 /* Canonicalize this, so it remains resolved for dylib loads. */
1336 values.sals[0] = find_function_start_sal (sym, funfirstline);
1337 build_canonical_line_spec (values.sals,
1338 SYMBOL_NATURAL_NAME (sym), canonical);
1342 /* The only match was a non-debuggable symbol, which might point
1343 to a function descriptor; resolve it to the actual code address
1345 struct minimal_symbol *msymbol = (struct minimal_symbol *)sym_arr[0];
1346 struct objfile *objfile = msymbol_objfile (msymbol);
1347 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1348 CORE_ADDR pc = SYMBOL_VALUE_ADDRESS (msymbol);
1350 pc = gdbarch_convert_from_func_ptr_addr (gdbarch, pc,
1353 init_sal (&values.sals[0]);
1354 values.sals[0].pc = pc;
1361 /* More than one match. The user must choose one or more. */
1362 return decode_line_2 (sym_arr, i2, funfirstline, canonical);
1368 /* This handles C++ and Java compound data structures. P should point
1369 at the first component separator, i.e. double-colon or period. As
1370 an example, on entrance to this function we could have ARGPTR
1371 pointing to "AAA::inA::fun" and P pointing to "::inA::fun". */
1373 static struct symtabs_and_lines
1374 decode_compound (char **argptr, int funfirstline,
1375 struct linespec_result *canonical, struct symtab *file_symtab,
1376 char *the_real_saved_arg, char *p)
1378 struct symtabs_and_lines values;
1379 char *p2, *name, *canon;
1380 char *saved_arg2 = *argptr;
1384 struct symbol *sym_class;
1387 struct cleanup *cleanup;
1389 /* If the user specified any completer quote characters in the input,
1390 strip them. They are superfluous. */
1391 saved_arg = alloca (strlen (the_real_saved_arg) + 1);
1393 char *dst = saved_arg;
1394 char *src = the_real_saved_arg;
1395 char *quotes = get_gdb_completer_quote_characters ();
1396 while (*src != '\0')
1398 if (strchr (quotes, *src) == NULL)
1405 /* First check for "global" namespace specification, of the form
1406 "::foo". If found, skip over the colons and jump to normal
1407 symbol processing. I.e. the whole line specification starts with
1408 "::" (note the condition that *argptr == p). */
1410 && ((*argptr == p) || (p[-1] == ' ') || (p[-1] == '\t')))
1413 /* Given our example "AAA::inA::fun", we have two cases to consider:
1415 1) AAA::inA is the name of a class. In that case, presumably it
1416 has a method called "fun"; we then look up that method using
1419 2) AAA::inA isn't the name of a class. In that case, either the
1420 user made a typo, AAA::inA is the name of a namespace, or it is
1421 the name of a minimal symbol.
1422 We just look up AAA::inA::fun with lookup_symbol. If that fails,
1423 try lookup_minimal_symbol.
1425 Thus, our first task is to find everything before the last set of
1426 double-colons and figure out if it's the name of a class. So we
1427 first loop through all of the double-colons. */
1429 p2 = p; /* Save for restart. */
1431 /* This is very messy. Following the example above we have now the
1434 argptr -> "AAA::inA::fun
1435 saved_arg -> "AAA::inA::fun
1436 saved_arg2 -> "AAA::inA::fun
1437 p2 -> "::inA::fun". */
1439 /* In the loop below, with these strings, we'll make 2 passes, each
1440 is marked in comments. */
1444 static char *break_characters = " \t(";
1446 /* Move pointer up to next possible class/namespace token. */
1448 p = p2 + 1; /* Restart with old value +1. */
1450 /* PASS1: at this point p2->"::inA::fun", so p->":inA::fun",
1451 i.e. if there is a double-colon, p will now point to the
1453 /* PASS2: p2->"::fun", p->":fun" */
1455 /* Move pointer ahead to next double-colon. */
1457 && strchr (break_characters, *p) == NULL
1458 && strchr (get_gdb_completer_quote_characters (), *p) == NULL)
1460 if (current_language->la_language == language_cplus)
1461 p += cp_validate_operator (p);
1465 temp_end = find_template_name_end (p);
1467 error (_("malformed template specification in command"));
1470 /* Note that, since, at the start of this loop, p would be
1471 pointing to the second colon in a double-colon, we only
1472 satisfy the condition below if there is another
1473 double-colon to the right (after). I.e. there is another
1474 component that can be a class or a namespace. I.e, if at
1475 the beginning of this loop (PASS1), we had
1476 p->":inA::fun", we'll trigger this when p has been
1477 advanced to point to "::fun". */
1478 /* PASS2: we will not trigger this. */
1479 else if ((p[0] == ':') && (p[1] == ':'))
1480 break; /* Found double-colon. */
1483 /* PASS2: We'll keep getting here, until P points to one of the
1484 break characters, at which point we exit this loop. */
1488 && strncmp (&p[1], CP_ANONYMOUS_NAMESPACE_STR,
1489 CP_ANONYMOUS_NAMESPACE_LEN) == 0)
1490 p += CP_ANONYMOUS_NAMESPACE_LEN;
1491 else if (strchr (break_characters, *p) == NULL)
1498 break; /* Out of the while (1). This would happen
1499 for instance if we have looked up
1500 unsuccessfully all the components of the
1501 string, and p->""(PASS2). */
1503 /* We get here if p points to one of the break characters or "" (i.e.,
1505 /* Save restart for next time around. */
1507 /* Restore argptr as it was on entry to this function. */
1508 *argptr = saved_arg2;
1509 /* PASS1: at this point p->"::fun" argptr->"AAA::inA::fun",
1512 /* All ready for next pass through the loop. */
1516 /* Start of lookup in the symbol tables. */
1518 /* Lookup in the symbol table the substring between argptr and
1519 p. Note, this call changes the value of argptr. */
1520 /* Before the call, argptr->"AAA::inA::fun",
1521 p->"", p2->"::fun". After the call: argptr->"fun", p, p2
1523 sym_class = lookup_prefix_sym (argptr, p2, file_symtab);
1525 /* If sym_class has been found, and if "AAA::inA" is a class, then
1526 we're in case 1 above. So we look up "fun" as a method of that
1529 (t = check_typedef (SYMBOL_TYPE (sym_class)),
1530 (TYPE_CODE (t) == TYPE_CODE_STRUCT
1531 || TYPE_CODE (t) == TYPE_CODE_UNION)))
1533 /* Arg token is not digits => try it as a function name.
1534 Find the next token (everything up to end or next
1537 && strchr (get_gdb_completer_quote_characters (),
1540 p = skip_quoted (*argptr);
1541 *argptr = *argptr + 1;
1545 /* At this point argptr->"fun". */
1549 while (*p && *p != ' ' && *p != '\t' && *p != ',' && *p != ':'
1552 /* At this point p->"". String ended. */
1553 /* Nope, C++ operators could have spaces in them
1554 ("foo::operator <" or "foo::operator delete []").
1555 I apologize, this is a bit hacky... */
1556 if (current_language->la_language == language_cplus
1557 && *p == ' ' && p - 8 - *argptr + 1 > 0)
1559 /* The above loop has already swallowed "operator". */
1560 p += cp_validate_operator (p - 8) - 8;
1563 /* Keep any important naming information. */
1564 p = keep_name_info (p, 1);
1567 /* Allocate our own copy of the substring between argptr and
1569 copy = (char *) alloca (p - *argptr + 1);
1570 memcpy (copy, *argptr, p - *argptr);
1571 copy[p - *argptr] = '\0';
1573 && copy[p - *argptr - 1]
1574 && strchr (get_gdb_completer_quote_characters (),
1575 copy[p - *argptr - 1]) != NULL)
1576 copy[p - *argptr - 1] = '\0';
1578 /* At this point copy->"fun", p->"". */
1580 /* No line number may be specified. */
1581 while (*p == ' ' || *p == '\t')
1584 /* At this point arptr->"". */
1586 /* Look for copy as a method of sym_class. */
1587 /* At this point copy->"fun", sym_class is "AAA:inA",
1588 saved_arg->"AAA::inA::fun". This concludes the scanning of
1589 the string for possible components matches. If we find it
1590 here, we return. If not, and we are at the and of the string,
1591 we'll lookup the whole string in the symbol tables. */
1593 return find_method (funfirstline, canonical, saved_arg, copy, t,
1594 sym_class, file_symtab);
1595 } /* End if symbol found. */
1598 /* We couldn't find a class, so we're in case 2 above. We check the
1599 entire name as a symbol instead. */
1601 p = keep_name_info (p, 1);
1603 copy = (char *) alloca (p - saved_arg2 + 1);
1604 memcpy (copy, saved_arg2, p - saved_arg2);
1605 /* Note: if is_quoted should be true, we snuff out quote here
1607 copy[p - saved_arg2] = '\000';
1608 /* Set argptr to skip over the name. */
1609 *argptr = (*p == '\'') ? p + 1 : p;
1611 /* Look up entire name. */
1614 cleanup = make_cleanup (null_cleanup, NULL);
1615 canon = cp_canonicalize_string_no_typedefs (copy);
1619 make_cleanup (xfree, name);
1622 sym = lookup_symbol (name, get_selected_block (0), VAR_DOMAIN, 0);
1623 do_cleanups (cleanup);
1625 return symbol_found (funfirstline, canonical, copy, sym, NULL, NULL);
1628 struct minimal_symbol *msym;
1630 /* Couldn't find any interpretation as classes/namespaces. As a last
1631 resort, try the minimal symbol tables. */
1632 msym = lookup_minimal_symbol (copy, NULL, NULL);
1634 return minsym_found (funfirstline, msym);
1637 /* Couldn't find a minimal symbol, either, so give up. */
1638 cplusplus_error (the_real_saved_arg,
1639 "Can't find member of namespace, "
1640 "class, struct, or union named \"%s\"\n",
1644 /* Next come some helper functions for decode_compound. */
1646 /* Return the symbol corresponding to the substring of *ARGPTR ending
1647 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1648 name in question, the compound object separator ("::" or "."), and
1649 whitespace. Note that *ARGPTR is changed whether or not the
1650 lookup_symbol call finds anything (i.e we return NULL). As an
1651 example, say ARGPTR is "AAA::inA::fun" and P is "::inA::fun". */
1653 static struct symbol *
1654 lookup_prefix_sym (char **argptr, char *p, struct symtab *file_symtab)
1660 /* Extract the class name. */
1662 while (p != *argptr && p[-1] == ' ')
1664 copy = (char *) alloca (p - *argptr + 1);
1665 memcpy (copy, *argptr, p - *argptr);
1666 copy[p - *argptr] = 0;
1668 /* Discard the class name from the argptr. */
1669 p = p1 + (p1[0] == ':' ? 2 : 1);
1670 while (*p == ' ' || *p == '\t')
1674 /* At this point p1->"::inA::fun", p->"inA::fun" copy->"AAA",
1675 argptr->"inA::fun". */
1677 sym = lookup_symbol (copy, get_search_block (file_symtab), STRUCT_DOMAIN, 0);
1680 /* Typedefs are in VAR_DOMAIN so the above symbol lookup will
1681 fail when the user attempts to lookup a method of a class
1682 via a typedef'd name (NOT via the class's name, which is already
1683 handled in symbol_matches_domain). So try the lookup again
1684 using VAR_DOMAIN (where typedefs live) and double-check that we
1685 found a struct/class type. */
1686 struct symbol *s = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1690 struct type *t = SYMBOL_TYPE (s);
1693 if (TYPE_CODE (t) == TYPE_CODE_STRUCT)
1701 /* This finds the method COPY in the class whose type is T and whose
1702 symbol is SYM_CLASS. */
1704 static struct symtabs_and_lines
1705 find_method (int funfirstline, struct linespec_result *canonical,
1707 char *copy, struct type *t, struct symbol *sym_class,
1708 struct symtab *file_symtab)
1710 struct symtabs_and_lines values;
1711 struct symbol *sym = NULL;
1712 int i1; /* Counter for the symbol array. */
1713 struct symbol **sym_arr = alloca (total_number_of_methods (t)
1714 * sizeof (struct symbol *));
1716 /* Find all methods with a matching name, and put them in
1719 i1 = find_methods (t, copy, SYMBOL_LANGUAGE (sym_class), sym_arr,
1722 /* If we were given a specific overload instance in COPY, defer the field
1723 acceptance till the strcmp_iw verification below, even if we found just
1724 a single field with that name. */
1725 if (i1 == 1 && strchr (copy, '(') == NULL)
1727 /* There is exactly one field with that name. */
1730 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
1732 values.sals = (struct symtab_and_line *)
1733 xmalloc (sizeof (struct symtab_and_line));
1735 values.sals[0] = find_function_start_sal (sym,
1747 /* If we were given a specific overload instance, use that
1748 (or error if no matches were found). Otherwise ask the user
1749 which one to use. */
1750 if (strchr (copy, '('))
1755 struct cleanup *cleanup;
1757 /* Construct the proper search name based on SYM_CLASS and COPY.
1758 SAVED_ARG may contain a valid name, but that name might not be
1759 what is actually stored in the symbol table. For example,
1760 if SAVED_ARG (and SYM_CLASS) were found via an import
1761 ("using namespace" in C++), then the physname of
1762 SYM_CLASS ("A::myclass") may not be the same as SAVED_ARG
1764 name = xmalloc (strlen (SYMBOL_NATURAL_NAME (sym_class))
1765 + 2 /* "::" */ + strlen (copy) + 1);
1766 strcpy (name, SYMBOL_NATURAL_NAME (sym_class));
1767 strcat (name, "::");
1768 strcat (name, copy);
1769 canon = cp_canonicalize_string_no_typedefs (name);
1775 cleanup = make_cleanup (xfree, name);
1777 for (i = 0; i < i1; ++i)
1779 if (strcmp_iw (name, SYMBOL_LINKAGE_NAME (sym_arr[i])) == 0)
1781 values.sals = (struct symtab_and_line *)
1782 xmalloc (sizeof (struct symtab_and_line));
1784 values.sals[0] = find_function_start_sal (sym_arr[i],
1786 do_cleanups (cleanup);
1791 cplusplus_error (saved_arg, _("the class `%s' does not have "
1792 "any method instance named %s"),
1793 SYMBOL_PRINT_NAME (sym_class), copy);
1796 return decode_line_2 (sym_arr, i1, funfirstline, canonical);
1801 cplusplus_error (saved_arg,
1802 "the class `%s' does not have destructor defined\n",
1803 SYMBOL_PRINT_NAME (sym_class));
1805 cplusplus_error (saved_arg,
1806 "the class %s does not have any method named %s\n",
1807 SYMBOL_PRINT_NAME (sym_class), copy);
1813 /* Return the symtab associated to the filename given by the substring
1814 of *ARGPTR ending at P, and advance ARGPTR past that filename. */
1816 static struct symtab *
1817 symtab_from_filename (char **argptr, char *p, int is_quote_enclosed)
1821 struct symtab *file_symtab;
1824 while (p != *argptr && p[-1] == ' ')
1826 if ((*p == '"') && is_quote_enclosed)
1828 copy = (char *) alloca (p - *argptr + 1);
1829 memcpy (copy, *argptr, p - *argptr);
1830 /* It may have the ending quote right after the file name. */
1831 if ((is_quote_enclosed && copy[p - *argptr - 1] == '"')
1832 || copy[p - *argptr - 1] == '\'')
1833 copy[p - *argptr - 1] = 0;
1835 copy[p - *argptr] = 0;
1837 /* Find that file's data. */
1838 file_symtab = lookup_symtab (copy);
1839 if (file_symtab == 0)
1841 if (!have_full_symbols () && !have_partial_symbols ())
1842 throw_error (NOT_FOUND_ERROR,
1843 _("No symbol table is loaded. "
1844 "Use the \"file\" command."));
1845 throw_error (NOT_FOUND_ERROR, _("No source file named %s."), copy);
1848 /* Discard the file name from the arg. */
1852 while (*p == ' ' || *p == '\t')
1859 /* Look up a function symbol in *ARGPTR. If found, advance *ARGPTR
1860 and return the symbol. If not found, return NULL. */
1862 static struct symbol *
1863 find_function_symbol (char **argptr, char *p, int is_quote_enclosed)
1867 struct symbol *function_symbol;
1870 while (p != *argptr && p[-1] == ' ')
1872 if ((*p == '"') && is_quote_enclosed)
1874 copy = (char *) alloca (p - *argptr + 1);
1875 memcpy (copy, *argptr, p - *argptr);
1876 /* It may have the ending quote right after the file name. */
1877 if ((is_quote_enclosed && copy[p - *argptr - 1] == '"')
1878 || copy[p - *argptr - 1] == '\'')
1879 copy[p - *argptr - 1] = 0;
1881 copy[p - *argptr] = 0;
1883 function_symbol = lookup_symbol (copy, get_selected_block (0),
1885 if (!function_symbol || SYMBOL_CLASS (function_symbol) != LOC_BLOCK)
1888 /* Discard the file name from the arg. */
1890 while (*p == ' ' || *p == '\t')
1894 return function_symbol;
1899 /* This decodes a line where the argument is all digits (possibly
1900 preceded by a sign). Q should point to the end of those digits;
1901 the other arguments are as usual. */
1903 static struct symtabs_and_lines
1904 decode_all_digits (char **argptr, struct symtab *default_symtab,
1905 int default_line, struct linespec_result *canonical,
1906 struct symtab *file_symtab, char *q)
1909 struct symtabs_and_lines values;
1910 struct symtab_and_line val;
1918 /* We might need a canonical line spec if no file was specified. */
1919 int need_canonical = (file_symtab == NULL) ? 1 : 0;
1923 val.pspace = current_program_space;
1925 /* This is where we need to make sure that we have good defaults.
1926 We must guarantee that this section of code is never executed
1927 when we are called with just a function name, since
1928 set_default_source_symtab_and_line uses
1929 select_source_symtab that calls us with such an argument. */
1931 if (file_symtab == 0 && default_symtab == 0)
1933 /* Make sure we have at least a default source file. */
1934 set_default_source_symtab_and_line ();
1935 initialize_defaults (&default_symtab, &default_line);
1938 if (**argptr == '+')
1939 sign = plus, (*argptr)++;
1940 else if (**argptr == '-')
1941 sign = minus, (*argptr)++;
1942 val.line = atoi (*argptr);
1948 if (file_symtab == 0)
1949 val.line = default_line + val.line;
1954 if (file_symtab == 0)
1955 val.line = default_line - val.line;
1960 break; /* No need to adjust val.line. */
1963 while (*q == ' ' || *q == '\t')
1966 if (file_symtab == 0)
1967 file_symtab = default_symtab;
1969 /* It is possible that this source file has more than one symtab,
1970 and that the new line number specification has moved us from the
1971 default (in file_symtab) to a new one. */
1972 val.symtab = find_line_symtab (file_symtab, val.line, NULL, NULL);
1973 if (val.symtab == 0)
1974 val.symtab = file_symtab;
1976 val.pspace = SYMTAB_PSPACE (val.symtab);
1978 values.sals = (struct symtab_and_line *)
1979 xmalloc (sizeof (struct symtab_and_line));
1980 values.sals[0] = val;
1983 build_canonical_line_spec (values.sals, NULL, canonical);
1984 values.sals[0].explicit_line = 1;
1990 /* Decode a linespec starting with a dollar sign. */
1992 static struct symtabs_and_lines
1993 decode_dollar (char *copy, int funfirstline, struct symtab *default_symtab,
1994 struct linespec_result *canonical, struct symtab *file_symtab)
1998 int need_canonical = 0;
1999 struct symtabs_and_lines values;
2000 struct symtab_and_line val;
2003 struct minimal_symbol *msymbol;
2005 p = (copy[1] == '$') ? copy + 2 : copy + 1;
2006 while (*p >= '0' && *p <= '9')
2008 if (!*p) /* Reached end of token without hitting non-digit. */
2010 /* We have a value history reference. */
2011 struct value *val_history;
2013 sscanf ((copy[1] == '$') ? copy + 2 : copy + 1, "%d", &index);
2014 val_history = access_value_history ((copy[1] == '$') ? -index : index);
2015 if (TYPE_CODE (value_type (val_history)) != TYPE_CODE_INT)
2016 error (_("History values used in line "
2017 "specs must have integer values."));
2018 valx = value_as_long (val_history);
2022 /* Not all digits -- may be user variable/function or a
2023 convenience variable. */
2025 /* Look up entire name as a symbol first. */
2026 sym = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
2027 file_symtab = (struct symtab *) NULL;
2029 /* Symbol was found --> jump to normal symbol processing. */
2031 return symbol_found (funfirstline, canonical, copy, sym, NULL, NULL);
2033 /* If symbol was not found, look in minimal symbol tables. */
2034 msymbol = lookup_minimal_symbol (copy, NULL, NULL);
2035 /* Min symbol was found --> jump to minsym processing. */
2037 return minsym_found (funfirstline, msymbol);
2039 /* Not a user variable or function -- must be convenience variable. */
2040 if (!get_internalvar_integer (lookup_internalvar (copy + 1), &valx))
2041 error (_("Convenience variables used in line "
2042 "specs must have integer values."));
2047 /* Either history value or convenience value from above, in valx. */
2048 val.symtab = file_symtab ? file_symtab : default_symtab;
2051 val.pspace = current_program_space;
2053 values.sals = (struct symtab_and_line *) xmalloc (sizeof val);
2054 values.sals[0] = val;
2058 build_canonical_line_spec (values.sals, NULL, canonical);
2065 /* A helper for decode_line_1 that tries to find a label. The label
2066 is searched for in the current block.
2067 FUNCTION_SYMBOL is the enclosing function; or NULL if none
2069 COPY is the name of the label to find.
2070 CANONICAL is the same as the "canonical" argument to decode_line_1.
2071 RESULT is a pointer to a symtabs_and_lines structure which will be
2072 filled in on success.
2073 This function returns 1 if a label was found, 0 otherwise. */
2076 decode_label (struct symbol *function_symbol, char *copy,
2077 struct linespec_result *canonical,
2078 struct symtabs_and_lines *result)
2081 struct block *block;
2083 if (function_symbol)
2084 block = SYMBOL_BLOCK_VALUE (function_symbol);
2087 block = get_selected_block (0);
2089 block && !BLOCK_FUNCTION (block);
2090 block = BLOCK_SUPERBLOCK (block))
2094 function_symbol = BLOCK_FUNCTION (block);
2097 sym = lookup_symbol (copy, block, LABEL_DOMAIN, 0);
2100 *result = symbol_found (0, canonical, copy, sym, NULL, function_symbol);
2105 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
2106 look in that symtab's static variables first. */
2108 static struct symtabs_and_lines
2109 decode_variable (char *copy, int funfirstline,
2110 struct linespec_result *canonical,
2111 struct symtab *file_symtab)
2115 struct cleanup *cleanup;
2116 struct minimal_symbol *msymbol;
2119 cleanup = make_cleanup (null_cleanup, NULL);
2120 canon = cp_canonicalize_string_no_typedefs (copy);
2124 make_cleanup (xfree, name);
2127 sym = lookup_symbol (name, get_search_block (file_symtab), VAR_DOMAIN, 0);
2131 do_cleanups (cleanup);
2132 return symbol_found (funfirstline, canonical, copy, sym,
2136 msymbol = lookup_minimal_symbol (name, NULL, NULL);
2137 do_cleanups (cleanup);
2139 if (msymbol != NULL)
2140 return minsym_found (funfirstline, msymbol);
2142 if (!have_full_symbols ()
2143 && !have_partial_symbols ()
2144 && !have_minimal_symbols ())
2145 throw_error (NOT_FOUND_ERROR,
2146 _("No symbol table is loaded. Use the \"file\" command."));
2147 throw_error (NOT_FOUND_ERROR, _("Function \"%s\" not defined."), copy);
2153 /* Now come some functions that are called from multiple places within
2156 /* We've found a symbol SYM to associate with our linespec; build a
2157 corresponding struct symtabs_and_lines. */
2159 static struct symtabs_and_lines
2160 symbol_found (int funfirstline, struct linespec_result *canonical, char *copy,
2161 struct symbol *sym, struct symtab *file_symtab,
2162 struct symbol *function_symbol)
2164 struct symtabs_and_lines values;
2166 if (SYMBOL_CLASS (sym) == LOC_BLOCK)
2168 /* Arg is the name of a function. */
2169 values.sals = (struct symtab_and_line *)
2170 xmalloc (sizeof (struct symtab_and_line));
2171 values.sals[0] = find_function_start_sal (sym, funfirstline);
2174 /* Don't use the SYMBOL_LINE; if used at all it points to
2175 the line containing the parameters or thereabouts, not
2176 the first line of code. */
2178 /* We might need a canonical line spec if it is a static
2180 if (file_symtab == 0)
2182 struct blockvector *bv = BLOCKVECTOR (SYMBOL_SYMTAB (sym));
2183 struct block *b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
2185 if (lookup_block_symbol (b, copy, VAR_DOMAIN) != NULL)
2186 build_canonical_line_spec (values.sals, copy, canonical);
2192 if (SYMBOL_CLASS (sym) == LOC_LABEL && SYMBOL_VALUE_ADDRESS (sym) != 0)
2194 /* We know its line number. */
2195 values.sals = (struct symtab_and_line *)
2196 xmalloc (sizeof (struct symtab_and_line));
2198 init_sal (&values.sals[0]);
2199 values.sals[0].symtab = SYMBOL_SYMTAB (sym);
2200 values.sals[0].line = SYMBOL_LINE (sym);
2201 values.sals[0].pc = SYMBOL_VALUE_ADDRESS (sym);
2202 values.sals[0].pspace = SYMTAB_PSPACE (SYMBOL_SYMTAB (sym));
2203 values.sals[0].explicit_pc = 1;
2207 canonical->special_display = 1;
2208 canonical->canonical = xmalloc (sizeof (char *));
2209 canonical->canonical[0]
2210 = xstrprintf ("%s:%s",
2211 SYMBOL_NATURAL_NAME (function_symbol),
2212 SYMBOL_NATURAL_NAME (sym));
2217 else if (funfirstline)
2219 /* NOT_FOUND_ERROR is not correct but it ensures COPY will be
2220 searched also as a minimal symbol. */
2222 throw_error (NOT_FOUND_ERROR, _("\"%s\" is not a function"), copy);
2224 else if (SYMBOL_LINE (sym) != 0)
2226 /* We know its line number. */
2227 values.sals = (struct symtab_and_line *)
2228 xmalloc (sizeof (struct symtab_and_line));
2230 memset (&values.sals[0], 0, sizeof (values.sals[0]));
2231 values.sals[0].symtab = SYMBOL_SYMTAB (sym);
2232 values.sals[0].line = SYMBOL_LINE (sym);
2233 values.sals[0].pspace = SYMTAB_PSPACE (SYMBOL_SYMTAB (sym));
2237 /* This can happen if it is compiled with a compiler which doesn't
2238 put out line numbers for variables. */
2239 /* FIXME: Shouldn't we just set .line and .symtab to zero
2240 and return? For example, "info line foo" could print
2242 error (_("Line number not known for symbol \"%s\""), copy);
2246 /* We've found a minimal symbol MSYMBOL to associate with our
2247 linespec; build a corresponding struct symtabs_and_lines. */
2249 static struct symtabs_and_lines
2250 minsym_found (int funfirstline, struct minimal_symbol *msymbol)
2252 struct objfile *objfile = msymbol_objfile (msymbol);
2253 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2254 struct symtabs_and_lines values;
2257 values.sals = (struct symtab_and_line *)
2258 xmalloc (sizeof (struct symtab_and_line));
2259 values.sals[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol),
2260 (struct obj_section *) 0, 0);
2261 values.sals[0].section = SYMBOL_OBJ_SECTION (msymbol);
2263 /* The minimal symbol might point to a function descriptor;
2264 resolve it to the actual code address instead. */
2265 pc = gdbarch_convert_from_func_ptr_addr (gdbarch,
2268 if (pc != values.sals[0].pc)
2269 values.sals[0] = find_pc_sect_line (pc, NULL, 0);
2272 skip_prologue_sal (&values.sals[0]);
2279 init_linespec_result (struct linespec_result *lr)
2281 memset (lr, 0, sizeof (*lr));