]>
git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gdb/linespec.c
1 /* Parser for linespec for the GNU debugger, GDB.
2 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
3 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
4 Free Software Foundation, Inc.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
32 #include "completer.h"
34 #include "parser-defs.h"
36 /* We share this one with symtab.c, but it is not exported widely. */
38 extern char *operator_chars (char *, char **);
40 /* Prototypes for local functions */
42 static void initialize_defaults (struct symtab
**default_symtab
,
45 static void set_flags (char *arg
, int *is_quoted
, char **paren_pointer
);
47 static struct symtabs_and_lines
decode_indirect (char **argptr
);
49 static char *locate_first_half (char **argptr
, int *is_quote_enclosed
);
51 static struct symtabs_and_lines
decode_compound (char **argptr
,
57 static struct symbol
*lookup_prefix_sym (char **argptr
, char *p
);
59 static NORETURN
void cplusplus_error (const char *name
,
61 ATTR_NORETURN
ATTR_FORMAT (printf
, 2, 3);
63 static int total_number_of_methods (struct type
*type
);
65 static int find_methods (struct type
*, char *, struct symbol
**);
67 static void build_canonical_line_spec (struct symtab_and_line
*,
70 static char *find_toplevel_char (char *s
, char c
);
72 static struct symtabs_and_lines
decode_line_2 (struct symbol
*[],
75 static struct symtab
*symtab_from_filename (char **argptr
,
76 char *p
, int is_quote_enclosed
);
79 symtabs_and_lines
decode_all_digits (char **argptr
,
80 struct symtab
*default_symtab
,
83 struct symtab
*file_symtab
,
86 static struct symtabs_and_lines
decode_dollar (char *copy
,
88 struct symtab
*default_symtab
,
90 struct symtab
*file_symtab
);
92 static struct symtabs_and_lines
decode_variable (char *copy
,
95 struct symtab
*file_symtab
);
98 symtabs_and_lines
symbol_found (int funfirstline
,
102 struct symtab
*file_symtab
,
103 struct symtab
*sym_symtab
);
106 symtabs_and_lines
minsym_found (int funfirstline
,
107 struct minimal_symbol
*msymbol
);
109 /* Helper functions. */
111 /* Issue a helpful hint on using the command completion feature on
112 single quoted demangled C++ symbols as part of the completion
116 cplusplus_error (const char *name
, const char *fmt
, ...)
118 struct ui_file
*tmp_stream
;
119 tmp_stream
= mem_fileopen ();
120 make_cleanup_ui_file_delete (tmp_stream
);
124 va_start (args
, fmt
);
125 vfprintf_unfiltered (tmp_stream
, fmt
, args
);
129 while (*name
== '\'')
131 fprintf_unfiltered (tmp_stream
,
132 ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
133 "(Note leading single quote.)"),
135 error_stream (tmp_stream
);
138 /* Return the number of methods described for TYPE, including the
139 methods from types it derives from. This can't be done in the symbol
140 reader because the type of the baseclass might still be stubbed
141 when the definition of the derived class is parsed. */
144 total_number_of_methods (struct type
*type
)
149 CHECK_TYPEDEF (type
);
150 if (TYPE_CPLUS_SPECIFIC (type
) == NULL
)
152 count
= TYPE_NFN_FIELDS_TOTAL (type
);
154 for (n
= 0; n
< TYPE_N_BASECLASSES (type
); n
++)
155 count
+= total_number_of_methods (TYPE_BASECLASS (type
, n
));
160 /* Recursive helper function for decode_line_1.
161 Look for methods named NAME in type T.
162 Return number of matches.
163 Put matches in SYM_ARR, which should have been allocated with
164 a size of total_number_of_methods (T) * sizeof (struct symbol *).
165 Note that this function is g++ specific. */
168 find_methods (struct type
*t
, char *name
, struct symbol
**sym_arr
)
172 char *class_name
= type_name_no_tag (t
);
174 /* Ignore this class if it doesn't have a name. This is ugly, but
175 unless we figure out how to get the physname without the name of
176 the class, then the loop can't do any good. */
178 && (lookup_symbol (class_name
, (struct block
*) NULL
,
179 STRUCT_NAMESPACE
, (int *) NULL
,
180 (struct symtab
**) NULL
)))
183 int name_len
= strlen (name
);
187 /* Loop over each method name. At this level, all overloads of a name
188 are counted as a single name. There is an inner loop which loops over
191 for (method_counter
= TYPE_NFN_FIELDS (t
) - 1;
196 char *method_name
= TYPE_FN_FIELDLIST_NAME (t
, method_counter
);
199 if (strncmp (method_name
, "__", 2) == 0 ||
200 strncmp (method_name
, "op", 2) == 0 ||
201 strncmp (method_name
, "type", 4) == 0)
203 if (cplus_demangle_opname (method_name
, dem_opname
, DMGL_ANSI
))
204 method_name
= dem_opname
;
205 else if (cplus_demangle_opname (method_name
, dem_opname
, 0))
206 method_name
= dem_opname
;
209 if (strcmp_iw (name
, method_name
) == 0)
210 /* Find all the overloaded methods with that name. */
211 for (field_counter
= TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
218 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
220 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
224 tmp_name
= gdb_mangle_name (t
,
227 phys_name
= alloca (strlen (tmp_name
) + 1);
228 strcpy (phys_name
, tmp_name
);
232 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
234 /* Destructor is handled by caller, don't add it to
236 if (is_destructor_name (phys_name
) != 0)
239 sym_arr
[i1
] = lookup_symbol (phys_name
,
242 (struct symtab
**) NULL
);
247 /* This error message gets printed, but the method
248 still seems to be found
249 fputs_filtered("(Cannot find method ", gdb_stdout);
250 fprintf_symbol_filtered (gdb_stdout, phys_name,
252 DMGL_PARAMS | DMGL_ANSI);
253 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
257 else if (strncmp (class_name
, name
, name_len
) == 0
258 && (class_name
[name_len
] == '\0'
259 || class_name
[name_len
] == '<'))
261 /* For GCC 3.x and stabs, constructors and destructors
262 have names like __base_ctor and __complete_dtor.
263 Check the physname for now if we're looking for a
266 = TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
273 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
275 /* GCC 3.x will never produce stabs stub methods, so
276 we don't need to handle this case. */
277 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
279 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
280 if (! is_constructor_name (phys_name
))
283 /* If this method is actually defined, include it in the
285 sym_arr
[i1
] = lookup_symbol (phys_name
,
288 (struct symtab
**) NULL
);
296 /* Only search baseclasses if there is no match yet, since names in
297 derived classes override those in baseclasses.
299 FIXME: The above is not true; it is only true of member functions
300 if they have the same number of arguments (??? - section 13.1 of the
301 ARM says the function members are not in the same scope but doesn't
302 really spell out the rules in a way I understand. In any case, if
303 the number of arguments differ this is a case in which we can overload
304 rather than hiding without any problem, and gcc 2.4.5 does overload
305 rather than hiding in this case). */
308 for (ibase
= 0; ibase
< TYPE_N_BASECLASSES (t
); ibase
++)
309 i1
+= find_methods (TYPE_BASECLASS (t
, ibase
), name
, sym_arr
+ i1
);
314 /* Helper function for decode_line_1.
315 Build a canonical line spec in CANONICAL if it is non-NULL and if
316 the SAL has a symtab.
317 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
318 If SYMNAME is NULL the line number from SAL is used and the canonical
319 line spec is `filename:linenum'. */
322 build_canonical_line_spec (struct symtab_and_line
*sal
, char *symname
,
325 char **canonical_arr
;
326 char *canonical_name
;
328 struct symtab
*s
= sal
->symtab
;
330 if (s
== (struct symtab
*) NULL
331 || s
->filename
== (char *) NULL
332 || canonical
== (char ***) NULL
)
335 canonical_arr
= (char **) xmalloc (sizeof (char *));
336 *canonical
= canonical_arr
;
338 filename
= s
->filename
;
341 canonical_name
= xmalloc (strlen (filename
) + strlen (symname
) + 2);
342 sprintf (canonical_name
, "%s:%s", filename
, symname
);
346 canonical_name
= xmalloc (strlen (filename
) + 30);
347 sprintf (canonical_name
, "%s:%d", filename
, sal
->line
);
349 canonical_arr
[0] = canonical_name
;
354 /* Find an instance of the character C in the string S that is outside
355 of all parenthesis pairs, single-quoted strings, and double-quoted
356 strings. Also, ignore the char within a template name, like a ','
357 within foo<int, int>. */
360 find_toplevel_char (char *s
, char c
)
362 int quoted
= 0; /* zero if we're not in quotes;
363 '"' if we're in a double-quoted string;
364 '\'' if we're in a single-quoted string. */
365 int depth
= 0; /* Number of unclosed parens we've seen. */
368 for (scan
= s
; *scan
; scan
++)
374 else if (*scan
== '\\' && *(scan
+ 1))
377 else if (*scan
== c
&& ! quoted
&& depth
== 0)
379 else if (*scan
== '"' || *scan
== '\'')
381 else if (*scan
== '(' || *scan
== '<')
383 else if ((*scan
== ')' || *scan
== '>') && depth
> 0)
390 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
391 operate on (ask user if necessary).
392 If CANONICAL is non-NULL return a corresponding array of mangled names
393 as canonical line specs there. */
395 static struct symtabs_and_lines
396 decode_line_2 (struct symbol
*sym_arr
[], int nelts
, int funfirstline
,
399 struct symtabs_and_lines values
, return_values
;
404 struct cleanup
*old_chain
;
405 char **canonical_arr
= (char **) NULL
;
407 values
.sals
= (struct symtab_and_line
*)
408 alloca (nelts
* sizeof (struct symtab_and_line
));
409 return_values
.sals
= (struct symtab_and_line
*)
410 xmalloc (nelts
* sizeof (struct symtab_and_line
));
411 old_chain
= make_cleanup (xfree
, return_values
.sals
);
415 canonical_arr
= (char **) xmalloc (nelts
* sizeof (char *));
416 make_cleanup (xfree
, canonical_arr
);
417 memset (canonical_arr
, 0, nelts
* sizeof (char *));
418 *canonical
= canonical_arr
;
422 printf_unfiltered ("[0] cancel\n[1] all\n");
425 init_sal (&return_values
.sals
[i
]); /* Initialize to zeroes. */
426 init_sal (&values
.sals
[i
]);
427 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
429 values
.sals
[i
] = find_function_start_sal (sym_arr
[i
], funfirstline
);
430 printf_unfiltered ("[%d] %s at %s:%d\n",
432 SYMBOL_SOURCE_NAME (sym_arr
[i
]),
433 values
.sals
[i
].symtab
->filename
,
434 values
.sals
[i
].line
);
437 printf_unfiltered ("?HERE\n");
441 if ((prompt
= getenv ("PS2")) == NULL
)
445 args
= command_line_input (prompt
, 0, "overload-choice");
447 if (args
== 0 || *args
== 0)
448 error_no_arg ("one or more choice numbers");
456 while (*arg1
>= '0' && *arg1
<= '9')
458 if (*arg1
&& *arg1
!= ' ' && *arg1
!= '\t')
459 error ("Arguments must be choice numbers.");
469 for (i
= 0; i
< nelts
; i
++)
471 if (canonical_arr
[i
] == NULL
)
473 symname
= SYMBOL_NAME (sym_arr
[i
]);
474 canonical_arr
[i
] = savestring (symname
, strlen (symname
));
478 memcpy (return_values
.sals
, values
.sals
,
479 (nelts
* sizeof (struct symtab_and_line
)));
480 return_values
.nelts
= nelts
;
481 discard_cleanups (old_chain
);
482 return return_values
;
485 if (num
>= nelts
+ 2)
487 printf_unfiltered ("No choice number %d.\n", num
);
492 if (values
.sals
[num
].pc
)
496 symname
= SYMBOL_NAME (sym_arr
[num
]);
497 make_cleanup (xfree
, symname
);
498 canonical_arr
[i
] = savestring (symname
, strlen (symname
));
500 return_values
.sals
[i
++] = values
.sals
[num
];
501 values
.sals
[num
].pc
= 0;
505 printf_unfiltered ("duplicate request for %d ignored.\n", num
);
510 while (*args
== ' ' || *args
== '\t')
513 return_values
.nelts
= i
;
514 discard_cleanups (old_chain
);
515 return return_values
;
518 /* The parser of linespec itself. */
520 /* Parse a string that specifies a line number.
521 Pass the address of a char * variable; that variable will be
522 advanced over the characters actually parsed.
526 LINENUM -- that line number in current file. PC returned is 0.
527 FILE:LINENUM -- that line in that file. PC returned is 0.
528 FUNCTION -- line number of openbrace of that function.
529 PC returned is the start of the function.
530 VARIABLE -- line number of definition of that variable.
532 FILE:FUNCTION -- likewise, but prefer functions in that file.
533 *EXPR -- line in which address EXPR appears.
535 This may all be followed by an "if EXPR", which we ignore.
537 FUNCTION may be an undebuggable function found in minimal symbol table.
539 If the argument FUNFIRSTLINE is nonzero, we want the first line
540 of real code inside a function when a function is specified, and it is
541 not OK to specify a variable or type to get its line number.
543 DEFAULT_SYMTAB specifies the file to use if none is specified.
544 It defaults to current_source_symtab.
545 DEFAULT_LINE specifies the line number to use for relative
546 line numbers (that start with signs). Defaults to current_source_line.
547 If CANONICAL is non-NULL, store an array of strings containing the canonical
548 line specs there if necessary. Currently overloaded member functions and
549 line numbers or static functions without a filename yield a canonical
550 line spec. The array and the line spec strings are allocated on the heap,
551 it is the callers responsibility to free them.
553 Note that it is possible to return zero for the symtab
554 if no file is validly specified. Callers must check that.
555 Also, the line number returned may be invalid. */
557 /* We allow single quotes in various places. This is a hideous
558 kludge, which exists because the completer can't yet deal with the
559 lack of single quotes. FIXME: write a linespec_completer which we
560 can use as appropriate instead of make_symbol_completion_list. */
562 struct symtabs_and_lines
563 decode_line_1 (char **argptr
, int funfirstline
, struct symtab
*default_symtab
,
564 int default_line
, char ***canonical
)
568 /* If a file name is specified, this is its symtab. */
569 struct symtab
*file_symtab
= NULL
;
572 /* This is NULL if there are no parens in *ARGPTR, or a pointer to
573 the closing parenthesis if there are parens. */
575 /* This says whether or not something in *ARGPTR is quoted with
576 completer_quotes (i.e. with single quotes). */
578 /* Is part of *ARGPTR is enclosed in double quotes? */
579 int is_quote_enclosed
;
580 char *saved_arg
= *argptr
;
582 /* Defaults have defaults. */
584 initialize_defaults (&default_symtab
, &default_line
);
586 /* See if arg is *PC. */
589 return decode_indirect (argptr
);
591 /* Set various flags. 'paren_pointer' is important for overload
592 checking, where we allow things like:
593 (gdb) break c::f(int)
596 set_flags (*argptr
, &is_quoted
, &paren_pointer
);
598 /* Check to see if it's a multipart linespec (with colons or
601 /* Locate the end of the first half of the linespec. */
603 p
= locate_first_half (argptr
, &is_quote_enclosed
);
605 /* Does it look like there actually were two parts? */
607 if ((p
[0] == ':' || p
[0] == '.') && paren_pointer
== NULL
)
610 *argptr
= *argptr
+ 1;
612 /* Is it a C++ or Java compound data structure? */
614 if (p
[0] == '.' || p
[1] == ':')
615 return decode_compound (argptr
, funfirstline
, canonical
,
618 /* No, the first part is a filename; set s to be that file's
619 symtab. Also, move argptr past the filename. */
621 file_symtab
= symtab_from_filename (argptr
, p
, is_quote_enclosed
);
624 /* No one really seems to know why this was added. It certainly
625 breaks the command line, though, whenever the passed
626 name is of the form ClassName::Method. This bit of code
627 singles out the class name, and if funfirstline is set (for
628 example, you are setting a breakpoint at this function),
629 you get an error. This did not occur with earlier
630 verions, so I am ifdef'ing this out. 3/29/99 */
633 /* Check if what we have till now is a symbol name */
635 /* We may be looking at a template instantiation such
636 as "foo<int>". Check here whether we know about it,
637 instead of falling through to the code below which
638 handles ordinary function names, because that code
639 doesn't like seeing '<' and '>' in a name -- the
640 skip_quoted call doesn't go past them. So see if we
641 can figure it out right now. */
643 copy
= (char *) alloca (p
- *argptr
+ 1);
644 memcpy (copy
, *argptr
, p
- *argptr
);
645 copy
[p
- *argptr
] = '\000';
646 sym
= lookup_symbol (copy
, 0, VAR_NAMESPACE
, 0, &sym_symtab
);
649 *argptr
= (*p
== '\'') ? p
+ 1 : p
;
650 return symbol_found (funfirstline
, canonical
, copy
, sym
,
653 /* Otherwise fall out from here and go to file/line spec
658 /* S is specified file's symtab, or 0 if no file specified.
659 arg no longer contains the file name. */
661 /* Check whether arg is all digits (and sign). */
664 if (*q
== '-' || *q
== '+')
666 while (*q
>= '0' && *q
<= '9')
669 if (q
!= *argptr
&& (*q
== 0 || *q
== ' ' || *q
== '\t' || *q
== ','))
670 /* We found a token consisting of all digits -- at least one digit. */
671 return decode_all_digits (argptr
, default_symtab
, default_line
,
672 canonical
, file_symtab
, q
);
674 /* Arg token is not digits => try it as a variable name
675 Find the next token (everything up to end or next whitespace). */
677 if (**argptr
== '$') /* May be a convenience variable. */
678 /* One or two $ chars possible. */
679 p
= skip_quoted (*argptr
+ (((*argptr
)[1] == '$') ? 2 : 1));
682 p
= skip_quoted (*argptr
);
684 error ("Unmatched single quote.");
686 else if (paren_pointer
!= NULL
)
688 p
= paren_pointer
+ 1;
692 p
= skip_quoted (*argptr
);
695 copy
= (char *) alloca (p
- *argptr
+ 1);
696 memcpy (copy
, *argptr
, p
- *argptr
);
697 copy
[p
- *argptr
] = '\0';
700 && copy
[0] == copy
[p
- *argptr
- 1]
701 && strchr (get_gdb_completer_quote_characters (), copy
[0]) != NULL
)
703 copy
[p
- *argptr
- 1] = '\0';
706 while (*p
== ' ' || *p
== '\t')
710 /* If it starts with $: may be a legitimate variable or routine name
711 (e.g. HP-UX millicode routines such as $$dyncall), or it may
712 be history value, or it may be a convenience variable. */
715 return decode_dollar (copy
, funfirstline
, default_symtab
,
716 canonical
, file_symtab
);
718 /* Look up that token as a variable.
719 If file specified, use that file's per-file block to start with. */
721 return decode_variable (copy
, funfirstline
, canonical
, file_symtab
);
726 /* Now, more helper functions for decode_line_1. Some conventions
727 that these functions follow:
729 Decode_line_1 typically passes along some of its arguments or local
730 variables to the subfunctions. It passes the variables by
731 reference if they are modified by the subfunction, and by value
734 Some of the functions have side effects that don't arise from
735 variables that are passed by reference. In particular, if a
736 function is passed ARGPTR as an argument, it modifies what ARGPTR
737 points to; typically, it advances *ARGPTR past whatever substring
738 it has just looked at. (If it doesn't modify *ARGPTR, then the
739 function gets passed *ARGPTR instead, which is then called ARG: see
740 set_flags, for example.) Also, functions that return a struct
741 symtabs_and_lines may modify CANONICAL, as in the description of
744 If a function returns a struct symtabs_and_lines, then that struct
745 will immediately make its way up the call chain to be returned by
746 decode_line_1. In particular, all of the functions decode_XXX
747 calculate the appropriate struct symtabs_and_lines, under the
748 assumption that their argument is of the form XXX. */
750 /* First, some functions to initialize stuff at the beggining of the
754 initialize_defaults (struct symtab
**default_symtab
, int *default_line
)
756 if (*default_symtab
== 0)
758 /* Use whatever we have for the default source line. We don't use
759 get_current_or_default_symtab_and_line as it can recurse and call
761 struct symtab_and_line cursal
=
762 get_current_source_symtab_and_line ();
764 *default_symtab
= cursal
.symtab
;
765 *default_line
= cursal
.line
;
770 set_flags (char *arg
, int *is_quoted
, char **paren_pointer
)
775 /* 'has_if' is for the syntax:
776 (gdb) break foo if (a==b)
778 if ((ii
= strstr (arg
, " if ")) != NULL
||
779 (ii
= strstr (arg
, "\tif ")) != NULL
||
780 (ii
= strstr (arg
, " if\t")) != NULL
||
781 (ii
= strstr (arg
, "\tif\t")) != NULL
||
782 (ii
= strstr (arg
, " if(")) != NULL
||
783 (ii
= strstr (arg
, "\tif( ")) != NULL
)
785 /* Temporarily zap out "if (condition)" to not confuse the
786 parenthesis-checking code below. This is undone below. Do not
794 && strchr (get_gdb_completer_quote_characters (),
797 *paren_pointer
= strchr (arg
, '(');
798 if (*paren_pointer
!= NULL
)
799 *paren_pointer
= strrchr (*paren_pointer
, ')');
801 /* Now that we're safely past the paren_pointer check, put back " if
802 (condition)" so outer layers can see it. */
809 /* Decode arg of the form *PC. */
811 static struct symtabs_and_lines
812 decode_indirect (char **argptr
)
814 struct symtabs_and_lines values
;
818 pc
= parse_and_eval_address_1 (argptr
);
820 values
.sals
= (struct symtab_and_line
*)
821 xmalloc (sizeof (struct symtab_and_line
));
824 values
.sals
[0] = find_pc_line (pc
, 0);
825 values
.sals
[0].pc
= pc
;
826 values
.sals
[0].section
= find_pc_overlay (pc
);
833 /* Locate the first half of the linespec, ending in a colon, period,
834 or whitespace. (More or less.) Also, check to see if *ARGPTR is
835 enclosed in double quotes; if so, set is_quote_enclosed, advance
836 ARGPTR past that and zero out the trailing double quote. */
839 locate_first_half (char **argptr
, int *is_quote_enclosed
)
845 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
846 and we must isolate the first half. Outer layers will call again later
849 Don't count commas that appear in argument lists of overloaded
850 functions, or in quoted strings. It's stupid to go to this much
851 trouble when the rest of the function is such an obvious roach hotel. */
852 ii
= find_toplevel_char (*argptr
, ',');
853 has_comma
= (ii
!= 0);
855 /* Temporarily zap out second half to not confuse the code below.
856 This is undone below. Do not change ii!! */
862 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
863 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
869 *is_quote_enclosed
= 1;
874 *is_quote_enclosed
= 0;
879 char *temp_end
= find_template_name_end (p
);
881 error ("malformed template specification in command");
884 /* Check for the end of the first half of the linespec. End of
885 line, a tab, a double colon or the last single colon, or a
886 space. But if enclosed in double quotes we do not break on
891 && ((p
[1] == ':') || (strchr (p
+ 1, ':') == NULL
)))
892 || ((p
[0] == ' ') && !*is_quote_enclosed
))
894 if (p
[0] == '.' && strchr (p
, ':') == NULL
)
896 /* Java qualified method. Find the *last* '.', since the
897 others are package qualifiers. */
898 for (p1
= p
; *p1
; p1
++)
906 while (p
[0] == ' ' || p
[0] == '\t')
909 /* If the closing double quote was left at the end, remove it. */
910 if (*is_quote_enclosed
)
912 char *closing_quote
= strchr (p
- 1, '"');
913 if (closing_quote
&& closing_quote
[1] == '\0')
914 *closing_quote
= '\0';
917 /* Now that we've safely parsed the first half, put back ',' so
918 outer layers can see it. */
927 /* This handles C++ and Java compound data structures. P should point
928 at the first component separator, i.e. double-colon or period. */
930 static struct symtabs_and_lines
931 decode_compound (char **argptr
, int funfirstline
, char ***canonical
,
932 char *saved_arg
, char *p
)
934 struct symtabs_and_lines values
;
939 char *saved_arg2
= *argptr
;
942 /* The symtab that SYM was found in. */
943 struct symtab
*sym_symtab
;
945 struct symbol
*sym_class
;
947 struct symbol
**sym_arr
;
950 /* First check for "global" namespace specification,
951 of the form "::foo". If found, skip over the colons
952 and jump to normal symbol processing. */
954 && ((*argptr
== p
) || (p
[-1] == ' ') || (p
[-1] == '\t')))
957 /* We have what looks like a class or namespace
958 scope specification (A::B), possibly with many
959 levels of namespaces or classes (A::B::C::D).
961 Some versions of the HP ANSI C++ compiler (as also possibly
962 other compilers) generate class/function/member names with
963 embedded double-colons if they are inside namespaces. To
964 handle this, we loop a few times, considering larger and
965 larger prefixes of the string as though they were single
966 symbols. So, if the initially supplied string is
967 A::B::C::D::foo, we have to look up "A", then "A::B",
968 then "A::B::C", then "A::B::C::D", and finally
969 "A::B::C::D::foo" as single, monolithic symbols, because
970 A, B, C or D may be namespaces.
972 Note that namespaces can nest only inside other
973 namespaces, and not inside classes. So we need only
974 consider *prefixes* of the string; there is no need to look up
975 "B::C" separately as a symbol in the previous example. */
977 p2
= p
; /* Save for restart. */
980 sym_class
= lookup_prefix_sym (argptr
, p
);
983 (t
= check_typedef (SYMBOL_TYPE (sym_class
)),
984 (TYPE_CODE (t
) == TYPE_CODE_STRUCT
985 || TYPE_CODE (t
) == TYPE_CODE_UNION
)))
987 /* Arg token is not digits => try it as a function name.
988 Find the next token (everything up to end or next
991 && strchr (get_gdb_completer_quote_characters (),
994 p
= skip_quoted (*argptr
);
995 *argptr
= *argptr
+ 1;
1000 while (*p
&& *p
!= ' ' && *p
!= '\t' && *p
!= ',' && *p
!= ':')
1004 q = operator_chars (*argptr, &q1);
1008 char *tmp = alloca (q1 - q + 1);
1009 memcpy (tmp, q, q1 - q);
1011 opname = cplus_mangle_opname (tmp, DMGL_ANSI);
1014 cplusplus_error (saved_arg, "no mangling for \"%s\"\n", tmp);
1016 copy = (char*) alloca (3 + strlen(opname));
1017 sprintf (copy, "__%s", opname);
1023 copy
= (char *) alloca (p
- *argptr
+ 1);
1024 memcpy (copy
, *argptr
, p
- *argptr
);
1025 copy
[p
- *argptr
] = '\0';
1027 && copy
[p
- *argptr
- 1]
1028 && strchr (get_gdb_completer_quote_characters (),
1029 copy
[p
- *argptr
- 1]) != NULL
)
1030 copy
[p
- *argptr
- 1] = '\0';
1033 /* No line number may be specified. */
1034 while (*p
== ' ' || *p
== '\t')
1039 i1
= 0; /* Counter for the symbol array. */
1040 sym_arr
= (struct symbol
**) alloca (total_number_of_methods (t
)
1041 * sizeof (struct symbol
*));
1043 if (destructor_name_p (copy
, t
))
1045 /* Destructors are a special case. */
1046 int m_index
, f_index
;
1048 if (get_destructor_fn_field (t
, &m_index
, &f_index
))
1050 struct fn_field
*f
= TYPE_FN_FIELDLIST1 (t
, m_index
);
1053 lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f
, f_index
),
1054 NULL
, VAR_NAMESPACE
, (int *) NULL
,
1055 (struct symtab
**) NULL
);
1061 i1
= find_methods (t
, copy
, sym_arr
);
1064 /* There is exactly one field with that name. */
1067 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1069 values
.sals
= (struct symtab_and_line
*)
1070 xmalloc (sizeof (struct symtab_and_line
));
1072 values
.sals
[0] = find_function_start_sal (sym
,
1083 /* There is more than one field with that name
1084 (overloaded). Ask the user which one to use. */
1085 return decode_line_2 (sym_arr
, i1
, funfirstline
, canonical
);
1091 if (is_operator_name (copy
))
1093 tmp
= (char *) alloca (strlen (copy
+ 3) + 9);
1094 strcpy (tmp
, "operator ");
1095 strcat (tmp
, copy
+ 3);
1100 cplusplus_error (saved_arg
,
1101 "the class `%s' does not have destructor defined\n",
1102 SYMBOL_SOURCE_NAME (sym_class
));
1104 cplusplus_error (saved_arg
,
1105 "the class %s does not have any method named %s\n",
1106 SYMBOL_SOURCE_NAME (sym_class
), tmp
);
1110 /* Move pointer up to next possible class/namespace token. */
1111 p
= p2
+ 1; /* Restart with old value +1. */
1112 /* Move pointer ahead to next double-colon. */
1113 while (*p
&& (p
[0] != ' ') && (p
[0] != '\t') && (p
[0] != '\''))
1117 temp_end
= find_template_name_end (p
);
1119 error ("malformed template specification in command");
1122 else if ((p
[0] == ':') && (p
[1] == ':'))
1123 break; /* Found double-colon. */
1129 break; /* Out of the while (1). */
1131 p2
= p
; /* Save restart for next time around. */
1132 *argptr
= saved_arg2
; /* Restore argptr. */
1135 /* Last chance attempt -- check entire name as a symbol. Use "copy"
1136 in preparation for jumping out of this block, to be consistent
1137 with usage following the jump target. */
1138 copy
= (char *) alloca (p
- saved_arg2
+ 1);
1139 memcpy (copy
, saved_arg2
, p
- saved_arg2
);
1140 /* Note: if is_quoted should be true, we snuff out quote here
1142 copy
[p
- saved_arg2
] = '\000';
1143 /* Set argptr to skip over the name. */
1144 *argptr
= (*p
== '\'') ? p
+ 1 : p
;
1145 /* Look up entire name */
1146 sym
= lookup_symbol (copy
, 0, VAR_NAMESPACE
, 0, &sym_symtab
);
1148 return symbol_found (funfirstline
, canonical
, copy
, sym
,
1151 /* Couldn't find any interpretation as classes/namespaces, so give
1152 up. The quotes are important if copy is empty. */
1153 cplusplus_error (saved_arg
,
1154 "Can't find member of namespace, class, struct, or union named \"%s\"\n",
1158 /* Next come some helper functions for decode_compound. */
1160 /* Return the symbol corresponding to the substring of *ARGPTR ending
1161 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1162 name in question, the compound object separator ("::" or "."), and
1165 static struct symbol
*
1166 lookup_prefix_sym (char **argptr
, char *p
)
1171 /* Extract the class name. */
1173 while (p
!= *argptr
&& p
[-1] == ' ')
1175 copy
= (char *) alloca (p
- *argptr
+ 1);
1176 memcpy (copy
, *argptr
, p
- *argptr
);
1177 copy
[p
- *argptr
] = 0;
1179 /* Discard the class name from the arg. */
1180 p
= p1
+ (p1
[0] == ':' ? 2 : 1);
1181 while (*p
== ' ' || *p
== '\t')
1185 return lookup_symbol (copy
, 0, STRUCT_NAMESPACE
, 0,
1186 (struct symtab
**) NULL
);
1191 /* Return the symtab associated to the filename given by the substring
1192 of *ARGPTR ending at P, and advance ARGPTR past that filename. */
1194 static struct symtab
*
1195 symtab_from_filename (char **argptr
, char *p
, int is_quote_enclosed
)
1199 struct symtab
*file_symtab
;
1202 while (p
!= *argptr
&& p
[-1] == ' ')
1204 if ((*p
== '"') && is_quote_enclosed
)
1206 copy
= (char *) alloca (p
- *argptr
+ 1);
1207 memcpy (copy
, *argptr
, p
- *argptr
);
1208 /* It may have the ending quote right after the file name. */
1209 if (is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1210 copy
[p
- *argptr
- 1] = 0;
1212 copy
[p
- *argptr
] = 0;
1214 /* Find that file's data. */
1215 file_symtab
= lookup_symtab (copy
);
1216 if (file_symtab
== 0)
1218 if (!have_full_symbols () && !have_partial_symbols ())
1219 error ("No symbol table is loaded. Use the \"file\" command.");
1220 error ("No source file named %s.", copy
);
1223 /* Discard the file name from the arg. */
1225 while (*p
== ' ' || *p
== '\t')
1234 /* This decodes a line where the argument is all digits (possibly
1235 preceded by a sign). Q should point to the end of those digits;
1236 the other arguments are as usual. */
1238 static struct symtabs_and_lines
1239 decode_all_digits (char **argptr
, struct symtab
*default_symtab
,
1240 int default_line
, char ***canonical
,
1241 struct symtab
*file_symtab
, char *q
)
1244 struct symtabs_and_lines values
;
1245 struct symtab_and_line val
;
1253 /* We might need a canonical line spec if no file was specified. */
1254 int need_canonical
= (file_symtab
== 0) ? 1 : 0;
1258 /* This is where we need to make sure that we have good defaults.
1259 We must guarantee that this section of code is never executed
1260 when we are called with just a function name, since
1261 set_default_source_symtab_and_line uses
1262 select_source_symtab that calls us with such an argument. */
1264 if (file_symtab
== 0 && default_symtab
== 0)
1266 /* Make sure we have at least a default source file. */
1267 set_default_source_symtab_and_line ();
1268 initialize_defaults (&default_symtab
, &default_line
);
1271 if (**argptr
== '+')
1272 sign
= plus
, (*argptr
)++;
1273 else if (**argptr
== '-')
1274 sign
= minus
, (*argptr
)++;
1275 val
.line
= atoi (*argptr
);
1281 if (file_symtab
== 0)
1282 val
.line
= default_line
+ val
.line
;
1287 if (file_symtab
== 0)
1288 val
.line
= default_line
- val
.line
;
1293 break; /* No need to adjust val.line. */
1296 while (*q
== ' ' || *q
== '\t')
1299 if (file_symtab
== 0)
1300 file_symtab
= default_symtab
;
1302 /* It is possible that this source file has more than one symtab,
1303 and that the new line number specification has moved us from the
1304 default (in file_symtab) to a new one. */
1305 val
.symtab
= find_line_symtab (file_symtab
, val
.line
, NULL
, NULL
);
1306 if (val
.symtab
== 0)
1307 val
.symtab
= file_symtab
;
1310 values
.sals
= (struct symtab_and_line
*)
1311 xmalloc (sizeof (struct symtab_and_line
));
1312 values
.sals
[0] = val
;
1315 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1321 /* Decode a linespec starting with a dollar sign. */
1323 static struct symtabs_and_lines
1324 decode_dollar (char *copy
, int funfirstline
, struct symtab
*default_symtab
,
1325 char ***canonical
, struct symtab
*file_symtab
)
1329 int need_canonical
= 0;
1330 struct symtabs_and_lines values
;
1331 struct symtab_and_line val
;
1334 /* The symtab that SYM was found in. */
1335 struct symtab
*sym_symtab
;
1336 struct minimal_symbol
*msymbol
;
1338 p
= (copy
[1] == '$') ? copy
+ 2 : copy
+ 1;
1339 while (*p
>= '0' && *p
<= '9')
1341 if (!*p
) /* Reached end of token without hitting non-digit. */
1343 /* We have a value history reference. */
1344 sscanf ((copy
[1] == '$') ? copy
+ 2 : copy
+ 1, "%d", &index
);
1345 valx
= access_value_history ((copy
[1] == '$') ? -index
: index
);
1346 if (TYPE_CODE (VALUE_TYPE (valx
)) != TYPE_CODE_INT
)
1347 error ("History values used in line specs must have integer values.");
1351 /* Not all digits -- may be user variable/function or a
1352 convenience variable. */
1354 /* Look up entire name as a symbol first. */
1355 sym
= lookup_symbol (copy
, 0, VAR_NAMESPACE
, 0, &sym_symtab
);
1356 file_symtab
= (struct symtab
*) 0;
1358 /* Symbol was found --> jump to normal symbol processing. */
1360 return symbol_found (funfirstline
, canonical
, copy
, sym
,
1363 /* If symbol was not found, look in minimal symbol tables. */
1364 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1365 /* Min symbol was found --> jump to minsym processing. */
1367 return minsym_found (funfirstline
, msymbol
);
1369 /* Not a user variable or function -- must be convenience variable. */
1370 need_canonical
= (file_symtab
== 0) ? 1 : 0;
1371 valx
= value_of_internalvar (lookup_internalvar (copy
+ 1));
1372 if (TYPE_CODE (VALUE_TYPE (valx
)) != TYPE_CODE_INT
)
1373 error ("Convenience variables used in line specs must have integer values.");
1378 /* Either history value or convenience value from above, in valx. */
1379 val
.symtab
= file_symtab
? file_symtab
: default_symtab
;
1380 val
.line
= value_as_long (valx
);
1383 values
.sals
= (struct symtab_and_line
*) xmalloc (sizeof val
);
1384 values
.sals
[0] = val
;
1388 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1395 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
1396 look in that symtab's static variables first. */
1398 static struct symtabs_and_lines
1399 decode_variable (char *copy
, int funfirstline
, char ***canonical
,
1400 struct symtab
*file_symtab
)
1403 /* The symtab that SYM was found in. */
1404 struct symtab
*sym_symtab
;
1406 struct minimal_symbol
*msymbol
;
1408 sym
= lookup_symbol (copy
,
1410 ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab
),
1412 : get_selected_block (0)),
1413 VAR_NAMESPACE
, 0, &sym_symtab
);
1416 return symbol_found (funfirstline
, canonical
, copy
, sym
,
1417 file_symtab
, sym_symtab
);
1419 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1421 if (msymbol
!= NULL
)
1422 return minsym_found (funfirstline
, msymbol
);
1424 if (!have_full_symbols () &&
1425 !have_partial_symbols () && !have_minimal_symbols ())
1426 error ("No symbol table is loaded. Use the \"file\" command.");
1428 error ("Function \"%s\" not defined.", copy
);
1434 /* Now come some functions that are called from multiple places within
1437 /* We've found a symbol SYM to associate with our linespec; build a
1438 corresponding struct symtabs_and_lines. */
1440 static struct symtabs_and_lines
1441 symbol_found (int funfirstline
, char ***canonical
, char *copy
,
1442 struct symbol
*sym
, struct symtab
*file_symtab
,
1443 struct symtab
*sym_symtab
)
1445 struct symtabs_and_lines values
;
1447 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1449 /* Arg is the name of a function */
1450 values
.sals
= (struct symtab_and_line
*)
1451 xmalloc (sizeof (struct symtab_and_line
));
1452 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
1455 /* Don't use the SYMBOL_LINE; if used at all it points to
1456 the line containing the parameters or thereabouts, not
1457 the first line of code. */
1459 /* We might need a canonical line spec if it is a static
1461 if (file_symtab
== 0)
1463 struct blockvector
*bv
= BLOCKVECTOR (sym_symtab
);
1464 struct block
*b
= BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
);
1465 if (lookup_block_symbol (b
, copy
, NULL
, VAR_NAMESPACE
) != NULL
)
1466 build_canonical_line_spec (values
.sals
, copy
, canonical
);
1473 error ("\"%s\" is not a function", copy
);
1474 else if (SYMBOL_LINE (sym
) != 0)
1476 /* We know its line number. */
1477 values
.sals
= (struct symtab_and_line
*)
1478 xmalloc (sizeof (struct symtab_and_line
));
1480 memset (&values
.sals
[0], 0, sizeof (values
.sals
[0]));
1481 values
.sals
[0].symtab
= sym_symtab
;
1482 values
.sals
[0].line
= SYMBOL_LINE (sym
);
1486 /* This can happen if it is compiled with a compiler which doesn't
1487 put out line numbers for variables. */
1488 /* FIXME: Shouldn't we just set .line and .symtab to zero
1489 and return? For example, "info line foo" could print
1491 error ("Line number not known for symbol \"%s\"", copy
);
1495 /* We've found a minimal symbol MSYMBOL to associate with our
1496 linespec; build a corresponding struct symtabs_and_lines. */
1498 static struct symtabs_and_lines
1499 minsym_found (int funfirstline
, struct minimal_symbol
*msymbol
)
1501 struct symtabs_and_lines values
;
1503 values
.sals
= (struct symtab_and_line
*)
1504 xmalloc (sizeof (struct symtab_and_line
));
1505 values
.sals
[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol
),
1506 (struct sec
*) 0, 0);
1507 values
.sals
[0].section
= SYMBOL_BFD_SECTION (msymbol
);
1510 values
.sals
[0].pc
+= FUNCTION_START_OFFSET
;
1511 values
.sals
[0].pc
= SKIP_PROLOGUE (values
.sals
[0].pc
);