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
,
69 struct symtab
*file_symtab
,
73 static struct symbol
*lookup_prefix_sym (char **argptr
, char *p
,
76 static struct symtabs_and_lines
find_method (int funfirstline
,
77 struct linespec_result
*canonical
,
81 struct symbol
*sym_class
,
84 static void cplusplus_error (const char *name
, const char *fmt
, ...)
85 ATTRIBUTE_NORETURN
ATTRIBUTE_PRINTF (2, 3);
87 static int total_number_of_methods (struct type
*type
);
89 static int find_methods (struct type
*, char *,
90 enum language
, struct symbol
**, struct symtab
*);
92 static int add_matching_methods (int method_counter
, struct type
*t
,
93 enum language language
,
94 struct symbol
**sym_arr
);
96 static int add_constructors (int method_counter
, struct type
*t
,
97 enum language language
,
98 struct symbol
**sym_arr
);
100 static void build_canonical_line_spec (struct symtab_and_line
*,
101 char *, struct linespec_result
*);
103 static char *find_toplevel_char (char *s
, char c
);
105 static int is_objc_method_format (const char *s
);
107 static struct symtabs_and_lines
decode_line_2 (struct symbol
*[],
109 struct linespec_result
*);
111 static struct symtab
*symtab_from_filename (char **argptr
,
112 char *p
, int is_quote_enclosed
);
114 static struct symbol
*find_function_symbol (char **argptr
, char *p
,
115 int is_quote_enclosed
);
118 symtabs_and_lines
decode_all_digits (char **argptr
,
119 struct symtab
*default_symtab
,
121 struct linespec_result
*canonical
,
122 struct symtab
*file_symtab
,
125 static struct symtabs_and_lines
decode_dollar (char *copy
,
127 struct symtab
*default_symtab
,
128 struct linespec_result
*canonical
,
129 struct symtab
*file_symtab
);
131 static int decode_label (struct symbol
*function_symbol
,
132 char *copy
, struct linespec_result
*canonical
,
133 struct symtabs_and_lines
*result
);
135 static struct symtabs_and_lines
decode_variable (char *copy
,
137 struct linespec_result
*canonical
,
138 struct symtab
*file_symtab
);
141 symtabs_and_lines
symbol_found (int funfirstline
,
142 struct linespec_result
*canonical
,
145 struct symtab
*file_symtab
,
146 struct symbol
*function_symbol
);
149 symtabs_and_lines
minsym_found (int funfirstline
,
150 struct minimal_symbol
*msymbol
);
152 /* Helper functions. */
154 /* Issue a helpful hint on using the command completion feature on
155 single quoted demangled C++ symbols as part of the completion
159 cplusplus_error (const char *name
, const char *fmt
, ...)
161 struct ui_file
*tmp_stream
;
164 tmp_stream
= mem_fileopen ();
165 make_cleanup_ui_file_delete (tmp_stream
);
170 va_start (args
, fmt
);
171 vfprintf_unfiltered (tmp_stream
, fmt
, args
);
175 while (*name
== '\'')
177 fprintf_unfiltered (tmp_stream
,
178 ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
179 "(Note leading single quote.)"),
182 message
= ui_file_xstrdup (tmp_stream
, NULL
);
183 make_cleanup (xfree
, message
);
184 throw_error (NOT_FOUND_ERROR
, "%s", message
);
187 /* Return the number of methods described for TYPE, including the
188 methods from types it derives from. This can't be done in the symbol
189 reader because the type of the baseclass might still be stubbed
190 when the definition of the derived class is parsed. */
193 total_number_of_methods (struct type
*type
)
198 CHECK_TYPEDEF (type
);
199 if (! HAVE_CPLUS_STRUCT (type
))
201 count
= TYPE_NFN_FIELDS_TOTAL (type
);
203 for (n
= 0; n
< TYPE_N_BASECLASSES (type
); n
++)
204 count
+= total_number_of_methods (TYPE_BASECLASS (type
, n
));
209 /* Returns the block to be used for symbol searches for the given SYMTAB,
210 which may be NULL. */
212 static struct block
*
213 get_search_block (struct symtab
*symtab
)
218 block
= BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab
), STATIC_BLOCK
);
221 enum language save_language
;
223 /* get_selected_block can change the current language when there is
224 no selected frame yet. */
225 save_language
= current_language
->la_language
;
226 block
= get_selected_block (0);
227 set_language (save_language
);
233 /* Recursive helper function for decode_line_1.
234 Look for methods named NAME in type T.
235 Return number of matches.
236 Put matches in SYM_ARR, which should have been allocated with
237 a size of total_number_of_methods (T) * sizeof (struct symbol *).
238 Note that this function is g++ specific. */
241 find_methods (struct type
*t
, char *name
, enum language language
,
242 struct symbol
**sym_arr
, struct symtab
*file_symtab
)
246 char *class_name
= type_name_no_tag (t
);
247 struct cleanup
*cleanup
;
250 /* NAME is typed by the user: it needs to be canonicalized before
251 passing to lookup_symbol. */
252 canon
= cp_canonicalize_string (name
);
256 cleanup
= make_cleanup (xfree
, name
);
259 cleanup
= make_cleanup (null_cleanup
, NULL
);
261 /* Ignore this class if it doesn't have a name. This is ugly, but
262 unless we figure out how to get the physname without the name of
263 the class, then the loop can't do any good. */
265 && (lookup_symbol_in_language (class_name
, get_search_block (file_symtab
),
266 STRUCT_DOMAIN
, language
, (int *) NULL
)))
269 int name_len
= strlen (name
);
273 /* Loop over each method name. At this level, all overloads of a name
274 are counted as a single name. There is an inner loop which loops over
277 for (method_counter
= TYPE_NFN_FIELDS (t
) - 1;
281 char *method_name
= TYPE_FN_FIELDLIST_NAME (t
, method_counter
);
284 if (strncmp (method_name
, "__", 2) == 0 ||
285 strncmp (method_name
, "op", 2) == 0 ||
286 strncmp (method_name
, "type", 4) == 0)
288 if (cplus_demangle_opname (method_name
, dem_opname
, DMGL_ANSI
))
289 method_name
= dem_opname
;
290 else if (cplus_demangle_opname (method_name
, dem_opname
, 0))
291 method_name
= dem_opname
;
294 if (strcmp_iw (name
, method_name
) == 0)
295 /* Find all the overloaded methods with that name. */
296 i1
+= add_matching_methods (method_counter
, t
, language
,
298 else if (strncmp (class_name
, name
, name_len
) == 0
299 && (class_name
[name_len
] == '\0'
300 || class_name
[name_len
] == '<'))
301 i1
+= add_constructors (method_counter
, t
, language
,
306 /* Only search baseclasses if there is no match yet, since names in
307 derived classes override those in baseclasses.
309 FIXME: The above is not true; it is only true of member functions
310 if they have the same number of arguments (??? - section 13.1 of the
311 ARM says the function members are not in the same scope but doesn't
312 really spell out the rules in a way I understand. In any case, if
313 the number of arguments differ this is a case in which we can overload
314 rather than hiding without any problem, and gcc 2.4.5 does overload
315 rather than hiding in this case). */
318 for (ibase
= 0; ibase
< TYPE_N_BASECLASSES (t
); ibase
++)
319 i1
+= find_methods (TYPE_BASECLASS (t
, ibase
), name
,
320 language
, sym_arr
+ i1
, file_symtab
);
322 do_cleanups (cleanup
);
326 /* Add the symbols associated to methods of the class whose type is T
327 and whose name matches the method indexed by METHOD_COUNTER in the
328 array SYM_ARR. Return the number of methods added. */
331 add_matching_methods (int method_counter
, struct type
*t
,
332 enum language language
, struct symbol
**sym_arr
)
337 for (field_counter
= TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
342 const char *phys_name
;
344 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
346 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
348 char *tmp_name
, *tmp2
;
350 tmp_name
= gdb_mangle_name (t
,
353 tmp2
= alloca (strlen (tmp_name
) + 1);
354 strcpy (tmp2
, tmp_name
);
359 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
361 sym_arr
[i1
] = lookup_symbol_in_language (phys_name
,
369 /* This error message gets printed, but the method
370 still seems to be found.
371 fputs_filtered("(Cannot find method ", gdb_stdout);
372 fprintf_symbol_filtered (gdb_stdout, phys_name,
374 DMGL_PARAMS | DMGL_ANSI);
375 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
383 /* Add the symbols associated to constructors of the class whose type
384 is CLASS_TYPE and which are indexed by by METHOD_COUNTER to the
385 array SYM_ARR. Return the number of methods added. */
388 add_constructors (int method_counter
, struct type
*t
,
389 enum language language
, struct symbol
**sym_arr
)
394 /* For GCC 3.x and stabs, constructors and destructors
395 have names like __base_ctor and __complete_dtor.
396 Check the physname for now if we're looking for a
399 = TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
404 const char *phys_name
;
406 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
408 /* GCC 3.x will never produce stabs stub methods, so
409 we don't need to handle this case. */
410 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
412 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
413 if (! is_constructor_name (phys_name
))
416 /* If this method is actually defined, include it in the
418 sym_arr
[i1
] = lookup_symbol_in_language (phys_name
,
429 /* Helper function for decode_line_1.
430 Build a canonical line spec in CANONICAL if it is non-NULL and if
431 the SAL has a symtab.
432 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
433 If SYMNAME is NULL the line number from SAL is used and the canonical
434 line spec is `filename:linenum'. */
437 build_canonical_line_spec (struct symtab_and_line
*sal
, char *symname
,
438 struct linespec_result
*canonical
)
440 char **canonical_arr
;
441 char *canonical_name
;
443 struct symtab
*s
= sal
->symtab
;
445 if (s
== (struct symtab
*) NULL
446 || s
->filename
== (char *) NULL
447 || canonical
== NULL
)
450 canonical_arr
= (char **) xmalloc (sizeof (char *));
451 canonical
->canonical
= canonical_arr
;
453 filename
= s
->filename
;
456 canonical_name
= xmalloc (strlen (filename
) + strlen (symname
) + 2);
457 sprintf (canonical_name
, "%s:%s", filename
, symname
);
461 canonical_name
= xmalloc (strlen (filename
) + 30);
462 sprintf (canonical_name
, "%s:%d", filename
, sal
->line
);
464 canonical_arr
[0] = canonical_name
;
469 /* Find an instance of the character C in the string S that is outside
470 of all parenthesis pairs, single-quoted strings, and double-quoted
471 strings. Also, ignore the char within a template name, like a ','
472 within foo<int, int>. */
475 find_toplevel_char (char *s
, char c
)
477 int quoted
= 0; /* zero if we're not in quotes;
478 '"' if we're in a double-quoted string;
479 '\'' if we're in a single-quoted string. */
480 int depth
= 0; /* Number of unclosed parens we've seen. */
483 for (scan
= s
; *scan
; scan
++)
489 else if (*scan
== '\\' && *(scan
+ 1))
492 else if (*scan
== c
&& ! quoted
&& depth
== 0)
494 else if (*scan
== '"' || *scan
== '\'')
496 else if (*scan
== '(' || *scan
== '<')
498 else if ((*scan
== ')' || *scan
== '>') && depth
> 0)
505 /* Determines if the gives string corresponds to an Objective-C method
506 representation, such as -[Foo bar:] or +[Foo bar]. Objective-C symbols
507 are allowed to have spaces and parentheses in them. */
510 is_objc_method_format (const char *s
)
512 if (s
== NULL
|| *s
== '\0')
514 /* Handle arguments with the format FILENAME:SYMBOL. */
515 if ((s
[0] == ':') && (strchr ("+-", s
[1]) != NULL
)
516 && (s
[2] == '[') && strchr(s
, ']'))
518 /* Handle arguments that are just SYMBOL. */
519 else if ((strchr ("+-", s
[0]) != NULL
) && (s
[1] == '[') && strchr(s
, ']'))
524 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
525 operate on (ask user if necessary).
526 If CANONICAL is non-NULL return a corresponding array of mangled names
527 as canonical line specs there. */
529 static struct symtabs_and_lines
530 decode_line_2 (struct symbol
*sym_arr
[], int nelts
, int funfirstline
,
531 struct linespec_result
*canonical
)
533 struct symtabs_and_lines values
, return_values
;
538 struct cleanup
*old_chain
;
539 char **canonical_arr
= (char **) NULL
;
540 const char *select_mode
= multiple_symbols_select_mode ();
542 if (select_mode
== multiple_symbols_cancel
)
543 error (_("canceled because the command is ambiguous\n"
544 "See set/show multiple-symbol."));
546 values
.sals
= (struct symtab_and_line
*)
547 alloca (nelts
* sizeof (struct symtab_and_line
));
548 return_values
.sals
= (struct symtab_and_line
*)
549 xmalloc (nelts
* sizeof (struct symtab_and_line
));
550 old_chain
= make_cleanup (xfree
, return_values
.sals
);
554 canonical_arr
= (char **) xmalloc (nelts
* sizeof (char *));
555 make_cleanup (xfree
, canonical_arr
);
556 memset (canonical_arr
, 0, nelts
* sizeof (char *));
557 canonical
->canonical
= canonical_arr
;
563 init_sal (&return_values
.sals
[i
]); /* Initialize to zeroes. */
564 init_sal (&values
.sals
[i
]);
565 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
566 values
.sals
[i
] = find_function_start_sal (sym_arr
[i
], funfirstline
);
570 /* If select_mode is "all", then do not print the multiple-choice
571 menu and act as if the user had chosen choice "1" (all). */
572 if (select_mode
== multiple_symbols_all
573 || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
578 printf_unfiltered (_("[0] cancel\n[1] all\n"));
581 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
583 if (values
.sals
[i
].symtab
)
584 printf_unfiltered ("[%d] %s at %s:%d\n",
586 SYMBOL_PRINT_NAME (sym_arr
[i
]),
587 values
.sals
[i
].symtab
->filename
,
588 values
.sals
[i
].line
);
590 printf_unfiltered (_("[%d] %s at ?FILE:%d [No symtab? "
591 "Probably broken debug info...]\n"),
593 SYMBOL_PRINT_NAME (sym_arr
[i
]),
594 values
.sals
[i
].line
);
598 printf_unfiltered (_("?HERE\n"));
602 prompt
= getenv ("PS2");
607 args
= command_line_input (prompt
, 0, "overload-choice");
610 if (args
== 0 || *args
== 0)
611 error_no_arg (_("one or more choice numbers"));
619 while (*arg1
>= '0' && *arg1
<= '9')
621 if (*arg1
&& *arg1
!= ' ' && *arg1
!= '\t')
622 error (_("Arguments must be choice numbers."));
627 error (_("canceled"));
632 for (i
= 0; i
< nelts
; i
++)
634 if (canonical_arr
[i
] == NULL
)
636 symname
= SYMBOL_LINKAGE_NAME (sym_arr
[i
]);
637 canonical_arr
[i
] = xstrdup (symname
);
641 memcpy (return_values
.sals
, values
.sals
,
642 (nelts
* sizeof (struct symtab_and_line
)));
643 return_values
.nelts
= nelts
;
644 discard_cleanups (old_chain
);
645 return return_values
;
648 if (num
>= nelts
+ 2)
650 printf_unfiltered (_("No choice number %d.\n"), num
);
655 if (values
.sals
[num
].pc
)
659 symname
= SYMBOL_LINKAGE_NAME (sym_arr
[num
]);
660 make_cleanup (xfree
, symname
);
661 canonical_arr
[i
] = xstrdup (symname
);
663 return_values
.sals
[i
++] = values
.sals
[num
];
664 values
.sals
[num
].pc
= 0;
668 printf_unfiltered (_("duplicate request for %d ignored.\n"),
674 while (*args
== ' ' || *args
== '\t')
677 return_values
.nelts
= i
;
678 discard_cleanups (old_chain
);
679 return return_values
;
682 /* A helper function for decode_line_1 and friends which skips P
683 past any method overload information at the beginning of P, e.g.,
684 "(const struct foo *)".
686 This function assumes that P has already been validated to contain
687 overload information, and it will assert if *P != '('. */
689 find_method_overload_end (char *p
)
693 gdb_assert (*p
== '(');
713 /* Does P point to a sequence of characters which implies the end
714 of a name? Terminals include "if" and "thread" clauses. */
721 if (*p
== 'i' && p
[1] == 'f'
722 && (isspace (p
[2]) || p
[2] == '\0' || p
[2] == '('))
725 if (strncmp (p
, "thread", 6) == 0
726 && (isspace (p
[6]) || p
[6] == '\0'))
732 /* Keep important information used when looking up a name. This includes
733 template parameters, overload information, and important keywords. */
736 keep_name_info (char *ptr
)
741 /* Keep any template parameters. */
743 return remove_trailing_whitespace (start
, ptr
);
747 ptr
= p
= find_template_name_end (ptr
);
750 return remove_trailing_whitespace (start
, ptr
);
752 /* Keep method overload information. */
754 ptr
= p
= find_method_overload_end (p
);
757 return remove_trailing_whitespace (start
, ptr
);
759 /* Keep important keywords. */
762 char *quotes
= get_gdb_completer_quote_characters ();
764 if (strncmp (p
, "const", 5) == 0
765 && (isspace (p
[5]) || p
[5] == '\0'
766 || strchr (quotes
, p
[5]) != NULL
))
768 else if (strncmp (p
, "volatile", 8) == 0
769 && (isspace (p
[8]) || p
[8] == '\0'
770 || strchr (quotes
, p
[8]) != NULL
))
776 return remove_trailing_whitespace (start
, ptr
);
780 /* The parser of linespec itself. */
782 /* Parse a string that specifies a line number.
783 Pass the address of a char * variable; that variable will be
784 advanced over the characters actually parsed.
788 LINENUM -- that line number in current file. PC returned is 0.
789 FILE:LINENUM -- that line in that file. PC returned is 0.
790 FUNCTION -- line number of openbrace of that function.
791 PC returned is the start of the function.
792 LABEL -- a label in the current scope
793 VARIABLE -- line number of definition of that variable.
795 FILE:FUNCTION -- likewise, but prefer functions in that file.
796 *EXPR -- line in which address EXPR appears.
798 This may all be followed by an "if EXPR", which we ignore.
800 FUNCTION may be an undebuggable function found in minimal symbol table.
802 If the argument FUNFIRSTLINE is nonzero, we want the first line
803 of real code inside a function when a function is specified, and it is
804 not OK to specify a variable or type to get its line number.
806 DEFAULT_SYMTAB specifies the file to use if none is specified.
807 It defaults to current_source_symtab.
808 DEFAULT_LINE specifies the line number to use for relative
809 line numbers (that start with signs). Defaults to current_source_line.
810 If CANONICAL is non-NULL, store an array of strings containing the canonical
811 line specs there if necessary. Currently overloaded member functions and
812 line numbers or static functions without a filename yield a canonical
813 line spec. The array and the line spec strings are allocated on the heap,
814 it is the callers responsibility to free them.
816 Note that it is possible to return zero for the symtab
817 if no file is validly specified. Callers must check that.
818 Also, the line number returned may be invalid. */
820 /* We allow single quotes in various places. This is a hideous
821 kludge, which exists because the completer can't yet deal with the
822 lack of single quotes. FIXME: write a linespec_completer which we
823 can use as appropriate instead of make_symbol_completion_list. */
825 struct symtabs_and_lines
826 decode_line_1 (char **argptr
, int funfirstline
, struct symtab
*default_symtab
,
827 int default_line
, struct linespec_result
*canonical
)
831 /* If a file name is specified, this is its symtab. */
832 struct symtab
*file_symtab
= NULL
;
835 /* This says whether or not something in *ARGPTR is quoted with
836 completer_quotes (i.e. with single quotes). */
838 /* Is *ARGPTR is enclosed in double quotes? */
839 int is_quote_enclosed
;
840 int is_objc_method
= 0;
841 char *saved_arg
= *argptr
;
842 /* If IS_QUOTED, the end of the quoted bit. */
843 char *end_quote
= NULL
;
844 /* Is *ARGPTR enclosed in single quotes? */
845 int is_squote_enclosed
= 0;
846 /* The "first half" of the linespec. */
849 /* If we are parsing `function:label', this holds the symbol for the
851 struct symbol
*function_symbol
= NULL
;
852 /* If FUNCTION_SYMBOL is not NULL, then this is the exception that
853 was thrown when trying to parse a filename. */
854 volatile struct gdb_exception file_exception
;
856 /* Defaults have defaults. */
858 initialize_defaults (&default_symtab
, &default_line
);
860 /* See if arg is *PC. */
863 return decode_indirect (argptr
);
865 is_quoted
= (strchr (get_gdb_completer_quote_characters (),
870 end_quote
= skip_quoted (*argptr
);
871 if (*end_quote
== '\0')
872 is_squote_enclosed
= 1;
875 /* Check to see if it's a multipart linespec (with colons or
878 /* Locate the end of the first half of the linespec.
879 After the call, for instance, if the argptr string is "foo.c:123"
880 p will point at "123". If there is only one part, like "foo", p
881 will point to "". If this is a C++ name, like "A::B::foo", p will
882 point to "::B::foo". Argptr is not changed by this call. */
884 first_half
= p
= locate_first_half (argptr
, &is_quote_enclosed
);
886 /* First things first: if ARGPTR starts with a filename, get its
887 symtab and strip the filename from ARGPTR. */
888 TRY_CATCH (file_exception
, RETURN_MASK_ERROR
)
890 file_symtab
= symtab_from_filename (argptr
, p
, is_quote_enclosed
);
893 if (file_exception
.reason
>= 0)
895 /* Check for single quotes on the non-filename part. */
896 is_quoted
= (**argptr
897 && strchr (get_gdb_completer_quote_characters (),
900 end_quote
= skip_quoted (*argptr
);
902 /* Locate the next "half" of the linespec. */
903 first_half
= p
= locate_first_half (argptr
, &is_quote_enclosed
);
906 /* Check if this is an Objective-C method (anything that starts with
907 a '+' or '-' and a '['). */
908 if (is_objc_method_format (p
))
911 /* Check if the symbol could be an Objective-C selector. */
914 struct symtabs_and_lines values
;
916 values
= decode_objc (argptr
, funfirstline
, file_symtab
,
917 canonical
, saved_arg
);
918 if (values
.sals
!= NULL
)
922 /* Does it look like there actually were two parts? */
924 if (p
[0] == ':' || p
[0] == '.')
926 /* Is it a C++ or Java compound data structure?
927 The check on p[1] == ':' is capturing the case of "::",
928 since p[0]==':' was checked above.
929 Note that the call to decode_compound does everything
930 for us, including the lookup on the symbol table, so we
933 if (p
[0] == '.' || p
[1] == ':')
935 struct symtabs_and_lines values
;
937 if (is_quote_enclosed
)
939 values
= decode_compound (argptr
, funfirstline
, canonical
,
940 file_symtab
, saved_arg
, p
);
941 if ((is_quoted
|| is_squote_enclosed
) && **argptr
== '\'')
942 *argptr
= *argptr
+ 1;
946 /* If there was an exception looking up a specified filename earlier,
947 then check whether we were really given `function:label'. */
948 if (file_exception
.reason
< 0)
950 function_symbol
= find_function_symbol (argptr
, p
, is_quote_enclosed
);
951 /* If we did not find a function, re-throw the original
953 if (!function_symbol
)
954 throw_exception (file_exception
);
957 /* Check for single quotes on the non-filename part. */
960 is_quoted
= (**argptr
961 && strchr (get_gdb_completer_quote_characters (),
964 end_quote
= skip_quoted (*argptr
);
968 /* file_symtab is specified file's symtab, or 0 if no file specified.
969 If we are parsing `function:symbol', then FUNCTION_SYMBOL is the
970 function before the `:'.
971 arg no longer contains the file name. */
973 /* If the filename was quoted, we must re-check the quotation. */
975 if (end_quote
== first_half
&& *end_quote
!= '\0')
977 is_quoted
= (**argptr
978 && strchr (get_gdb_completer_quote_characters (),
981 end_quote
= skip_quoted (*argptr
);
984 /* Check whether arg is all digits (and sign). */
987 if (*q
== '-' || *q
== '+')
989 while (*q
>= '0' && *q
<= '9')
992 if (q
!= *argptr
&& (*q
== 0 || *q
== ' ' || *q
== '\t' || *q
== ',')
993 && function_symbol
== NULL
)
994 /* We found a token consisting of all digits -- at least one digit. */
995 return decode_all_digits (argptr
, default_symtab
, default_line
,
996 canonical
, file_symtab
, q
);
998 /* Arg token is not digits => try it as a variable name
999 Find the next token (everything up to end or next whitespace). */
1001 if (**argptr
== '$') /* May be a convenience variable. */
1002 /* One or two $ chars possible. */
1003 p
= skip_quoted (*argptr
+ (((*argptr
)[1] == '$') ? 2 : 1));
1004 else if (is_quoted
|| is_squote_enclosed
)
1008 error (_("Unmatched single quote."));
1010 else if (is_objc_method
)
1012 /* allow word separators in method names for Obj-C. */
1013 p
= skip_quoted_chars (*argptr
, NULL
, "");
1017 p
= skip_quoted (*argptr
);
1020 /* Keep any important naming information. */
1021 p
= keep_name_info (p
);
1023 copy
= (char *) alloca (p
- *argptr
+ 1);
1024 memcpy (copy
, *argptr
, p
- *argptr
);
1025 copy
[p
- *argptr
] = '\0';
1028 && copy
[0] == copy
[p
- *argptr
- 1]
1029 && strchr (get_gdb_completer_quote_characters (), copy
[0]) != NULL
)
1031 copy
[p
- *argptr
- 1] = '\0';
1034 else if (is_quoted
|| is_squote_enclosed
)
1035 copy
[p
- *argptr
- 1] = '\0';
1036 while (*p
== ' ' || *p
== '\t')
1040 /* If it starts with $: may be a legitimate variable or routine name
1041 (e.g. HP-UX millicode routines such as $$dyncall), or it may
1042 be history value, or it may be a convenience variable. */
1044 if (*copy
== '$' && function_symbol
== NULL
)
1045 return decode_dollar (copy
, funfirstline
, default_symtab
,
1046 canonical
, file_symtab
);
1048 /* Try the token as a label, but only if no file was specified,
1049 because we can only really find labels in the current scope. */
1053 struct symtabs_and_lines label_result
;
1054 if (decode_label (function_symbol
, copy
, canonical
, &label_result
))
1055 return label_result
;
1058 if (function_symbol
)
1059 throw_exception (file_exception
);
1061 /* Look up that token as a variable.
1062 If file specified, use that file's per-file block to start with. */
1064 return decode_variable (copy
, funfirstline
, canonical
, file_symtab
);
1069 /* Now, more helper functions for decode_line_1. Some conventions
1070 that these functions follow:
1072 Decode_line_1 typically passes along some of its arguments or local
1073 variables to the subfunctions. It passes the variables by
1074 reference if they are modified by the subfunction, and by value
1077 Some of the functions have side effects that don't arise from
1078 variables that are passed by reference. In particular, if a
1079 function is passed ARGPTR as an argument, it modifies what ARGPTR
1080 points to; typically, it advances *ARGPTR past whatever substring
1081 it has just looked at. (If it doesn't modify *ARGPTR, then the
1082 function gets passed *ARGPTR instead, which is then called ARG.)
1083 Also, functions that return a struct symtabs_and_lines may modify
1084 CANONICAL, as in the description of decode_line_1.
1086 If a function returns a struct symtabs_and_lines, then that struct
1087 will immediately make its way up the call chain to be returned by
1088 decode_line_1. In particular, all of the functions decode_XXX
1089 calculate the appropriate struct symtabs_and_lines, under the
1090 assumption that their argument is of the form XXX. */
1092 /* First, some functions to initialize stuff at the beggining of the
1096 initialize_defaults (struct symtab
**default_symtab
, int *default_line
)
1098 if (*default_symtab
== 0)
1100 /* Use whatever we have for the default source line. We don't use
1101 get_current_or_default_symtab_and_line as it can recurse and call
1103 struct symtab_and_line cursal
=
1104 get_current_source_symtab_and_line ();
1106 *default_symtab
= cursal
.symtab
;
1107 *default_line
= cursal
.line
;
1113 /* Decode arg of the form *PC. */
1115 static struct symtabs_and_lines
1116 decode_indirect (char **argptr
)
1118 struct symtabs_and_lines values
;
1122 pc
= value_as_address (parse_to_comma_and_eval (argptr
));
1124 values
.sals
= (struct symtab_and_line
*)
1125 xmalloc (sizeof (struct symtab_and_line
));
1128 values
.sals
[0] = find_pc_line (pc
, 0);
1129 values
.sals
[0].pc
= pc
;
1130 values
.sals
[0].section
= find_pc_overlay (pc
);
1131 values
.sals
[0].explicit_pc
= 1;
1138 /* Locate the first half of the linespec, ending in a colon, period,
1139 or whitespace. (More or less.) Also, check to see if *ARGPTR is
1140 enclosed in double quotes; if so, set is_quote_enclosed, advance
1141 ARGPTR past that and zero out the trailing double quote.
1142 If ARGPTR is just a simple name like "main", p will point to ""
1146 locate_first_half (char **argptr
, int *is_quote_enclosed
)
1152 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
1153 and we must isolate the first half. Outer layers will call again later
1154 for the second half.
1156 Don't count commas that appear in argument lists of overloaded
1157 functions, or in quoted strings. It's stupid to go to this much
1158 trouble when the rest of the function is such an obvious roach hotel. */
1159 ii
= find_toplevel_char (*argptr
, ',');
1160 has_comma
= (ii
!= 0);
1162 /* Temporarily zap out second half to not confuse the code below.
1163 This is undone below. Do not change ii!! */
1169 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
1170 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
1176 *is_quote_enclosed
= 1;
1182 *is_quote_enclosed
= 0;
1183 if (strchr (get_gdb_completer_quote_characters (), *p
))
1193 char *temp_end
= find_template_name_end (p
);
1196 error (_("malformed template specification in command"));
1201 p
= find_method_overload_end (p
);
1203 /* Check for a colon and a plus or minus and a [ (which
1204 indicates an Objective-C method). */
1205 if (is_objc_method_format (p
))
1209 /* Check for the end of the first half of the linespec. End of
1210 line, a tab, a colon or a space. But if enclosed in double
1211 quotes we do not break on enclosed spaces. */
1215 || ((p
[0] == ' ') && !*is_quote_enclosed
))
1217 if (p
[0] == '.' && strchr (p
, ':') == NULL
)
1219 /* Java qualified method. Find the *last* '.', since the
1220 others are package qualifiers. Stop at any open parenthesis
1221 which might provide overload information. */
1222 for (p1
= p
; *p1
&& *p1
!= '('; p1
++)
1230 while (p
[0] == ' ' || p
[0] == '\t')
1233 /* If the closing double quote was left at the end, remove it. */
1234 if (*is_quote_enclosed
)
1236 char *closing_quote
= strchr (p
- 1, '"');
1238 if (closing_quote
&& closing_quote
[1] == '\0')
1239 *closing_quote
= '\0';
1242 /* Now that we've safely parsed the first half, put back ',' so
1243 outer layers can see it. */
1252 /* Here's where we recognise an Objective-C Selector. An Objective C
1253 selector may be implemented by more than one class, therefore it
1254 may represent more than one method/function. This gives us a
1255 situation somewhat analogous to C++ overloading. If there's more
1256 than one method that could represent the selector, then use some of
1257 the existing C++ code to let the user choose one. */
1259 struct symtabs_and_lines
1260 decode_objc (char **argptr
, int funfirstline
, struct symtab
*file_symtab
,
1261 struct linespec_result
*canonical
, char *saved_arg
)
1263 struct symtabs_and_lines values
;
1264 struct symbol
**sym_arr
= NULL
;
1265 struct symbol
*sym
= NULL
;
1266 struct block
*block
= NULL
;
1273 find_imps (file_symtab
, get_search_block (file_symtab
), *argptr
,
1278 sym_arr
= (struct symbol
**)
1279 alloca ((i1
+ 1) * sizeof (struct symbol
*));
1282 *argptr
= find_imps (file_symtab
, block
, *argptr
, sym_arr
, &i1
, &i2
);
1285 /* i1 now represents the TOTAL number of matches found.
1286 i2 represents how many HIGH-LEVEL (struct symbol) matches,
1287 which will come first in the sym_arr array. Any low-level
1288 (minimal_symbol) matches will follow those. */
1294 /* Already a struct symbol. */
1299 sym
= find_pc_function (SYMBOL_VALUE_ADDRESS (sym_arr
[0]));
1300 if ((sym
!= NULL
) && strcmp (SYMBOL_LINKAGE_NAME (sym_arr
[0]),
1301 SYMBOL_LINKAGE_NAME (sym
)) != 0)
1303 warning (_("debugging symbol \"%s\" does "
1304 "not match selector; ignoring"),
1305 SYMBOL_LINKAGE_NAME (sym
));
1310 values
.sals
= (struct symtab_and_line
*)
1311 xmalloc (sizeof (struct symtab_and_line
));
1314 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1316 /* Canonicalize this, so it remains resolved for dylib loads. */
1317 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
1318 build_canonical_line_spec (values
.sals
,
1319 SYMBOL_NATURAL_NAME (sym
), canonical
);
1323 /* The only match was a non-debuggable symbol, which might point
1324 to a function descriptor; resolve it to the actual code address
1326 struct minimal_symbol
*msymbol
= (struct minimal_symbol
*)sym_arr
[0];
1327 struct objfile
*objfile
= msymbol_objfile (msymbol
);
1328 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
1329 CORE_ADDR pc
= SYMBOL_VALUE_ADDRESS (msymbol
);
1331 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
, pc
,
1334 init_sal (&values
.sals
[0]);
1335 values
.sals
[0].pc
= pc
;
1342 /* More than one match. The user must choose one or more. */
1343 return decode_line_2 (sym_arr
, i2
, funfirstline
, canonical
);
1349 /* This handles C++ and Java compound data structures. P should point
1350 at the first component separator, i.e. double-colon or period. As
1351 an example, on entrance to this function we could have ARGPTR
1352 pointing to "AAA::inA::fun" and P pointing to "::inA::fun". */
1354 static struct symtabs_and_lines
1355 decode_compound (char **argptr
, int funfirstline
,
1356 struct linespec_result
*canonical
, struct symtab
*file_symtab
,
1357 char *the_real_saved_arg
, char *p
)
1359 struct symtabs_and_lines values
;
1361 char *saved_arg2
= *argptr
;
1365 struct symbol
*sym_class
;
1367 char *saved_java_argptr
= NULL
;
1370 /* If the user specified any completer quote characters in the input,
1371 strip them. They are superfluous. */
1372 saved_arg
= alloca (strlen (the_real_saved_arg
) + 1);
1374 char *dst
= saved_arg
;
1375 char *src
= the_real_saved_arg
;
1376 char *quotes
= get_gdb_completer_quote_characters ();
1377 while (*src
!= '\0')
1379 if (strchr (quotes
, *src
) == NULL
)
1386 /* First check for "global" namespace specification, of the form
1387 "::foo". If found, skip over the colons and jump to normal
1388 symbol processing. I.e. the whole line specification starts with
1389 "::" (note the condition that *argptr == p). */
1391 && ((*argptr
== p
) || (p
[-1] == ' ') || (p
[-1] == '\t')))
1394 /* Given our example "AAA::inA::fun", we have two cases to consider:
1396 1) AAA::inA is the name of a class. In that case, presumably it
1397 has a method called "fun"; we then look up that method using
1400 2) AAA::inA isn't the name of a class. In that case, either the
1401 user made a typo, AAA::inA is the name of a namespace, or it is
1402 the name of a minimal symbol.
1403 We just look up AAA::inA::fun with lookup_symbol. If that fails,
1404 try lookup_minimal_symbol.
1406 Thus, our first task is to find everything before the last set of
1407 double-colons and figure out if it's the name of a class. So we
1408 first loop through all of the double-colons. */
1410 p2
= p
; /* Save for restart. */
1412 /* This is very messy. Following the example above we have now the
1415 argptr -> "AAA::inA::fun
1416 saved_arg -> "AAA::inA::fun
1417 saved_arg2 -> "AAA::inA::fun
1418 p2 -> "::inA::fun". */
1420 /* In the loop below, with these strings, we'll make 2 passes, each
1421 is marked in comments. */
1425 static char *break_characters
= " \t(";
1427 /* Move pointer up to next possible class/namespace token. */
1429 p
= p2
+ 1; /* Restart with old value +1. */
1431 /* PASS1: at this point p2->"::inA::fun", so p->":inA::fun",
1432 i.e. if there is a double-colon, p will now point to the
1434 /* PASS2: p2->"::fun", p->":fun" */
1436 /* Move pointer ahead to next double-colon. */
1438 && strchr (break_characters
, *p
) == NULL
1439 && strchr (get_gdb_completer_quote_characters (), *p
) == NULL
)
1441 if (current_language
->la_language
== language_cplus
)
1442 p
+= cp_validate_operator (p
);
1446 temp_end
= find_template_name_end (p
);
1448 error (_("malformed template specification in command"));
1451 /* Note that, since, at the start of this loop, p would be
1452 pointing to the second colon in a double-colon, we only
1453 satisfy the condition below if there is another
1454 double-colon to the right (after). I.e. there is another
1455 component that can be a class or a namespace. I.e, if at
1456 the beginning of this loop (PASS1), we had
1457 p->":inA::fun", we'll trigger this when p has been
1458 advanced to point to "::fun". */
1459 /* PASS2: we will not trigger this. */
1460 else if ((p
[0] == ':') && (p
[1] == ':'))
1461 break; /* Found double-colon. */
1464 /* PASS2: We'll keep getting here, until P points to one of the
1465 break characters, at which point we exit this loop. */
1469 && strncmp (&p
[1], CP_ANONYMOUS_NAMESPACE_STR
,
1470 CP_ANONYMOUS_NAMESPACE_LEN
) == 0)
1471 p
+= CP_ANONYMOUS_NAMESPACE_LEN
;
1472 else if (strchr (break_characters
, *p
) == NULL
)
1479 break; /* Out of the while (1). This would happen
1480 for instance if we have looked up
1481 unsuccessfully all the components of the
1482 string, and p->""(PASS2). */
1484 /* We get here if p points to one of the break characters or "" (i.e.,
1486 /* Save restart for next time around. */
1488 /* Restore argptr as it was on entry to this function. */
1489 *argptr
= saved_arg2
;
1490 /* PASS1: at this point p->"::fun" argptr->"AAA::inA::fun",
1493 /* All ready for next pass through the loop. */
1497 /* Start of lookup in the symbol tables. */
1499 /* Lookup in the symbol table the substring between argptr and
1500 p. Note, this call changes the value of argptr. */
1501 /* Before the call, argptr->"AAA::inA::fun",
1502 p->"", p2->"::fun". After the call: argptr->"fun", p, p2
1504 sym_class
= lookup_prefix_sym (argptr
, p2
, file_symtab
);
1506 /* If sym_class has been found, and if "AAA::inA" is a class, then
1507 we're in case 1 above. So we look up "fun" as a method of that
1510 (t
= check_typedef (SYMBOL_TYPE (sym_class
)),
1511 (TYPE_CODE (t
) == TYPE_CODE_STRUCT
1512 || TYPE_CODE (t
) == TYPE_CODE_UNION
)))
1514 /* Arg token is not digits => try it as a function name.
1515 Find the next token (everything up to end or next
1518 && strchr (get_gdb_completer_quote_characters (),
1521 p
= skip_quoted (*argptr
);
1522 *argptr
= *argptr
+ 1;
1526 /* At this point argptr->"fun". */
1530 while (*p
&& *p
!= ' ' && *p
!= '\t' && *p
!= ',' && *p
!= ':'
1533 /* At this point p->"". String ended. */
1534 /* Nope, C++ operators could have spaces in them
1535 ("foo::operator <" or "foo::operator delete []").
1536 I apologize, this is a bit hacky... */
1537 if (current_language
->la_language
== language_cplus
1538 && *p
== ' ' && p
- 8 - *argptr
+ 1 > 0)
1540 /* The above loop has already swallowed "operator". */
1541 p
+= cp_validate_operator (p
- 8) - 8;
1544 /* Keep any important naming information. */
1545 p
= keep_name_info (p
);
1547 /* Java may append typenames, so assume that if there is
1548 anything else left in *argptr, it must be a typename. */
1549 if (*p
&& current_language
->la_language
== language_java
)
1556 copy
= (char *) alloca (p2
- p
+ 1);
1557 memcpy (copy
, p
, p2
- p
);
1558 copy
[p2
- p
] = '\0';
1559 type
= lookup_typename (current_language
, get_current_arch (),
1563 /* Save the location of this just in case this
1564 method/type combination isn't actually defined.
1565 It will be checked later. */
1566 saved_java_argptr
= p
;
1572 /* Allocate our own copy of the substring between argptr and
1574 copy
= (char *) alloca (p
- *argptr
+ 1);
1575 memcpy (copy
, *argptr
, p
- *argptr
);
1576 copy
[p
- *argptr
] = '\0';
1578 && copy
[p
- *argptr
- 1]
1579 && strchr (get_gdb_completer_quote_characters (),
1580 copy
[p
- *argptr
- 1]) != NULL
)
1581 copy
[p
- *argptr
- 1] = '\0';
1583 /* At this point copy->"fun", p->"". */
1585 /* No line number may be specified. */
1586 while (*p
== ' ' || *p
== '\t')
1589 /* At this point arptr->"". */
1591 /* Look for copy as a method of sym_class. */
1592 /* At this point copy->"fun", sym_class is "AAA:inA",
1593 saved_arg->"AAA::inA::fun". This concludes the scanning of
1594 the string for possible components matches. If we find it
1595 here, we return. If not, and we are at the and of the string,
1596 we'll lookup the whole string in the symbol tables. */
1598 values
= find_method (funfirstline
, canonical
, saved_arg
,
1599 copy
, t
, sym_class
, file_symtab
);
1600 if (saved_java_argptr
!= NULL
&& values
.nelts
== 1)
1602 /* The user specified a specific return type for a java method.
1603 Double-check that it really is the one the user specified.
1604 [This is a necessary evil because strcmp_iw_ordered stops
1605 comparisons too prematurely.] */
1606 sym
= find_pc_sect_function (values
.sals
[0].pc
,
1607 values
.sals
[0].section
);
1608 /* We just found a SAL, we had better be able to go backwards! */
1609 gdb_assert (sym
!= NULL
);
1610 if (strcmp_iw (SYMBOL_LINKAGE_NAME (sym
), saved_arg
) != 0)
1612 xfree (values
.sals
);
1613 error (_("the class `%s' does not have "
1614 "any method instance named %s"),
1615 SYMBOL_PRINT_NAME (sym_class
), copy
);
1619 } /* End if symbol found. */
1622 /* We couldn't find a class, so we're in case 2 above. We check the
1623 entire name as a symbol instead. */
1625 p
= keep_name_info (p
);
1627 copy
= (char *) alloca (p
- saved_arg2
+ 1);
1628 memcpy (copy
, saved_arg2
, p
- saved_arg2
);
1629 /* Note: if is_quoted should be true, we snuff out quote here
1631 copy
[p
- saved_arg2
] = '\000';
1632 /* Set argptr to skip over the name. */
1633 *argptr
= (*p
== '\'') ? p
+ 1 : p
;
1635 /* Look up entire name. */
1636 sym
= lookup_symbol (copy
, get_selected_block (0), VAR_DOMAIN
, 0);
1638 return symbol_found (funfirstline
, canonical
, copy
, sym
, NULL
, NULL
);
1641 struct minimal_symbol
*msym
;
1643 /* Couldn't find any interpretation as classes/namespaces. As a last
1644 resort, try the minimal symbol tables. */
1645 msym
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1647 return minsym_found (funfirstline
, msym
);
1650 /* Couldn't find a minimal symbol, either, so give up. */
1651 cplusplus_error (the_real_saved_arg
,
1652 "Can't find member of namespace, "
1653 "class, struct, or union named \"%s\"\n",
1657 /* Next come some helper functions for decode_compound. */
1659 /* Return the symbol corresponding to the substring of *ARGPTR ending
1660 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1661 name in question, the compound object separator ("::" or "."), and
1662 whitespace. Note that *ARGPTR is changed whether or not the
1663 lookup_symbol call finds anything (i.e we return NULL). As an
1664 example, say ARGPTR is "AAA::inA::fun" and P is "::inA::fun". */
1666 static struct symbol
*
1667 lookup_prefix_sym (char **argptr
, char *p
, struct symtab
*file_symtab
)
1673 /* Extract the class name. */
1675 while (p
!= *argptr
&& p
[-1] == ' ')
1677 copy
= (char *) alloca (p
- *argptr
+ 1);
1678 memcpy (copy
, *argptr
, p
- *argptr
);
1679 copy
[p
- *argptr
] = 0;
1681 /* Discard the class name from the argptr. */
1682 p
= p1
+ (p1
[0] == ':' ? 2 : 1);
1683 while (*p
== ' ' || *p
== '\t')
1687 /* At this point p1->"::inA::fun", p->"inA::fun" copy->"AAA",
1688 argptr->"inA::fun". */
1690 sym
= lookup_symbol (copy
, get_search_block (file_symtab
), STRUCT_DOMAIN
, 0);
1693 /* Typedefs are in VAR_DOMAIN so the above symbol lookup will
1694 fail when the user attempts to lookup a method of a class
1695 via a typedef'd name (NOT via the class's name, which is already
1696 handled in symbol_matches_domain). So try the lookup again
1697 using VAR_DOMAIN (where typedefs live) and double-check that we
1698 found a struct/class type. */
1699 struct symbol
*s
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
1703 struct type
*t
= SYMBOL_TYPE (s
);
1706 if (TYPE_CODE (t
) == TYPE_CODE_STRUCT
)
1714 /* This finds the method COPY in the class whose type is T and whose
1715 symbol is SYM_CLASS. */
1717 static struct symtabs_and_lines
1718 find_method (int funfirstline
, struct linespec_result
*canonical
,
1720 char *copy
, struct type
*t
, struct symbol
*sym_class
,
1721 struct symtab
*file_symtab
)
1723 struct symtabs_and_lines values
;
1724 struct symbol
*sym
= NULL
;
1725 int i1
; /* Counter for the symbol array. */
1726 struct symbol
**sym_arr
= alloca (total_number_of_methods (t
)
1727 * sizeof (struct symbol
*));
1729 /* Find all methods with a matching name, and put them in
1732 i1
= find_methods (t
, copy
, SYMBOL_LANGUAGE (sym_class
), sym_arr
,
1737 /* There is exactly one field with that name. */
1740 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1742 values
.sals
= (struct symtab_and_line
*)
1743 xmalloc (sizeof (struct symtab_and_line
));
1745 values
.sals
[0] = find_function_start_sal (sym
,
1757 /* If we were given a specific overload instance, use that
1758 (or error if no matches were found). Otherwise ask the user
1759 which one to use. */
1760 if (strchr (copy
, '('))
1765 struct cleanup
*cleanup
;
1767 /* Construct the proper search name based on SYM_CLASS and COPY.
1768 SAVED_ARG may contain a valid name, but that name might not be
1769 what is actually stored in the symbol table. For example,
1770 if SAVED_ARG (and SYM_CLASS) were found via an import
1771 ("using namespace" in C++), then the physname of
1772 SYM_CLASS ("A::myclass") may not be the same as SAVED_ARG
1774 name
= xmalloc (strlen (SYMBOL_NATURAL_NAME (sym_class
))
1775 + 2 /* "::" */ + strlen (copy
) + 1);
1776 strcpy (name
, SYMBOL_NATURAL_NAME (sym_class
));
1777 strcat (name
, "::");
1778 strcat (name
, copy
);
1779 canon
= cp_canonicalize_string (name
);
1785 cleanup
= make_cleanup (xfree
, name
);
1787 for (i
= 0; i
< i1
; ++i
)
1789 if (strcmp_iw (name
, SYMBOL_LINKAGE_NAME (sym_arr
[i
])) == 0)
1791 values
.sals
= (struct symtab_and_line
*)
1792 xmalloc (sizeof (struct symtab_and_line
));
1794 values
.sals
[0] = find_function_start_sal (sym_arr
[i
],
1796 do_cleanups (cleanup
);
1801 error (_("the class `%s' does not have "
1802 "any method instance named %s"),
1803 SYMBOL_PRINT_NAME (sym_class
), copy
);
1806 return decode_line_2 (sym_arr
, i1
, funfirstline
, canonical
);
1811 cplusplus_error (saved_arg
,
1812 "the class `%s' does not have destructor defined\n",
1813 SYMBOL_PRINT_NAME (sym_class
));
1815 cplusplus_error (saved_arg
,
1816 "the class %s does not have any method named %s\n",
1817 SYMBOL_PRINT_NAME (sym_class
), copy
);
1823 /* Return the symtab associated to the filename given by the substring
1824 of *ARGPTR ending at P, and advance ARGPTR past that filename. */
1826 static struct symtab
*
1827 symtab_from_filename (char **argptr
, char *p
, int is_quote_enclosed
)
1831 struct symtab
*file_symtab
;
1834 while (p
!= *argptr
&& p
[-1] == ' ')
1836 if ((*p
== '"') && is_quote_enclosed
)
1838 copy
= (char *) alloca (p
- *argptr
+ 1);
1839 memcpy (copy
, *argptr
, p
- *argptr
);
1840 /* It may have the ending quote right after the file name. */
1841 if ((is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1842 || copy
[p
- *argptr
- 1] == '\'')
1843 copy
[p
- *argptr
- 1] = 0;
1845 copy
[p
- *argptr
] = 0;
1847 /* Find that file's data. */
1848 file_symtab
= lookup_symtab (copy
);
1849 if (file_symtab
== 0)
1851 if (!have_full_symbols () && !have_partial_symbols ())
1852 throw_error (NOT_FOUND_ERROR
,
1853 _("No symbol table is loaded. "
1854 "Use the \"file\" command."));
1855 throw_error (NOT_FOUND_ERROR
, _("No source file named %s."), copy
);
1858 /* Discard the file name from the arg. */
1860 while (*p
== ' ' || *p
== '\t')
1867 /* Look up a function symbol in *ARGPTR. If found, advance *ARGPTR
1868 and return the symbol. If not found, return NULL. */
1870 static struct symbol
*
1871 find_function_symbol (char **argptr
, char *p
, int is_quote_enclosed
)
1875 struct symbol
*function_symbol
;
1878 while (p
!= *argptr
&& p
[-1] == ' ')
1880 if ((*p
== '"') && is_quote_enclosed
)
1882 copy
= (char *) alloca (p
- *argptr
+ 1);
1883 memcpy (copy
, *argptr
, p
- *argptr
);
1884 /* It may have the ending quote right after the file name. */
1885 if ((is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1886 || copy
[p
- *argptr
- 1] == '\'')
1887 copy
[p
- *argptr
- 1] = 0;
1889 copy
[p
- *argptr
] = 0;
1891 function_symbol
= lookup_symbol (copy
, get_selected_block (0),
1893 if (!function_symbol
|| SYMBOL_CLASS (function_symbol
) != LOC_BLOCK
)
1896 /* Discard the file name from the arg. */
1898 while (*p
== ' ' || *p
== '\t')
1902 return function_symbol
;
1907 /* This decodes a line where the argument is all digits (possibly
1908 preceded by a sign). Q should point to the end of those digits;
1909 the other arguments are as usual. */
1911 static struct symtabs_and_lines
1912 decode_all_digits (char **argptr
, struct symtab
*default_symtab
,
1913 int default_line
, struct linespec_result
*canonical
,
1914 struct symtab
*file_symtab
, char *q
)
1917 struct symtabs_and_lines values
;
1918 struct symtab_and_line val
;
1926 /* We might need a canonical line spec if no file was specified. */
1927 int need_canonical
= (file_symtab
== NULL
) ? 1 : 0;
1931 val
.pspace
= current_program_space
;
1933 /* This is where we need to make sure that we have good defaults.
1934 We must guarantee that this section of code is never executed
1935 when we are called with just a function name, since
1936 set_default_source_symtab_and_line uses
1937 select_source_symtab that calls us with such an argument. */
1939 if (file_symtab
== 0 && default_symtab
== 0)
1941 /* Make sure we have at least a default source file. */
1942 set_default_source_symtab_and_line ();
1943 initialize_defaults (&default_symtab
, &default_line
);
1946 if (**argptr
== '+')
1947 sign
= plus
, (*argptr
)++;
1948 else if (**argptr
== '-')
1949 sign
= minus
, (*argptr
)++;
1950 val
.line
= atoi (*argptr
);
1956 if (file_symtab
== 0)
1957 val
.line
= default_line
+ val
.line
;
1962 if (file_symtab
== 0)
1963 val
.line
= default_line
- val
.line
;
1968 break; /* No need to adjust val.line. */
1971 while (*q
== ' ' || *q
== '\t')
1974 if (file_symtab
== 0)
1975 file_symtab
= default_symtab
;
1977 /* It is possible that this source file has more than one symtab,
1978 and that the new line number specification has moved us from the
1979 default (in file_symtab) to a new one. */
1980 val
.symtab
= find_line_symtab (file_symtab
, val
.line
, NULL
, NULL
);
1981 if (val
.symtab
== 0)
1982 val
.symtab
= file_symtab
;
1984 val
.pspace
= SYMTAB_PSPACE (val
.symtab
);
1986 values
.sals
= (struct symtab_and_line
*)
1987 xmalloc (sizeof (struct symtab_and_line
));
1988 values
.sals
[0] = val
;
1991 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1992 values
.sals
[0].explicit_line
= 1;
1998 /* Decode a linespec starting with a dollar sign. */
2000 static struct symtabs_and_lines
2001 decode_dollar (char *copy
, int funfirstline
, struct symtab
*default_symtab
,
2002 struct linespec_result
*canonical
, struct symtab
*file_symtab
)
2006 int need_canonical
= 0;
2007 struct symtabs_and_lines values
;
2008 struct symtab_and_line val
;
2011 struct minimal_symbol
*msymbol
;
2013 p
= (copy
[1] == '$') ? copy
+ 2 : copy
+ 1;
2014 while (*p
>= '0' && *p
<= '9')
2016 if (!*p
) /* Reached end of token without hitting non-digit. */
2018 /* We have a value history reference. */
2019 struct value
*val_history
;
2021 sscanf ((copy
[1] == '$') ? copy
+ 2 : copy
+ 1, "%d", &index
);
2022 val_history
= access_value_history ((copy
[1] == '$') ? -index
: index
);
2023 if (TYPE_CODE (value_type (val_history
)) != TYPE_CODE_INT
)
2024 error (_("History values used in line "
2025 "specs must have integer values."));
2026 valx
= value_as_long (val_history
);
2030 /* Not all digits -- may be user variable/function or a
2031 convenience variable. */
2033 /* Look up entire name as a symbol first. */
2034 sym
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
2035 file_symtab
= (struct symtab
*) NULL
;
2037 /* Symbol was found --> jump to normal symbol processing. */
2039 return symbol_found (funfirstline
, canonical
, copy
, sym
, NULL
, NULL
);
2041 /* If symbol was not found, look in minimal symbol tables. */
2042 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
2043 /* Min symbol was found --> jump to minsym processing. */
2045 return minsym_found (funfirstline
, msymbol
);
2047 /* Not a user variable or function -- must be convenience variable. */
2048 if (!get_internalvar_integer (lookup_internalvar (copy
+ 1), &valx
))
2049 error (_("Convenience variables used in line "
2050 "specs must have integer values."));
2055 /* Either history value or convenience value from above, in valx. */
2056 val
.symtab
= file_symtab
? file_symtab
: default_symtab
;
2059 val
.pspace
= current_program_space
;
2061 values
.sals
= (struct symtab_and_line
*) xmalloc (sizeof val
);
2062 values
.sals
[0] = val
;
2066 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
2073 /* A helper for decode_line_1 that tries to find a label. The label
2074 is searched for in the current block.
2075 FUNCTION_SYMBOL is the enclosing function; or NULL if none
2077 COPY is the name of the label to find.
2078 CANONICAL is the same as the "canonical" argument to decode_line_1.
2079 RESULT is a pointer to a symtabs_and_lines structure which will be
2080 filled in on success.
2081 This function returns 1 if a label was found, 0 otherwise. */
2084 decode_label (struct symbol
*function_symbol
, char *copy
,
2085 struct linespec_result
*canonical
,
2086 struct symtabs_and_lines
*result
)
2089 struct block
*block
;
2091 if (function_symbol
)
2092 block
= SYMBOL_BLOCK_VALUE (function_symbol
);
2095 block
= get_selected_block (0);
2097 block
&& !BLOCK_FUNCTION (block
);
2098 block
= BLOCK_SUPERBLOCK (block
))
2102 function_symbol
= BLOCK_FUNCTION (block
);
2105 sym
= lookup_symbol (copy
, block
, LABEL_DOMAIN
, 0);
2108 *result
= symbol_found (0, canonical
, copy
, sym
, NULL
, function_symbol
);
2113 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
2114 look in that symtab's static variables first. */
2116 static struct symtabs_and_lines
2117 decode_variable (char *copy
, int funfirstline
,
2118 struct linespec_result
*canonical
,
2119 struct symtab
*file_symtab
)
2122 struct minimal_symbol
*msymbol
;
2124 sym
= lookup_symbol (copy
, get_search_block (file_symtab
),
2128 return symbol_found (funfirstline
, canonical
, copy
, sym
, file_symtab
, NULL
);
2130 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
2132 if (msymbol
!= NULL
)
2133 return minsym_found (funfirstline
, msymbol
);
2135 if (!have_full_symbols ()
2136 && !have_partial_symbols ()
2137 && !have_minimal_symbols ())
2138 throw_error (NOT_FOUND_ERROR
,
2139 _("No symbol table is loaded. Use the \"file\" command."));
2140 throw_error (NOT_FOUND_ERROR
, _("Function \"%s\" not defined."), copy
);
2146 /* Now come some functions that are called from multiple places within
2149 /* We've found a symbol SYM to associate with our linespec; build a
2150 corresponding struct symtabs_and_lines. */
2152 static struct symtabs_and_lines
2153 symbol_found (int funfirstline
, struct linespec_result
*canonical
, char *copy
,
2154 struct symbol
*sym
, struct symtab
*file_symtab
,
2155 struct symbol
*function_symbol
)
2157 struct symtabs_and_lines values
;
2159 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
)
2161 /* Arg is the name of a function. */
2162 values
.sals
= (struct symtab_and_line
*)
2163 xmalloc (sizeof (struct symtab_and_line
));
2164 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
2167 /* Don't use the SYMBOL_LINE; if used at all it points to
2168 the line containing the parameters or thereabouts, not
2169 the first line of code. */
2171 /* We might need a canonical line spec if it is a static
2173 if (file_symtab
== 0)
2175 struct blockvector
*bv
= BLOCKVECTOR (SYMBOL_SYMTAB (sym
));
2176 struct block
*b
= BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
);
2178 if (lookup_block_symbol (b
, copy
, VAR_DOMAIN
) != NULL
)
2179 build_canonical_line_spec (values
.sals
, copy
, canonical
);
2185 if (SYMBOL_CLASS (sym
) == LOC_LABEL
&& SYMBOL_VALUE_ADDRESS (sym
) != 0)
2187 /* We know its line number. */
2188 values
.sals
= (struct symtab_and_line
*)
2189 xmalloc (sizeof (struct symtab_and_line
));
2191 init_sal (&values
.sals
[0]);
2192 values
.sals
[0].symtab
= SYMBOL_SYMTAB (sym
);
2193 values
.sals
[0].line
= SYMBOL_LINE (sym
);
2194 values
.sals
[0].pc
= SYMBOL_VALUE_ADDRESS (sym
);
2195 values
.sals
[0].pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
2196 values
.sals
[0].explicit_pc
= 1;
2200 canonical
->special_display
= 1;
2201 canonical
->canonical
= xmalloc (sizeof (char *));
2202 canonical
->canonical
[0]
2203 = xstrprintf ("%s:%s",
2204 SYMBOL_NATURAL_NAME (function_symbol
),
2205 SYMBOL_NATURAL_NAME (sym
));
2210 else if (funfirstline
)
2211 error (_("\"%s\" is not a function"), copy
);
2212 else if (SYMBOL_LINE (sym
) != 0)
2214 /* We know its line number. */
2215 values
.sals
= (struct symtab_and_line
*)
2216 xmalloc (sizeof (struct symtab_and_line
));
2218 memset (&values
.sals
[0], 0, sizeof (values
.sals
[0]));
2219 values
.sals
[0].symtab
= SYMBOL_SYMTAB (sym
);
2220 values
.sals
[0].line
= SYMBOL_LINE (sym
);
2221 values
.sals
[0].pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
2225 /* This can happen if it is compiled with a compiler which doesn't
2226 put out line numbers for variables. */
2227 /* FIXME: Shouldn't we just set .line and .symtab to zero
2228 and return? For example, "info line foo" could print
2230 error (_("Line number not known for symbol \"%s\""), copy
);
2234 /* We've found a minimal symbol MSYMBOL to associate with our
2235 linespec; build a corresponding struct symtabs_and_lines. */
2237 static struct symtabs_and_lines
2238 minsym_found (int funfirstline
, struct minimal_symbol
*msymbol
)
2240 struct objfile
*objfile
= msymbol_objfile (msymbol
);
2241 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
2242 struct symtabs_and_lines values
;
2245 values
.sals
= (struct symtab_and_line
*)
2246 xmalloc (sizeof (struct symtab_and_line
));
2247 values
.sals
[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol
),
2248 (struct obj_section
*) 0, 0);
2249 values
.sals
[0].section
= SYMBOL_OBJ_SECTION (msymbol
);
2251 /* The minimal symbol might point to a function descriptor;
2252 resolve it to the actual code address instead. */
2253 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
,
2256 if (pc
!= values
.sals
[0].pc
)
2257 values
.sals
[0] = find_pc_sect_line (pc
, NULL
, 0);
2260 skip_prologue_sal (&values
.sals
[0]);
2267 init_linespec_result (struct linespec_result
*lr
)
2269 memset (lr
, 0, sizeof (*lr
));