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"
47 /* We share this one with symtab.c, but it is not exported widely. */
49 extern char *operator_chars (char *, char **);
51 /* Prototypes for local functions. */
53 static void initialize_defaults (struct symtab **default_symtab,
56 static struct symtabs_and_lines decode_indirect (char **argptr);
58 static char *locate_first_half (char **argptr, int *is_quote_enclosed);
60 static struct symtabs_and_lines decode_objc (char **argptr,
62 struct symtab *file_symtab,
63 struct linespec_result *canonical,
66 static struct symtabs_and_lines decode_compound (char **argptr,
68 struct linespec_result *canonical,
73 static struct symbol *lookup_prefix_sym (char **argptr, char *p);
75 static struct symtabs_and_lines find_method (int funfirstline,
76 struct linespec_result *canonical,
80 struct symbol *sym_class,
83 static void cplusplus_error (const char *name, const char *fmt, ...)
84 ATTRIBUTE_NORETURN ATTRIBUTE_PRINTF (2, 3);
86 static int total_number_of_methods (struct type *type);
88 static int find_methods (struct type *, char *,
89 enum language, struct symbol **);
91 static int add_matching_methods (int method_counter, struct type *t,
92 enum language language,
93 struct symbol **sym_arr);
95 static int add_constructors (int method_counter, struct type *t,
96 enum language language,
97 struct symbol **sym_arr);
99 static void build_canonical_line_spec (struct symtab_and_line *,
100 char *, struct linespec_result *);
102 static char *find_toplevel_char (char *s, char c);
104 static int is_objc_method_format (const char *s);
106 static struct symtabs_and_lines decode_line_2 (struct symbol *[],
108 struct linespec_result *);
110 static struct symtab *symtab_from_filename (char **argptr,
111 char *p, 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 (char *copy, struct linespec_result *canonical,
129 struct symtabs_and_lines *result);
131 static struct symtabs_and_lines decode_variable (char *copy,
133 struct linespec_result *canonical,
134 struct symtab *file_symtab,
138 symtabs_and_lines symbol_found (int funfirstline,
139 struct linespec_result *canonical,
142 struct symtab *file_symtab);
145 symtabs_and_lines minsym_found (int funfirstline,
146 struct minimal_symbol *msymbol);
148 /* Helper functions. */
150 /* Issue a helpful hint on using the command completion feature on
151 single quoted demangled C++ symbols as part of the completion
155 cplusplus_error (const char *name, const char *fmt, ...)
157 struct ui_file *tmp_stream;
160 tmp_stream = mem_fileopen ();
161 make_cleanup_ui_file_delete (tmp_stream);
166 va_start (args, fmt);
167 vfprintf_unfiltered (tmp_stream, fmt, args);
171 while (*name == '\'')
173 fprintf_unfiltered (tmp_stream,
174 ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
175 "(Note leading single quote.)"),
178 message = ui_file_xstrdup (tmp_stream, NULL);
179 make_cleanup (xfree, message);
180 throw_error (NOT_FOUND_ERROR, "%s", message);
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. */
189 total_number_of_methods (struct type *type)
194 CHECK_TYPEDEF (type);
195 if (! HAVE_CPLUS_STRUCT (type))
197 count = TYPE_NFN_FIELDS_TOTAL (type);
199 for (n = 0; n < TYPE_N_BASECLASSES (type); n++)
200 count += total_number_of_methods (TYPE_BASECLASS (type, n));
205 /* Recursive helper function for decode_line_1.
206 Look for methods named NAME in type T.
207 Return number of matches.
208 Put matches in SYM_ARR, which should have been allocated with
209 a size of total_number_of_methods (T) * sizeof (struct symbol *).
210 Note that this function is g++ specific. */
213 find_methods (struct type *t, char *name, enum language language,
214 struct symbol **sym_arr)
218 char *class_name = type_name_no_tag (t);
219 struct cleanup *cleanup;
222 /* NAME is typed by the user: it needs to be canonicalized before
223 passing to lookup_symbol. */
224 canon = cp_canonicalize_string (name);
228 cleanup = make_cleanup (xfree, name);
231 cleanup = make_cleanup (null_cleanup, NULL);
233 /* Ignore this class if it doesn't have a name. This is ugly, but
234 unless we figure out how to get the physname without the name of
235 the class, then the loop can't do any good. */
237 && (lookup_symbol_in_language (class_name, (struct block *) NULL,
238 STRUCT_DOMAIN, language, (int *) NULL)))
241 int name_len = strlen (name);
245 /* Loop over each method name. At this level, all overloads of a name
246 are counted as a single name. There is an inner loop which loops over
249 for (method_counter = TYPE_NFN_FIELDS (t) - 1;
253 char *method_name = TYPE_FN_FIELDLIST_NAME (t, method_counter);
256 if (strncmp (method_name, "__", 2) == 0 ||
257 strncmp (method_name, "op", 2) == 0 ||
258 strncmp (method_name, "type", 4) == 0)
260 if (cplus_demangle_opname (method_name, dem_opname, DMGL_ANSI))
261 method_name = dem_opname;
262 else if (cplus_demangle_opname (method_name, dem_opname, 0))
263 method_name = dem_opname;
266 if (strcmp_iw (name, method_name) == 0)
267 /* Find all the overloaded methods with that name. */
268 i1 += add_matching_methods (method_counter, t, language,
270 else if (strncmp (class_name, name, name_len) == 0
271 && (class_name[name_len] == '\0'
272 || class_name[name_len] == '<'))
273 i1 += add_constructors (method_counter, t, language,
278 /* Only search baseclasses if there is no match yet, since names in
279 derived classes override those in baseclasses.
281 FIXME: The above is not true; it is only true of member functions
282 if they have the same number of arguments (??? - section 13.1 of the
283 ARM says the function members are not in the same scope but doesn't
284 really spell out the rules in a way I understand. In any case, if
285 the number of arguments differ this is a case in which we can overload
286 rather than hiding without any problem, and gcc 2.4.5 does overload
287 rather than hiding in this case). */
290 for (ibase = 0; ibase < TYPE_N_BASECLASSES (t); ibase++)
291 i1 += find_methods (TYPE_BASECLASS (t, ibase), name,
292 language, sym_arr + i1);
294 do_cleanups (cleanup);
298 /* Add the symbols associated to methods of the class whose type is T
299 and whose name matches the method indexed by METHOD_COUNTER in the
300 array SYM_ARR. Return the number of methods added. */
303 add_matching_methods (int method_counter, struct type *t,
304 enum language language, struct symbol **sym_arr)
309 for (field_counter = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
316 f = TYPE_FN_FIELDLIST1 (t, method_counter);
318 if (TYPE_FN_FIELD_STUB (f, field_counter))
322 tmp_name = gdb_mangle_name (t,
325 phys_name = alloca (strlen (tmp_name) + 1);
326 strcpy (phys_name, tmp_name);
330 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
332 sym_arr[i1] = lookup_symbol_in_language (phys_name,
340 /* This error message gets printed, but the method
341 still seems to be found.
342 fputs_filtered("(Cannot find method ", gdb_stdout);
343 fprintf_symbol_filtered (gdb_stdout, phys_name,
345 DMGL_PARAMS | DMGL_ANSI);
346 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
354 /* Add the symbols associated to constructors of the class whose type
355 is CLASS_TYPE and which are indexed by by METHOD_COUNTER to the
356 array SYM_ARR. Return the number of methods added. */
359 add_constructors (int method_counter, struct type *t,
360 enum language language, struct symbol **sym_arr)
365 /* For GCC 3.x and stabs, constructors and destructors
366 have names like __base_ctor and __complete_dtor.
367 Check the physname for now if we're looking for a
370 = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
377 f = TYPE_FN_FIELDLIST1 (t, method_counter);
379 /* GCC 3.x will never produce stabs stub methods, so
380 we don't need to handle this case. */
381 if (TYPE_FN_FIELD_STUB (f, field_counter))
383 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
384 if (! is_constructor_name (phys_name))
387 /* If this method is actually defined, include it in the
389 sym_arr[i1] = lookup_symbol_in_language (phys_name,
400 /* Helper function for decode_line_1.
401 Build a canonical line spec in CANONICAL if it is non-NULL and if
402 the SAL has a symtab.
403 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
404 If SYMNAME is NULL the line number from SAL is used and the canonical
405 line spec is `filename:linenum'. */
408 build_canonical_line_spec (struct symtab_and_line *sal, char *symname,
409 struct linespec_result *canonical)
411 char **canonical_arr;
412 char *canonical_name;
414 struct symtab *s = sal->symtab;
416 if (s == (struct symtab *) NULL
417 || s->filename == (char *) NULL
418 || canonical == NULL)
421 canonical_arr = (char **) xmalloc (sizeof (char *));
422 canonical->canonical = canonical_arr;
424 filename = s->filename;
427 canonical_name = xmalloc (strlen (filename) + strlen (symname) + 2);
428 sprintf (canonical_name, "%s:%s", filename, symname);
432 canonical_name = xmalloc (strlen (filename) + 30);
433 sprintf (canonical_name, "%s:%d", filename, sal->line);
435 canonical_arr[0] = canonical_name;
440 /* Find an instance of the character C in the string S that is outside
441 of all parenthesis pairs, single-quoted strings, and double-quoted
442 strings. Also, ignore the char within a template name, like a ','
443 within foo<int, int>. */
446 find_toplevel_char (char *s, char c)
448 int quoted = 0; /* zero if we're not in quotes;
449 '"' if we're in a double-quoted string;
450 '\'' if we're in a single-quoted string. */
451 int depth = 0; /* Number of unclosed parens we've seen. */
454 for (scan = s; *scan; scan++)
460 else if (*scan == '\\' && *(scan + 1))
463 else if (*scan == c && ! quoted && depth == 0)
465 else if (*scan == '"' || *scan == '\'')
467 else if (*scan == '(' || *scan == '<')
469 else if ((*scan == ')' || *scan == '>') && depth > 0)
476 /* Determines if the gives string corresponds to an Objective-C method
477 representation, such as -[Foo bar:] or +[Foo bar]. Objective-C symbols
478 are allowed to have spaces and parentheses in them. */
481 is_objc_method_format (const char *s)
483 if (s == NULL || *s == '\0')
485 /* Handle arguments with the format FILENAME:SYMBOL. */
486 if ((s[0] == ':') && (strchr ("+-", s[1]) != NULL)
487 && (s[2] == '[') && strchr(s, ']'))
489 /* Handle arguments that are just SYMBOL. */
490 else if ((strchr ("+-", s[0]) != NULL) && (s[1] == '[') && strchr(s, ']'))
495 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
496 operate on (ask user if necessary).
497 If CANONICAL is non-NULL return a corresponding array of mangled names
498 as canonical line specs there. */
500 static struct symtabs_and_lines
501 decode_line_2 (struct symbol *sym_arr[], int nelts, int funfirstline,
502 struct linespec_result *canonical)
504 struct symtabs_and_lines values, return_values;
509 struct cleanup *old_chain;
510 char **canonical_arr = (char **) NULL;
511 const char *select_mode = multiple_symbols_select_mode ();
513 if (select_mode == multiple_symbols_cancel)
514 error (_("canceled because the command is ambiguous\n"
515 "See set/show multiple-symbol."));
517 values.sals = (struct symtab_and_line *)
518 alloca (nelts * sizeof (struct symtab_and_line));
519 return_values.sals = (struct symtab_and_line *)
520 xmalloc (nelts * sizeof (struct symtab_and_line));
521 old_chain = make_cleanup (xfree, return_values.sals);
525 canonical_arr = (char **) xmalloc (nelts * sizeof (char *));
526 make_cleanup (xfree, canonical_arr);
527 memset (canonical_arr, 0, nelts * sizeof (char *));
528 canonical->canonical = canonical_arr;
534 init_sal (&return_values.sals[i]); /* Initialize to zeroes. */
535 init_sal (&values.sals[i]);
536 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
537 values.sals[i] = find_function_start_sal (sym_arr[i], funfirstline);
541 /* If select_mode is "all", then do not print the multiple-choice
542 menu and act as if the user had chosen choice "1" (all). */
543 if (select_mode == multiple_symbols_all
544 || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
549 printf_unfiltered (_("[0] cancel\n[1] all\n"));
552 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
554 if (values.sals[i].symtab)
555 printf_unfiltered ("[%d] %s at %s:%d\n",
557 SYMBOL_PRINT_NAME (sym_arr[i]),
558 values.sals[i].symtab->filename,
559 values.sals[i].line);
561 printf_unfiltered (_("[%d] %s at ?FILE:%d [No symtab? "
562 "Probably broken debug info...]\n"),
564 SYMBOL_PRINT_NAME (sym_arr[i]),
565 values.sals[i].line);
569 printf_unfiltered (_("?HERE\n"));
573 prompt = getenv ("PS2");
578 args = command_line_input (prompt, 0, "overload-choice");
581 if (args == 0 || *args == 0)
582 error_no_arg (_("one or more choice numbers"));
590 while (*arg1 >= '0' && *arg1 <= '9')
592 if (*arg1 && *arg1 != ' ' && *arg1 != '\t')
593 error (_("Arguments must be choice numbers."));
598 error (_("canceled"));
603 for (i = 0; i < nelts; i++)
605 if (canonical_arr[i] == NULL)
607 symname = SYMBOL_LINKAGE_NAME (sym_arr[i]);
608 canonical_arr[i] = xstrdup (symname);
612 memcpy (return_values.sals, values.sals,
613 (nelts * sizeof (struct symtab_and_line)));
614 return_values.nelts = nelts;
615 discard_cleanups (old_chain);
616 return return_values;
619 if (num >= nelts + 2)
621 printf_unfiltered (_("No choice number %d.\n"), num);
626 if (values.sals[num].pc)
630 symname = SYMBOL_LINKAGE_NAME (sym_arr[num]);
631 make_cleanup (xfree, symname);
632 canonical_arr[i] = xstrdup (symname);
634 return_values.sals[i++] = values.sals[num];
635 values.sals[num].pc = 0;
639 printf_unfiltered (_("duplicate request for %d ignored.\n"),
645 while (*args == ' ' || *args == '\t')
648 return_values.nelts = i;
649 discard_cleanups (old_chain);
650 return return_values;
653 /* A helper function for decode_line_1 and friends which skips P
654 past any method overload information at the beginning of P, e.g.,
655 "(const struct foo *)".
657 This function assumes that P has already been validated to contain
658 overload information, and it will assert if *P != '('. */
660 find_method_overload_end (char *p)
664 gdb_assert (*p == '(');
684 /* Does P point to a sequence of characters which implies the end
685 of a name? Terminals include "if" and "thread" clauses. */
692 if (*p == 'i' && p[1] == 'f'
693 && (isspace (p[2]) || p[2] == '\0' || p[2] == '('))
696 if (strncmp (p, "thread", 6) == 0
697 && (isspace (p[6]) || p[6] == '\0'))
703 /* Keep important information used when looking up a name. This includes
704 template parameters, overload information, and important keywords. */
707 keep_name_info (char *ptr)
712 /* Keep any template parameters. */
714 return remove_trailing_whitespace (start, ptr);
719 ptr = p = find_template_name_end (ptr);
722 return remove_trailing_whitespace (start, ptr);
724 /* Keep method overload information. */
726 ptr = p = find_method_overload_end (p);
729 return remove_trailing_whitespace (start, ptr);
731 /* Keep important keywords. */
734 if (strncmp (p, "const", 5) == 0
735 && (isspace (p[5]) || p[5] == '\0'
736 || strchr (get_gdb_completer_quote_characters (), p[5]) != NULL))
739 return remove_trailing_whitespace (start, ptr);
743 /* The parser of linespec itself. */
745 /* Parse a string that specifies a line number.
746 Pass the address of a char * variable; that variable will be
747 advanced over the characters actually parsed.
751 LINENUM -- that line number in current file. PC returned is 0.
752 FILE:LINENUM -- that line in that file. PC returned is 0.
753 FUNCTION -- line number of openbrace of that function.
754 PC returned is the start of the function.
755 LABEL -- a label in the current scope
756 VARIABLE -- line number of definition of that variable.
758 FILE:FUNCTION -- likewise, but prefer functions in that file.
759 *EXPR -- line in which address EXPR appears.
761 This may all be followed by an "if EXPR", which we ignore.
763 FUNCTION may be an undebuggable function found in minimal symbol table.
765 If the argument FUNFIRSTLINE is nonzero, we want the first line
766 of real code inside a function when a function is specified, and it is
767 not OK to specify a variable or type to get its line number.
769 DEFAULT_SYMTAB specifies the file to use if none is specified.
770 It defaults to current_source_symtab.
771 DEFAULT_LINE specifies the line number to use for relative
772 line numbers (that start with signs). Defaults to current_source_line.
773 If CANONICAL is non-NULL, store an array of strings containing the canonical
774 line specs there if necessary. Currently overloaded member functions and
775 line numbers or static functions without a filename yield a canonical
776 line spec. The array and the line spec strings are allocated on the heap,
777 it is the callers responsibility to free them.
779 Note that it is possible to return zero for the symtab
780 if no file is validly specified. Callers must check that.
781 Also, the line number returned may be invalid.
783 If NOT_FOUND_PTR is not null, store a boolean true/false value at
784 the location, based on whether or not failure occurs due to an
785 unknown function or file. In the case where failure does occur due
786 to an unknown function or file, do not issue an error message. */
788 /* We allow single quotes in various places. This is a hideous
789 kludge, which exists because the completer can't yet deal with the
790 lack of single quotes. FIXME: write a linespec_completer which we
791 can use as appropriate instead of make_symbol_completion_list. */
793 struct symtabs_and_lines
794 decode_line_1 (char **argptr, int funfirstline, struct symtab *default_symtab,
795 int default_line, struct linespec_result *canonical,
800 /* If a file name is specified, this is its symtab. */
801 struct symtab *file_symtab = NULL;
804 /* This says whether or not something in *ARGPTR is quoted with
805 completer_quotes (i.e. with single quotes). */
807 /* Is *ARGPTR is enclosed in double quotes? */
808 int is_quote_enclosed;
809 int is_objc_method = 0;
810 char *saved_arg = *argptr;
811 /* If IS_QUOTED, the end of the quoted bit. */
812 char *end_quote = NULL;
813 /* The "first half" of the linespec. */
819 /* Defaults have defaults. */
821 initialize_defaults (&default_symtab, &default_line);
823 /* See if arg is *PC. */
826 return decode_indirect (argptr);
828 is_quoted = (strchr (get_gdb_completer_quote_characters (),
832 end_quote = skip_quoted (*argptr);
834 /* Check to see if it's a multipart linespec (with colons or
837 /* Locate the end of the first half of the linespec.
838 After the call, for instance, if the argptr string is "foo.c:123"
839 p will point at "123". If there is only one part, like "foo", p
840 will point to "". If this is a C++ name, like "A::B::foo", p will
841 point to "::B::foo". Argptr is not changed by this call. */
843 first_half = p = locate_first_half (argptr, &is_quote_enclosed);
845 /* Check if this is an Objective-C method (anything that starts with
846 a '+' or '-' and a '['). */
847 if (is_objc_method_format (p))
850 /* Check if the symbol could be an Objective-C selector. */
853 struct symtabs_and_lines values;
855 values = decode_objc (argptr, funfirstline, NULL,
856 canonical, saved_arg);
857 if (values.sals != NULL)
861 /* Does it look like there actually were two parts? */
863 if (p[0] == ':' || p[0] == '.')
865 /* Is it a C++ or Java compound data structure?
866 The check on p[1] == ':' is capturing the case of "::",
867 since p[0]==':' was checked above.
868 Note that the call to decode_compound does everything
869 for us, including the lookup on the symbol table, so we
872 if (p[0] == '.' || p[1] == ':')
874 struct symtabs_and_lines values;
876 if (is_quote_enclosed)
878 values = decode_compound (argptr, funfirstline, canonical,
879 saved_arg, p, not_found_ptr);
880 if (is_quoted && **argptr == '\'')
881 *argptr = *argptr + 1;
885 /* No, the first part is a filename; set file_symtab to be that file's
886 symtab. Also, move argptr past the filename. */
888 file_symtab = symtab_from_filename (argptr, p, is_quote_enclosed,
891 /* Check for single quotes on the non-filename part. */
894 is_quoted = (**argptr
895 && strchr (get_gdb_completer_quote_characters (),
898 end_quote = skip_quoted (*argptr);
902 /* file_symtab is specified file's symtab, or 0 if no file specified.
903 arg no longer contains the file name. */
905 /* If the filename was quoted, we must re-check the quotation. */
907 if (end_quote == first_half && *end_quote!= '\0')
909 is_quoted = (**argptr
910 && strchr (get_gdb_completer_quote_characters (),
913 end_quote = skip_quoted (*argptr);
916 /* Check whether arg is all digits (and sign). */
919 if (*q == '-' || *q == '+')
921 while (*q >= '0' && *q <= '9')
924 if (q != *argptr && (*q == 0 || *q == ' ' || *q == '\t' || *q == ','))
925 /* We found a token consisting of all digits -- at least one digit. */
926 return decode_all_digits (argptr, default_symtab, default_line,
927 canonical, file_symtab, q);
929 /* Arg token is not digits => try it as a variable name
930 Find the next token (everything up to end or next whitespace). */
932 if (**argptr == '$') /* May be a convenience variable. */
933 /* One or two $ chars possible. */
934 p = skip_quoted (*argptr + (((*argptr)[1] == '$') ? 2 : 1));
939 error (_("Unmatched single quote."));
941 else if (is_objc_method)
943 /* allow word separators in method names for Obj-C. */
944 p = skip_quoted_chars (*argptr, NULL, "");
948 p = skip_quoted (*argptr);
951 /* Keep any important naming information. */
952 p = keep_name_info (p);
954 copy = (char *) alloca (p - *argptr + 1);
955 memcpy (copy, *argptr, p - *argptr);
956 copy[p - *argptr] = '\0';
959 && copy[0] == copy[p - *argptr - 1]
960 && strchr (get_gdb_completer_quote_characters (), copy[0]) != NULL)
962 copy[p - *argptr - 1] = '\0';
966 copy[p - *argptr - 1] = '\0';
967 while (*p == ' ' || *p == '\t')
971 /* If it starts with $: may be a legitimate variable or routine name
972 (e.g. HP-UX millicode routines such as $$dyncall), or it may
973 be history value, or it may be a convenience variable. */
976 return decode_dollar (copy, funfirstline, default_symtab,
977 canonical, file_symtab);
979 /* Try the token as a label, but only if no file was specified,
980 because we can only really find labels in the current scope. */
984 struct symtabs_and_lines label_result;
985 if (decode_label (copy, canonical, &label_result))
989 /* Look up that token as a variable.
990 If file specified, use that file's per-file block to start with. */
992 return decode_variable (copy, funfirstline, canonical,
993 file_symtab, not_found_ptr);
998 /* Now, more helper functions for decode_line_1. Some conventions
999 that these functions follow:
1001 Decode_line_1 typically passes along some of its arguments or local
1002 variables to the subfunctions. It passes the variables by
1003 reference if they are modified by the subfunction, and by value
1006 Some of the functions have side effects that don't arise from
1007 variables that are passed by reference. In particular, if a
1008 function is passed ARGPTR as an argument, it modifies what ARGPTR
1009 points to; typically, it advances *ARGPTR past whatever substring
1010 it has just looked at. (If it doesn't modify *ARGPTR, then the
1011 function gets passed *ARGPTR instead, which is then called ARG.)
1012 Also, functions that return a struct symtabs_and_lines may modify
1013 CANONICAL, as in the description of decode_line_1.
1015 If a function returns a struct symtabs_and_lines, then that struct
1016 will immediately make its way up the call chain to be returned by
1017 decode_line_1. In particular, all of the functions decode_XXX
1018 calculate the appropriate struct symtabs_and_lines, under the
1019 assumption that their argument is of the form XXX. */
1021 /* First, some functions to initialize stuff at the beggining of the
1025 initialize_defaults (struct symtab **default_symtab, int *default_line)
1027 if (*default_symtab == 0)
1029 /* Use whatever we have for the default source line. We don't use
1030 get_current_or_default_symtab_and_line as it can recurse and call
1032 struct symtab_and_line cursal =
1033 get_current_source_symtab_and_line ();
1035 *default_symtab = cursal.symtab;
1036 *default_line = cursal.line;
1042 /* Decode arg of the form *PC. */
1044 static struct symtabs_and_lines
1045 decode_indirect (char **argptr)
1047 struct symtabs_and_lines values;
1051 pc = value_as_address (parse_to_comma_and_eval (argptr));
1053 values.sals = (struct symtab_and_line *)
1054 xmalloc (sizeof (struct symtab_and_line));
1057 values.sals[0] = find_pc_line (pc, 0);
1058 values.sals[0].pc = pc;
1059 values.sals[0].section = find_pc_overlay (pc);
1060 values.sals[0].explicit_pc = 1;
1067 /* Locate the first half of the linespec, ending in a colon, period,
1068 or whitespace. (More or less.) Also, check to see if *ARGPTR is
1069 enclosed in double quotes; if so, set is_quote_enclosed, advance
1070 ARGPTR past that and zero out the trailing double quote.
1071 If ARGPTR is just a simple name like "main", p will point to ""
1075 locate_first_half (char **argptr, int *is_quote_enclosed)
1081 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
1082 and we must isolate the first half. Outer layers will call again later
1083 for the second half.
1085 Don't count commas that appear in argument lists of overloaded
1086 functions, or in quoted strings. It's stupid to go to this much
1087 trouble when the rest of the function is such an obvious roach hotel. */
1088 ii = find_toplevel_char (*argptr, ',');
1089 has_comma = (ii != 0);
1091 /* Temporarily zap out second half to not confuse the code below.
1092 This is undone below. Do not change ii!! */
1098 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
1099 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
1105 *is_quote_enclosed = 1;
1111 *is_quote_enclosed = 0;
1112 if (strchr (get_gdb_completer_quote_characters (), *p))
1122 char *temp_end = find_template_name_end (p);
1125 error (_("malformed template specification in command"));
1130 p = find_method_overload_end (p);
1132 /* Check for a colon and a plus or minus and a [ (which
1133 indicates an Objective-C method). */
1134 if (is_objc_method_format (p))
1138 /* Check for the end of the first half of the linespec. End of
1139 line, a tab, a double colon or the last single colon, or a
1140 space. But if enclosed in double quotes we do not break on
1145 && ((p[1] == ':') || (strchr (p + 1, ':') == NULL)))
1146 || ((p[0] == ' ') && !*is_quote_enclosed))
1148 if (p[0] == '.' && strchr (p, ':') == NULL)
1150 /* Java qualified method. Find the *last* '.', since the
1151 others are package qualifiers. Stop at any open parenthesis
1152 which might provide overload information. */
1153 for (p1 = p; *p1 && *p1 != '('; p1++)
1161 while (p[0] == ' ' || p[0] == '\t')
1164 /* If the closing double quote was left at the end, remove it. */
1165 if (*is_quote_enclosed)
1167 char *closing_quote = strchr (p - 1, '"');
1169 if (closing_quote && closing_quote[1] == '\0')
1170 *closing_quote = '\0';
1173 /* Now that we've safely parsed the first half, put back ',' so
1174 outer layers can see it. */
1183 /* Here's where we recognise an Objective-C Selector. An Objective C
1184 selector may be implemented by more than one class, therefore it
1185 may represent more than one method/function. This gives us a
1186 situation somewhat analogous to C++ overloading. If there's more
1187 than one method that could represent the selector, then use some of
1188 the existing C++ code to let the user choose one. */
1190 struct symtabs_and_lines
1191 decode_objc (char **argptr, int funfirstline, struct symtab *file_symtab,
1192 struct linespec_result *canonical, char *saved_arg)
1194 struct symtabs_and_lines values;
1195 struct symbol **sym_arr = NULL;
1196 struct symbol *sym = NULL;
1197 struct block *block = NULL;
1204 if (file_symtab != NULL)
1205 block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab), STATIC_BLOCK);
1208 enum language save_language;
1210 /* get_selected_block can change the current language when there is
1211 no selected frame yet. */
1212 save_language = current_language->la_language;
1213 block = get_selected_block (0);
1214 set_language (save_language);
1217 find_imps (file_symtab, block, *argptr, NULL, &i1, &i2);
1221 sym_arr = (struct symbol **)
1222 alloca ((i1 + 1) * sizeof (struct symbol *));
1225 *argptr = find_imps (file_symtab, block, *argptr, sym_arr, &i1, &i2);
1228 /* i1 now represents the TOTAL number of matches found.
1229 i2 represents how many HIGH-LEVEL (struct symbol) matches,
1230 which will come first in the sym_arr array. Any low-level
1231 (minimal_symbol) matches will follow those. */
1237 /* Already a struct symbol. */
1242 sym = find_pc_function (SYMBOL_VALUE_ADDRESS (sym_arr[0]));
1243 if ((sym != NULL) && strcmp (SYMBOL_LINKAGE_NAME (sym_arr[0]),
1244 SYMBOL_LINKAGE_NAME (sym)) != 0)
1246 warning (_("debugging symbol \"%s\" does "
1247 "not match selector; ignoring"),
1248 SYMBOL_LINKAGE_NAME (sym));
1253 values.sals = (struct symtab_and_line *)
1254 xmalloc (sizeof (struct symtab_and_line));
1257 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
1259 /* Canonicalize this, so it remains resolved for dylib loads. */
1260 values.sals[0] = find_function_start_sal (sym, funfirstline);
1261 build_canonical_line_spec (values.sals,
1262 SYMBOL_NATURAL_NAME (sym), canonical);
1266 /* The only match was a non-debuggable symbol, which might point
1267 to a function descriptor; resolve it to the actual code address
1269 struct minimal_symbol *msymbol = (struct minimal_symbol *)sym_arr[0];
1270 struct objfile *objfile = msymbol_objfile (msymbol);
1271 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1272 CORE_ADDR pc = SYMBOL_VALUE_ADDRESS (msymbol);
1274 pc = gdbarch_convert_from_func_ptr_addr (gdbarch, pc,
1277 init_sal (&values.sals[0]);
1278 values.sals[0].pc = pc;
1285 /* More than one match. The user must choose one or more. */
1286 return decode_line_2 (sym_arr, i2, funfirstline, canonical);
1292 /* This handles C++ and Java compound data structures. P should point
1293 at the first component separator, i.e. double-colon or period. As
1294 an example, on entrance to this function we could have ARGPTR
1295 pointing to "AAA::inA::fun" and P pointing to "::inA::fun". */
1297 static struct symtabs_and_lines
1298 decode_compound (char **argptr, int funfirstline,
1299 struct linespec_result *canonical,
1300 char *the_real_saved_arg, char *p, int *not_found_ptr)
1302 struct symtabs_and_lines values;
1304 char *saved_arg2 = *argptr;
1308 struct symbol *sym_class;
1310 char *saved_java_argptr = NULL;
1313 /* If the user specified any completer quote characters in the input,
1314 strip them. They are superfluous. */
1315 saved_arg = alloca (strlen (the_real_saved_arg) + 1);
1317 char *dst = saved_arg;
1318 char *src = the_real_saved_arg;
1319 char *quotes = get_gdb_completer_quote_characters ();
1320 while (*src != '\0')
1322 if (strchr (quotes, *src) == NULL)
1329 /* First check for "global" namespace specification, of the form
1330 "::foo". If found, skip over the colons and jump to normal
1331 symbol processing. I.e. the whole line specification starts with
1332 "::" (note the condition that *argptr == p). */
1334 && ((*argptr == p) || (p[-1] == ' ') || (p[-1] == '\t')))
1337 /* Given our example "AAA::inA::fun", we have two cases to consider:
1339 1) AAA::inA is the name of a class. In that case, presumably it
1340 has a method called "fun"; we then look up that method using
1343 2) AAA::inA isn't the name of a class. In that case, either the
1344 user made a typo, AAA::inA is the name of a namespace, or it is
1345 the name of a minimal symbol.
1346 We just look up AAA::inA::fun with lookup_symbol. If that fails,
1347 try lookup_minimal_symbol.
1349 Thus, our first task is to find everything before the last set of
1350 double-colons and figure out if it's the name of a class. So we
1351 first loop through all of the double-colons. */
1353 p2 = p; /* Save for restart. */
1355 /* This is very messy. Following the example above we have now the
1358 argptr -> "AAA::inA::fun
1359 saved_arg -> "AAA::inA::fun
1360 saved_arg2 -> "AAA::inA::fun
1361 p2 -> "::inA::fun". */
1363 /* In the loop below, with these strings, we'll make 2 passes, each
1364 is marked in comments. */
1368 static char *break_characters = " \t(";
1370 /* Move pointer up to next possible class/namespace token. */
1372 p = p2 + 1; /* Restart with old value +1. */
1374 /* PASS1: at this point p2->"::inA::fun", so p->":inA::fun",
1375 i.e. if there is a double-colon, p will now point to the
1377 /* PASS2: p2->"::fun", p->":fun" */
1379 /* Move pointer ahead to next double-colon. */
1381 && strchr (break_characters, *p) == NULL
1382 && strchr (get_gdb_completer_quote_characters (), *p) == NULL)
1384 if (current_language->la_language == language_cplus)
1385 p += cp_validate_operator (p);
1389 temp_end = find_template_name_end (p);
1391 error (_("malformed template specification in command"));
1394 /* Note that, since, at the start of this loop, p would be
1395 pointing to the second colon in a double-colon, we only
1396 satisfy the condition below if there is another
1397 double-colon to the right (after). I.e. there is another
1398 component that can be a class or a namespace. I.e, if at
1399 the beginning of this loop (PASS1), we had
1400 p->":inA::fun", we'll trigger this when p has been
1401 advanced to point to "::fun". */
1402 /* PASS2: we will not trigger this. */
1403 else if ((p[0] == ':') && (p[1] == ':'))
1404 break; /* Found double-colon. */
1407 /* PASS2: We'll keep getting here, until P points to one of the
1408 break characters, at which point we exit this loop. */
1409 if (*p && strchr (break_characters, *p) == NULL)
1415 break; /* Out of the while (1). This would happen
1416 for instance if we have looked up
1417 unsuccessfully all the components of the
1418 string, and p->""(PASS2). */
1420 /* We get here if p points to one of the break characters or "" (i.e.,
1422 /* Save restart for next time around. */
1424 /* Restore argptr as it was on entry to this function. */
1425 *argptr = saved_arg2;
1426 /* PASS1: at this point p->"::fun" argptr->"AAA::inA::fun",
1429 /* All ready for next pass through the loop. */
1433 /* Start of lookup in the symbol tables. */
1435 /* Lookup in the symbol table the substring between argptr and
1436 p. Note, this call changes the value of argptr. */
1437 /* Before the call, argptr->"AAA::inA::fun",
1438 p->"", p2->"::fun". After the call: argptr->"fun", p, p2
1440 sym_class = lookup_prefix_sym (argptr, p2);
1442 /* If sym_class has been found, and if "AAA::inA" is a class, then
1443 we're in case 1 above. So we look up "fun" as a method of that
1446 (t = check_typedef (SYMBOL_TYPE (sym_class)),
1447 (TYPE_CODE (t) == TYPE_CODE_STRUCT
1448 || TYPE_CODE (t) == TYPE_CODE_UNION)))
1450 /* Arg token is not digits => try it as a function name.
1451 Find the next token (everything up to end or next
1454 && strchr (get_gdb_completer_quote_characters (),
1457 p = skip_quoted (*argptr);
1458 *argptr = *argptr + 1;
1462 /* At this point argptr->"fun". */
1466 while (*p && *p != ' ' && *p != '\t' && *p != ',' && *p != ':'
1469 /* At this point p->"". String ended. */
1470 /* Nope, C++ operators could have spaces in them
1471 ("foo::operator <" or "foo::operator delete []").
1472 I apologize, this is a bit hacky... */
1473 if (current_language->la_language == language_cplus
1474 && *p == ' ' && p - 8 - *argptr + 1 > 0)
1476 /* The above loop has already swallowed "operator". */
1477 p += cp_validate_operator (p - 8) - 8;
1480 /* Keep any important naming information. */
1481 p = keep_name_info (p);
1483 /* Java may append typenames, so assume that if there is
1484 anything else left in *argptr, it must be a typename. */
1485 if (*p && current_language->la_language == language_java)
1492 copy = (char *) alloca (p2 - p + 1);
1493 memcpy (copy, p, p2 - p);
1494 copy[p2 - p] = '\0';
1495 type = lookup_typename (current_language, get_current_arch (),
1499 /* Save the location of this just in case this
1500 method/type combination isn't actually defined.
1501 It will be checked later. */
1502 saved_java_argptr = p;
1508 /* Allocate our own copy of the substring between argptr and
1510 copy = (char *) alloca (p - *argptr + 1);
1511 memcpy (copy, *argptr, p - *argptr);
1512 copy[p - *argptr] = '\0';
1514 && copy[p - *argptr - 1]
1515 && strchr (get_gdb_completer_quote_characters (),
1516 copy[p - *argptr - 1]) != NULL)
1517 copy[p - *argptr - 1] = '\0';
1519 /* At this point copy->"fun", p->"". */
1521 /* No line number may be specified. */
1522 while (*p == ' ' || *p == '\t')
1525 /* At this point arptr->"". */
1527 /* Look for copy as a method of sym_class. */
1528 /* At this point copy->"fun", sym_class is "AAA:inA",
1529 saved_arg->"AAA::inA::fun". This concludes the scanning of
1530 the string for possible components matches. If we find it
1531 here, we return. If not, and we are at the and of the string,
1532 we'll lookup the whole string in the symbol tables. */
1534 values = find_method (funfirstline, canonical, saved_arg,
1535 copy, t, sym_class, not_found_ptr);
1536 if (saved_java_argptr != NULL && values.nelts == 1)
1538 /* The user specified a specific return type for a java method.
1539 Double-check that it really is the one the user specified.
1540 [This is a necessary evil because strcmp_iw_ordered stops
1541 comparisons too prematurely.] */
1542 sym = find_pc_sect_function (values.sals[0].pc,
1543 values.sals[0].section);
1544 /* We just found a SAL, we had better be able to go backwards! */
1545 gdb_assert (sym != NULL);
1546 if (strcmp_iw (SYMBOL_LINKAGE_NAME (sym), saved_arg) != 0)
1548 xfree (values.sals);
1549 error (_("the class `%s' does not have "
1550 "any method instance named %s"),
1551 SYMBOL_PRINT_NAME (sym_class), copy);
1555 } /* End if symbol found. */
1558 /* We couldn't find a class, so we're in case 2 above. We check the
1559 entire name as a symbol instead. */
1561 if (current_language->la_language == language_cplus
1562 || current_language->la_language == language_java)
1563 p = keep_name_info (p);
1565 copy = (char *) alloca (p - saved_arg2 + 1);
1566 memcpy (copy, saved_arg2, p - saved_arg2);
1567 /* Note: if is_quoted should be true, we snuff out quote here
1569 copy[p - saved_arg2] = '\000';
1570 /* Set argptr to skip over the name. */
1571 *argptr = (*p == '\'') ? p + 1 : p;
1573 /* Look up entire name. */
1574 sym = lookup_symbol (copy, get_selected_block (0), VAR_DOMAIN, 0);
1576 return symbol_found (funfirstline, canonical, copy, sym, NULL);
1579 struct minimal_symbol *msym;
1581 /* Couldn't find any interpretation as classes/namespaces. As a last
1582 resort, try the minimal symbol tables. */
1583 msym = lookup_minimal_symbol (copy, NULL, NULL);
1585 return minsym_found (funfirstline, msym);
1588 /* Couldn't find a minimal symbol, either, so give up. */
1591 cplusplus_error (the_real_saved_arg,
1592 "Can't find member of namespace, "
1593 "class, struct, or union named \"%s\"\n",
1597 /* Next come some helper functions for decode_compound. */
1599 /* Return the symbol corresponding to the substring of *ARGPTR ending
1600 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1601 name in question, the compound object separator ("::" or "."), and
1602 whitespace. Note that *ARGPTR is changed whether or not the
1603 lookup_symbol call finds anything (i.e we return NULL). As an
1604 example, say ARGPTR is "AAA::inA::fun" and P is "::inA::fun". */
1606 static struct symbol *
1607 lookup_prefix_sym (char **argptr, char *p)
1613 /* Extract the class name. */
1615 while (p != *argptr && p[-1] == ' ')
1617 copy = (char *) alloca (p - *argptr + 1);
1618 memcpy (copy, *argptr, p - *argptr);
1619 copy[p - *argptr] = 0;
1621 /* Discard the class name from the argptr. */
1622 p = p1 + (p1[0] == ':' ? 2 : 1);
1623 while (*p == ' ' || *p == '\t')
1627 /* At this point p1->"::inA::fun", p->"inA::fun" copy->"AAA",
1628 argptr->"inA::fun". */
1630 sym = lookup_symbol (copy, get_selected_block (0), STRUCT_DOMAIN, 0);
1633 /* Typedefs are in VAR_DOMAIN so the above symbol lookup will
1634 fail when the user attempts to lookup a method of a class
1635 via a typedef'd name (NOT via the class's name, which is already
1636 handled in symbol_matches_domain). So try the lookup again
1637 using VAR_DOMAIN (where typedefs live) and double-check that we
1638 found a struct/class type. */
1639 struct symbol *s = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1643 struct type *t = SYMBOL_TYPE (s);
1646 if (TYPE_CODE (t) == TYPE_CODE_STRUCT)
1654 /* This finds the method COPY in the class whose type is T and whose
1655 symbol is SYM_CLASS. */
1657 static struct symtabs_and_lines
1658 find_method (int funfirstline, struct linespec_result *canonical,
1660 char *copy, struct type *t, struct symbol *sym_class,
1663 struct symtabs_and_lines values;
1664 struct symbol *sym = NULL;
1665 int i1; /* Counter for the symbol array. */
1666 struct symbol **sym_arr = alloca (total_number_of_methods (t)
1667 * sizeof (struct symbol *));
1669 /* Find all methods with a matching name, and put them in
1672 i1 = find_methods (t, copy, SYMBOL_LANGUAGE (sym_class), sym_arr);
1676 /* There is exactly one field with that name. */
1679 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
1681 values.sals = (struct symtab_and_line *)
1682 xmalloc (sizeof (struct symtab_and_line));
1684 values.sals[0] = find_function_start_sal (sym,
1696 /* If we were given a specific overload instance, use that
1697 (or error if no matches were found). Otherwise ask the user
1698 which one to use. */
1699 if (strchr (copy, '('))
1704 struct cleanup *cleanup;
1706 /* Construct the proper search name based on SYM_CLASS and COPY.
1707 SAVED_ARG may contain a valid name, but that name might not be
1708 what is actually stored in the symbol table. For example,
1709 if SAVED_ARG (and SYM_CLASS) were found via an import
1710 ("using namespace" in C++), then the physname of
1711 SYM_CLASS ("A::myclass") may not be the same as SAVED_ARG
1713 name = xmalloc (strlen (SYMBOL_NATURAL_NAME (sym_class))
1714 + 2 /* "::" */ + strlen (copy) + 1);
1715 strcpy (name, SYMBOL_NATURAL_NAME (sym_class));
1716 strcat (name, "::");
1717 strcat (name, copy);
1718 canon = cp_canonicalize_string (name);
1724 cleanup = make_cleanup (xfree, name);
1726 for (i = 0; i < i1; ++i)
1728 if (strcmp_iw (name, SYMBOL_LINKAGE_NAME (sym_arr[i])) == 0)
1730 values.sals = (struct symtab_and_line *)
1731 xmalloc (sizeof (struct symtab_and_line));
1733 values.sals[0] = find_function_start_sal (sym_arr[i],
1735 do_cleanups (cleanup);
1740 error (_("the class `%s' does not have "
1741 "any method instance named %s"),
1742 SYMBOL_PRINT_NAME (sym_class), copy);
1745 return decode_line_2 (sym_arr, i1, funfirstline, canonical);
1752 cplusplus_error (saved_arg,
1753 "the class `%s' does not have destructor defined\n",
1754 SYMBOL_PRINT_NAME (sym_class));
1756 cplusplus_error (saved_arg,
1757 "the class %s does not have any method named %s\n",
1758 SYMBOL_PRINT_NAME (sym_class), copy);
1764 /* Return the symtab associated to the filename given by the substring
1765 of *ARGPTR ending at P, and advance ARGPTR past that filename. If
1766 NOT_FOUND_PTR is not null and the source file is not found, store
1767 boolean true at the location pointed to and do not issue an
1770 static struct symtab *
1771 symtab_from_filename (char **argptr, char *p, int is_quote_enclosed,
1776 struct symtab *file_symtab;
1779 while (p != *argptr && p[-1] == ' ')
1781 if ((*p == '"') && is_quote_enclosed)
1783 copy = (char *) alloca (p - *argptr + 1);
1784 memcpy (copy, *argptr, p - *argptr);
1785 /* It may have the ending quote right after the file name. */
1786 if ((is_quote_enclosed && copy[p - *argptr - 1] == '"')
1787 || copy[p - *argptr - 1] == '\'')
1788 copy[p - *argptr - 1] = 0;
1790 copy[p - *argptr] = 0;
1792 /* Find that file's data. */
1793 file_symtab = lookup_symtab (copy);
1794 if (file_symtab == 0)
1798 if (!have_full_symbols () && !have_partial_symbols ())
1799 throw_error (NOT_FOUND_ERROR,
1800 _("No symbol table is loaded. "
1801 "Use the \"file\" command."));
1802 throw_error (NOT_FOUND_ERROR, _("No source file named %s."), copy);
1805 /* Discard the file name from the arg. */
1807 while (*p == ' ' || *p == '\t')
1816 /* This decodes a line where the argument is all digits (possibly
1817 preceded by a sign). Q should point to the end of those digits;
1818 the other arguments are as usual. */
1820 static struct symtabs_and_lines
1821 decode_all_digits (char **argptr, struct symtab *default_symtab,
1822 int default_line, struct linespec_result *canonical,
1823 struct symtab *file_symtab, char *q)
1826 struct symtabs_and_lines values;
1827 struct symtab_and_line val;
1835 /* We might need a canonical line spec if no file was specified. */
1836 int need_canonical = (file_symtab == NULL) ? 1 : 0;
1840 val.pspace = current_program_space;
1842 /* This is where we need to make sure that we have good defaults.
1843 We must guarantee that this section of code is never executed
1844 when we are called with just a function name, since
1845 set_default_source_symtab_and_line uses
1846 select_source_symtab that calls us with such an argument. */
1848 if (file_symtab == 0 && default_symtab == 0)
1850 /* Make sure we have at least a default source file. */
1851 set_default_source_symtab_and_line ();
1852 initialize_defaults (&default_symtab, &default_line);
1855 if (**argptr == '+')
1856 sign = plus, (*argptr)++;
1857 else if (**argptr == '-')
1858 sign = minus, (*argptr)++;
1859 val.line = atoi (*argptr);
1865 if (file_symtab == 0)
1866 val.line = default_line + val.line;
1871 if (file_symtab == 0)
1872 val.line = default_line - val.line;
1877 break; /* No need to adjust val.line. */
1880 while (*q == ' ' || *q == '\t')
1883 if (file_symtab == 0)
1884 file_symtab = default_symtab;
1886 /* It is possible that this source file has more than one symtab,
1887 and that the new line number specification has moved us from the
1888 default (in file_symtab) to a new one. */
1889 val.symtab = find_line_symtab (file_symtab, val.line, NULL, NULL);
1890 if (val.symtab == 0)
1891 val.symtab = file_symtab;
1893 val.pspace = SYMTAB_PSPACE (val.symtab);
1895 values.sals = (struct symtab_and_line *)
1896 xmalloc (sizeof (struct symtab_and_line));
1897 values.sals[0] = val;
1900 build_canonical_line_spec (values.sals, NULL, canonical);
1901 values.sals[0].explicit_line = 1;
1907 /* Decode a linespec starting with a dollar sign. */
1909 static struct symtabs_and_lines
1910 decode_dollar (char *copy, int funfirstline, struct symtab *default_symtab,
1911 struct linespec_result *canonical, struct symtab *file_symtab)
1915 int need_canonical = 0;
1916 struct symtabs_and_lines values;
1917 struct symtab_and_line val;
1920 struct minimal_symbol *msymbol;
1922 p = (copy[1] == '$') ? copy + 2 : copy + 1;
1923 while (*p >= '0' && *p <= '9')
1925 if (!*p) /* Reached end of token without hitting non-digit. */
1927 /* We have a value history reference. */
1928 struct value *val_history;
1930 sscanf ((copy[1] == '$') ? copy + 2 : copy + 1, "%d", &index);
1931 val_history = access_value_history ((copy[1] == '$') ? -index : index);
1932 if (TYPE_CODE (value_type (val_history)) != TYPE_CODE_INT)
1933 error (_("History values used in line "
1934 "specs must have integer values."));
1935 valx = value_as_long (val_history);
1939 /* Not all digits -- may be user variable/function or a
1940 convenience variable. */
1942 /* Look up entire name as a symbol first. */
1943 sym = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1944 file_symtab = (struct symtab *) NULL;
1946 /* Symbol was found --> jump to normal symbol processing. */
1948 return symbol_found (funfirstline, canonical, copy, sym, NULL);
1950 /* If symbol was not found, look in minimal symbol tables. */
1951 msymbol = lookup_minimal_symbol (copy, NULL, NULL);
1952 /* Min symbol was found --> jump to minsym processing. */
1954 return minsym_found (funfirstline, msymbol);
1956 /* Not a user variable or function -- must be convenience variable. */
1957 if (!get_internalvar_integer (lookup_internalvar (copy + 1), &valx))
1958 error (_("Convenience variables used in line "
1959 "specs must have integer values."));
1964 /* Either history value or convenience value from above, in valx. */
1965 val.symtab = file_symtab ? file_symtab : default_symtab;
1968 val.pspace = current_program_space;
1970 values.sals = (struct symtab_and_line *) xmalloc (sizeof val);
1971 values.sals[0] = val;
1975 build_canonical_line_spec (values.sals, NULL, canonical);
1982 /* A helper for decode_line_1 that tries to find a label. The label
1983 is searched for in the current block.
1984 COPY is the name of the label to find.
1985 CANONICAL is the same as the "canonical" argument to decode_line_1.
1986 RESULT is a pointer to a symtabs_and_lines structure which will be
1987 filled in on success.
1988 This function returns 1 if a label was found, 0 otherwise. */
1991 decode_label (char *copy, struct linespec_result *canonical,
1992 struct symtabs_and_lines *result)
1996 sym = lookup_symbol (copy, get_selected_block (0), LABEL_DOMAIN, 0);
1999 *result = symbol_found (0, canonical, copy, sym, NULL);
2004 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
2005 look in that symtab's static variables first. If NOT_FOUND_PTR is
2006 not NULL and the function cannot be found, store boolean true in
2007 the location pointed to and do not issue an error message. */
2009 static struct symtabs_and_lines
2010 decode_variable (char *copy, int funfirstline,
2011 struct linespec_result *canonical,
2012 struct symtab *file_symtab, int *not_found_ptr)
2015 struct minimal_symbol *msymbol;
2017 sym = lookup_symbol (copy,
2019 ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab),
2021 : get_selected_block (0)),
2025 return symbol_found (funfirstline, canonical, copy, sym, file_symtab);
2027 msymbol = lookup_minimal_symbol (copy, NULL, NULL);
2029 if (msymbol != NULL)
2030 return minsym_found (funfirstline, msymbol);
2035 if (!have_full_symbols ()
2036 && !have_partial_symbols ()
2037 && !have_minimal_symbols ())
2038 throw_error (NOT_FOUND_ERROR,
2039 _("No symbol table is loaded. Use the \"file\" command."));
2040 throw_error (NOT_FOUND_ERROR, _("Function \"%s\" not defined."), copy);
2046 /* Now come some functions that are called from multiple places within
2049 /* We've found a symbol SYM to associate with our linespec; build a
2050 corresponding struct symtabs_and_lines. */
2052 static struct symtabs_and_lines
2053 symbol_found (int funfirstline, struct linespec_result *canonical, char *copy,
2054 struct symbol *sym, struct symtab *file_symtab)
2056 struct symtabs_and_lines values;
2058 if (SYMBOL_CLASS (sym) == LOC_BLOCK)
2060 /* Arg is the name of a function. */
2061 values.sals = (struct symtab_and_line *)
2062 xmalloc (sizeof (struct symtab_and_line));
2063 values.sals[0] = find_function_start_sal (sym, funfirstline);
2066 /* Don't use the SYMBOL_LINE; if used at all it points to
2067 the line containing the parameters or thereabouts, not
2068 the first line of code. */
2070 /* We might need a canonical line spec if it is a static
2072 if (file_symtab == 0)
2074 struct blockvector *bv = BLOCKVECTOR (SYMBOL_SYMTAB (sym));
2075 struct block *b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
2077 if (lookup_block_symbol (b, copy, VAR_DOMAIN) != NULL)
2078 build_canonical_line_spec (values.sals, copy, canonical);
2084 if (funfirstline && SYMBOL_CLASS (sym) != LOC_LABEL)
2085 error (_("\"%s\" is not a function"), copy);
2086 else if (SYMBOL_LINE (sym) != 0)
2088 /* We know its line number. */
2089 values.sals = (struct symtab_and_line *)
2090 xmalloc (sizeof (struct symtab_and_line));
2092 memset (&values.sals[0], 0, sizeof (values.sals[0]));
2093 values.sals[0].symtab = SYMBOL_SYMTAB (sym);
2094 values.sals[0].line = SYMBOL_LINE (sym);
2095 values.sals[0].pspace = SYMTAB_PSPACE (SYMBOL_SYMTAB (sym));
2099 /* This can happen if it is compiled with a compiler which doesn't
2100 put out line numbers for variables. */
2101 /* FIXME: Shouldn't we just set .line and .symtab to zero
2102 and return? For example, "info line foo" could print
2104 error (_("Line number not known for symbol \"%s\""), copy);
2108 /* We've found a minimal symbol MSYMBOL to associate with our
2109 linespec; build a corresponding struct symtabs_and_lines. */
2111 static struct symtabs_and_lines
2112 minsym_found (int funfirstline, struct minimal_symbol *msymbol)
2114 struct objfile *objfile = msymbol_objfile (msymbol);
2115 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2116 struct symtabs_and_lines values;
2119 values.sals = (struct symtab_and_line *)
2120 xmalloc (sizeof (struct symtab_and_line));
2121 values.sals[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol),
2122 (struct obj_section *) 0, 0);
2123 values.sals[0].section = SYMBOL_OBJ_SECTION (msymbol);
2125 /* The minimal symbol might point to a function descriptor;
2126 resolve it to the actual code address instead. */
2127 pc = gdbarch_convert_from_func_ptr_addr (gdbarch,
2130 if (pc != values.sals[0].pc)
2131 values.sals[0] = find_pc_sect_line (pc, NULL, 0);
2134 skip_prologue_sal (&values.sals[0]);
2141 init_linespec_result (struct linespec_result *lr)
2143 memset (lr, 0, sizeof (*lr));