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 /* We share this one with symtab.c, but it is not exported widely. */
47 extern char *operator_chars (char *, char **);
49 /* Prototypes for local functions */
51 static void initialize_defaults (struct symtab
**default_symtab
,
54 static struct symtabs_and_lines
decode_indirect (char **argptr
);
56 static char *locate_first_half (char **argptr
, int *is_quote_enclosed
);
58 static struct symtabs_and_lines
decode_objc (char **argptr
,
60 struct symtab
*file_symtab
,
64 static struct symtabs_and_lines
decode_compound (char **argptr
,
71 static struct symbol
*lookup_prefix_sym (char **argptr
, char *p
);
73 static struct symtabs_and_lines
find_method (int funfirstline
,
78 struct symbol
*sym_class
,
81 static void cplusplus_error (const char *name
, const char *fmt
, ...)
82 ATTRIBUTE_NORETURN
ATTRIBUTE_PRINTF (2, 3);
84 static int total_number_of_methods (struct type
*type
);
86 static int find_methods (struct type
*, char *,
87 enum language
, struct symbol
**);
89 static int add_matching_methods (int method_counter
, struct type
*t
,
90 enum language language
,
91 struct symbol
**sym_arr
);
93 static int add_constructors (int method_counter
, struct type
*t
,
94 enum language language
,
95 struct symbol
**sym_arr
);
97 static void build_canonical_line_spec (struct symtab_and_line
*,
100 static char *find_toplevel_char (char *s
, char c
);
102 static int is_objc_method_format (const char *s
);
104 static struct symtabs_and_lines
decode_line_2 (struct symbol
*[],
107 static struct symtab
*symtab_from_filename (char **argptr
,
108 char *p
, int is_quote_enclosed
,
112 symtabs_and_lines
decode_all_digits (char **argptr
,
113 struct symtab
*default_symtab
,
116 struct symtab
*file_symtab
,
119 static struct symtabs_and_lines
decode_dollar (char *copy
,
121 struct symtab
*default_symtab
,
123 struct symtab
*file_symtab
);
125 static int decode_label (char *copy
, char ***canonical
,
126 struct symtabs_and_lines
*result
);
128 static struct symtabs_and_lines
decode_variable (char *copy
,
131 struct symtab
*file_symtab
,
135 symtabs_and_lines
symbol_found (int funfirstline
,
139 struct symtab
*file_symtab
);
142 symtabs_and_lines
minsym_found (int funfirstline
,
143 struct minimal_symbol
*msymbol
);
145 /* Helper functions. */
147 /* Issue a helpful hint on using the command completion feature on
148 single quoted demangled C++ symbols as part of the completion
152 cplusplus_error (const char *name
, const char *fmt
, ...)
154 struct ui_file
*tmp_stream
;
157 tmp_stream
= mem_fileopen ();
158 make_cleanup_ui_file_delete (tmp_stream
);
163 va_start (args
, fmt
);
164 vfprintf_unfiltered (tmp_stream
, fmt
, args
);
168 while (*name
== '\'')
170 fprintf_unfiltered (tmp_stream
,
171 ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
172 "(Note leading single quote.)"),
175 message
= ui_file_xstrdup (tmp_stream
, NULL
);
176 make_cleanup (xfree
, message
);
177 throw_error (NOT_FOUND_ERROR
, "%s", message
);
180 /* Return the number of methods described for TYPE, including the
181 methods from types it derives from. This can't be done in the symbol
182 reader because the type of the baseclass might still be stubbed
183 when the definition of the derived class is parsed. */
186 total_number_of_methods (struct type
*type
)
191 CHECK_TYPEDEF (type
);
192 if (! HAVE_CPLUS_STRUCT (type
))
194 count
= TYPE_NFN_FIELDS_TOTAL (type
);
196 for (n
= 0; n
< TYPE_N_BASECLASSES (type
); n
++)
197 count
+= total_number_of_methods (TYPE_BASECLASS (type
, n
));
202 /* Recursive helper function for decode_line_1.
203 Look for methods named NAME in type T.
204 Return number of matches.
205 Put matches in SYM_ARR, which should have been allocated with
206 a size of total_number_of_methods (T) * sizeof (struct symbol *).
207 Note that this function is g++ specific. */
210 find_methods (struct type
*t
, char *name
, enum language language
,
211 struct symbol
**sym_arr
)
215 char *class_name
= type_name_no_tag (t
);
217 /* Ignore this class if it doesn't have a name. This is ugly, but
218 unless we figure out how to get the physname without the name of
219 the class, then the loop can't do any good. */
221 && (lookup_symbol_in_language (class_name
, (struct block
*) NULL
,
222 STRUCT_DOMAIN
, language
, (int *) NULL
)))
225 int name_len
= strlen (name
);
229 /* Loop over each method name. At this level, all overloads of a name
230 are counted as a single name. There is an inner loop which loops over
233 for (method_counter
= TYPE_NFN_FIELDS (t
) - 1;
237 char *method_name
= TYPE_FN_FIELDLIST_NAME (t
, method_counter
);
240 if (strncmp (method_name
, "__", 2) == 0 ||
241 strncmp (method_name
, "op", 2) == 0 ||
242 strncmp (method_name
, "type", 4) == 0)
244 if (cplus_demangle_opname (method_name
, dem_opname
, DMGL_ANSI
))
245 method_name
= dem_opname
;
246 else if (cplus_demangle_opname (method_name
, dem_opname
, 0))
247 method_name
= dem_opname
;
250 if (strcmp_iw (name
, method_name
) == 0)
251 /* Find all the overloaded methods with that name. */
252 i1
+= add_matching_methods (method_counter
, t
, language
,
254 else if (strncmp (class_name
, name
, name_len
) == 0
255 && (class_name
[name_len
] == '\0'
256 || class_name
[name_len
] == '<'))
257 i1
+= add_constructors (method_counter
, t
, language
,
262 /* Only search baseclasses if there is no match yet, since names in
263 derived classes override those in baseclasses.
265 FIXME: The above is not true; it is only true of member functions
266 if they have the same number of arguments (??? - section 13.1 of the
267 ARM says the function members are not in the same scope but doesn't
268 really spell out the rules in a way I understand. In any case, if
269 the number of arguments differ this is a case in which we can overload
270 rather than hiding without any problem, and gcc 2.4.5 does overload
271 rather than hiding in this case). */
274 for (ibase
= 0; ibase
< TYPE_N_BASECLASSES (t
); ibase
++)
275 i1
+= find_methods (TYPE_BASECLASS (t
, ibase
), name
,
276 language
, sym_arr
+ i1
);
281 /* Add the symbols associated to methods of the class whose type is T
282 and whose name matches the method indexed by METHOD_COUNTER in the
283 array SYM_ARR. Return the number of methods added. */
286 add_matching_methods (int method_counter
, struct type
*t
,
287 enum language language
, struct symbol
**sym_arr
)
292 for (field_counter
= TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
299 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
301 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
305 tmp_name
= gdb_mangle_name (t
,
308 phys_name
= alloca (strlen (tmp_name
) + 1);
309 strcpy (phys_name
, tmp_name
);
313 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
315 sym_arr
[i1
] = lookup_symbol_in_language (phys_name
,
323 /* This error message gets printed, but the method
324 still seems to be found
325 fputs_filtered("(Cannot find method ", gdb_stdout);
326 fprintf_symbol_filtered (gdb_stdout, phys_name,
328 DMGL_PARAMS | DMGL_ANSI);
329 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
337 /* Add the symbols associated to constructors of the class whose type
338 is CLASS_TYPE and which are indexed by by METHOD_COUNTER to the
339 array SYM_ARR. Return the number of methods added. */
342 add_constructors (int method_counter
, struct type
*t
,
343 enum language language
, struct symbol
**sym_arr
)
348 /* For GCC 3.x and stabs, constructors and destructors
349 have names like __base_ctor and __complete_dtor.
350 Check the physname for now if we're looking for a
353 = TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
360 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
362 /* GCC 3.x will never produce stabs stub methods, so
363 we don't need to handle this case. */
364 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
366 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
367 if (! is_constructor_name (phys_name
))
370 /* If this method is actually defined, include it in the
372 sym_arr
[i1
] = lookup_symbol_in_language (phys_name
,
383 /* Helper function for decode_line_1.
384 Build a canonical line spec in CANONICAL if it is non-NULL and if
385 the SAL has a symtab.
386 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
387 If SYMNAME is NULL the line number from SAL is used and the canonical
388 line spec is `filename:linenum'. */
391 build_canonical_line_spec (struct symtab_and_line
*sal
, char *symname
,
394 char **canonical_arr
;
395 char *canonical_name
;
397 struct symtab
*s
= sal
->symtab
;
399 if (s
== (struct symtab
*) NULL
400 || s
->filename
== (char *) NULL
401 || canonical
== (char ***) NULL
)
404 canonical_arr
= (char **) xmalloc (sizeof (char *));
405 *canonical
= canonical_arr
;
407 filename
= s
->filename
;
410 canonical_name
= xmalloc (strlen (filename
) + strlen (symname
) + 2);
411 sprintf (canonical_name
, "%s:%s", filename
, symname
);
415 canonical_name
= xmalloc (strlen (filename
) + 30);
416 sprintf (canonical_name
, "%s:%d", filename
, sal
->line
);
418 canonical_arr
[0] = canonical_name
;
423 /* Find an instance of the character C in the string S that is outside
424 of all parenthesis pairs, single-quoted strings, and double-quoted
425 strings. Also, ignore the char within a template name, like a ','
426 within foo<int, int>. */
429 find_toplevel_char (char *s
, char c
)
431 int quoted
= 0; /* zero if we're not in quotes;
432 '"' if we're in a double-quoted string;
433 '\'' if we're in a single-quoted string. */
434 int depth
= 0; /* Number of unclosed parens we've seen. */
437 for (scan
= s
; *scan
; scan
++)
443 else if (*scan
== '\\' && *(scan
+ 1))
446 else if (*scan
== c
&& ! quoted
&& depth
== 0)
448 else if (*scan
== '"' || *scan
== '\'')
450 else if (*scan
== '(' || *scan
== '<')
452 else if ((*scan
== ')' || *scan
== '>') && depth
> 0)
459 /* Determines if the gives string corresponds to an Objective-C method
460 representation, such as -[Foo bar:] or +[Foo bar]. Objective-C symbols
461 are allowed to have spaces and parentheses in them. */
464 is_objc_method_format (const char *s
)
466 if (s
== NULL
|| *s
== '\0')
468 /* Handle arguments with the format FILENAME:SYMBOL. */
469 if ((s
[0] == ':') && (strchr ("+-", s
[1]) != NULL
)
470 && (s
[2] == '[') && strchr(s
, ']'))
472 /* Handle arguments that are just SYMBOL. */
473 else if ((strchr ("+-", s
[0]) != NULL
) && (s
[1] == '[') && strchr(s
, ']'))
478 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
479 operate on (ask user if necessary).
480 If CANONICAL is non-NULL return a corresponding array of mangled names
481 as canonical line specs there. */
483 static struct symtabs_and_lines
484 decode_line_2 (struct symbol
*sym_arr
[], int nelts
, int funfirstline
,
487 struct symtabs_and_lines values
, return_values
;
492 struct cleanup
*old_chain
;
493 char **canonical_arr
= (char **) NULL
;
494 const char *select_mode
= multiple_symbols_select_mode ();
496 if (select_mode
== multiple_symbols_cancel
)
497 error (_("canceled because the command is ambiguous\n"
498 "See set/show multiple-symbol."));
500 values
.sals
= (struct symtab_and_line
*)
501 alloca (nelts
* sizeof (struct symtab_and_line
));
502 return_values
.sals
= (struct symtab_and_line
*)
503 xmalloc (nelts
* sizeof (struct symtab_and_line
));
504 old_chain
= make_cleanup (xfree
, return_values
.sals
);
508 canonical_arr
= (char **) xmalloc (nelts
* sizeof (char *));
509 make_cleanup (xfree
, canonical_arr
);
510 memset (canonical_arr
, 0, nelts
* sizeof (char *));
511 *canonical
= canonical_arr
;
517 init_sal (&return_values
.sals
[i
]); /* Initialize to zeroes. */
518 init_sal (&values
.sals
[i
]);
519 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
520 values
.sals
[i
] = find_function_start_sal (sym_arr
[i
], funfirstline
);
524 /* If select_mode is "all", then do not print the multiple-choice
525 menu and act as if the user had chosen choice "1" (all). */
526 if (select_mode
== multiple_symbols_all
527 || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
532 printf_unfiltered (_("[0] cancel\n[1] all\n"));
535 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
537 if (values
.sals
[i
].symtab
)
538 printf_unfiltered ("[%d] %s at %s:%d\n",
540 SYMBOL_PRINT_NAME (sym_arr
[i
]),
541 values
.sals
[i
].symtab
->filename
,
542 values
.sals
[i
].line
);
544 printf_unfiltered (_("[%d] %s at ?FILE:%d [No symtab? "
545 "Probably broken debug info...]\n"),
547 SYMBOL_PRINT_NAME (sym_arr
[i
]),
548 values
.sals
[i
].line
);
552 printf_unfiltered (_("?HERE\n"));
556 prompt
= getenv ("PS2");
561 args
= command_line_input (prompt
, 0, "overload-choice");
564 if (args
== 0 || *args
== 0)
565 error_no_arg (_("one or more choice numbers"));
573 while (*arg1
>= '0' && *arg1
<= '9')
575 if (*arg1
&& *arg1
!= ' ' && *arg1
!= '\t')
576 error (_("Arguments must be choice numbers."));
581 error (_("canceled"));
586 for (i
= 0; i
< nelts
; i
++)
588 if (canonical_arr
[i
] == NULL
)
590 symname
= SYMBOL_LINKAGE_NAME (sym_arr
[i
]);
591 canonical_arr
[i
] = xstrdup (symname
);
595 memcpy (return_values
.sals
, values
.sals
,
596 (nelts
* sizeof (struct symtab_and_line
)));
597 return_values
.nelts
= nelts
;
598 discard_cleanups (old_chain
);
599 return return_values
;
602 if (num
>= nelts
+ 2)
604 printf_unfiltered (_("No choice number %d.\n"), num
);
609 if (values
.sals
[num
].pc
)
613 symname
= SYMBOL_LINKAGE_NAME (sym_arr
[num
]);
614 make_cleanup (xfree
, symname
);
615 canonical_arr
[i
] = xstrdup (symname
);
617 return_values
.sals
[i
++] = values
.sals
[num
];
618 values
.sals
[num
].pc
= 0;
622 printf_unfiltered (_("duplicate request for %d ignored.\n"),
628 while (*args
== ' ' || *args
== '\t')
631 return_values
.nelts
= i
;
632 discard_cleanups (old_chain
);
633 return return_values
;
636 /* A helper function for decode_line_1 and friends which skips P
637 past any method overload information at the beginning of P, e.g.,
638 "(const struct foo *)".
640 This function assumes that P has already been validated to contain
641 overload information, and it will assert if *P != '('. */
643 find_method_overload_end (char *p
)
647 gdb_assert (*p
== '(');
667 /* The parser of linespec itself. */
669 /* Parse a string that specifies a line number.
670 Pass the address of a char * variable; that variable will be
671 advanced over the characters actually parsed.
675 LINENUM -- that line number in current file. PC returned is 0.
676 FILE:LINENUM -- that line in that file. PC returned is 0.
677 FUNCTION -- line number of openbrace of that function.
678 PC returned is the start of the function.
679 LABEL -- a label in the current scope
680 VARIABLE -- line number of definition of that variable.
682 FILE:FUNCTION -- likewise, but prefer functions in that file.
683 *EXPR -- line in which address EXPR appears.
685 This may all be followed by an "if EXPR", which we ignore.
687 FUNCTION may be an undebuggable function found in minimal symbol table.
689 If the argument FUNFIRSTLINE is nonzero, we want the first line
690 of real code inside a function when a function is specified, and it is
691 not OK to specify a variable or type to get its line number.
693 DEFAULT_SYMTAB specifies the file to use if none is specified.
694 It defaults to current_source_symtab.
695 DEFAULT_LINE specifies the line number to use for relative
696 line numbers (that start with signs). Defaults to current_source_line.
697 If CANONICAL is non-NULL, store an array of strings containing the canonical
698 line specs there if necessary. Currently overloaded member functions and
699 line numbers or static functions without a filename yield a canonical
700 line spec. The array and the line spec strings are allocated on the heap,
701 it is the callers responsibility to free them.
703 Note that it is possible to return zero for the symtab
704 if no file is validly specified. Callers must check that.
705 Also, the line number returned may be invalid.
707 If NOT_FOUND_PTR is not null, store a boolean true/false value at
708 the location, based on whether or not failure occurs due to an
709 unknown function or file. In the case where failure does occur due
710 to an unknown function or file, do not issue an error message. */
712 /* We allow single quotes in various places. This is a hideous
713 kludge, which exists because the completer can't yet deal with the
714 lack of single quotes. FIXME: write a linespec_completer which we
715 can use as appropriate instead of make_symbol_completion_list. */
717 struct symtabs_and_lines
718 decode_line_1 (char **argptr
, int funfirstline
, struct symtab
*default_symtab
,
719 int default_line
, char ***canonical
, int *not_found_ptr
)
723 /* If a file name is specified, this is its symtab. */
724 struct symtab
*file_symtab
= NULL
;
727 /* This says whether or not something in *ARGPTR is quoted with
728 completer_quotes (i.e. with single quotes). */
730 /* Is *ARGPTR is enclosed in double quotes? */
731 int is_quote_enclosed
;
732 int is_objc_method
= 0;
733 char *saved_arg
= *argptr
;
734 /* If IS_QUOTED, the end of the quoted bit. */
735 char *end_quote
= NULL
;
736 /* The "first half" of the linespec. */
742 /* Defaults have defaults. */
744 initialize_defaults (&default_symtab
, &default_line
);
746 /* See if arg is *PC. */
749 return decode_indirect (argptr
);
752 && strchr (get_gdb_completer_quote_characters (),
755 end_quote
= skip_quoted (*argptr
);
757 /* Check to see if it's a multipart linespec (with colons or
760 /* Locate the end of the first half of the linespec.
761 After the call, for instance, if the argptr string is "foo.c:123"
762 p will point at "123". If there is only one part, like "foo", p
763 will point to "". If this is a C++ name, like "A::B::foo", p will
764 point to "::B::foo". Argptr is not changed by this call. */
766 first_half
= p
= locate_first_half (argptr
, &is_quote_enclosed
);
768 /* Check if this is an Objective-C method (anything that starts with
769 a '+' or '-' and a '['). */
770 if (is_objc_method_format (p
))
773 /* Check if the symbol could be an Objective-C selector. */
776 struct symtabs_and_lines values
;
778 values
= decode_objc (argptr
, funfirstline
, NULL
,
779 canonical
, saved_arg
);
780 if (values
.sals
!= NULL
)
784 /* Does it look like there actually were two parts? */
786 if (p
[0] == ':' || p
[0] == '.')
788 /* Is it a C++ or Java compound data structure?
789 The check on p[1] == ':' is capturing the case of "::",
790 since p[0]==':' was checked above.
791 Note that the call to decode_compound does everything
792 for us, including the lookup on the symbol table, so we
795 if (p
[0] == '.' || p
[1] == ':')
797 struct symtabs_and_lines values
;
799 if (is_quote_enclosed
)
801 values
= decode_compound (argptr
, funfirstline
, canonical
,
802 saved_arg
, p
, not_found_ptr
);
803 if (is_quoted
&& **argptr
== '\'')
804 *argptr
= *argptr
+ 1;
808 /* No, the first part is a filename; set file_symtab to be that file's
809 symtab. Also, move argptr past the filename. */
811 file_symtab
= symtab_from_filename (argptr
, p
, is_quote_enclosed
,
814 /* Check for single quotes on the non-filename part. */
817 is_quoted
= (**argptr
818 && strchr (get_gdb_completer_quote_characters (),
821 end_quote
= skip_quoted (*argptr
);
825 /* file_symtab is specified file's symtab, or 0 if no file specified.
826 arg no longer contains the file name. */
828 /* If the filename was quoted, we must re-check the quotation. */
830 if (end_quote
== first_half
&& *end_quote
!= '\0')
832 is_quoted
= (**argptr
833 && strchr (get_gdb_completer_quote_characters (),
836 end_quote
= skip_quoted (*argptr
);
839 /* Check whether arg is all digits (and sign). */
842 if (*q
== '-' || *q
== '+')
844 while (*q
>= '0' && *q
<= '9')
847 if (q
!= *argptr
&& (*q
== 0 || *q
== ' ' || *q
== '\t' || *q
== ','))
848 /* We found a token consisting of all digits -- at least one digit. */
849 return decode_all_digits (argptr
, default_symtab
, default_line
,
850 canonical
, file_symtab
, q
);
852 /* Arg token is not digits => try it as a variable name
853 Find the next token (everything up to end or next whitespace). */
855 if (**argptr
== '$') /* May be a convenience variable. */
856 /* One or two $ chars possible. */
857 p
= skip_quoted (*argptr
+ (((*argptr
)[1] == '$') ? 2 : 1));
862 error (_("Unmatched single quote."));
864 else if (is_objc_method
)
866 /* allow word separators in method names for Obj-C */
867 p
= skip_quoted_chars (*argptr
, NULL
, "");
871 p
= skip_quoted (*argptr
);
874 /* Keep any template parameters */
876 p
= find_template_name_end (p
);
878 /* Keep method overload information. */
880 p
= find_method_overload_end (p
);
882 /* Make sure we keep important kewords like "const" */
883 if (strncmp (p
, " const", 6) == 0)
886 copy
= (char *) alloca (p
- *argptr
+ 1);
887 memcpy (copy
, *argptr
, p
- *argptr
);
888 copy
[p
- *argptr
] = '\0';
891 && copy
[0] == copy
[p
- *argptr
- 1]
892 && strchr (get_gdb_completer_quote_characters (), copy
[0]) != NULL
)
894 copy
[p
- *argptr
- 1] = '\0';
898 copy
[p
- *argptr
- 1] = '\0';
899 while (*p
== ' ' || *p
== '\t')
903 /* If it starts with $: may be a legitimate variable or routine name
904 (e.g. HP-UX millicode routines such as $$dyncall), or it may
905 be history value, or it may be a convenience variable. */
908 return decode_dollar (copy
, funfirstline
, default_symtab
,
909 canonical
, file_symtab
);
911 /* Try the token as a label, but only if no file was specified,
912 because we can only really find labels in the current scope. */
916 struct symtabs_and_lines label_result
;
917 if (decode_label (copy
, canonical
, &label_result
))
921 /* Look up that token as a variable.
922 If file specified, use that file's per-file block to start with. */
924 return decode_variable (copy
, funfirstline
, canonical
,
925 file_symtab
, not_found_ptr
);
930 /* Now, more helper functions for decode_line_1. Some conventions
931 that these functions follow:
933 Decode_line_1 typically passes along some of its arguments or local
934 variables to the subfunctions. It passes the variables by
935 reference if they are modified by the subfunction, and by value
938 Some of the functions have side effects that don't arise from
939 variables that are passed by reference. In particular, if a
940 function is passed ARGPTR as an argument, it modifies what ARGPTR
941 points to; typically, it advances *ARGPTR past whatever substring
942 it has just looked at. (If it doesn't modify *ARGPTR, then the
943 function gets passed *ARGPTR instead, which is then called ARG.)
944 Also, functions that return a struct symtabs_and_lines may modify
945 CANONICAL, as in the description of decode_line_1.
947 If a function returns a struct symtabs_and_lines, then that struct
948 will immediately make its way up the call chain to be returned by
949 decode_line_1. In particular, all of the functions decode_XXX
950 calculate the appropriate struct symtabs_and_lines, under the
951 assumption that their argument is of the form XXX. */
953 /* First, some functions to initialize stuff at the beggining of the
957 initialize_defaults (struct symtab
**default_symtab
, int *default_line
)
959 if (*default_symtab
== 0)
961 /* Use whatever we have for the default source line. We don't use
962 get_current_or_default_symtab_and_line as it can recurse and call
964 struct symtab_and_line cursal
=
965 get_current_source_symtab_and_line ();
967 *default_symtab
= cursal
.symtab
;
968 *default_line
= cursal
.line
;
974 /* Decode arg of the form *PC. */
976 static struct symtabs_and_lines
977 decode_indirect (char **argptr
)
979 struct symtabs_and_lines values
;
983 pc
= parse_and_eval_address_1 (argptr
);
985 values
.sals
= (struct symtab_and_line
*)
986 xmalloc (sizeof (struct symtab_and_line
));
989 values
.sals
[0] = find_pc_line (pc
, 0);
990 values
.sals
[0].pc
= pc
;
991 values
.sals
[0].section
= find_pc_overlay (pc
);
992 values
.sals
[0].explicit_pc
= 1;
999 /* Locate the first half of the linespec, ending in a colon, period,
1000 or whitespace. (More or less.) Also, check to see if *ARGPTR is
1001 enclosed in double quotes; if so, set is_quote_enclosed, advance
1002 ARGPTR past that and zero out the trailing double quote.
1003 If ARGPTR is just a simple name like "main", p will point to ""
1007 locate_first_half (char **argptr
, int *is_quote_enclosed
)
1013 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
1014 and we must isolate the first half. Outer layers will call again later
1015 for the second half.
1017 Don't count commas that appear in argument lists of overloaded
1018 functions, or in quoted strings. It's stupid to go to this much
1019 trouble when the rest of the function is such an obvious roach hotel. */
1020 ii
= find_toplevel_char (*argptr
, ',');
1021 has_comma
= (ii
!= 0);
1023 /* Temporarily zap out second half to not confuse the code below.
1024 This is undone below. Do not change ii!! */
1030 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
1031 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
1037 *is_quote_enclosed
= 1;
1043 *is_quote_enclosed
= 0;
1044 if (strchr (get_gdb_completer_quote_characters (), *p
))
1054 char *temp_end
= find_template_name_end (p
);
1057 error (_("malformed template specification in command"));
1060 /* Check for a colon and a plus or minus and a [ (which
1061 indicates an Objective-C method) */
1062 if (is_objc_method_format (p
))
1066 /* Check for the end of the first half of the linespec. End of
1067 line, a tab, a double colon or the last single colon, or a
1068 space. But if enclosed in double quotes we do not break on
1073 && ((p
[1] == ':') || (strchr (p
+ 1, ':') == NULL
)))
1074 || ((p
[0] == ' ') && !*is_quote_enclosed
))
1076 if (p
[0] == '.' && strchr (p
, ':') == NULL
)
1078 /* Java qualified method. Find the *last* '.', since the
1079 others are package qualifiers. Stop at any open parenthesis
1080 which might provide overload information. */
1081 for (p1
= p
; *p1
&& *p1
!= '('; p1
++)
1089 while (p
[0] == ' ' || p
[0] == '\t')
1092 /* If the closing double quote was left at the end, remove it. */
1093 if (*is_quote_enclosed
)
1095 char *closing_quote
= strchr (p
- 1, '"');
1097 if (closing_quote
&& closing_quote
[1] == '\0')
1098 *closing_quote
= '\0';
1101 /* Now that we've safely parsed the first half, put back ',' so
1102 outer layers can see it. */
1111 /* Here's where we recognise an Objective-C Selector. An Objective C
1112 selector may be implemented by more than one class, therefore it
1113 may represent more than one method/function. This gives us a
1114 situation somewhat analogous to C++ overloading. If there's more
1115 than one method that could represent the selector, then use some of
1116 the existing C++ code to let the user choose one. */
1118 struct symtabs_and_lines
1119 decode_objc (char **argptr
, int funfirstline
, struct symtab
*file_symtab
,
1120 char ***canonical
, char *saved_arg
)
1122 struct symtabs_and_lines values
;
1123 struct symbol
**sym_arr
= NULL
;
1124 struct symbol
*sym
= NULL
;
1126 struct block
*block
= NULL
;
1133 if (file_symtab
!= NULL
)
1134 block
= BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab
), STATIC_BLOCK
);
1137 enum language save_language
;
1139 /* get_selected_block can change the current language when there is
1140 no selected frame yet. */
1141 save_language
= current_language
->la_language
;
1142 block
= get_selected_block (0);
1143 set_language (save_language
);
1146 copy
= find_imps (file_symtab
, block
, *argptr
, NULL
, &i1
, &i2
);
1150 sym_arr
= (struct symbol
**) alloca ((i1
+ 1) * sizeof (struct symbol
*));
1153 copy
= find_imps (file_symtab
, block
, *argptr
, sym_arr
, &i1
, &i2
);
1157 /* i1 now represents the TOTAL number of matches found.
1158 i2 represents how many HIGH-LEVEL (struct symbol) matches,
1159 which will come first in the sym_arr array. Any low-level
1160 (minimal_symbol) matches will follow those. */
1166 /* Already a struct symbol. */
1171 sym
= find_pc_function (SYMBOL_VALUE_ADDRESS (sym_arr
[0]));
1172 if ((sym
!= NULL
) && strcmp (SYMBOL_LINKAGE_NAME (sym_arr
[0]),
1173 SYMBOL_LINKAGE_NAME (sym
)) != 0)
1175 warning (_("debugging symbol \"%s\" does "
1176 "not match selector; ignoring"),
1177 SYMBOL_LINKAGE_NAME (sym
));
1182 values
.sals
= (struct symtab_and_line
*)
1183 xmalloc (sizeof (struct symtab_and_line
));
1186 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1188 /* Canonicalize this, so it remains resolved for dylib loads. */
1189 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
1190 build_canonical_line_spec (values
.sals
,
1191 SYMBOL_NATURAL_NAME (sym
), canonical
);
1195 /* The only match was a non-debuggable symbol, which might point
1196 to a function descriptor; resolve it to the actual code address
1198 struct minimal_symbol
*msymbol
= (struct minimal_symbol
*)sym_arr
[0];
1199 struct objfile
*objfile
= msymbol_objfile (msymbol
);
1200 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
1201 CORE_ADDR pc
= SYMBOL_VALUE_ADDRESS (msymbol
);
1203 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
, pc
,
1206 init_sal (&values
.sals
[0]);
1207 values
.sals
[0].pc
= pc
;
1214 /* More than one match. The user must choose one or more. */
1215 return decode_line_2 (sym_arr
, i2
, funfirstline
, canonical
);
1221 /* This handles C++ and Java compound data structures. P should point
1222 at the first component separator, i.e. double-colon or period. As
1223 an example, on entrance to this function we could have ARGPTR
1224 pointing to "AAA::inA::fun" and P pointing to "::inA::fun". */
1226 static struct symtabs_and_lines
1227 decode_compound (char **argptr
, int funfirstline
, char ***canonical
,
1228 char *saved_arg
, char *p
, int *not_found_ptr
)
1230 struct symtabs_and_lines values
;
1232 char *saved_arg2
= *argptr
;
1236 struct symbol
*sym_class
;
1238 char *saved_java_argptr
= NULL
;
1240 /* First check for "global" namespace specification, of the form
1241 "::foo". If found, skip over the colons and jump to normal
1242 symbol processing. I.e. the whole line specification starts with
1243 "::" (note the condition that *argptr == p). */
1245 && ((*argptr
== p
) || (p
[-1] == ' ') || (p
[-1] == '\t')))
1248 /* Given our example "AAA::inA::fun", we have two cases to consider:
1250 1) AAA::inA is the name of a class. In that case, presumably it
1251 has a method called "fun"; we then look up that method using
1254 2) AAA::inA isn't the name of a class. In that case, either the
1255 user made a typo or AAA::inA is the name of a namespace.
1256 Either way, we just look up AAA::inA::fun with lookup_symbol.
1258 Thus, our first task is to find everything before the last set of
1259 double-colons and figure out if it's the name of a class. So we
1260 first loop through all of the double-colons. */
1262 p2
= p
; /* Save for restart. */
1264 /* This is very messy. Following the example above we have now the
1267 argptr -> "AAA::inA::fun
1268 saved_arg -> "AAA::inA::fun
1269 saved_arg2 -> "AAA::inA::fun
1270 p2 -> "::inA::fun". */
1272 /* In the loop below, with these strings, we'll make 2 passes, each
1273 is marked in comments.*/
1277 /* Move pointer up to next possible class/namespace token. */
1279 p
= p2
+ 1; /* Restart with old value +1. */
1281 /* PASS1: at this point p2->"::inA::fun", so p->":inA::fun",
1282 i.e. if there is a double-colon, p will now point to the
1284 /* PASS2: p2->"::fun", p->":fun" */
1286 /* Move pointer ahead to next double-colon. */
1287 while (*p
&& (p
[0] != ' ') && (p
[0] != '\t') && (p
[0] != '\'')
1290 if (current_language
->la_language
== language_cplus
)
1291 p
+= cp_validate_operator (p
);
1295 temp_end
= find_template_name_end (p
);
1297 error (_("malformed template specification in command"));
1300 /* Note that, since, at the start of this loop, p would be
1301 pointing to the second colon in a double-colon, we only
1302 satisfy the condition below if there is another
1303 double-colon to the right (after). I.e. there is another
1304 component that can be a class or a namespace. I.e, if at
1305 the beginning of this loop (PASS1), we had
1306 p->":inA::fun", we'll trigger this when p has been
1307 advanced to point to "::fun". */
1308 /* PASS2: we will not trigger this. */
1309 else if ((p
[0] == ':') && (p
[1] == ':'))
1310 break; /* Found double-colon. */
1312 /* PASS2: We'll keep getting here, until p->"", at which point
1313 we exit this loop. */
1318 break; /* Out of the while (1). This would happen
1319 for instance if we have looked up
1320 unsuccessfully all the components of the
1321 string, and p->""(PASS2) */
1323 /* We get here if p points to ' ', '\t', '\'', "::" or ""(i.e
1325 /* Save restart for next time around. */
1327 /* Restore argptr as it was on entry to this function. */
1328 *argptr
= saved_arg2
;
1329 /* PASS1: at this point p->"::fun" argptr->"AAA::inA::fun",
1332 /* All ready for next pass through the loop. */
1336 /* Start of lookup in the symbol tables. */
1338 /* Lookup in the symbol table the substring between argptr and
1339 p. Note, this call changes the value of argptr. */
1340 /* Before the call, argptr->"AAA::inA::fun",
1341 p->"", p2->"::fun". After the call: argptr->"fun", p, p2
1343 sym_class
= lookup_prefix_sym (argptr
, p2
);
1345 /* If sym_class has been found, and if "AAA::inA" is a class, then
1346 we're in case 1 above. So we look up "fun" as a method of that
1349 (t
= check_typedef (SYMBOL_TYPE (sym_class
)),
1350 (TYPE_CODE (t
) == TYPE_CODE_STRUCT
1351 || TYPE_CODE (t
) == TYPE_CODE_UNION
)))
1353 /* Arg token is not digits => try it as a function name.
1354 Find the next token (everything up to end or next
1357 && strchr (get_gdb_completer_quote_characters (),
1360 p
= skip_quoted (*argptr
);
1361 *argptr
= *argptr
+ 1;
1365 /* At this point argptr->"fun". */
1369 while (*p
&& *p
!= ' ' && *p
!= '\t' && *p
!= ',' && *p
!= ':'
1372 /* At this point p->"". String ended. */
1373 /* Nope, C++ operators could have spaces in them
1374 ("foo::operator <" or "foo::operator delete []").
1375 I apologize, this is a bit hacky... */
1376 if (current_language
->la_language
== language_cplus
1377 && *p
== ' ' && p
- 8 - *argptr
+ 1 > 0)
1379 /* The above loop has already swallowed "operator". */
1380 p
+= cp_validate_operator (p
- 8) - 8;
1383 /* Keep any template parameters */
1385 p
= find_template_name_end (p
);
1387 /* Keep method overload information. */
1388 a
= strchr (p
, '(');
1390 p
= find_method_overload_end (a
);
1392 /* Make sure we keep important kewords like "const" */
1393 if (strncmp (p
, " const", 6) == 0)
1396 /* Java may append typenames, so assume that if there is
1397 anything else left in *argptr, it must be a typename. */
1398 if (*p
&& current_language
->la_language
== language_java
)
1405 copy
= (char *) alloca (p2
- p
+ 1);
1406 memcpy (copy
, p
, p2
- p
);
1407 copy
[p2
- p
] = '\0';
1408 type
= lookup_typename (current_language
, get_current_arch (),
1412 /* Save the location of this just in case this
1413 method/type combination isn't actually defined.
1414 It will be checked later. */
1415 saved_java_argptr
= p
;
1421 /* Allocate our own copy of the substring between argptr and
1423 copy
= (char *) alloca (p
- *argptr
+ 1);
1424 memcpy (copy
, *argptr
, p
- *argptr
);
1425 copy
[p
- *argptr
] = '\0';
1427 && copy
[p
- *argptr
- 1]
1428 && strchr (get_gdb_completer_quote_characters (),
1429 copy
[p
- *argptr
- 1]) != NULL
)
1430 copy
[p
- *argptr
- 1] = '\0';
1432 /* At this point copy->"fun", p->"" */
1434 /* No line number may be specified. */
1435 while (*p
== ' ' || *p
== '\t')
1438 /* At this point arptr->"". */
1440 /* Look for copy as a method of sym_class. */
1441 /* At this point copy->"fun", sym_class is "AAA:inA",
1442 saved_arg->"AAA::inA::fun". This concludes the scanning of
1443 the string for possible components matches. If we find it
1444 here, we return. If not, and we are at the and of the string,
1445 we'll lookup the whole string in the symbol tables. */
1447 values
= find_method (funfirstline
, canonical
, saved_arg
,
1448 copy
, t
, sym_class
, not_found_ptr
);
1449 if (saved_java_argptr
!= NULL
&& values
.nelts
== 1)
1451 /* The user specified a specific return type for a java method.
1452 Double-check that it really is the one the user specified.
1453 [This is a necessary evil because strcmp_iw_ordered stops
1454 comparisons too prematurely.] */
1455 sym
= find_pc_sect_function (values
.sals
[0].pc
,
1456 values
.sals
[0].section
);
1457 /* We just found a SAL, we had better be able to go backwards! */
1458 gdb_assert (sym
!= NULL
);
1459 if (strcmp_iw (SYMBOL_LINKAGE_NAME (sym
), saved_arg
) != 0)
1461 xfree (values
.sals
);
1462 error (_("the class `%s' does not have "
1463 "any method instance named %s"),
1464 SYMBOL_PRINT_NAME (sym_class
), copy
);
1468 } /* End if symbol found */
1471 /* We couldn't find a class, so we're in case 2 above. We check the
1472 entire name as a symbol instead. */
1474 copy
= (char *) alloca (p
- saved_arg2
+ 1);
1475 memcpy (copy
, saved_arg2
, p
- saved_arg2
);
1476 /* Note: if is_quoted should be true, we snuff out quote here
1478 copy
[p
- saved_arg2
] = '\000';
1479 /* Set argptr to skip over the name. */
1480 *argptr
= (*p
== '\'') ? p
+ 1 : p
;
1482 /* Look up entire name */
1483 sym
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
1485 return symbol_found (funfirstline
, canonical
, copy
, sym
, NULL
);
1487 /* Couldn't find any interpretation as classes/namespaces, so give
1488 up. The quotes are important if copy is empty. */
1491 cplusplus_error (saved_arg
,
1492 "Can't find member of namespace, "
1493 "class, struct, or union named \"%s\"\n",
1497 /* Next come some helper functions for decode_compound. */
1499 /* Return the symbol corresponding to the substring of *ARGPTR ending
1500 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1501 name in question, the compound object separator ("::" or "."), and
1502 whitespace. Note that *ARGPTR is changed whether or not the
1503 lookup_symbol call finds anything (i.e we return NULL). As an
1504 example, say ARGPTR is "AAA::inA::fun" and P is "::inA::fun". */
1506 static struct symbol
*
1507 lookup_prefix_sym (char **argptr
, char *p
)
1513 /* Extract the class name. */
1515 while (p
!= *argptr
&& p
[-1] == ' ')
1517 copy
= (char *) alloca (p
- *argptr
+ 1);
1518 memcpy (copy
, *argptr
, p
- *argptr
);
1519 copy
[p
- *argptr
] = 0;
1521 /* Discard the class name from the argptr. */
1522 p
= p1
+ (p1
[0] == ':' ? 2 : 1);
1523 while (*p
== ' ' || *p
== '\t')
1527 /* At this point p1->"::inA::fun", p->"inA::fun" copy->"AAA",
1528 argptr->"inA::fun" */
1530 sym
= lookup_symbol (copy
, 0, STRUCT_DOMAIN
, 0);
1533 /* Typedefs are in VAR_DOMAIN so the above symbol lookup will
1534 fail when the user attempts to lookup a method of a class
1535 via a typedef'd name (NOT via the class's name, which is already
1536 handled in symbol_matches_domain). So try the lookup again
1537 using VAR_DOMAIN (where typedefs live) and double-check that we
1538 found a struct/class type. */
1539 struct symbol
*s
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
1543 struct type
*t
= SYMBOL_TYPE (s
);
1546 if (TYPE_CODE (t
) == TYPE_CODE_STRUCT
)
1554 /* This finds the method COPY in the class whose type is T and whose
1555 symbol is SYM_CLASS. */
1557 static struct symtabs_and_lines
1558 find_method (int funfirstline
, char ***canonical
, char *saved_arg
,
1559 char *copy
, struct type
*t
, struct symbol
*sym_class
,
1562 struct symtabs_and_lines values
;
1563 struct symbol
*sym
= NULL
;
1564 int i1
; /* Counter for the symbol array. */
1565 struct symbol
**sym_arr
= alloca (total_number_of_methods (t
)
1566 * sizeof (struct symbol
*));
1568 /* Find all methods with a matching name, and put them in
1571 i1
= find_methods (t
, copy
, SYMBOL_LANGUAGE (sym_class
), sym_arr
);
1575 /* There is exactly one field with that name. */
1578 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1580 values
.sals
= (struct symtab_and_line
*)
1581 xmalloc (sizeof (struct symtab_and_line
));
1583 values
.sals
[0] = find_function_start_sal (sym
,
1595 /* If we were given a specific overload instance, use that
1596 (or error if no matches were found). Otherwise ask the user
1597 which one to use. */
1598 if (strchr (saved_arg
, '(') != NULL
)
1601 char *name
= saved_arg
;
1602 char *canon
= cp_canonicalize_string (name
);
1603 struct cleanup
*cleanup
;
1608 cleanup
= make_cleanup (xfree
, canon
);
1611 cleanup
= make_cleanup (null_cleanup
, NULL
);
1613 for (i
= 0; i
< i1
; ++i
)
1615 if (strcmp_iw (name
, SYMBOL_LINKAGE_NAME (sym_arr
[i
])) == 0)
1617 values
.sals
= (struct symtab_and_line
*)
1618 xmalloc (sizeof (struct symtab_and_line
));
1620 values
.sals
[0] = find_function_start_sal (sym_arr
[i
],
1622 do_cleanups (cleanup
);
1627 error (_("the class `%s' does not have "
1628 "any method instance named %s"),
1629 SYMBOL_PRINT_NAME (sym_class
), copy
);
1632 return decode_line_2 (sym_arr
, i1
, funfirstline
, canonical
);
1639 cplusplus_error (saved_arg
,
1640 "the class `%s' does not have destructor defined\n",
1641 SYMBOL_PRINT_NAME (sym_class
));
1643 cplusplus_error (saved_arg
,
1644 "the class %s does not have any method named %s\n",
1645 SYMBOL_PRINT_NAME (sym_class
), copy
);
1651 /* Return the symtab associated to the filename given by the substring
1652 of *ARGPTR ending at P, and advance ARGPTR past that filename. If
1653 NOT_FOUND_PTR is not null and the source file is not found, store
1654 boolean true at the location pointed to and do not issue an
1657 static struct symtab
*
1658 symtab_from_filename (char **argptr
, char *p
, int is_quote_enclosed
,
1663 struct symtab
*file_symtab
;
1666 while (p
!= *argptr
&& p
[-1] == ' ')
1668 if ((*p
== '"') && is_quote_enclosed
)
1670 copy
= (char *) alloca (p
- *argptr
+ 1);
1671 memcpy (copy
, *argptr
, p
- *argptr
);
1672 /* It may have the ending quote right after the file name. */
1673 if ((is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1674 || copy
[p
- *argptr
- 1] == '\'')
1675 copy
[p
- *argptr
- 1] = 0;
1677 copy
[p
- *argptr
] = 0;
1679 /* Find that file's data. */
1680 file_symtab
= lookup_symtab (copy
);
1681 if (file_symtab
== 0)
1685 if (!have_full_symbols () && !have_partial_symbols ())
1686 throw_error (NOT_FOUND_ERROR
,
1687 _("No symbol table is loaded. "
1688 "Use the \"file\" command."));
1689 throw_error (NOT_FOUND_ERROR
, _("No source file named %s."), copy
);
1692 /* Discard the file name from the arg. */
1694 while (*p
== ' ' || *p
== '\t')
1703 /* This decodes a line where the argument is all digits (possibly
1704 preceded by a sign). Q should point to the end of those digits;
1705 the other arguments are as usual. */
1707 static struct symtabs_and_lines
1708 decode_all_digits (char **argptr
, struct symtab
*default_symtab
,
1709 int default_line
, char ***canonical
,
1710 struct symtab
*file_symtab
, char *q
)
1713 struct symtabs_and_lines values
;
1714 struct symtab_and_line val
;
1722 /* We might need a canonical line spec if no file was specified. */
1723 int need_canonical
= (file_symtab
== NULL
) ? 1 : 0;
1727 val
.pspace
= current_program_space
;
1729 /* This is where we need to make sure that we have good defaults.
1730 We must guarantee that this section of code is never executed
1731 when we are called with just a function name, since
1732 set_default_source_symtab_and_line uses
1733 select_source_symtab that calls us with such an argument. */
1735 if (file_symtab
== 0 && default_symtab
== 0)
1737 /* Make sure we have at least a default source file. */
1738 set_default_source_symtab_and_line ();
1739 initialize_defaults (&default_symtab
, &default_line
);
1742 if (**argptr
== '+')
1743 sign
= plus
, (*argptr
)++;
1744 else if (**argptr
== '-')
1745 sign
= minus
, (*argptr
)++;
1746 val
.line
= atoi (*argptr
);
1752 if (file_symtab
== 0)
1753 val
.line
= default_line
+ val
.line
;
1758 if (file_symtab
== 0)
1759 val
.line
= default_line
- val
.line
;
1764 break; /* No need to adjust val.line. */
1767 while (*q
== ' ' || *q
== '\t')
1770 if (file_symtab
== 0)
1771 file_symtab
= default_symtab
;
1773 /* It is possible that this source file has more than one symtab,
1774 and that the new line number specification has moved us from the
1775 default (in file_symtab) to a new one. */
1776 val
.symtab
= find_line_symtab (file_symtab
, val
.line
, NULL
, NULL
);
1777 if (val
.symtab
== 0)
1778 val
.symtab
= file_symtab
;
1780 val
.pspace
= SYMTAB_PSPACE (val
.symtab
);
1782 values
.sals
= (struct symtab_and_line
*)
1783 xmalloc (sizeof (struct symtab_and_line
));
1784 values
.sals
[0] = val
;
1787 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1788 values
.sals
[0].explicit_line
= 1;
1794 /* Decode a linespec starting with a dollar sign. */
1796 static struct symtabs_and_lines
1797 decode_dollar (char *copy
, int funfirstline
, struct symtab
*default_symtab
,
1798 char ***canonical
, struct symtab
*file_symtab
)
1802 int need_canonical
= 0;
1803 struct symtabs_and_lines values
;
1804 struct symtab_and_line val
;
1807 struct minimal_symbol
*msymbol
;
1809 p
= (copy
[1] == '$') ? copy
+ 2 : copy
+ 1;
1810 while (*p
>= '0' && *p
<= '9')
1812 if (!*p
) /* Reached end of token without hitting non-digit. */
1814 /* We have a value history reference. */
1815 struct value
*val_history
;
1817 sscanf ((copy
[1] == '$') ? copy
+ 2 : copy
+ 1, "%d", &index
);
1818 val_history
= access_value_history ((copy
[1] == '$') ? -index
: index
);
1819 if (TYPE_CODE (value_type (val_history
)) != TYPE_CODE_INT
)
1820 error (_("History values used in line "
1821 "specs must have integer values."));
1822 valx
= value_as_long (val_history
);
1826 /* Not all digits -- may be user variable/function or a
1827 convenience variable. */
1829 /* Look up entire name as a symbol first. */
1830 sym
= lookup_symbol (copy
, 0, VAR_DOMAIN
, 0);
1831 file_symtab
= (struct symtab
*) NULL
;
1833 /* Symbol was found --> jump to normal symbol processing. */
1835 return symbol_found (funfirstline
, canonical
, copy
, sym
, NULL
);
1837 /* If symbol was not found, look in minimal symbol tables. */
1838 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1839 /* Min symbol was found --> jump to minsym processing. */
1841 return minsym_found (funfirstline
, msymbol
);
1843 /* Not a user variable or function -- must be convenience variable. */
1844 if (!get_internalvar_integer (lookup_internalvar (copy
+ 1), &valx
))
1845 error (_("Convenience variables used in line "
1846 "specs must have integer values."));
1851 /* Either history value or convenience value from above, in valx. */
1852 val
.symtab
= file_symtab
? file_symtab
: default_symtab
;
1855 val
.pspace
= current_program_space
;
1857 values
.sals
= (struct symtab_and_line
*) xmalloc (sizeof val
);
1858 values
.sals
[0] = val
;
1862 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1869 /* A helper for decode_line_1 that tries to find a label. The label
1870 is searched for in the current block.
1871 COPY is the name of the label to find.
1872 CANONICAL is the same as the "canonical" argument to decode_line_1.
1873 RESULT is a pointer to a symtabs_and_lines structure which will be
1874 filled in on success.
1875 This function returns 1 if a label was found, 0 otherwise. */
1878 decode_label (char *copy
, char ***canonical
, struct symtabs_and_lines
*result
)
1882 sym
= lookup_symbol (copy
, get_selected_block (0), LABEL_DOMAIN
, 0);
1885 *result
= symbol_found (0, canonical
, copy
, sym
, NULL
);
1890 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
1891 look in that symtab's static variables first. If NOT_FOUND_PTR is
1892 not NULL and the function cannot be found, store boolean true in
1893 the location pointed to and do not issue an error message. */
1895 static struct symtabs_and_lines
1896 decode_variable (char *copy
, int funfirstline
, char ***canonical
,
1897 struct symtab
*file_symtab
, int *not_found_ptr
)
1900 struct minimal_symbol
*msymbol
;
1902 sym
= lookup_symbol (copy
,
1904 ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab
),
1906 : get_selected_block (0)),
1910 return symbol_found (funfirstline
, canonical
, copy
, sym
, file_symtab
);
1912 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1914 if (msymbol
!= NULL
)
1915 return minsym_found (funfirstline
, msymbol
);
1920 if (!have_full_symbols ()
1921 && !have_partial_symbols ()
1922 && !have_minimal_symbols ())
1923 throw_error (NOT_FOUND_ERROR
,
1924 _("No symbol table is loaded. Use the \"file\" command."));
1925 throw_error (NOT_FOUND_ERROR
, _("Function \"%s\" not defined."), copy
);
1931 /* Now come some functions that are called from multiple places within
1934 /* We've found a symbol SYM to associate with our linespec; build a
1935 corresponding struct symtabs_and_lines. */
1937 static struct symtabs_and_lines
1938 symbol_found (int funfirstline
, char ***canonical
, char *copy
,
1939 struct symbol
*sym
, struct symtab
*file_symtab
)
1941 struct symtabs_and_lines values
;
1943 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1945 /* Arg is the name of a function */
1946 values
.sals
= (struct symtab_and_line
*)
1947 xmalloc (sizeof (struct symtab_and_line
));
1948 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
1951 /* Don't use the SYMBOL_LINE; if used at all it points to
1952 the line containing the parameters or thereabouts, not
1953 the first line of code. */
1955 /* We might need a canonical line spec if it is a static
1957 if (file_symtab
== 0)
1959 struct blockvector
*bv
= BLOCKVECTOR (SYMBOL_SYMTAB (sym
));
1960 struct block
*b
= BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
);
1962 if (lookup_block_symbol (b
, copy
, VAR_DOMAIN
) != NULL
)
1963 build_canonical_line_spec (values
.sals
, copy
, canonical
);
1969 if (funfirstline
&& SYMBOL_CLASS (sym
) != LOC_LABEL
)
1970 error (_("\"%s\" is not a function"), copy
);
1971 else if (SYMBOL_LINE (sym
) != 0)
1973 /* We know its line number. */
1974 values
.sals
= (struct symtab_and_line
*)
1975 xmalloc (sizeof (struct symtab_and_line
));
1977 memset (&values
.sals
[0], 0, sizeof (values
.sals
[0]));
1978 values
.sals
[0].symtab
= SYMBOL_SYMTAB (sym
);
1979 values
.sals
[0].line
= SYMBOL_LINE (sym
);
1980 values
.sals
[0].pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
1984 /* This can happen if it is compiled with a compiler which doesn't
1985 put out line numbers for variables. */
1986 /* FIXME: Shouldn't we just set .line and .symtab to zero
1987 and return? For example, "info line foo" could print
1989 error (_("Line number not known for symbol \"%s\""), copy
);
1993 /* We've found a minimal symbol MSYMBOL to associate with our
1994 linespec; build a corresponding struct symtabs_and_lines. */
1996 static struct symtabs_and_lines
1997 minsym_found (int funfirstline
, struct minimal_symbol
*msymbol
)
1999 struct objfile
*objfile
= msymbol_objfile (msymbol
);
2000 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
2001 struct symtabs_and_lines values
;
2004 values
.sals
= (struct symtab_and_line
*)
2005 xmalloc (sizeof (struct symtab_and_line
));
2006 values
.sals
[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol
),
2007 (struct obj_section
*) 0, 0);
2008 values
.sals
[0].section
= SYMBOL_OBJ_SECTION (msymbol
);
2010 /* The minimal symbol might point to a function descriptor;
2011 resolve it to the actual code address instead. */
2012 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
,
2015 if (pc
!= values
.sals
[0].pc
)
2016 values
.sals
[0] = find_pc_sect_line (pc
, NULL
, 0);
2019 skip_prologue_sal (&values
.sals
[0]);