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 /* Prototypes for local functions. */
49 static void initialize_defaults (struct symtab
**default_symtab
,
52 static struct symtabs_and_lines
decode_indirect (char **argptr
);
54 static char *locate_first_half (char **argptr
, int *is_quote_enclosed
);
56 static struct symtabs_and_lines
decode_objc (char **argptr
,
58 struct symtab
*file_symtab
,
59 struct linespec_result
*canonical
,
62 static struct symtabs_and_lines
decode_compound (char **argptr
,
64 struct linespec_result
*canonical
,
65 struct symtab
*file_symtab
,
69 static struct symbol
*lookup_prefix_sym (char **argptr
, char *p
,
72 static struct symtabs_and_lines
find_method (int funfirstline
,
73 struct linespec_result
*canonical
,
77 struct symbol
*sym_class
,
80 static void cplusplus_error (const char *name
, const char *fmt
, ...)
81 ATTRIBUTE_NORETURN
ATTRIBUTE_PRINTF (2, 3);
83 static int total_number_of_methods (struct type
*type
);
85 static int find_methods (struct type
*, char *,
86 enum language
, struct symbol
**, struct symtab
*);
88 static int add_matching_methods (int method_counter
, struct type
*t
,
89 enum language language
,
90 struct symbol
**sym_arr
);
92 static int add_constructors (int method_counter
, struct type
*t
,
93 enum language language
,
94 struct symbol
**sym_arr
);
96 static void build_canonical_line_spec (struct symtab_and_line
*,
97 char *, struct linespec_result
*);
99 static char *find_toplevel_char (char *s
, char c
);
101 static int is_objc_method_format (const char *s
);
103 static struct symtabs_and_lines
decode_line_2 (struct symbol
*[],
105 struct linespec_result
*);
107 static struct symtab
*symtab_from_filename (char **argptr
,
108 char *p
, int is_quote_enclosed
);
110 static struct symbol
*find_function_symbol (char **argptr
, char *p
,
111 int is_quote_enclosed
);
114 symtabs_and_lines
decode_all_digits (char **argptr
,
115 struct symtab
*default_symtab
,
117 struct linespec_result
*canonical
,
118 struct symtab
*file_symtab
,
121 static struct symtabs_and_lines
decode_dollar (char *copy
,
123 struct symtab
*default_symtab
,
124 struct linespec_result
*canonical
,
125 struct symtab
*file_symtab
);
127 static int decode_label (struct symbol
*function_symbol
,
128 char *copy
, struct linespec_result
*canonical
,
129 struct symtabs_and_lines
*result
);
131 static struct symtabs_and_lines
decode_variable (char *copy
,
133 struct linespec_result
*canonical
,
134 struct symtab
*file_symtab
);
137 symtabs_and_lines
symbol_found (int funfirstline
,
138 struct linespec_result
*canonical
,
141 struct symtab
*file_symtab
,
142 struct symbol
*function_symbol
);
145 symtabs_and_lines
minsym_found (int funfirstline
,
146 struct minimal_symbol
*msymbol
);
148 /* Helper functions. */
150 /* Issue a helpful hint on using the command completion feature on
151 single quoted demangled C++ symbols as part of the completion
155 cplusplus_error (const char *name
, const char *fmt
, ...)
157 struct ui_file
*tmp_stream
;
160 tmp_stream
= mem_fileopen ();
161 make_cleanup_ui_file_delete (tmp_stream
);
166 va_start (args
, fmt
);
167 vfprintf_unfiltered (tmp_stream
, fmt
, args
);
171 while (*name
== '\'')
173 fprintf_unfiltered (tmp_stream
,
174 ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
175 "(Note leading single quote.)"),
178 message
= ui_file_xstrdup (tmp_stream
, NULL
);
179 make_cleanup (xfree
, message
);
180 throw_error (NOT_FOUND_ERROR
, "%s", message
);
183 /* Return the number of methods described for TYPE, including the
184 methods from types it derives from. This can't be done in the symbol
185 reader because the type of the baseclass might still be stubbed
186 when the definition of the derived class is parsed. */
189 total_number_of_methods (struct type
*type
)
194 CHECK_TYPEDEF (type
);
195 if (! HAVE_CPLUS_STRUCT (type
))
197 count
= TYPE_NFN_FIELDS_TOTAL (type
);
199 for (n
= 0; n
< TYPE_N_BASECLASSES (type
); n
++)
200 count
+= total_number_of_methods (TYPE_BASECLASS (type
, n
));
205 /* Returns the block to be used for symbol searches for the given SYMTAB,
206 which may be NULL. */
208 static struct block
*
209 get_search_block (struct symtab
*symtab
)
214 block
= BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab
), STATIC_BLOCK
);
217 enum language save_language
;
219 /* get_selected_block can change the current language when there is
220 no selected frame yet. */
221 save_language
= current_language
->la_language
;
222 block
= get_selected_block (0);
223 set_language (save_language
);
229 /* Recursive helper function for decode_line_1.
230 Look for methods named NAME in type T.
231 Return number of matches.
232 Put matches in SYM_ARR, which should have been allocated with
233 a size of total_number_of_methods (T) * sizeof (struct symbol *).
234 Note that this function is g++ specific. */
237 find_methods (struct type
*t
, char *name
, enum language language
,
238 struct symbol
**sym_arr
, struct symtab
*file_symtab
)
242 char *class_name
= type_name_no_tag (t
);
243 struct cleanup
*cleanup
;
246 /* NAME is typed by the user: it needs to be canonicalized before
247 passing to lookup_symbol. */
248 canon
= cp_canonicalize_string_no_typedefs (name
);
252 cleanup
= make_cleanup (xfree
, name
);
255 cleanup
= make_cleanup (null_cleanup
, NULL
);
257 /* Ignore this class if it doesn't have a name. This is ugly, but
258 unless we figure out how to get the physname without the name of
259 the class, then the loop can't do any good. */
261 && (lookup_symbol_in_language (class_name
, get_search_block (file_symtab
),
262 STRUCT_DOMAIN
, language
, (int *) NULL
)))
265 int name_len
= strlen (name
);
269 /* Loop over each method name. At this level, all overloads of a name
270 are counted as a single name. There is an inner loop which loops over
273 for (method_counter
= TYPE_NFN_FIELDS (t
) - 1;
277 char *method_name
= TYPE_FN_FIELDLIST_NAME (t
, method_counter
);
280 if (strncmp (method_name
, "__", 2) == 0 ||
281 strncmp (method_name
, "op", 2) == 0 ||
282 strncmp (method_name
, "type", 4) == 0)
284 if (cplus_demangle_opname (method_name
, dem_opname
, DMGL_ANSI
))
285 method_name
= dem_opname
;
286 else if (cplus_demangle_opname (method_name
, dem_opname
, 0))
287 method_name
= dem_opname
;
290 if (strcmp_iw (name
, method_name
) == 0)
291 /* Find all the overloaded methods with that name. */
292 i1
+= add_matching_methods (method_counter
, t
, language
,
294 else if (strncmp (class_name
, name
, name_len
) == 0
295 && (class_name
[name_len
] == '\0'
296 || class_name
[name_len
] == '<'))
297 i1
+= add_constructors (method_counter
, t
, language
,
302 /* Only search baseclasses if there is no match yet, since names in
303 derived classes override those in baseclasses.
305 FIXME: The above is not true; it is only true of member functions
306 if they have the same number of arguments (??? - section 13.1 of the
307 ARM says the function members are not in the same scope but doesn't
308 really spell out the rules in a way I understand. In any case, if
309 the number of arguments differ this is a case in which we can overload
310 rather than hiding without any problem, and gcc 2.4.5 does overload
311 rather than hiding in this case). */
314 for (ibase
= 0; ibase
< TYPE_N_BASECLASSES (t
); ibase
++)
315 i1
+= find_methods (TYPE_BASECLASS (t
, ibase
), name
,
316 language
, sym_arr
+ i1
, file_symtab
);
318 do_cleanups (cleanup
);
322 /* Add the symbols associated to methods of the class whose type is T
323 and whose name matches the method indexed by METHOD_COUNTER in the
324 array SYM_ARR. Return the number of methods added. */
327 add_matching_methods (int method_counter
, struct type
*t
,
328 enum language language
, struct symbol
**sym_arr
)
333 for (field_counter
= TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
338 const char *phys_name
;
340 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
342 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
344 char *tmp_name
, *tmp2
;
346 tmp_name
= gdb_mangle_name (t
,
349 tmp2
= alloca (strlen (tmp_name
) + 1);
350 strcpy (tmp2
, tmp_name
);
355 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
357 sym_arr
[i1
] = lookup_symbol_in_language (phys_name
,
365 /* This error message gets printed, but the method
366 still seems to be found.
367 fputs_filtered("(Cannot find method ", gdb_stdout);
368 fprintf_symbol_filtered (gdb_stdout, phys_name,
370 DMGL_PARAMS | DMGL_ANSI);
371 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
379 /* Add the symbols associated to constructors of the class whose type
380 is CLASS_TYPE and which are indexed by by METHOD_COUNTER to the
381 array SYM_ARR. Return the number of methods added. */
384 add_constructors (int method_counter
, struct type
*t
,
385 enum language language
, struct symbol
**sym_arr
)
390 /* For GCC 3.x and stabs, constructors and destructors
391 have names like __base_ctor and __complete_dtor.
392 Check the physname for now if we're looking for a
395 = TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
400 const char *phys_name
;
402 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
404 /* GCC 3.x will never produce stabs stub methods, so
405 we don't need to handle this case. */
406 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
408 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
409 if (! is_constructor_name (phys_name
))
412 /* If this method is actually defined, include it in the
414 sym_arr
[i1
] = lookup_symbol_in_language (phys_name
,
425 /* Helper function for decode_line_1.
426 Build a canonical line spec in CANONICAL if it is non-NULL and if
427 the SAL has a symtab.
428 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
429 If SYMNAME is NULL the line number from SAL is used and the canonical
430 line spec is `filename:linenum'. */
433 build_canonical_line_spec (struct symtab_and_line
*sal
, char *symname
,
434 struct linespec_result
*canonical
)
436 char **canonical_arr
;
437 char *canonical_name
;
439 struct symtab
*s
= sal
->symtab
;
441 if (s
== (struct symtab
*) NULL
442 || s
->filename
== (char *) NULL
443 || canonical
== NULL
)
446 canonical_arr
= (char **) xmalloc (sizeof (char *));
447 canonical
->canonical
= canonical_arr
;
449 filename
= s
->filename
;
452 canonical_name
= xmalloc (strlen (filename
) + strlen (symname
) + 2);
453 sprintf (canonical_name
, "%s:%s", filename
, symname
);
457 canonical_name
= xmalloc (strlen (filename
) + 30);
458 sprintf (canonical_name
, "%s:%d", filename
, sal
->line
);
460 canonical_arr
[0] = canonical_name
;
465 /* Find an instance of the character C in the string S that is outside
466 of all parenthesis pairs, single-quoted strings, and double-quoted
467 strings. Also, ignore the char within a template name, like a ','
468 within foo<int, int>. */
471 find_toplevel_char (char *s
, char c
)
473 int quoted
= 0; /* zero if we're not in quotes;
474 '"' if we're in a double-quoted string;
475 '\'' if we're in a single-quoted string. */
476 int depth
= 0; /* Number of unclosed parens we've seen. */
479 for (scan
= s
; *scan
; scan
++)
485 else if (*scan
== '\\' && *(scan
+ 1))
488 else if (*scan
== c
&& ! quoted
&& depth
== 0)
490 else if (*scan
== '"' || *scan
== '\'')
492 else if (*scan
== '(' || *scan
== '<')
494 else if ((*scan
== ')' || *scan
== '>') && depth
> 0)
501 /* Determines if the gives string corresponds to an Objective-C method
502 representation, such as -[Foo bar:] or +[Foo bar]. Objective-C symbols
503 are allowed to have spaces and parentheses in them. */
506 is_objc_method_format (const char *s
)
508 if (s
== NULL
|| *s
== '\0')
510 /* Handle arguments with the format FILENAME:SYMBOL. */
511 if ((s
[0] == ':') && (strchr ("+-", s
[1]) != NULL
)
512 && (s
[2] == '[') && strchr(s
, ']'))
514 /* Handle arguments that are just SYMBOL. */
515 else if ((strchr ("+-", s
[0]) != NULL
) && (s
[1] == '[') && strchr(s
, ']'))
520 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
521 operate on (ask user if necessary).
522 If CANONICAL is non-NULL return a corresponding array of mangled names
523 as canonical line specs there. */
525 static struct symtabs_and_lines
526 decode_line_2 (struct symbol
*sym_arr
[], int nelts
, int funfirstline
,
527 struct linespec_result
*canonical
)
529 struct symtabs_and_lines values
, return_values
;
534 struct cleanup
*old_chain
;
535 char **canonical_arr
= (char **) NULL
;
536 const char *select_mode
= multiple_symbols_select_mode ();
538 if (select_mode
== multiple_symbols_cancel
)
539 error (_("canceled because the command is ambiguous\n"
540 "See set/show multiple-symbol."));
542 values
.sals
= (struct symtab_and_line
*)
543 alloca (nelts
* sizeof (struct symtab_and_line
));
544 return_values
.sals
= (struct symtab_and_line
*)
545 xmalloc (nelts
* sizeof (struct symtab_and_line
));
546 old_chain
= make_cleanup (xfree
, return_values
.sals
);
550 canonical_arr
= (char **) xmalloc (nelts
* sizeof (char *));
551 make_cleanup (xfree
, canonical_arr
);
552 memset (canonical_arr
, 0, nelts
* sizeof (char *));
553 canonical
->canonical
= canonical_arr
;
559 init_sal (&return_values
.sals
[i
]); /* Initialize to zeroes. */
560 init_sal (&values
.sals
[i
]);
561 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
562 values
.sals
[i
] = find_function_start_sal (sym_arr
[i
], funfirstline
);
566 /* If select_mode is "all", then do not print the multiple-choice
567 menu and act as if the user had chosen choice "1" (all). */
568 if (select_mode
== multiple_symbols_all
569 || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
574 printf_unfiltered (_("[0] cancel\n[1] all\n"));
577 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
579 if (values
.sals
[i
].symtab
)
580 printf_unfiltered ("[%d] %s at %s:%d\n",
582 SYMBOL_PRINT_NAME (sym_arr
[i
]),
583 values
.sals
[i
].symtab
->filename
,
584 values
.sals
[i
].line
);
586 printf_unfiltered (_("[%d] %s at ?FILE:%d [No symtab? "
587 "Probably broken debug info...]\n"),
589 SYMBOL_PRINT_NAME (sym_arr
[i
]),
590 values
.sals
[i
].line
);
594 printf_unfiltered (_("?HERE\n"));
598 prompt
= getenv ("PS2");
603 args
= command_line_input (prompt
, 0, "overload-choice");
606 if (args
== 0 || *args
== 0)
607 error_no_arg (_("one or more choice numbers"));
615 while (*arg1
>= '0' && *arg1
<= '9')
617 if (*arg1
&& *arg1
!= ' ' && *arg1
!= '\t')
618 error (_("Arguments must be choice numbers."));
623 error (_("canceled"));
628 for (i
= 0; i
< nelts
; i
++)
630 if (canonical_arr
[i
] == NULL
)
632 symname
= SYMBOL_LINKAGE_NAME (sym_arr
[i
]);
633 canonical_arr
[i
] = xstrdup (symname
);
637 memcpy (return_values
.sals
, values
.sals
,
638 (nelts
* sizeof (struct symtab_and_line
)));
639 return_values
.nelts
= nelts
;
640 discard_cleanups (old_chain
);
641 return return_values
;
644 if (num
>= nelts
+ 2)
646 printf_unfiltered (_("No choice number %d.\n"), num
);
651 if (values
.sals
[num
].pc
)
655 symname
= SYMBOL_LINKAGE_NAME (sym_arr
[num
]);
656 make_cleanup (xfree
, symname
);
657 canonical_arr
[i
] = xstrdup (symname
);
659 return_values
.sals
[i
++] = values
.sals
[num
];
660 values
.sals
[num
].pc
= 0;
664 printf_unfiltered (_("duplicate request for %d ignored.\n"),
670 while (*args
== ' ' || *args
== '\t')
673 return_values
.nelts
= i
;
674 discard_cleanups (old_chain
);
675 return return_values
;
678 /* Valid delimiters for linespec keywords "if", "thread" or "task". */
681 is_linespec_boundary (char c
)
683 return c
== ' ' || c
== '\t' || c
== '\0' || c
== ',';
686 /* A helper function for decode_line_1 and friends which skips P
687 past any method overload information at the beginning of P, e.g.,
688 "(const struct foo *)".
690 This function assumes that P has already been validated to contain
691 overload information, and it will assert if *P != '('. */
693 find_method_overload_end (char *p
)
697 gdb_assert (*p
== '(');
717 /* Keep important information used when looking up a name. This includes
718 template parameters, overload information, and important keywords, including
719 the possible Java trailing type. */
722 keep_name_info (char *p
, int on_boundary
)
724 const char *quotes
= get_gdb_completer_quote_characters ();
730 if (strchr (quotes
, *p
))
733 if (*p
== ',' && !nest
)
736 if (on_boundary
&& !nest
)
738 const char *const words
[] = { "if", "thread", "task" };
741 for (wordi
= 0; wordi
< ARRAY_SIZE (words
); wordi
++)
742 if (strncmp (p
, words
[wordi
], strlen (words
[wordi
])) == 0
743 && is_linespec_boundary (p
[strlen (words
[wordi
])]))
745 if (wordi
< ARRAY_SIZE (words
))
749 if (*p
== '(' || *p
== '<' || *p
== '[')
751 else if ((*p
== ')' || *p
== '>' || *p
== ']') && nest
> 0)
756 /* The ',' check could fail on "operator ,". */
757 p
+= cp_validate_operator (p
);
759 on_boundary
= is_linespec_boundary (p
[-1]);
762 while (p
> saved_p
&& is_linespec_boundary (p
[-1]))
769 /* The parser of linespec itself. */
771 /* Parse a string that specifies a line number.
772 Pass the address of a char * variable; that variable will be
773 advanced over the characters actually parsed.
777 LINENUM -- that line number in current file. PC returned is 0.
778 FILE:LINENUM -- that line in that file. PC returned is 0.
779 FUNCTION -- line number of openbrace of that function.
780 PC returned is the start of the function.
781 LABEL -- a label in the current scope
782 VARIABLE -- line number of definition of that variable.
784 FILE:FUNCTION -- likewise, but prefer functions in that file.
785 *EXPR -- line in which address EXPR appears.
787 This may all be followed by an "if EXPR", which we ignore.
789 FUNCTION may be an undebuggable function found in minimal symbol table.
791 If the argument FUNFIRSTLINE is nonzero, we want the first line
792 of real code inside a function when a function is specified, and it is
793 not OK to specify a variable or type to get its line number.
795 DEFAULT_SYMTAB specifies the file to use if none is specified.
796 It defaults to current_source_symtab.
797 DEFAULT_LINE specifies the line number to use for relative
798 line numbers (that start with signs). Defaults to current_source_line.
799 If CANONICAL is non-NULL, store an array of strings containing the canonical
800 line specs there if necessary. Currently overloaded member functions and
801 line numbers or static functions without a filename yield a canonical
802 line spec. The array and the line spec strings are allocated on the heap,
803 it is the callers responsibility to free them.
805 Note that it is possible to return zero for the symtab
806 if no file is validly specified. Callers must check that.
807 Also, the line number returned may be invalid. */
809 /* We allow single quotes in various places. This is a hideous
810 kludge, which exists because the completer can't yet deal with the
811 lack of single quotes. FIXME: write a linespec_completer which we
812 can use as appropriate instead of make_symbol_completion_list. */
814 struct symtabs_and_lines
815 decode_line_1 (char **argptr
, int funfirstline
, struct symtab
*default_symtab
,
816 int default_line
, struct linespec_result
*canonical
)
820 /* If a file name is specified, this is its symtab. */
821 struct symtab
*file_symtab
= NULL
;
824 /* This says whether or not something in *ARGPTR is quoted with
825 completer_quotes (i.e. with single quotes). */
827 /* Is *ARGPTR enclosed in double quotes? */
828 int is_quote_enclosed
;
829 int is_objc_method
= 0;
830 char *saved_arg
= *argptr
;
831 /* If IS_QUOTED, the end of the quoted bit. */
832 char *end_quote
= NULL
;
833 /* Is *ARGPTR enclosed in single quotes? */
834 int is_squote_enclosed
= 0;
835 /* The "first half" of the linespec. */
838 /* If we are parsing `function:label', this holds the symbol for the
840 struct symbol
*function_symbol
= NULL
;
841 /* If FUNCTION_SYMBOL is not NULL, then this is the exception that
842 was thrown when trying to parse a filename. */
843 volatile struct gdb_exception file_exception
;
845 /* Defaults have defaults. */
847 initialize_defaults (&default_symtab
, &default_line
);
849 /* See if arg is *PC. */
852 return decode_indirect (argptr
);
854 is_quoted
= (strchr (get_gdb_completer_quote_characters (),
859 end_quote
= skip_quoted (*argptr
);
860 if (*end_quote
== '\0')
861 is_squote_enclosed
= 1;
864 /* Check to see if it's a multipart linespec (with colons or
867 /* Locate the end of the first half of the linespec.
868 After the call, for instance, if the argptr string is "foo.c:123"
869 p will point at "123". If there is only one part, like "foo", p
870 will point to "". If this is a C++ name, like "A::B::foo", p will
871 point to "::B::foo". Argptr is not changed by this call. */
873 first_half
= p
= locate_first_half (argptr
, &is_quote_enclosed
);
875 /* First things first: if ARGPTR starts with a filename, get its
876 symtab and strip the filename from ARGPTR. */
877 TRY_CATCH (file_exception
, RETURN_MASK_ERROR
)
879 file_symtab
= symtab_from_filename (argptr
, p
, is_quote_enclosed
);
882 if (file_exception
.reason
>= 0)
884 /* Check for single quotes on the non-filename part. */
885 is_quoted
= (**argptr
886 && strchr (get_gdb_completer_quote_characters (),
889 end_quote
= skip_quoted (*argptr
);
891 /* Locate the next "half" of the linespec. */
892 first_half
= p
= locate_first_half (argptr
, &is_quote_enclosed
);
895 /* Check if this is an Objective-C method (anything that starts with
896 a '+' or '-' and a '['). */
897 if (is_objc_method_format (p
))
900 /* Check if the symbol could be an Objective-C selector. */
903 struct symtabs_and_lines values
;
905 values
= decode_objc (argptr
, funfirstline
, file_symtab
,
906 canonical
, saved_arg
);
907 if (values
.sals
!= NULL
)
911 /* Does it look like there actually were two parts? */
913 if (p
[0] == ':' || p
[0] == '.')
915 /* Is it a C++ or Java compound data structure?
916 The check on p[1] == ':' is capturing the case of "::",
917 since p[0]==':' was checked above.
918 Note that the call to decode_compound does everything
919 for us, including the lookup on the symbol table, so we
922 if (p
[0] == '.' || p
[1] == ':')
924 struct symtabs_and_lines values
;
925 volatile struct gdb_exception ex
;
926 char *saved_argptr
= *argptr
;
928 if (is_quote_enclosed
)
931 /* Initialize it just to avoid a GCC false warning. */
932 memset (&values
, 0, sizeof (values
));
934 TRY_CATCH (ex
, RETURN_MASK_ERROR
)
936 values
= decode_compound (argptr
, funfirstline
, canonical
,
937 file_symtab
, saved_arg
, p
);
939 if ((is_quoted
|| is_squote_enclosed
) && **argptr
== '\'')
940 *argptr
= *argptr
+ 1;
945 if (ex
.error
!= NOT_FOUND_ERROR
)
946 throw_exception (ex
);
948 *argptr
= saved_argptr
;
952 /* If there was an exception looking up a specified filename earlier,
953 then check whether we were really given `function:label'. */
954 if (file_exception
.reason
< 0)
956 function_symbol
= find_function_symbol (argptr
, p
,
958 /* If we did not find a function, re-throw the original
960 if (!function_symbol
)
961 throw_exception (file_exception
);
964 /* Check for single quotes on the non-filename part. */
967 is_quoted
= (**argptr
968 && strchr (get_gdb_completer_quote_characters (),
971 end_quote
= skip_quoted (*argptr
);
976 /* file_symtab is specified file's symtab, or 0 if no file specified.
977 If we are parsing `function:symbol', then FUNCTION_SYMBOL is the
978 function before the `:'.
979 arg no longer contains the file name. */
981 /* If the filename was quoted, we must re-check the quotation. */
983 if (end_quote
== first_half
&& *end_quote
!= '\0')
985 is_quoted
= (**argptr
986 && strchr (get_gdb_completer_quote_characters (),
989 end_quote
= skip_quoted (*argptr
);
992 /* Check whether arg is all digits (and sign). */
995 if (*q
== '-' || *q
== '+')
997 while (*q
>= '0' && *q
<= '9')
1000 if (q
!= *argptr
&& (*q
== 0 || *q
== ' ' || *q
== '\t' || *q
== ',')
1001 && function_symbol
== NULL
)
1002 /* We found a token consisting of all digits -- at least one digit. */
1003 return decode_all_digits (argptr
, default_symtab
, default_line
,
1004 canonical
, file_symtab
, q
);
1006 /* Arg token is not digits => try it as a variable name
1007 Find the next token (everything up to end or next whitespace). */
1009 if (**argptr
== '$') /* May be a convenience variable. */
1010 /* One or two $ chars possible. */
1011 p
= skip_quoted (*argptr
+ (((*argptr
)[1] == '$') ? 2 : 1));
1012 else if (is_quoted
|| is_squote_enclosed
)
1016 error (_("Unmatched single quote."));
1018 else if (is_objc_method
)
1020 /* allow word separators in method names for Obj-C. */
1021 p
= skip_quoted_chars (*argptr
, NULL
, "");
1025 p
= skip_quoted (*argptr
);
1028 /* Keep any important naming information. */
1029 p
= keep_name_info (p
, p
== saved_arg
|| is_linespec_boundary (p
[-1]));
1031 copy
= (char *) alloca (p
- *argptr
+ 1);
1032 memcpy (copy
, *argptr
, p
- *argptr
);
1033 copy
[p
- *argptr
] = '\0';
1036 && copy
[0] == copy
[p
- *argptr
- 1]
1037 && strchr (get_gdb_completer_quote_characters (), copy
[0]) != NULL
)
1039 copy
[p
- *argptr
- 1] = '\0';
1042 else if (is_quoted
|| is_squote_enclosed
)
1043 copy
[p
- *argptr
- 1] = '\0';
1044 while (*p
== ' ' || *p
== '\t')
1048 /* If it starts with $: may be a legitimate variable or routine name
1049 (e.g. HP-UX millicode routines such as $$dyncall), or it may
1050 be history value, or it may be a convenience variable. */
1052 if (*copy
== '$' && function_symbol
== NULL
)
1053 return decode_dollar (copy
, funfirstline
, default_symtab
,
1054 canonical
, file_symtab
);
1056 /* Try the token as a label, but only if no file was specified,
1057 because we can only really find labels in the current scope. */
1061 struct symtabs_and_lines label_result
;
1062 if (decode_label (function_symbol
, copy
, canonical
, &label_result
))
1063 return label_result
;
1066 if (function_symbol
)
1067 throw_exception (file_exception
);
1069 /* Look up that token as a variable.
1070 If file specified, use that file's per-file block to start with. */
1072 return decode_variable (copy
, funfirstline
, canonical
, file_symtab
);
1077 /* Now, more helper functions for decode_line_1. Some conventions
1078 that these functions follow:
1080 Decode_line_1 typically passes along some of its arguments or local
1081 variables to the subfunctions. It passes the variables by
1082 reference if they are modified by the subfunction, and by value
1085 Some of the functions have side effects that don't arise from
1086 variables that are passed by reference. In particular, if a
1087 function is passed ARGPTR as an argument, it modifies what ARGPTR
1088 points to; typically, it advances *ARGPTR past whatever substring
1089 it has just looked at. (If it doesn't modify *ARGPTR, then the
1090 function gets passed *ARGPTR instead, which is then called ARG.)
1091 Also, functions that return a struct symtabs_and_lines may modify
1092 CANONICAL, as in the description of decode_line_1.
1094 If a function returns a struct symtabs_and_lines, then that struct
1095 will immediately make its way up the call chain to be returned by
1096 decode_line_1. In particular, all of the functions decode_XXX
1097 calculate the appropriate struct symtabs_and_lines, under the
1098 assumption that their argument is of the form XXX. */
1100 /* First, some functions to initialize stuff at the beggining of the
1104 initialize_defaults (struct symtab
**default_symtab
, int *default_line
)
1106 if (*default_symtab
== 0)
1108 /* Use whatever we have for the default source line. We don't use
1109 get_current_or_default_symtab_and_line as it can recurse and call
1111 struct symtab_and_line cursal
=
1112 get_current_source_symtab_and_line ();
1114 *default_symtab
= cursal
.symtab
;
1115 *default_line
= cursal
.line
;
1121 /* Decode arg of the form *PC. */
1123 static struct symtabs_and_lines
1124 decode_indirect (char **argptr
)
1126 struct symtabs_and_lines values
;
1130 pc
= value_as_address (parse_to_comma_and_eval (argptr
));
1132 values
.sals
= (struct symtab_and_line
*)
1133 xmalloc (sizeof (struct symtab_and_line
));
1136 values
.sals
[0] = find_pc_line (pc
, 0);
1137 values
.sals
[0].pc
= pc
;
1138 values
.sals
[0].section
= find_pc_overlay (pc
);
1139 values
.sals
[0].explicit_pc
= 1;
1146 /* Locate the first half of the linespec, ending in a colon, period,
1147 or whitespace. (More or less.) Also, check to see if *ARGPTR is
1148 enclosed in double quotes; if so, set is_quote_enclosed, advance
1149 ARGPTR past that and zero out the trailing double quote.
1150 If ARGPTR is just a simple name like "main", p will point to ""
1154 locate_first_half (char **argptr
, int *is_quote_enclosed
)
1160 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
1161 and we must isolate the first half. Outer layers will call again later
1162 for the second half.
1164 Don't count commas that appear in argument lists of overloaded
1165 functions, or in quoted strings. It's stupid to go to this much
1166 trouble when the rest of the function is such an obvious roach hotel. */
1167 ii
= find_toplevel_char (*argptr
, ',');
1168 has_comma
= (ii
!= 0);
1170 /* Temporarily zap out second half to not confuse the code below.
1171 This is undone below. Do not change ii!! */
1177 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
1178 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
1184 *is_quote_enclosed
= 1;
1190 *is_quote_enclosed
= 0;
1191 if (strchr (get_gdb_completer_quote_characters (), *p
))
1201 char *temp_end
= find_template_name_end (p
);
1204 error (_("malformed template specification in command"));
1209 p
= find_method_overload_end (p
);
1211 /* Check for a colon and a plus or minus and a [ (which
1212 indicates an Objective-C method). */
1213 if (is_objc_method_format (p
))
1217 /* Check for the end of the first half of the linespec. End of
1218 line, a tab, a colon or a space. But if enclosed in double
1219 quotes we do not break on enclosed spaces. */
1223 || ((p
[0] == ' ') && !*is_quote_enclosed
))
1225 if (p
[0] == '.' && strchr (p
, ':') == NULL
)
1227 /* Java qualified method. Find the *last* '.', since the
1228 others are package qualifiers. Stop at any open parenthesis
1229 which might provide overload information. */
1230 for (p1
= p
; *p1
&& *p1
!= '('; p1
++)
1238 while (p
[0] == ' ' || p
[0] == '\t')
1241 /* If the closing double quote was left at the end, remove it. */
1242 if (*is_quote_enclosed
)
1244 char *closing_quote
= strchr (p
- 1, '"');
1246 if (closing_quote
&& closing_quote
[1] == '\0')
1247 *closing_quote
= '\0';
1250 /* Now that we've safely parsed the first half, put back ',' so
1251 outer layers can see it. */
1260 /* Here's where we recognise an Objective-C Selector. An Objective C
1261 selector may be implemented by more than one class, therefore it
1262 may represent more than one method/function. This gives us a
1263 situation somewhat analogous to C++ overloading. If there's more
1264 than one method that could represent the selector, then use some of
1265 the existing C++ code to let the user choose one. */
1267 struct symtabs_and_lines
1268 decode_objc (char **argptr
, int funfirstline
, struct symtab
*file_symtab
,
1269 struct linespec_result
*canonical
, char *saved_arg
)
1271 struct symtabs_and_lines values
;
1272 struct symbol
**sym_arr
= NULL
;
1273 struct symbol
*sym
= NULL
;
1274 struct block
*block
= NULL
;
1281 find_imps (file_symtab
, get_search_block (file_symtab
), *argptr
,
1286 sym_arr
= (struct symbol
**)
1287 alloca ((i1
+ 1) * sizeof (struct symbol
*));
1290 *argptr
= find_imps (file_symtab
, block
, *argptr
, sym_arr
, &i1
, &i2
);
1293 /* i1 now represents the TOTAL number of matches found.
1294 i2 represents how many HIGH-LEVEL (struct symbol) matches,
1295 which will come first in the sym_arr array. Any low-level
1296 (minimal_symbol) matches will follow those. */
1302 /* Already a struct symbol. */
1307 sym
= find_pc_function (SYMBOL_VALUE_ADDRESS (sym_arr
[0]));
1308 if ((sym
!= NULL
) && strcmp (SYMBOL_LINKAGE_NAME (sym_arr
[0]),
1309 SYMBOL_LINKAGE_NAME (sym
)) != 0)
1311 warning (_("debugging symbol \"%s\" does "
1312 "not match selector; ignoring"),
1313 SYMBOL_LINKAGE_NAME (sym
));
1318 values
.sals
= (struct symtab_and_line
*)
1319 xmalloc (sizeof (struct symtab_and_line
));
1322 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1324 /* Canonicalize this, so it remains resolved for dylib loads. */
1325 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
1326 build_canonical_line_spec (values
.sals
,
1327 SYMBOL_NATURAL_NAME (sym
), canonical
);
1331 /* The only match was a non-debuggable symbol, which might point
1332 to a function descriptor; resolve it to the actual code address
1334 struct minimal_symbol
*msymbol
= (struct minimal_symbol
*)sym_arr
[0];
1335 struct objfile
*objfile
= msymbol_objfile (msymbol
);
1336 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
1337 CORE_ADDR pc
= SYMBOL_VALUE_ADDRESS (msymbol
);
1339 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
, pc
,
1342 init_sal (&values
.sals
[0]);
1343 values
.sals
[0].pc
= pc
;
1350 /* More than one match. The user must choose one or more. */
1351 return decode_line_2 (sym_arr
, i2
, funfirstline
, canonical
);
1357 /* This handles C++ and Java compound data structures. P should point
1358 at the first component separator, i.e. double-colon or period. As
1359 an example, on entrance to this function we could have ARGPTR
1360 pointing to "AAA::inA::fun" and P pointing to "::inA::fun". */
1362 static struct symtabs_and_lines
1363 decode_compound (char **argptr
, int funfirstline
,
1364 struct linespec_result
*canonical
, struct symtab
*file_symtab
,
1365 char *the_real_saved_arg
, char *p
)
1367 struct symtabs_and_lines values
;
1368 char *p2
, *name
, *canon
;
1369 char *saved_arg2
= *argptr
;
1373 struct symbol
*sym_class
;
1376 struct cleanup
*cleanup
;
1378 /* If the user specified any completer quote characters in the input,
1379 strip them. They are superfluous. */
1380 saved_arg
= alloca (strlen (the_real_saved_arg
) + 1);
1382 char *dst
= saved_arg
;
1383 char *src
= the_real_saved_arg
;
1384 char *quotes
= get_gdb_completer_quote_characters ();
1385 while (*src
!= '\0')
1387 if (strchr (quotes
, *src
) == NULL
)
1394 /* First check for "global" namespace specification, of the form
1395 "::foo". If found, skip over the colons and jump to normal
1396 symbol processing. I.e. the whole line specification starts with
1397 "::" (note the condition that *argptr == p). */
1399 && ((*argptr
== p
) || (p
[-1] == ' ') || (p
[-1] == '\t')))
1402 /* Given our example "AAA::inA::fun", we have two cases to consider:
1404 1) AAA::inA is the name of a class. In that case, presumably it
1405 has a method called "fun"; we then look up that method using
1408 2) AAA::inA isn't the name of a class. In that case, either the
1409 user made a typo, AAA::inA is the name of a namespace, or it is
1410 the name of a minimal symbol.
1411 We just look up AAA::inA::fun with lookup_symbol. If that fails,
1412 try lookup_minimal_symbol.
1414 Thus, our first task is to find everything before the last set of
1415 double-colons and figure out if it's the name of a class. So we
1416 first loop through all of the double-colons. */
1418 p2
= p
; /* Save for restart. */
1420 /* This is very messy. Following the example above we have now the
1423 argptr -> "AAA::inA::fun
1424 saved_arg -> "AAA::inA::fun
1425 saved_arg2 -> "AAA::inA::fun
1426 p2 -> "::inA::fun". */
1428 /* In the loop below, with these strings, we'll make 2 passes, each
1429 is marked in comments. */
1433 static char *break_characters
= " \t(";
1435 /* Move pointer up to next possible class/namespace token. */
1437 p
= p2
+ 1; /* Restart with old value +1. */
1439 /* PASS1: at this point p2->"::inA::fun", so p->":inA::fun",
1440 i.e. if there is a double-colon, p will now point to the
1442 /* PASS2: p2->"::fun", p->":fun" */
1444 /* Move pointer ahead to next double-colon. */
1446 && strchr (break_characters
, *p
) == NULL
1447 && strchr (get_gdb_completer_quote_characters (), *p
) == NULL
)
1449 if (current_language
->la_language
== language_cplus
)
1450 p
+= cp_validate_operator (p
);
1454 temp_end
= find_template_name_end (p
);
1456 error (_("malformed template specification in command"));
1459 /* Note that, since, at the start of this loop, p would be
1460 pointing to the second colon in a double-colon, we only
1461 satisfy the condition below if there is another
1462 double-colon to the right (after). I.e. there is another
1463 component that can be a class or a namespace. I.e, if at
1464 the beginning of this loop (PASS1), we had
1465 p->":inA::fun", we'll trigger this when p has been
1466 advanced to point to "::fun". */
1467 /* PASS2: we will not trigger this. */
1468 else if ((p
[0] == ':') && (p
[1] == ':'))
1469 break; /* Found double-colon. */
1472 /* PASS2: We'll keep getting here, until P points to one of the
1473 break characters, at which point we exit this loop. */
1477 && strncmp (&p
[1], CP_ANONYMOUS_NAMESPACE_STR
,
1478 CP_ANONYMOUS_NAMESPACE_LEN
) == 0)
1479 p
+= CP_ANONYMOUS_NAMESPACE_LEN
;
1480 else if (strchr (break_characters
, *p
) == NULL
)
1487 break; /* Out of the while (1). This would happen
1488 for instance if we have looked up
1489 unsuccessfully all the components of the
1490 string, and p->""(PASS2). */
1492 /* We get here if p points to one of the break characters or "" (i.e.,
1494 /* Save restart for next time around. */
1496 /* Restore argptr as it was on entry to this function. */
1497 *argptr
= saved_arg2
;
1498 /* PASS1: at this point p->"::fun" argptr->"AAA::inA::fun",
1501 /* All ready for next pass through the loop. */
1505 /* Start of lookup in the symbol tables. */
1507 /* Lookup in the symbol table the substring between argptr and
1508 p. Note, this call changes the value of argptr. */
1509 /* Before the call, argptr->"AAA::inA::fun",
1510 p->"", p2->"::fun". After the call: argptr->"fun", p, p2
1512 sym_class
= lookup_prefix_sym (argptr
, p2
, file_symtab
);
1514 /* If sym_class has been found, and if "AAA::inA" is a class, then
1515 we're in case 1 above. So we look up "fun" as a method of that
1518 (t
= check_typedef (SYMBOL_TYPE (sym_class
)),
1519 (TYPE_CODE (t
) == TYPE_CODE_STRUCT
1520 || TYPE_CODE (t
) == TYPE_CODE_UNION
)))
1522 /* Arg token is not digits => try it as a function name.
1523 Find the next token (everything up to end or next
1526 && strchr (get_gdb_completer_quote_characters (),
1529 p
= skip_quoted (*argptr
);
1530 *argptr
= *argptr
+ 1;
1534 /* At this point argptr->"fun". */
1538 while (*p
&& *p
!= ' ' && *p
!= '\t' && *p
!= ',' && *p
!= ':'
1541 /* At this point p->"". String ended. */
1542 /* Nope, C++ operators could have spaces in them
1543 ("foo::operator <" or "foo::operator delete []").
1544 I apologize, this is a bit hacky... */
1545 if (current_language
->la_language
== language_cplus
1546 && *p
== ' ' && p
- 8 - *argptr
+ 1 > 0)
1548 /* The above loop has already swallowed "operator". */
1549 p
+= cp_validate_operator (p
- 8) - 8;
1552 /* Keep any important naming information. */
1553 p
= keep_name_info (p
, 1);
1556 /* Allocate our own copy of the substring between argptr and
1558 copy
= (char *) alloca (p
- *argptr
+ 1);
1559 memcpy (copy
, *argptr
, p
- *argptr
);
1560 copy
[p
- *argptr
] = '\0';
1562 && copy
[p
- *argptr
- 1]
1563 && strchr (get_gdb_completer_quote_characters (),
1564 copy
[p
- *argptr
- 1]) != NULL
)
1565 copy
[p
- *argptr
- 1] = '\0';
1567 /* At this point copy->"fun", p->"". */
1569 /* No line number may be specified. */
1570 while (*p
== ' ' || *p
== '\t')
1573 /* At this point arptr->"". */
1575 /* Look for copy as a method of sym_class. */
1576 /* At this point copy->"fun", sym_class is "AAA:inA",
1577 saved_arg->"AAA::inA::fun". This concludes the scanning of
1578 the string for possible components matches. If we find it
1579 here, we return. If not, and we are at the and of the string,
1580 we'll lookup the whole string in the symbol tables. */
1582 return find_method (funfirstline
, canonical
, saved_arg
, copy
, t
,
1583 sym_class
, file_symtab
);
1584 } /* End if symbol found. */
1587 /* We couldn't find a class, so we're in case 2 above. We check the
1588 entire name as a symbol instead. */
1590 p
= keep_name_info (p
, 1);
1592 copy
= (char *) alloca (p
- saved_arg2
+ 1);
1593 memcpy (copy
, saved_arg2
, p
- saved_arg2
);
1594 /* Note: if is_quoted should be true, we snuff out quote here
1596 copy
[p
- saved_arg2
] = '\000';
1597 /* Set argptr to skip over the name. */
1598 *argptr
= (*p
== '\'') ? p
+ 1 : p
;
1600 /* Look up entire name. */
1603 cleanup
= make_cleanup (null_cleanup
, NULL
);
1604 canon
= cp_canonicalize_string_no_typedefs (copy
);
1608 make_cleanup (xfree
, name
);
1611 sym
= lookup_symbol (name
, get_selected_block (0), VAR_DOMAIN
, 0);
1612 do_cleanups (cleanup
);
1614 return symbol_found (funfirstline
, canonical
, copy
, sym
, NULL
, NULL
);
1617 struct minimal_symbol
*msym
;
1619 /* Couldn't find any interpretation as classes/namespaces. As a last
1620 resort, try the minimal symbol tables. */
1621 msym
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1623 return minsym_found (funfirstline
, msym
);
1626 /* Couldn't find a minimal symbol, either, so give up. */
1627 cplusplus_error (the_real_saved_arg
,
1628 "Can't find member of namespace, "
1629 "class, struct, or union named \"%s\"\n",
1633 /* Next come some helper functions for decode_compound. */
1635 /* Return the symbol corresponding to the substring of *ARGPTR ending
1636 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1637 name in question, the compound object separator ("::" or "."), and
1638 whitespace. Note that *ARGPTR is changed whether or not the
1639 lookup_symbol call finds anything (i.e we return NULL). As an
1640 example, say ARGPTR is "AAA::inA::fun" and P is "::inA::fun". */
1642 static struct symbol
*
1643 lookup_prefix_sym (char **argptr
, char *p
, struct symtab
*file_symtab
)
1649 /* Extract the class name. */
1651 while (p
!= *argptr
&& p
[-1] == ' ')
1653 copy
= (char *) alloca (p
- *argptr
+ 1);
1654 memcpy (copy
, *argptr
, p
- *argptr
);
1655 copy
[p
- *argptr
] = 0;
1657 /* Discard the class name from the argptr. */
1658 p
= p1
+ (p1
[0] == ':' ? 2 : 1);
1659 while (*p
== ' ' || *p
== '\t')
1663 /* At this point p1->"::inA::fun", p->"inA::fun" copy->"AAA",
1664 argptr->"inA::fun". */
1666 sym
= lookup_symbol (copy
, get_search_block (file_symtab
), STRUCT_DOMAIN
, 0);
1669 /* Typedefs are in VAR_DOMAIN so the above symbol lookup will
1670 fail when the user attempts to lookup a method of a class
1671 via a typedef'd name (NOT via the class's name, which is already
1672 handled in symbol_matches_domain). So try the lookup again
1673 using VAR_DOMAIN (where typedefs live) and double-check that we
1674 found a struct/class type. */
1675 struct symbol
*s
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
1679 struct type
*t
= SYMBOL_TYPE (s
);
1682 if (TYPE_CODE (t
) == TYPE_CODE_STRUCT
)
1690 /* This finds the method COPY in the class whose type is T and whose
1691 symbol is SYM_CLASS. */
1693 static struct symtabs_and_lines
1694 find_method (int funfirstline
, struct linespec_result
*canonical
,
1696 char *copy
, struct type
*t
, struct symbol
*sym_class
,
1697 struct symtab
*file_symtab
)
1699 struct symtabs_and_lines values
;
1700 struct symbol
*sym
= NULL
;
1701 int i1
; /* Counter for the symbol array. */
1702 struct symbol
**sym_arr
= alloca (total_number_of_methods (t
)
1703 * sizeof (struct symbol
*));
1705 /* Find all methods with a matching name, and put them in
1708 i1
= find_methods (t
, copy
, SYMBOL_LANGUAGE (sym_class
), sym_arr
,
1711 /* If we were given a specific overload instance in COPY, defer the field
1712 acceptance till the strcmp_iw verification below, even if we found just
1713 a single field with that name. */
1714 if (i1
== 1 && strchr (copy
, '(') == NULL
)
1716 /* There is exactly one field with that name. */
1719 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1721 values
.sals
= (struct symtab_and_line
*)
1722 xmalloc (sizeof (struct symtab_and_line
));
1724 values
.sals
[0] = find_function_start_sal (sym
,
1736 /* If we were given a specific overload instance, use that
1737 (or error if no matches were found). Otherwise ask the user
1738 which one to use. */
1739 if (strchr (copy
, '('))
1744 struct cleanup
*cleanup
;
1746 /* Construct the proper search name based on SYM_CLASS and COPY.
1747 SAVED_ARG may contain a valid name, but that name might not be
1748 what is actually stored in the symbol table. For example,
1749 if SAVED_ARG (and SYM_CLASS) were found via an import
1750 ("using namespace" in C++), then the physname of
1751 SYM_CLASS ("A::myclass") may not be the same as SAVED_ARG
1753 name
= xmalloc (strlen (SYMBOL_NATURAL_NAME (sym_class
))
1754 + 2 /* "::" */ + strlen (copy
) + 1);
1755 strcpy (name
, SYMBOL_NATURAL_NAME (sym_class
));
1756 strcat (name
, "::");
1757 strcat (name
, copy
);
1758 canon
= cp_canonicalize_string_no_typedefs (name
);
1764 cleanup
= make_cleanup (xfree
, name
);
1766 for (i
= 0; i
< i1
; ++i
)
1768 if (strcmp_iw (name
, SYMBOL_LINKAGE_NAME (sym_arr
[i
])) == 0)
1770 values
.sals
= (struct symtab_and_line
*)
1771 xmalloc (sizeof (struct symtab_and_line
));
1773 values
.sals
[0] = find_function_start_sal (sym_arr
[i
],
1775 do_cleanups (cleanup
);
1780 cplusplus_error (saved_arg
, _("the class `%s' does not have "
1781 "any method instance named %s"),
1782 SYMBOL_PRINT_NAME (sym_class
), copy
);
1785 return decode_line_2 (sym_arr
, i1
, funfirstline
, canonical
);
1790 cplusplus_error (saved_arg
,
1791 "the class `%s' does not have destructor defined\n",
1792 SYMBOL_PRINT_NAME (sym_class
));
1794 cplusplus_error (saved_arg
,
1795 "the class %s does not have any method named %s\n",
1796 SYMBOL_PRINT_NAME (sym_class
), copy
);
1802 /* Return the symtab associated to the filename given by the substring
1803 of *ARGPTR ending at P, and advance ARGPTR past that filename. */
1805 static struct symtab
*
1806 symtab_from_filename (char **argptr
, char *p
, int is_quote_enclosed
)
1810 struct symtab
*file_symtab
;
1813 while (p
!= *argptr
&& p
[-1] == ' ')
1815 if ((*p
== '"') && is_quote_enclosed
)
1817 copy
= (char *) alloca (p
- *argptr
+ 1);
1818 memcpy (copy
, *argptr
, p
- *argptr
);
1819 /* It may have the ending quote right after the file name. */
1820 if ((is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1821 || copy
[p
- *argptr
- 1] == '\'')
1822 copy
[p
- *argptr
- 1] = 0;
1824 copy
[p
- *argptr
] = 0;
1826 /* Find that file's data. */
1827 file_symtab
= lookup_symtab (copy
);
1828 if (file_symtab
== 0)
1830 if (!have_full_symbols () && !have_partial_symbols ())
1831 throw_error (NOT_FOUND_ERROR
,
1832 _("No symbol table is loaded. "
1833 "Use the \"file\" command."));
1834 throw_error (NOT_FOUND_ERROR
, _("No source file named %s."), copy
);
1837 /* Discard the file name from the arg. */
1841 while (*p
== ' ' || *p
== '\t')
1848 /* Look up a function symbol in *ARGPTR. If found, advance *ARGPTR
1849 and return the symbol. If not found, return NULL. */
1851 static struct symbol
*
1852 find_function_symbol (char **argptr
, char *p
, int is_quote_enclosed
)
1856 struct symbol
*function_symbol
;
1859 while (p
!= *argptr
&& p
[-1] == ' ')
1861 if ((*p
== '"') && is_quote_enclosed
)
1863 copy
= (char *) alloca (p
- *argptr
+ 1);
1864 memcpy (copy
, *argptr
, p
- *argptr
);
1865 /* It may have the ending quote right after the file name. */
1866 if ((is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1867 || copy
[p
- *argptr
- 1] == '\'')
1868 copy
[p
- *argptr
- 1] = 0;
1870 copy
[p
- *argptr
] = 0;
1872 function_symbol
= lookup_symbol (copy
, get_selected_block (0),
1874 if (!function_symbol
|| SYMBOL_CLASS (function_symbol
) != LOC_BLOCK
)
1877 /* Discard the file name from the arg. */
1879 while (*p
== ' ' || *p
== '\t')
1883 return function_symbol
;
1888 /* This decodes a line where the argument is all digits (possibly
1889 preceded by a sign). Q should point to the end of those digits;
1890 the other arguments are as usual. */
1892 static struct symtabs_and_lines
1893 decode_all_digits (char **argptr
, struct symtab
*default_symtab
,
1894 int default_line
, struct linespec_result
*canonical
,
1895 struct symtab
*file_symtab
, char *q
)
1898 struct symtabs_and_lines values
;
1899 struct symtab_and_line val
;
1907 /* We might need a canonical line spec if no file was specified. */
1908 int need_canonical
= (file_symtab
== NULL
) ? 1 : 0;
1912 val
.pspace
= current_program_space
;
1914 /* This is where we need to make sure that we have good defaults.
1915 We must guarantee that this section of code is never executed
1916 when we are called with just a function name, since
1917 set_default_source_symtab_and_line uses
1918 select_source_symtab that calls us with such an argument. */
1920 if (file_symtab
== 0 && default_symtab
== 0)
1922 /* Make sure we have at least a default source file. */
1923 set_default_source_symtab_and_line ();
1924 initialize_defaults (&default_symtab
, &default_line
);
1927 if (**argptr
== '+')
1928 sign
= plus
, (*argptr
)++;
1929 else if (**argptr
== '-')
1930 sign
= minus
, (*argptr
)++;
1931 val
.line
= atoi (*argptr
);
1937 if (file_symtab
== 0)
1938 val
.line
= default_line
+ val
.line
;
1943 if (file_symtab
== 0)
1944 val
.line
= default_line
- val
.line
;
1949 break; /* No need to adjust val.line. */
1952 while (*q
== ' ' || *q
== '\t')
1955 if (file_symtab
== 0)
1956 file_symtab
= default_symtab
;
1958 /* It is possible that this source file has more than one symtab,
1959 and that the new line number specification has moved us from the
1960 default (in file_symtab) to a new one. */
1961 val
.symtab
= find_line_symtab (file_symtab
, val
.line
, NULL
, NULL
);
1962 if (val
.symtab
== 0)
1963 val
.symtab
= file_symtab
;
1965 val
.pspace
= SYMTAB_PSPACE (val
.symtab
);
1967 values
.sals
= (struct symtab_and_line
*)
1968 xmalloc (sizeof (struct symtab_and_line
));
1969 values
.sals
[0] = val
;
1972 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1973 values
.sals
[0].explicit_line
= 1;
1979 /* Decode a linespec starting with a dollar sign. */
1981 static struct symtabs_and_lines
1982 decode_dollar (char *copy
, int funfirstline
, struct symtab
*default_symtab
,
1983 struct linespec_result
*canonical
, struct symtab
*file_symtab
)
1987 int need_canonical
= 0;
1988 struct symtabs_and_lines values
;
1989 struct symtab_and_line val
;
1992 struct minimal_symbol
*msymbol
;
1994 p
= (copy
[1] == '$') ? copy
+ 2 : copy
+ 1;
1995 while (*p
>= '0' && *p
<= '9')
1997 if (!*p
) /* Reached end of token without hitting non-digit. */
1999 /* We have a value history reference. */
2000 struct value
*val_history
;
2002 sscanf ((copy
[1] == '$') ? copy
+ 2 : copy
+ 1, "%d", &index
);
2003 val_history
= access_value_history ((copy
[1] == '$') ? -index
: index
);
2004 if (TYPE_CODE (value_type (val_history
)) != TYPE_CODE_INT
)
2005 error (_("History values used in line "
2006 "specs must have integer values."));
2007 valx
= value_as_long (val_history
);
2011 /* Not all digits -- may be user variable/function or a
2012 convenience variable. */
2014 /* Look up entire name as a symbol first. */
2015 sym
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
2016 file_symtab
= (struct symtab
*) NULL
;
2018 /* Symbol was found --> jump to normal symbol processing. */
2020 return symbol_found (funfirstline
, canonical
, copy
, sym
, NULL
, NULL
);
2022 /* If symbol was not found, look in minimal symbol tables. */
2023 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
2024 /* Min symbol was found --> jump to minsym processing. */
2026 return minsym_found (funfirstline
, msymbol
);
2028 /* Not a user variable or function -- must be convenience variable. */
2029 if (!get_internalvar_integer (lookup_internalvar (copy
+ 1), &valx
))
2030 error (_("Convenience variables used in line "
2031 "specs must have integer values."));
2036 /* Either history value or convenience value from above, in valx. */
2037 val
.symtab
= file_symtab
? file_symtab
: default_symtab
;
2040 val
.pspace
= current_program_space
;
2042 values
.sals
= (struct symtab_and_line
*) xmalloc (sizeof val
);
2043 values
.sals
[0] = val
;
2047 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
2054 /* A helper for decode_line_1 that tries to find a label. The label
2055 is searched for in the current block.
2056 FUNCTION_SYMBOL is the enclosing function; or NULL if none
2058 COPY is the name of the label to find.
2059 CANONICAL is the same as the "canonical" argument to decode_line_1.
2060 RESULT is a pointer to a symtabs_and_lines structure which will be
2061 filled in on success.
2062 This function returns 1 if a label was found, 0 otherwise. */
2065 decode_label (struct symbol
*function_symbol
, char *copy
,
2066 struct linespec_result
*canonical
,
2067 struct symtabs_and_lines
*result
)
2070 struct block
*block
;
2072 if (function_symbol
)
2073 block
= SYMBOL_BLOCK_VALUE (function_symbol
);
2076 block
= get_selected_block (0);
2078 block
&& !BLOCK_FUNCTION (block
);
2079 block
= BLOCK_SUPERBLOCK (block
))
2083 function_symbol
= BLOCK_FUNCTION (block
);
2086 sym
= lookup_symbol (copy
, block
, LABEL_DOMAIN
, 0);
2089 *result
= symbol_found (0, canonical
, copy
, sym
, NULL
, function_symbol
);
2094 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
2095 look in that symtab's static variables first. */
2097 static struct symtabs_and_lines
2098 decode_variable (char *copy
, int funfirstline
,
2099 struct linespec_result
*canonical
,
2100 struct symtab
*file_symtab
)
2104 struct cleanup
*cleanup
;
2105 struct minimal_symbol
*msymbol
;
2108 cleanup
= make_cleanup (null_cleanup
, NULL
);
2109 canon
= cp_canonicalize_string_no_typedefs (copy
);
2113 make_cleanup (xfree
, name
);
2116 sym
= lookup_symbol (name
, get_search_block (file_symtab
), VAR_DOMAIN
, 0);
2120 do_cleanups (cleanup
);
2121 return symbol_found (funfirstline
, canonical
, copy
, sym
,
2125 msymbol
= lookup_minimal_symbol (name
, NULL
, NULL
);
2126 do_cleanups (cleanup
);
2128 if (msymbol
!= NULL
)
2129 return minsym_found (funfirstline
, msymbol
);
2131 if (!have_full_symbols ()
2132 && !have_partial_symbols ()
2133 && !have_minimal_symbols ())
2134 throw_error (NOT_FOUND_ERROR
,
2135 _("No symbol table is loaded. Use the \"file\" command."));
2136 throw_error (NOT_FOUND_ERROR
, _("Function \"%s\" not defined."), copy
);
2142 /* Now come some functions that are called from multiple places within
2145 /* We've found a symbol SYM to associate with our linespec; build a
2146 corresponding struct symtabs_and_lines. */
2148 static struct symtabs_and_lines
2149 symbol_found (int funfirstline
, struct linespec_result
*canonical
, char *copy
,
2150 struct symbol
*sym
, struct symtab
*file_symtab
,
2151 struct symbol
*function_symbol
)
2153 struct symtabs_and_lines values
;
2155 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
)
2157 /* Arg is the name of a function. */
2158 values
.sals
= (struct symtab_and_line
*)
2159 xmalloc (sizeof (struct symtab_and_line
));
2160 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
2163 /* Don't use the SYMBOL_LINE; if used at all it points to
2164 the line containing the parameters or thereabouts, not
2165 the first line of code. */
2167 /* We might need a canonical line spec if it is a static
2169 if (file_symtab
== 0)
2171 struct blockvector
*bv
= BLOCKVECTOR (SYMBOL_SYMTAB (sym
));
2172 struct block
*b
= BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
);
2174 if (lookup_block_symbol (b
, copy
, VAR_DOMAIN
) != NULL
)
2175 build_canonical_line_spec (values
.sals
, copy
, canonical
);
2181 if (SYMBOL_CLASS (sym
) == LOC_LABEL
&& SYMBOL_VALUE_ADDRESS (sym
) != 0)
2183 /* We know its line number. */
2184 values
.sals
= (struct symtab_and_line
*)
2185 xmalloc (sizeof (struct symtab_and_line
));
2187 init_sal (&values
.sals
[0]);
2188 values
.sals
[0].symtab
= SYMBOL_SYMTAB (sym
);
2189 values
.sals
[0].line
= SYMBOL_LINE (sym
);
2190 values
.sals
[0].pc
= SYMBOL_VALUE_ADDRESS (sym
);
2191 values
.sals
[0].pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
2192 values
.sals
[0].explicit_pc
= 1;
2196 canonical
->special_display
= 1;
2197 canonical
->canonical
= xmalloc (sizeof (char *));
2198 canonical
->canonical
[0]
2199 = xstrprintf ("%s:%s",
2200 SYMBOL_NATURAL_NAME (function_symbol
),
2201 SYMBOL_NATURAL_NAME (sym
));
2206 else if (funfirstline
)
2208 /* NOT_FOUND_ERROR is not correct but it ensures COPY will be
2209 searched also as a minimal symbol. */
2211 throw_error (NOT_FOUND_ERROR
, _("\"%s\" is not a function"), copy
);
2213 else if (SYMBOL_LINE (sym
) != 0)
2215 /* We know its line number. */
2216 values
.sals
= (struct symtab_and_line
*)
2217 xmalloc (sizeof (struct symtab_and_line
));
2219 memset (&values
.sals
[0], 0, sizeof (values
.sals
[0]));
2220 values
.sals
[0].symtab
= SYMBOL_SYMTAB (sym
);
2221 values
.sals
[0].line
= SYMBOL_LINE (sym
);
2222 values
.sals
[0].pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
2226 /* This can happen if it is compiled with a compiler which doesn't
2227 put out line numbers for variables. */
2228 /* FIXME: Shouldn't we just set .line and .symtab to zero
2229 and return? For example, "info line foo" could print
2231 error (_("Line number not known for symbol \"%s\""), copy
);
2235 /* We've found a minimal symbol MSYMBOL to associate with our
2236 linespec; build a corresponding struct symtabs_and_lines. */
2238 static struct symtabs_and_lines
2239 minsym_found (int funfirstline
, struct minimal_symbol
*msymbol
)
2241 struct objfile
*objfile
= msymbol_objfile (msymbol
);
2242 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
2243 struct symtabs_and_lines values
;
2246 values
.sals
= (struct symtab_and_line
*)
2247 xmalloc (sizeof (struct symtab_and_line
));
2248 values
.sals
[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol
),
2249 (struct obj_section
*) 0, 0);
2250 values
.sals
[0].section
= SYMBOL_OBJ_SECTION (msymbol
);
2252 /* The minimal symbol might point to a function descriptor;
2253 resolve it to the actual code address instead. */
2254 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
,
2257 if (pc
!= values
.sals
[0].pc
)
2258 values
.sals
[0] = find_pc_sect_line (pc
, NULL
, 0);
2261 skip_prologue_sal (&values
.sals
[0]);
2268 init_linespec_result (struct linespec_result
*lr
)
2270 memset (lr
, 0, sizeof (*lr
));