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
,
72 static struct symbol
*lookup_prefix_sym (char **argptr
, char *p
);
74 static struct symtabs_and_lines
find_method (int funfirstline
,
75 struct linespec_result
*canonical
,
79 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
**);
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 /* Recursive helper function for decode_line_1.
207 Look for methods named NAME in type T.
208 Return number of matches.
209 Put matches in SYM_ARR, which should have been allocated with
210 a size of total_number_of_methods (T) * sizeof (struct symbol *).
211 Note that this function is g++ specific. */
214 find_methods (struct type
*t
, char *name
, enum language language
,
215 struct symbol
**sym_arr
)
219 char *class_name
= type_name_no_tag (t
);
220 struct cleanup
*cleanup
;
223 /* NAME is typed by the user: it needs to be canonicalized before
224 passing to lookup_symbol. */
225 canon
= cp_canonicalize_string (name
);
229 cleanup
= make_cleanup (xfree
, name
);
232 cleanup
= make_cleanup (null_cleanup
, NULL
);
234 /* Ignore this class if it doesn't have a name. This is ugly, but
235 unless we figure out how to get the physname without the name of
236 the class, then the loop can't do any good. */
238 && (lookup_symbol_in_language (class_name
, (struct block
*) NULL
,
239 STRUCT_DOMAIN
, language
, (int *) NULL
)))
242 int name_len
= strlen (name
);
246 /* Loop over each method name. At this level, all overloads of a name
247 are counted as a single name. There is an inner loop which loops over
250 for (method_counter
= TYPE_NFN_FIELDS (t
) - 1;
254 char *method_name
= TYPE_FN_FIELDLIST_NAME (t
, method_counter
);
257 if (strncmp (method_name
, "__", 2) == 0 ||
258 strncmp (method_name
, "op", 2) == 0 ||
259 strncmp (method_name
, "type", 4) == 0)
261 if (cplus_demangle_opname (method_name
, dem_opname
, DMGL_ANSI
))
262 method_name
= dem_opname
;
263 else if (cplus_demangle_opname (method_name
, dem_opname
, 0))
264 method_name
= dem_opname
;
267 if (strcmp_iw (name
, method_name
) == 0)
268 /* Find all the overloaded methods with that name. */
269 i1
+= add_matching_methods (method_counter
, t
, language
,
271 else if (strncmp (class_name
, name
, name_len
) == 0
272 && (class_name
[name_len
] == '\0'
273 || class_name
[name_len
] == '<'))
274 i1
+= add_constructors (method_counter
, t
, language
,
279 /* Only search baseclasses if there is no match yet, since names in
280 derived classes override those in baseclasses.
282 FIXME: The above is not true; it is only true of member functions
283 if they have the same number of arguments (??? - section 13.1 of the
284 ARM says the function members are not in the same scope but doesn't
285 really spell out the rules in a way I understand. In any case, if
286 the number of arguments differ this is a case in which we can overload
287 rather than hiding without any problem, and gcc 2.4.5 does overload
288 rather than hiding in this case). */
291 for (ibase
= 0; ibase
< TYPE_N_BASECLASSES (t
); ibase
++)
292 i1
+= find_methods (TYPE_BASECLASS (t
, ibase
), name
,
293 language
, sym_arr
+ i1
);
295 do_cleanups (cleanup
);
299 /* Add the symbols associated to methods of the class whose type is T
300 and whose name matches the method indexed by METHOD_COUNTER in the
301 array SYM_ARR. Return the number of methods added. */
304 add_matching_methods (int method_counter
, struct type
*t
,
305 enum language language
, struct symbol
**sym_arr
)
310 for (field_counter
= TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
317 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
319 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
323 tmp_name
= gdb_mangle_name (t
,
326 phys_name
= alloca (strlen (tmp_name
) + 1);
327 strcpy (phys_name
, tmp_name
);
331 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
333 sym_arr
[i1
] = lookup_symbol_in_language (phys_name
,
341 /* This error message gets printed, but the method
342 still seems to be found.
343 fputs_filtered("(Cannot find method ", gdb_stdout);
344 fprintf_symbol_filtered (gdb_stdout, phys_name,
346 DMGL_PARAMS | DMGL_ANSI);
347 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
355 /* Add the symbols associated to constructors of the class whose type
356 is CLASS_TYPE and which are indexed by by METHOD_COUNTER to the
357 array SYM_ARR. Return the number of methods added. */
360 add_constructors (int method_counter
, struct type
*t
,
361 enum language language
, struct symbol
**sym_arr
)
366 /* For GCC 3.x and stabs, constructors and destructors
367 have names like __base_ctor and __complete_dtor.
368 Check the physname for now if we're looking for a
371 = TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
378 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
380 /* GCC 3.x will never produce stabs stub methods, so
381 we don't need to handle this case. */
382 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
384 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
385 if (! is_constructor_name (phys_name
))
388 /* If this method is actually defined, include it in the
390 sym_arr
[i1
] = lookup_symbol_in_language (phys_name
,
401 /* Helper function for decode_line_1.
402 Build a canonical line spec in CANONICAL if it is non-NULL and if
403 the SAL has a symtab.
404 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
405 If SYMNAME is NULL the line number from SAL is used and the canonical
406 line spec is `filename:linenum'. */
409 build_canonical_line_spec (struct symtab_and_line
*sal
, char *symname
,
410 struct linespec_result
*canonical
)
412 char **canonical_arr
;
413 char *canonical_name
;
415 struct symtab
*s
= sal
->symtab
;
417 if (s
== (struct symtab
*) NULL
418 || s
->filename
== (char *) NULL
419 || canonical
== NULL
)
422 canonical_arr
= (char **) xmalloc (sizeof (char *));
423 canonical
->canonical
= canonical_arr
;
425 filename
= s
->filename
;
428 canonical_name
= xmalloc (strlen (filename
) + strlen (symname
) + 2);
429 sprintf (canonical_name
, "%s:%s", filename
, symname
);
433 canonical_name
= xmalloc (strlen (filename
) + 30);
434 sprintf (canonical_name
, "%s:%d", filename
, sal
->line
);
436 canonical_arr
[0] = canonical_name
;
441 /* Find an instance of the character C in the string S that is outside
442 of all parenthesis pairs, single-quoted strings, and double-quoted
443 strings. Also, ignore the char within a template name, like a ','
444 within foo<int, int>. */
447 find_toplevel_char (char *s
, char c
)
449 int quoted
= 0; /* zero if we're not in quotes;
450 '"' if we're in a double-quoted string;
451 '\'' if we're in a single-quoted string. */
452 int depth
= 0; /* Number of unclosed parens we've seen. */
455 for (scan
= s
; *scan
; scan
++)
461 else if (*scan
== '\\' && *(scan
+ 1))
464 else if (*scan
== c
&& ! quoted
&& depth
== 0)
466 else if (*scan
== '"' || *scan
== '\'')
468 else if (*scan
== '(' || *scan
== '<')
470 else if ((*scan
== ')' || *scan
== '>') && depth
> 0)
477 /* Determines if the gives string corresponds to an Objective-C method
478 representation, such as -[Foo bar:] or +[Foo bar]. Objective-C symbols
479 are allowed to have spaces and parentheses in them. */
482 is_objc_method_format (const char *s
)
484 if (s
== NULL
|| *s
== '\0')
486 /* Handle arguments with the format FILENAME:SYMBOL. */
487 if ((s
[0] == ':') && (strchr ("+-", s
[1]) != NULL
)
488 && (s
[2] == '[') && strchr(s
, ']'))
490 /* Handle arguments that are just SYMBOL. */
491 else if ((strchr ("+-", s
[0]) != NULL
) && (s
[1] == '[') && strchr(s
, ']'))
496 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
497 operate on (ask user if necessary).
498 If CANONICAL is non-NULL return a corresponding array of mangled names
499 as canonical line specs there. */
501 static struct symtabs_and_lines
502 decode_line_2 (struct symbol
*sym_arr
[], int nelts
, int funfirstline
,
503 struct linespec_result
*canonical
)
505 struct symtabs_and_lines values
, return_values
;
510 struct cleanup
*old_chain
;
511 char **canonical_arr
= (char **) NULL
;
512 const char *select_mode
= multiple_symbols_select_mode ();
514 if (select_mode
== multiple_symbols_cancel
)
515 error (_("canceled because the command is ambiguous\n"
516 "See set/show multiple-symbol."));
518 values
.sals
= (struct symtab_and_line
*)
519 alloca (nelts
* sizeof (struct symtab_and_line
));
520 return_values
.sals
= (struct symtab_and_line
*)
521 xmalloc (nelts
* sizeof (struct symtab_and_line
));
522 old_chain
= make_cleanup (xfree
, return_values
.sals
);
526 canonical_arr
= (char **) xmalloc (nelts
* sizeof (char *));
527 make_cleanup (xfree
, canonical_arr
);
528 memset (canonical_arr
, 0, nelts
* sizeof (char *));
529 canonical
->canonical
= canonical_arr
;
535 init_sal (&return_values
.sals
[i
]); /* Initialize to zeroes. */
536 init_sal (&values
.sals
[i
]);
537 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
538 values
.sals
[i
] = find_function_start_sal (sym_arr
[i
], funfirstline
);
542 /* If select_mode is "all", then do not print the multiple-choice
543 menu and act as if the user had chosen choice "1" (all). */
544 if (select_mode
== multiple_symbols_all
545 || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
550 printf_unfiltered (_("[0] cancel\n[1] all\n"));
553 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
555 if (values
.sals
[i
].symtab
)
556 printf_unfiltered ("[%d] %s at %s:%d\n",
558 SYMBOL_PRINT_NAME (sym_arr
[i
]),
559 values
.sals
[i
].symtab
->filename
,
560 values
.sals
[i
].line
);
562 printf_unfiltered (_("[%d] %s at ?FILE:%d [No symtab? "
563 "Probably broken debug info...]\n"),
565 SYMBOL_PRINT_NAME (sym_arr
[i
]),
566 values
.sals
[i
].line
);
570 printf_unfiltered (_("?HERE\n"));
574 prompt
= getenv ("PS2");
579 args
= command_line_input (prompt
, 0, "overload-choice");
582 if (args
== 0 || *args
== 0)
583 error_no_arg (_("one or more choice numbers"));
591 while (*arg1
>= '0' && *arg1
<= '9')
593 if (*arg1
&& *arg1
!= ' ' && *arg1
!= '\t')
594 error (_("Arguments must be choice numbers."));
599 error (_("canceled"));
604 for (i
= 0; i
< nelts
; i
++)
606 if (canonical_arr
[i
] == NULL
)
608 symname
= SYMBOL_LINKAGE_NAME (sym_arr
[i
]);
609 canonical_arr
[i
] = xstrdup (symname
);
613 memcpy (return_values
.sals
, values
.sals
,
614 (nelts
* sizeof (struct symtab_and_line
)));
615 return_values
.nelts
= nelts
;
616 discard_cleanups (old_chain
);
617 return return_values
;
620 if (num
>= nelts
+ 2)
622 printf_unfiltered (_("No choice number %d.\n"), num
);
627 if (values
.sals
[num
].pc
)
631 symname
= SYMBOL_LINKAGE_NAME (sym_arr
[num
]);
632 make_cleanup (xfree
, symname
);
633 canonical_arr
[i
] = xstrdup (symname
);
635 return_values
.sals
[i
++] = values
.sals
[num
];
636 values
.sals
[num
].pc
= 0;
640 printf_unfiltered (_("duplicate request for %d ignored.\n"),
646 while (*args
== ' ' || *args
== '\t')
649 return_values
.nelts
= i
;
650 discard_cleanups (old_chain
);
651 return return_values
;
654 /* A helper function for decode_line_1 and friends which skips P
655 past any method overload information at the beginning of P, e.g.,
656 "(const struct foo *)".
658 This function assumes that P has already been validated to contain
659 overload information, and it will assert if *P != '('. */
661 find_method_overload_end (char *p
)
665 gdb_assert (*p
== '(');
685 /* Does P point to a sequence of characters which implies the end
686 of a name? Terminals include "if" and "thread" clauses. */
693 if (*p
== 'i' && p
[1] == 'f'
694 && (isspace (p
[2]) || p
[2] == '\0' || p
[2] == '('))
697 if (strncmp (p
, "thread", 6) == 0
698 && (isspace (p
[6]) || p
[6] == '\0'))
704 /* Keep important information used when looking up a name. This includes
705 template parameters, overload information, and important keywords. */
708 keep_name_info (char *ptr
)
713 /* Keep any template parameters. */
715 return remove_trailing_whitespace (start
, ptr
);
720 ptr
= p
= find_template_name_end (ptr
);
723 return remove_trailing_whitespace (start
, ptr
);
725 /* Keep method overload information. */
727 ptr
= p
= find_method_overload_end (p
);
730 return remove_trailing_whitespace (start
, ptr
);
732 /* Keep important keywords. */
735 if (strncmp (p
, "const", 5) == 0
736 && (isspace (p
[5]) || p
[5] == '\0'
737 || strchr (get_gdb_completer_quote_characters (), p
[5]) != NULL
))
740 return remove_trailing_whitespace (start
, ptr
);
744 /* The parser of linespec itself. */
746 /* Parse a string that specifies a line number.
747 Pass the address of a char * variable; that variable will be
748 advanced over the characters actually parsed.
752 LINENUM -- that line number in current file. PC returned is 0.
753 FILE:LINENUM -- that line in that file. PC returned is 0.
754 FUNCTION -- line number of openbrace of that function.
755 PC returned is the start of the function.
756 LABEL -- a label in the current scope
757 VARIABLE -- line number of definition of that variable.
759 FILE:FUNCTION -- likewise, but prefer functions in that file.
760 *EXPR -- line in which address EXPR appears.
762 This may all be followed by an "if EXPR", which we ignore.
764 FUNCTION may be an undebuggable function found in minimal symbol table.
766 If the argument FUNFIRSTLINE is nonzero, we want the first line
767 of real code inside a function when a function is specified, and it is
768 not OK to specify a variable or type to get its line number.
770 DEFAULT_SYMTAB specifies the file to use if none is specified.
771 It defaults to current_source_symtab.
772 DEFAULT_LINE specifies the line number to use for relative
773 line numbers (that start with signs). Defaults to current_source_line.
774 If CANONICAL is non-NULL, store an array of strings containing the canonical
775 line specs there if necessary. Currently overloaded member functions and
776 line numbers or static functions without a filename yield a canonical
777 line spec. The array and the line spec strings are allocated on the heap,
778 it is the callers responsibility to free them.
780 Note that it is possible to return zero for the symtab
781 if no file is validly specified. Callers must check that.
782 Also, the line number returned may be invalid. */
784 /* We allow single quotes in various places. This is a hideous
785 kludge, which exists because the completer can't yet deal with the
786 lack of single quotes. FIXME: write a linespec_completer which we
787 can use as appropriate instead of make_symbol_completion_list. */
789 struct symtabs_and_lines
790 decode_line_1 (char **argptr
, int funfirstline
, struct symtab
*default_symtab
,
791 int default_line
, struct linespec_result
*canonical
)
795 /* If a file name is specified, this is its symtab. */
796 struct symtab
*file_symtab
= NULL
;
799 /* This says whether or not something in *ARGPTR is quoted with
800 completer_quotes (i.e. with single quotes). */
802 /* Is *ARGPTR is enclosed in double quotes? */
803 int is_quote_enclosed
;
804 int is_objc_method
= 0;
805 char *saved_arg
= *argptr
;
806 /* If IS_QUOTED, the end of the quoted bit. */
807 char *end_quote
= NULL
;
808 /* The "first half" of the linespec. */
811 /* If we are parsing `function:label', this holds the symbol for the
813 struct symbol
*function_symbol
= NULL
;
814 /* If FUNCTION_SYMBOL is not NULL, then this is the exception that
815 was thrown when trying to parse a filename. */
816 volatile struct gdb_exception file_exception
;
818 /* Defaults have defaults. */
820 initialize_defaults (&default_symtab
, &default_line
);
822 /* See if arg is *PC. */
825 return decode_indirect (argptr
);
827 is_quoted
= (strchr (get_gdb_completer_quote_characters (),
831 end_quote
= skip_quoted (*argptr
);
833 /* Check to see if it's a multipart linespec (with colons or
836 /* Locate the end of the first half of the linespec.
837 After the call, for instance, if the argptr string is "foo.c:123"
838 p will point at "123". If there is only one part, like "foo", p
839 will point to "". If this is a C++ name, like "A::B::foo", p will
840 point to "::B::foo". Argptr is not changed by this call. */
842 first_half
= p
= locate_first_half (argptr
, &is_quote_enclosed
);
844 /* Check if this is an Objective-C method (anything that starts with
845 a '+' or '-' and a '['). */
846 if (is_objc_method_format (p
))
849 /* Check if the symbol could be an Objective-C selector. */
852 struct symtabs_and_lines values
;
854 values
= decode_objc (argptr
, funfirstline
, NULL
,
855 canonical
, saved_arg
);
856 if (values
.sals
!= NULL
)
860 /* Does it look like there actually were two parts? */
862 if (p
[0] == ':' || p
[0] == '.')
864 /* Is it a C++ or Java compound data structure?
865 The check on p[1] == ':' is capturing the case of "::",
866 since p[0]==':' was checked above.
867 Note that the call to decode_compound does everything
868 for us, including the lookup on the symbol table, so we
871 if (p
[0] == '.' || p
[1] == ':')
873 struct symtabs_and_lines values
;
875 if (is_quote_enclosed
)
877 values
= decode_compound (argptr
, funfirstline
, canonical
,
879 if (is_quoted
&& **argptr
== '\'')
880 *argptr
= *argptr
+ 1;
884 /* No, the first part is a filename; set file_symtab to be that file's
885 symtab. Also, move argptr past the filename. */
887 TRY_CATCH (file_exception
, RETURN_MASK_ERROR
)
889 file_symtab
= symtab_from_filename (argptr
, p
, is_quote_enclosed
);
891 /* If that failed, maybe we have `function:label'. */
892 if (file_exception
.reason
< 0)
894 function_symbol
= find_function_symbol (argptr
, p
, is_quote_enclosed
);
895 /* If we did not find a function, re-throw the original
897 if (!function_symbol
)
898 throw_exception (file_exception
);
901 /* Check for single quotes on the non-filename part. */
904 is_quoted
= (**argptr
905 && strchr (get_gdb_completer_quote_characters (),
908 end_quote
= skip_quoted (*argptr
);
912 /* file_symtab is specified file's symtab, or 0 if no file specified.
913 If we are parsing `function:symbol', then FUNCTION_SYMBOL is the
914 function before the `:'.
915 arg no longer contains the file name. */
917 /* If the filename was quoted, we must re-check the quotation. */
919 if (end_quote
== first_half
&& *end_quote
!= '\0')
921 is_quoted
= (**argptr
922 && strchr (get_gdb_completer_quote_characters (),
925 end_quote
= skip_quoted (*argptr
);
928 /* Check whether arg is all digits (and sign). */
931 if (*q
== '-' || *q
== '+')
933 while (*q
>= '0' && *q
<= '9')
936 if (q
!= *argptr
&& (*q
== 0 || *q
== ' ' || *q
== '\t' || *q
== ',')
937 && function_symbol
== NULL
)
938 /* We found a token consisting of all digits -- at least one digit. */
939 return decode_all_digits (argptr
, default_symtab
, default_line
,
940 canonical
, file_symtab
, q
);
942 /* Arg token is not digits => try it as a variable name
943 Find the next token (everything up to end or next whitespace). */
945 if (**argptr
== '$') /* May be a convenience variable. */
946 /* One or two $ chars possible. */
947 p
= skip_quoted (*argptr
+ (((*argptr
)[1] == '$') ? 2 : 1));
952 error (_("Unmatched single quote."));
954 else if (is_objc_method
)
956 /* allow word separators in method names for Obj-C. */
957 p
= skip_quoted_chars (*argptr
, NULL
, "");
961 p
= skip_quoted (*argptr
);
964 /* Keep any important naming information. */
965 p
= keep_name_info (p
);
967 copy
= (char *) alloca (p
- *argptr
+ 1);
968 memcpy (copy
, *argptr
, p
- *argptr
);
969 copy
[p
- *argptr
] = '\0';
972 && copy
[0] == copy
[p
- *argptr
- 1]
973 && strchr (get_gdb_completer_quote_characters (), copy
[0]) != NULL
)
975 copy
[p
- *argptr
- 1] = '\0';
979 copy
[p
- *argptr
- 1] = '\0';
980 while (*p
== ' ' || *p
== '\t')
984 /* If it starts with $: may be a legitimate variable or routine name
985 (e.g. HP-UX millicode routines such as $$dyncall), or it may
986 be history value, or it may be a convenience variable. */
988 if (*copy
== '$' && function_symbol
== NULL
)
989 return decode_dollar (copy
, funfirstline
, default_symtab
,
990 canonical
, file_symtab
);
992 /* Try the token as a label, but only if no file was specified,
993 because we can only really find labels in the current scope. */
997 struct symtabs_and_lines label_result
;
998 if (decode_label (function_symbol
, copy
, canonical
, &label_result
))
1002 if (function_symbol
)
1003 throw_exception (file_exception
);
1005 /* Look up that token as a variable.
1006 If file specified, use that file's per-file block to start with. */
1008 return decode_variable (copy
, funfirstline
, canonical
, file_symtab
);
1013 /* Now, more helper functions for decode_line_1. Some conventions
1014 that these functions follow:
1016 Decode_line_1 typically passes along some of its arguments or local
1017 variables to the subfunctions. It passes the variables by
1018 reference if they are modified by the subfunction, and by value
1021 Some of the functions have side effects that don't arise from
1022 variables that are passed by reference. In particular, if a
1023 function is passed ARGPTR as an argument, it modifies what ARGPTR
1024 points to; typically, it advances *ARGPTR past whatever substring
1025 it has just looked at. (If it doesn't modify *ARGPTR, then the
1026 function gets passed *ARGPTR instead, which is then called ARG.)
1027 Also, functions that return a struct symtabs_and_lines may modify
1028 CANONICAL, as in the description of decode_line_1.
1030 If a function returns a struct symtabs_and_lines, then that struct
1031 will immediately make its way up the call chain to be returned by
1032 decode_line_1. In particular, all of the functions decode_XXX
1033 calculate the appropriate struct symtabs_and_lines, under the
1034 assumption that their argument is of the form XXX. */
1036 /* First, some functions to initialize stuff at the beggining of the
1040 initialize_defaults (struct symtab
**default_symtab
, int *default_line
)
1042 if (*default_symtab
== 0)
1044 /* Use whatever we have for the default source line. We don't use
1045 get_current_or_default_symtab_and_line as it can recurse and call
1047 struct symtab_and_line cursal
=
1048 get_current_source_symtab_and_line ();
1050 *default_symtab
= cursal
.symtab
;
1051 *default_line
= cursal
.line
;
1057 /* Decode arg of the form *PC. */
1059 static struct symtabs_and_lines
1060 decode_indirect (char **argptr
)
1062 struct symtabs_and_lines values
;
1066 pc
= value_as_address (parse_to_comma_and_eval (argptr
));
1068 values
.sals
= (struct symtab_and_line
*)
1069 xmalloc (sizeof (struct symtab_and_line
));
1072 values
.sals
[0] = find_pc_line (pc
, 0);
1073 values
.sals
[0].pc
= pc
;
1074 values
.sals
[0].section
= find_pc_overlay (pc
);
1075 values
.sals
[0].explicit_pc
= 1;
1082 /* Locate the first half of the linespec, ending in a colon, period,
1083 or whitespace. (More or less.) Also, check to see if *ARGPTR is
1084 enclosed in double quotes; if so, set is_quote_enclosed, advance
1085 ARGPTR past that and zero out the trailing double quote.
1086 If ARGPTR is just a simple name like "main", p will point to ""
1090 locate_first_half (char **argptr
, int *is_quote_enclosed
)
1096 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
1097 and we must isolate the first half. Outer layers will call again later
1098 for the second half.
1100 Don't count commas that appear in argument lists of overloaded
1101 functions, or in quoted strings. It's stupid to go to this much
1102 trouble when the rest of the function is such an obvious roach hotel. */
1103 ii
= find_toplevel_char (*argptr
, ',');
1104 has_comma
= (ii
!= 0);
1106 /* Temporarily zap out second half to not confuse the code below.
1107 This is undone below. Do not change ii!! */
1113 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
1114 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
1120 *is_quote_enclosed
= 1;
1126 *is_quote_enclosed
= 0;
1127 if (strchr (get_gdb_completer_quote_characters (), *p
))
1137 char *temp_end
= find_template_name_end (p
);
1140 error (_("malformed template specification in command"));
1145 p
= find_method_overload_end (p
);
1147 /* Check for a colon and a plus or minus and a [ (which
1148 indicates an Objective-C method). */
1149 if (is_objc_method_format (p
))
1153 /* Check for the end of the first half of the linespec. End of
1154 line, a tab, a double colon or the last single colon, or a
1155 space. But if enclosed in double quotes we do not break on
1160 && ((p
[1] == ':') || (strchr (p
+ 1, ':') == NULL
)))
1161 || ((p
[0] == ' ') && !*is_quote_enclosed
))
1163 if (p
[0] == '.' && strchr (p
, ':') == NULL
)
1165 /* Java qualified method. Find the *last* '.', since the
1166 others are package qualifiers. Stop at any open parenthesis
1167 which might provide overload information. */
1168 for (p1
= p
; *p1
&& *p1
!= '('; p1
++)
1176 while (p
[0] == ' ' || p
[0] == '\t')
1179 /* If the closing double quote was left at the end, remove it. */
1180 if (*is_quote_enclosed
)
1182 char *closing_quote
= strchr (p
- 1, '"');
1184 if (closing_quote
&& closing_quote
[1] == '\0')
1185 *closing_quote
= '\0';
1188 /* Now that we've safely parsed the first half, put back ',' so
1189 outer layers can see it. */
1198 /* Here's where we recognise an Objective-C Selector. An Objective C
1199 selector may be implemented by more than one class, therefore it
1200 may represent more than one method/function. This gives us a
1201 situation somewhat analogous to C++ overloading. If there's more
1202 than one method that could represent the selector, then use some of
1203 the existing C++ code to let the user choose one. */
1205 struct symtabs_and_lines
1206 decode_objc (char **argptr
, int funfirstline
, struct symtab
*file_symtab
,
1207 struct linespec_result
*canonical
, char *saved_arg
)
1209 struct symtabs_and_lines values
;
1210 struct symbol
**sym_arr
= NULL
;
1211 struct symbol
*sym
= NULL
;
1212 struct block
*block
= NULL
;
1219 if (file_symtab
!= NULL
)
1220 block
= BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab
), STATIC_BLOCK
);
1223 enum language save_language
;
1225 /* get_selected_block can change the current language when there is
1226 no selected frame yet. */
1227 save_language
= current_language
->la_language
;
1228 block
= get_selected_block (0);
1229 set_language (save_language
);
1232 find_imps (file_symtab
, block
, *argptr
, NULL
, &i1
, &i2
);
1236 sym_arr
= (struct symbol
**)
1237 alloca ((i1
+ 1) * sizeof (struct symbol
*));
1240 *argptr
= find_imps (file_symtab
, block
, *argptr
, sym_arr
, &i1
, &i2
);
1243 /* i1 now represents the TOTAL number of matches found.
1244 i2 represents how many HIGH-LEVEL (struct symbol) matches,
1245 which will come first in the sym_arr array. Any low-level
1246 (minimal_symbol) matches will follow those. */
1252 /* Already a struct symbol. */
1257 sym
= find_pc_function (SYMBOL_VALUE_ADDRESS (sym_arr
[0]));
1258 if ((sym
!= NULL
) && strcmp (SYMBOL_LINKAGE_NAME (sym_arr
[0]),
1259 SYMBOL_LINKAGE_NAME (sym
)) != 0)
1261 warning (_("debugging symbol \"%s\" does "
1262 "not match selector; ignoring"),
1263 SYMBOL_LINKAGE_NAME (sym
));
1268 values
.sals
= (struct symtab_and_line
*)
1269 xmalloc (sizeof (struct symtab_and_line
));
1272 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1274 /* Canonicalize this, so it remains resolved for dylib loads. */
1275 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
1276 build_canonical_line_spec (values
.sals
,
1277 SYMBOL_NATURAL_NAME (sym
), canonical
);
1281 /* The only match was a non-debuggable symbol, which might point
1282 to a function descriptor; resolve it to the actual code address
1284 struct minimal_symbol
*msymbol
= (struct minimal_symbol
*)sym_arr
[0];
1285 struct objfile
*objfile
= msymbol_objfile (msymbol
);
1286 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
1287 CORE_ADDR pc
= SYMBOL_VALUE_ADDRESS (msymbol
);
1289 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
, pc
,
1292 init_sal (&values
.sals
[0]);
1293 values
.sals
[0].pc
= pc
;
1300 /* More than one match. The user must choose one or more. */
1301 return decode_line_2 (sym_arr
, i2
, funfirstline
, canonical
);
1307 /* This handles C++ and Java compound data structures. P should point
1308 at the first component separator, i.e. double-colon or period. As
1309 an example, on entrance to this function we could have ARGPTR
1310 pointing to "AAA::inA::fun" and P pointing to "::inA::fun". */
1312 static struct symtabs_and_lines
1313 decode_compound (char **argptr
, int funfirstline
,
1314 struct linespec_result
*canonical
,
1315 char *the_real_saved_arg
, char *p
)
1317 struct symtabs_and_lines values
;
1319 char *saved_arg2
= *argptr
;
1323 struct symbol
*sym_class
;
1325 char *saved_java_argptr
= NULL
;
1328 /* If the user specified any completer quote characters in the input,
1329 strip them. They are superfluous. */
1330 saved_arg
= alloca (strlen (the_real_saved_arg
) + 1);
1332 char *dst
= saved_arg
;
1333 char *src
= the_real_saved_arg
;
1334 char *quotes
= get_gdb_completer_quote_characters ();
1335 while (*src
!= '\0')
1337 if (strchr (quotes
, *src
) == NULL
)
1344 /* First check for "global" namespace specification, of the form
1345 "::foo". If found, skip over the colons and jump to normal
1346 symbol processing. I.e. the whole line specification starts with
1347 "::" (note the condition that *argptr == p). */
1349 && ((*argptr
== p
) || (p
[-1] == ' ') || (p
[-1] == '\t')))
1352 /* Given our example "AAA::inA::fun", we have two cases to consider:
1354 1) AAA::inA is the name of a class. In that case, presumably it
1355 has a method called "fun"; we then look up that method using
1358 2) AAA::inA isn't the name of a class. In that case, either the
1359 user made a typo, AAA::inA is the name of a namespace, or it is
1360 the name of a minimal symbol.
1361 We just look up AAA::inA::fun with lookup_symbol. If that fails,
1362 try lookup_minimal_symbol.
1364 Thus, our first task is to find everything before the last set of
1365 double-colons and figure out if it's the name of a class. So we
1366 first loop through all of the double-colons. */
1368 p2
= p
; /* Save for restart. */
1370 /* This is very messy. Following the example above we have now the
1373 argptr -> "AAA::inA::fun
1374 saved_arg -> "AAA::inA::fun
1375 saved_arg2 -> "AAA::inA::fun
1376 p2 -> "::inA::fun". */
1378 /* In the loop below, with these strings, we'll make 2 passes, each
1379 is marked in comments. */
1383 static char *break_characters
= " \t(";
1385 /* Move pointer up to next possible class/namespace token. */
1387 p
= p2
+ 1; /* Restart with old value +1. */
1389 /* PASS1: at this point p2->"::inA::fun", so p->":inA::fun",
1390 i.e. if there is a double-colon, p will now point to the
1392 /* PASS2: p2->"::fun", p->":fun" */
1394 /* Move pointer ahead to next double-colon. */
1396 && strchr (break_characters
, *p
) == NULL
1397 && strchr (get_gdb_completer_quote_characters (), *p
) == NULL
)
1399 if (current_language
->la_language
== language_cplus
)
1400 p
+= cp_validate_operator (p
);
1404 temp_end
= find_template_name_end (p
);
1406 error (_("malformed template specification in command"));
1409 /* Note that, since, at the start of this loop, p would be
1410 pointing to the second colon in a double-colon, we only
1411 satisfy the condition below if there is another
1412 double-colon to the right (after). I.e. there is another
1413 component that can be a class or a namespace. I.e, if at
1414 the beginning of this loop (PASS1), we had
1415 p->":inA::fun", we'll trigger this when p has been
1416 advanced to point to "::fun". */
1417 /* PASS2: we will not trigger this. */
1418 else if ((p
[0] == ':') && (p
[1] == ':'))
1419 break; /* Found double-colon. */
1422 /* PASS2: We'll keep getting here, until P points to one of the
1423 break characters, at which point we exit this loop. */
1424 if (*p
&& strchr (break_characters
, *p
) == NULL
)
1430 break; /* Out of the while (1). This would happen
1431 for instance if we have looked up
1432 unsuccessfully all the components of the
1433 string, and p->""(PASS2). */
1435 /* We get here if p points to one of the break characters or "" (i.e.,
1437 /* Save restart for next time around. */
1439 /* Restore argptr as it was on entry to this function. */
1440 *argptr
= saved_arg2
;
1441 /* PASS1: at this point p->"::fun" argptr->"AAA::inA::fun",
1444 /* All ready for next pass through the loop. */
1448 /* Start of lookup in the symbol tables. */
1450 /* Lookup in the symbol table the substring between argptr and
1451 p. Note, this call changes the value of argptr. */
1452 /* Before the call, argptr->"AAA::inA::fun",
1453 p->"", p2->"::fun". After the call: argptr->"fun", p, p2
1455 sym_class
= lookup_prefix_sym (argptr
, p2
);
1457 /* If sym_class has been found, and if "AAA::inA" is a class, then
1458 we're in case 1 above. So we look up "fun" as a method of that
1461 (t
= check_typedef (SYMBOL_TYPE (sym_class
)),
1462 (TYPE_CODE (t
) == TYPE_CODE_STRUCT
1463 || TYPE_CODE (t
) == TYPE_CODE_UNION
)))
1465 /* Arg token is not digits => try it as a function name.
1466 Find the next token (everything up to end or next
1469 && strchr (get_gdb_completer_quote_characters (),
1472 p
= skip_quoted (*argptr
);
1473 *argptr
= *argptr
+ 1;
1477 /* At this point argptr->"fun". */
1481 while (*p
&& *p
!= ' ' && *p
!= '\t' && *p
!= ',' && *p
!= ':'
1484 /* At this point p->"". String ended. */
1485 /* Nope, C++ operators could have spaces in them
1486 ("foo::operator <" or "foo::operator delete []").
1487 I apologize, this is a bit hacky... */
1488 if (current_language
->la_language
== language_cplus
1489 && *p
== ' ' && p
- 8 - *argptr
+ 1 > 0)
1491 /* The above loop has already swallowed "operator". */
1492 p
+= cp_validate_operator (p
- 8) - 8;
1495 /* Keep any important naming information. */
1496 p
= keep_name_info (p
);
1498 /* Java may append typenames, so assume that if there is
1499 anything else left in *argptr, it must be a typename. */
1500 if (*p
&& current_language
->la_language
== language_java
)
1507 copy
= (char *) alloca (p2
- p
+ 1);
1508 memcpy (copy
, p
, p2
- p
);
1509 copy
[p2
- p
] = '\0';
1510 type
= lookup_typename (current_language
, get_current_arch (),
1514 /* Save the location of this just in case this
1515 method/type combination isn't actually defined.
1516 It will be checked later. */
1517 saved_java_argptr
= p
;
1523 /* Allocate our own copy of the substring between argptr and
1525 copy
= (char *) alloca (p
- *argptr
+ 1);
1526 memcpy (copy
, *argptr
, p
- *argptr
);
1527 copy
[p
- *argptr
] = '\0';
1529 && copy
[p
- *argptr
- 1]
1530 && strchr (get_gdb_completer_quote_characters (),
1531 copy
[p
- *argptr
- 1]) != NULL
)
1532 copy
[p
- *argptr
- 1] = '\0';
1534 /* At this point copy->"fun", p->"". */
1536 /* No line number may be specified. */
1537 while (*p
== ' ' || *p
== '\t')
1540 /* At this point arptr->"". */
1542 /* Look for copy as a method of sym_class. */
1543 /* At this point copy->"fun", sym_class is "AAA:inA",
1544 saved_arg->"AAA::inA::fun". This concludes the scanning of
1545 the string for possible components matches. If we find it
1546 here, we return. If not, and we are at the and of the string,
1547 we'll lookup the whole string in the symbol tables. */
1549 values
= find_method (funfirstline
, canonical
, saved_arg
,
1550 copy
, t
, sym_class
);
1551 if (saved_java_argptr
!= NULL
&& values
.nelts
== 1)
1553 /* The user specified a specific return type for a java method.
1554 Double-check that it really is the one the user specified.
1555 [This is a necessary evil because strcmp_iw_ordered stops
1556 comparisons too prematurely.] */
1557 sym
= find_pc_sect_function (values
.sals
[0].pc
,
1558 values
.sals
[0].section
);
1559 /* We just found a SAL, we had better be able to go backwards! */
1560 gdb_assert (sym
!= NULL
);
1561 if (strcmp_iw (SYMBOL_LINKAGE_NAME (sym
), saved_arg
) != 0)
1563 xfree (values
.sals
);
1564 error (_("the class `%s' does not have "
1565 "any method instance named %s"),
1566 SYMBOL_PRINT_NAME (sym_class
), copy
);
1570 } /* End if symbol found. */
1573 /* We couldn't find a class, so we're in case 2 above. We check the
1574 entire name as a symbol instead. */
1576 if (current_language
->la_language
== language_cplus
1577 || current_language
->la_language
== language_java
)
1578 p
= keep_name_info (p
);
1580 copy
= (char *) alloca (p
- saved_arg2
+ 1);
1581 memcpy (copy
, saved_arg2
, p
- saved_arg2
);
1582 /* Note: if is_quoted should be true, we snuff out quote here
1584 copy
[p
- saved_arg2
] = '\000';
1585 /* Set argptr to skip over the name. */
1586 *argptr
= (*p
== '\'') ? p
+ 1 : p
;
1588 /* Look up entire name. */
1589 sym
= lookup_symbol (copy
, get_selected_block (0), VAR_DOMAIN
, 0);
1591 return symbol_found (funfirstline
, canonical
, copy
, sym
, NULL
, NULL
);
1594 struct minimal_symbol
*msym
;
1596 /* Couldn't find any interpretation as classes/namespaces. As a last
1597 resort, try the minimal symbol tables. */
1598 msym
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1600 return minsym_found (funfirstline
, msym
);
1603 /* Couldn't find a minimal symbol, either, so give up. */
1604 cplusplus_error (the_real_saved_arg
,
1605 "Can't find member of namespace, "
1606 "class, struct, or union named \"%s\"\n",
1610 /* Next come some helper functions for decode_compound. */
1612 /* Return the symbol corresponding to the substring of *ARGPTR ending
1613 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1614 name in question, the compound object separator ("::" or "."), and
1615 whitespace. Note that *ARGPTR is changed whether or not the
1616 lookup_symbol call finds anything (i.e we return NULL). As an
1617 example, say ARGPTR is "AAA::inA::fun" and P is "::inA::fun". */
1619 static struct symbol
*
1620 lookup_prefix_sym (char **argptr
, char *p
)
1626 /* Extract the class name. */
1628 while (p
!= *argptr
&& p
[-1] == ' ')
1630 copy
= (char *) alloca (p
- *argptr
+ 1);
1631 memcpy (copy
, *argptr
, p
- *argptr
);
1632 copy
[p
- *argptr
] = 0;
1634 /* Discard the class name from the argptr. */
1635 p
= p1
+ (p1
[0] == ':' ? 2 : 1);
1636 while (*p
== ' ' || *p
== '\t')
1640 /* At this point p1->"::inA::fun", p->"inA::fun" copy->"AAA",
1641 argptr->"inA::fun". */
1643 sym
= lookup_symbol (copy
, get_selected_block (0), STRUCT_DOMAIN
, 0);
1646 /* Typedefs are in VAR_DOMAIN so the above symbol lookup will
1647 fail when the user attempts to lookup a method of a class
1648 via a typedef'd name (NOT via the class's name, which is already
1649 handled in symbol_matches_domain). So try the lookup again
1650 using VAR_DOMAIN (where typedefs live) and double-check that we
1651 found a struct/class type. */
1652 struct symbol
*s
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
1656 struct type
*t
= SYMBOL_TYPE (s
);
1659 if (TYPE_CODE (t
) == TYPE_CODE_STRUCT
)
1667 /* This finds the method COPY in the class whose type is T and whose
1668 symbol is SYM_CLASS. */
1670 static struct symtabs_and_lines
1671 find_method (int funfirstline
, struct linespec_result
*canonical
,
1673 char *copy
, struct type
*t
, struct symbol
*sym_class
)
1675 struct symtabs_and_lines values
;
1676 struct symbol
*sym
= NULL
;
1677 int i1
; /* Counter for the symbol array. */
1678 struct symbol
**sym_arr
= alloca (total_number_of_methods (t
)
1679 * sizeof (struct symbol
*));
1681 /* Find all methods with a matching name, and put them in
1684 i1
= find_methods (t
, copy
, SYMBOL_LANGUAGE (sym_class
), sym_arr
);
1688 /* There is exactly one field with that name. */
1691 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1693 values
.sals
= (struct symtab_and_line
*)
1694 xmalloc (sizeof (struct symtab_and_line
));
1696 values
.sals
[0] = find_function_start_sal (sym
,
1708 /* If we were given a specific overload instance, use that
1709 (or error if no matches were found). Otherwise ask the user
1710 which one to use. */
1711 if (strchr (copy
, '('))
1716 struct cleanup
*cleanup
;
1718 /* Construct the proper search name based on SYM_CLASS and COPY.
1719 SAVED_ARG may contain a valid name, but that name might not be
1720 what is actually stored in the symbol table. For example,
1721 if SAVED_ARG (and SYM_CLASS) were found via an import
1722 ("using namespace" in C++), then the physname of
1723 SYM_CLASS ("A::myclass") may not be the same as SAVED_ARG
1725 name
= xmalloc (strlen (SYMBOL_NATURAL_NAME (sym_class
))
1726 + 2 /* "::" */ + strlen (copy
) + 1);
1727 strcpy (name
, SYMBOL_NATURAL_NAME (sym_class
));
1728 strcat (name
, "::");
1729 strcat (name
, copy
);
1730 canon
= cp_canonicalize_string (name
);
1736 cleanup
= make_cleanup (xfree
, name
);
1738 for (i
= 0; i
< i1
; ++i
)
1740 if (strcmp_iw (name
, SYMBOL_LINKAGE_NAME (sym_arr
[i
])) == 0)
1742 values
.sals
= (struct symtab_and_line
*)
1743 xmalloc (sizeof (struct symtab_and_line
));
1745 values
.sals
[0] = find_function_start_sal (sym_arr
[i
],
1747 do_cleanups (cleanup
);
1752 error (_("the class `%s' does not have "
1753 "any method instance named %s"),
1754 SYMBOL_PRINT_NAME (sym_class
), copy
);
1757 return decode_line_2 (sym_arr
, i1
, funfirstline
, canonical
);
1762 cplusplus_error (saved_arg
,
1763 "the class `%s' does not have destructor defined\n",
1764 SYMBOL_PRINT_NAME (sym_class
));
1766 cplusplus_error (saved_arg
,
1767 "the class %s does not have any method named %s\n",
1768 SYMBOL_PRINT_NAME (sym_class
), copy
);
1774 /* Return the symtab associated to the filename given by the substring
1775 of *ARGPTR ending at P, and advance ARGPTR past that filename. */
1777 static struct symtab
*
1778 symtab_from_filename (char **argptr
, char *p
, int is_quote_enclosed
)
1782 struct symtab
*file_symtab
;
1785 while (p
!= *argptr
&& p
[-1] == ' ')
1787 if ((*p
== '"') && is_quote_enclosed
)
1789 copy
= (char *) alloca (p
- *argptr
+ 1);
1790 memcpy (copy
, *argptr
, p
- *argptr
);
1791 /* It may have the ending quote right after the file name. */
1792 if ((is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1793 || copy
[p
- *argptr
- 1] == '\'')
1794 copy
[p
- *argptr
- 1] = 0;
1796 copy
[p
- *argptr
] = 0;
1798 /* Find that file's data. */
1799 file_symtab
= lookup_symtab (copy
);
1800 if (file_symtab
== 0)
1802 if (!have_full_symbols () && !have_partial_symbols ())
1803 throw_error (NOT_FOUND_ERROR
,
1804 _("No symbol table is loaded. "
1805 "Use the \"file\" command."));
1806 throw_error (NOT_FOUND_ERROR
, _("No source file named %s."), copy
);
1809 /* Discard the file name from the arg. */
1811 while (*p
== ' ' || *p
== '\t')
1818 /* Look up a function symbol in *ARGPTR. If found, advance *ARGPTR
1819 and return the symbol. If not found, return NULL. */
1821 static struct symbol
*
1822 find_function_symbol (char **argptr
, char *p
, int is_quote_enclosed
)
1826 struct symbol
*function_symbol
;
1829 while (p
!= *argptr
&& p
[-1] == ' ')
1831 if ((*p
== '"') && is_quote_enclosed
)
1833 copy
= (char *) alloca (p
- *argptr
+ 1);
1834 memcpy (copy
, *argptr
, p
- *argptr
);
1835 /* It may have the ending quote right after the file name. */
1836 if ((is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1837 || copy
[p
- *argptr
- 1] == '\'')
1838 copy
[p
- *argptr
- 1] = 0;
1840 copy
[p
- *argptr
] = 0;
1842 function_symbol
= lookup_symbol (copy
, get_selected_block (0),
1844 if (!function_symbol
|| SYMBOL_CLASS (function_symbol
) != LOC_BLOCK
)
1847 /* Discard the file name from the arg. */
1849 while (*p
== ' ' || *p
== '\t')
1853 return function_symbol
;
1858 /* This decodes a line where the argument is all digits (possibly
1859 preceded by a sign). Q should point to the end of those digits;
1860 the other arguments are as usual. */
1862 static struct symtabs_and_lines
1863 decode_all_digits (char **argptr
, struct symtab
*default_symtab
,
1864 int default_line
, struct linespec_result
*canonical
,
1865 struct symtab
*file_symtab
, char *q
)
1868 struct symtabs_and_lines values
;
1869 struct symtab_and_line val
;
1877 /* We might need a canonical line spec if no file was specified. */
1878 int need_canonical
= (file_symtab
== NULL
) ? 1 : 0;
1882 val
.pspace
= current_program_space
;
1884 /* This is where we need to make sure that we have good defaults.
1885 We must guarantee that this section of code is never executed
1886 when we are called with just a function name, since
1887 set_default_source_symtab_and_line uses
1888 select_source_symtab that calls us with such an argument. */
1890 if (file_symtab
== 0 && default_symtab
== 0)
1892 /* Make sure we have at least a default source file. */
1893 set_default_source_symtab_and_line ();
1894 initialize_defaults (&default_symtab
, &default_line
);
1897 if (**argptr
== '+')
1898 sign
= plus
, (*argptr
)++;
1899 else if (**argptr
== '-')
1900 sign
= minus
, (*argptr
)++;
1901 val
.line
= atoi (*argptr
);
1907 if (file_symtab
== 0)
1908 val
.line
= default_line
+ val
.line
;
1913 if (file_symtab
== 0)
1914 val
.line
= default_line
- val
.line
;
1919 break; /* No need to adjust val.line. */
1922 while (*q
== ' ' || *q
== '\t')
1925 if (file_symtab
== 0)
1926 file_symtab
= default_symtab
;
1928 /* It is possible that this source file has more than one symtab,
1929 and that the new line number specification has moved us from the
1930 default (in file_symtab) to a new one. */
1931 val
.symtab
= find_line_symtab (file_symtab
, val
.line
, NULL
, NULL
);
1932 if (val
.symtab
== 0)
1933 val
.symtab
= file_symtab
;
1935 val
.pspace
= SYMTAB_PSPACE (val
.symtab
);
1937 values
.sals
= (struct symtab_and_line
*)
1938 xmalloc (sizeof (struct symtab_and_line
));
1939 values
.sals
[0] = val
;
1942 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1943 values
.sals
[0].explicit_line
= 1;
1949 /* Decode a linespec starting with a dollar sign. */
1951 static struct symtabs_and_lines
1952 decode_dollar (char *copy
, int funfirstline
, struct symtab
*default_symtab
,
1953 struct linespec_result
*canonical
, struct symtab
*file_symtab
)
1957 int need_canonical
= 0;
1958 struct symtabs_and_lines values
;
1959 struct symtab_and_line val
;
1962 struct minimal_symbol
*msymbol
;
1964 p
= (copy
[1] == '$') ? copy
+ 2 : copy
+ 1;
1965 while (*p
>= '0' && *p
<= '9')
1967 if (!*p
) /* Reached end of token without hitting non-digit. */
1969 /* We have a value history reference. */
1970 struct value
*val_history
;
1972 sscanf ((copy
[1] == '$') ? copy
+ 2 : copy
+ 1, "%d", &index
);
1973 val_history
= access_value_history ((copy
[1] == '$') ? -index
: index
);
1974 if (TYPE_CODE (value_type (val_history
)) != TYPE_CODE_INT
)
1975 error (_("History values used in line "
1976 "specs must have integer values."));
1977 valx
= value_as_long (val_history
);
1981 /* Not all digits -- may be user variable/function or a
1982 convenience variable. */
1984 /* Look up entire name as a symbol first. */
1985 sym
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
1986 file_symtab
= (struct symtab
*) NULL
;
1988 /* Symbol was found --> jump to normal symbol processing. */
1990 return symbol_found (funfirstline
, canonical
, copy
, sym
, NULL
, NULL
);
1992 /* If symbol was not found, look in minimal symbol tables. */
1993 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1994 /* Min symbol was found --> jump to minsym processing. */
1996 return minsym_found (funfirstline
, msymbol
);
1998 /* Not a user variable or function -- must be convenience variable. */
1999 if (!get_internalvar_integer (lookup_internalvar (copy
+ 1), &valx
))
2000 error (_("Convenience variables used in line "
2001 "specs must have integer values."));
2006 /* Either history value or convenience value from above, in valx. */
2007 val
.symtab
= file_symtab
? file_symtab
: default_symtab
;
2010 val
.pspace
= current_program_space
;
2012 values
.sals
= (struct symtab_and_line
*) xmalloc (sizeof val
);
2013 values
.sals
[0] = val
;
2017 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
2024 /* A helper for decode_line_1 that tries to find a label. The label
2025 is searched for in the current block.
2026 FUNCTION_SYMBOL is the enclosing function; or NULL if none
2028 COPY is the name of the label to find.
2029 CANONICAL is the same as the "canonical" argument to decode_line_1.
2030 RESULT is a pointer to a symtabs_and_lines structure which will be
2031 filled in on success.
2032 This function returns 1 if a label was found, 0 otherwise. */
2035 decode_label (struct symbol
*function_symbol
, char *copy
,
2036 struct linespec_result
*canonical
,
2037 struct symtabs_and_lines
*result
)
2040 struct block
*block
;
2042 if (function_symbol
)
2043 block
= SYMBOL_BLOCK_VALUE (function_symbol
);
2046 block
= get_selected_block (0);
2048 block
&& !BLOCK_FUNCTION (block
);
2049 block
= BLOCK_SUPERBLOCK (block
))
2053 function_symbol
= BLOCK_FUNCTION (block
);
2056 sym
= lookup_symbol (copy
, block
, LABEL_DOMAIN
, 0);
2059 *result
= symbol_found (0, canonical
, copy
, sym
, NULL
, function_symbol
);
2064 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
2065 look in that symtab's static variables first. */
2067 static struct symtabs_and_lines
2068 decode_variable (char *copy
, int funfirstline
,
2069 struct linespec_result
*canonical
,
2070 struct symtab
*file_symtab
)
2073 struct minimal_symbol
*msymbol
;
2075 sym
= lookup_symbol (copy
,
2077 ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab
),
2079 : get_selected_block (0)),
2083 return symbol_found (funfirstline
, canonical
, copy
, sym
, file_symtab
, NULL
);
2085 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
2087 if (msymbol
!= NULL
)
2088 return minsym_found (funfirstline
, msymbol
);
2090 if (!have_full_symbols ()
2091 && !have_partial_symbols ()
2092 && !have_minimal_symbols ())
2093 throw_error (NOT_FOUND_ERROR
,
2094 _("No symbol table is loaded. Use the \"file\" command."));
2095 throw_error (NOT_FOUND_ERROR
, _("Function \"%s\" not defined."), copy
);
2101 /* Now come some functions that are called from multiple places within
2104 /* We've found a symbol SYM to associate with our linespec; build a
2105 corresponding struct symtabs_and_lines. */
2107 static struct symtabs_and_lines
2108 symbol_found (int funfirstline
, struct linespec_result
*canonical
, char *copy
,
2109 struct symbol
*sym
, struct symtab
*file_symtab
,
2110 struct symbol
*function_symbol
)
2112 struct symtabs_and_lines values
;
2114 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
)
2116 /* Arg is the name of a function. */
2117 values
.sals
= (struct symtab_and_line
*)
2118 xmalloc (sizeof (struct symtab_and_line
));
2119 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
2122 /* Don't use the SYMBOL_LINE; if used at all it points to
2123 the line containing the parameters or thereabouts, not
2124 the first line of code. */
2126 /* We might need a canonical line spec if it is a static
2128 if (file_symtab
== 0)
2130 struct blockvector
*bv
= BLOCKVECTOR (SYMBOL_SYMTAB (sym
));
2131 struct block
*b
= BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
);
2133 if (lookup_block_symbol (b
, copy
, VAR_DOMAIN
) != NULL
)
2134 build_canonical_line_spec (values
.sals
, copy
, canonical
);
2140 if (SYMBOL_CLASS (sym
) == LOC_LABEL
&& SYMBOL_VALUE_ADDRESS (sym
) != 0)
2142 /* We know its line number. */
2143 values
.sals
= (struct symtab_and_line
*)
2144 xmalloc (sizeof (struct symtab_and_line
));
2146 init_sal (&values
.sals
[0]);
2147 values
.sals
[0].symtab
= SYMBOL_SYMTAB (sym
);
2148 values
.sals
[0].line
= SYMBOL_LINE (sym
);
2149 values
.sals
[0].pc
= SYMBOL_VALUE_ADDRESS (sym
);
2150 values
.sals
[0].pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
2151 values
.sals
[0].explicit_pc
= 1;
2155 canonical
->special_display
= 1;
2156 canonical
->canonical
= xmalloc (sizeof (char *));
2157 canonical
->canonical
[0]
2158 = xstrprintf ("%s:%s",
2159 SYMBOL_NATURAL_NAME (function_symbol
),
2160 SYMBOL_NATURAL_NAME (sym
));
2165 else if (funfirstline
)
2166 error (_("\"%s\" is not a function"), copy
);
2167 else if (SYMBOL_LINE (sym
) != 0)
2169 /* We know its line number. */
2170 values
.sals
= (struct symtab_and_line
*)
2171 xmalloc (sizeof (struct symtab_and_line
));
2173 memset (&values
.sals
[0], 0, sizeof (values
.sals
[0]));
2174 values
.sals
[0].symtab
= SYMBOL_SYMTAB (sym
);
2175 values
.sals
[0].line
= SYMBOL_LINE (sym
);
2176 values
.sals
[0].pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
2180 /* This can happen if it is compiled with a compiler which doesn't
2181 put out line numbers for variables. */
2182 /* FIXME: Shouldn't we just set .line and .symtab to zero
2183 and return? For example, "info line foo" could print
2185 error (_("Line number not known for symbol \"%s\""), copy
);
2189 /* We've found a minimal symbol MSYMBOL to associate with our
2190 linespec; build a corresponding struct symtabs_and_lines. */
2192 static struct symtabs_and_lines
2193 minsym_found (int funfirstline
, struct minimal_symbol
*msymbol
)
2195 struct objfile
*objfile
= msymbol_objfile (msymbol
);
2196 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
2197 struct symtabs_and_lines values
;
2200 values
.sals
= (struct symtab_and_line
*)
2201 xmalloc (sizeof (struct symtab_and_line
));
2202 values
.sals
[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol
),
2203 (struct obj_section
*) 0, 0);
2204 values
.sals
[0].section
= SYMBOL_OBJ_SECTION (msymbol
);
2206 /* The minimal symbol might point to a function descriptor;
2207 resolve it to the actual code address instead. */
2208 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
,
2211 if (pc
!= values
.sals
[0].pc
)
2212 values
.sals
[0] = find_pc_sect_line (pc
, NULL
, 0);
2215 skip_prologue_sal (&values
.sals
[0]);
2222 init_linespec_result (struct linespec_result
*lr
)
2224 memset (lr
, 0, sizeof (*lr
));