088c2e63d8138cc5223998620f61f4a77578e866
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"
37 /* We share this one with symtab.c, but it is not exported widely. */
39 extern char *operator_chars (char *, char **);
41 /* Prototypes for local functions */
43 static void initialize_defaults (struct symtab
**default_symtab
,
46 static void set_flags (char *arg
, int *is_quoted
, char **paren_pointer
);
48 static struct symtabs_and_lines
decode_indirect (char **argptr
);
50 static char *locate_first_half (char **argptr
, int *is_quote_enclosed
);
52 static struct symtabs_and_lines
decode_compound (char **argptr
,
58 static struct symbol
*lookup_prefix_sym (char **argptr
, char *p
);
60 static struct symtabs_and_lines
find_method (int funfirstline
,
65 struct symbol
*sym_class
);
67 static NORETURN
void cplusplus_error (const char *name
,
69 ATTR_NORETURN
ATTR_FORMAT (printf
, 2, 3);
71 static int total_number_of_methods (struct type
*type
);
73 static int find_methods (struct type
*, char *, struct symbol
**);
75 static void build_canonical_line_spec (struct symtab_and_line
*,
78 static char *find_toplevel_char (char *s
, char c
);
80 static struct symtabs_and_lines
decode_line_2 (struct symbol
*[],
83 static struct symtab
*symtab_from_filename (char **argptr
,
84 char *p
, int is_quote_enclosed
);
87 symtabs_and_lines
decode_all_digits (char **argptr
,
88 struct symtab
*default_symtab
,
91 struct symtab
*file_symtab
,
94 static struct symtabs_and_lines
decode_dollar (char *copy
,
96 struct symtab
*default_symtab
,
98 struct symtab
*file_symtab
);
100 static struct symtabs_and_lines
decode_variable (char *copy
,
103 struct symtab
*file_symtab
);
106 symtabs_and_lines
symbol_found (int funfirstline
,
110 struct symtab
*file_symtab
,
111 struct symtab
*sym_symtab
);
114 symtabs_and_lines
minsym_found (int funfirstline
,
115 struct minimal_symbol
*msymbol
);
117 /* Helper functions. */
119 /* Issue a helpful hint on using the command completion feature on
120 single quoted demangled C++ symbols as part of the completion
124 cplusplus_error (const char *name
, const char *fmt
, ...)
126 struct ui_file
*tmp_stream
;
127 tmp_stream
= mem_fileopen ();
128 make_cleanup_ui_file_delete (tmp_stream
);
132 va_start (args
, fmt
);
133 vfprintf_unfiltered (tmp_stream
, fmt
, args
);
137 while (*name
== '\'')
139 fprintf_unfiltered (tmp_stream
,
140 ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
141 "(Note leading single quote.)"),
143 error_stream (tmp_stream
);
146 /* Return the number of methods described for TYPE, including the
147 methods from types it derives from. This can't be done in the symbol
148 reader because the type of the baseclass might still be stubbed
149 when the definition of the derived class is parsed. */
152 total_number_of_methods (struct type
*type
)
157 CHECK_TYPEDEF (type
);
158 if (TYPE_CPLUS_SPECIFIC (type
) == NULL
)
160 count
= TYPE_NFN_FIELDS_TOTAL (type
);
162 for (n
= 0; n
< TYPE_N_BASECLASSES (type
); n
++)
163 count
+= total_number_of_methods (TYPE_BASECLASS (type
, n
));
168 /* Recursive helper function for decode_line_1.
169 Look for methods named NAME in type T.
170 Return number of matches.
171 Put matches in SYM_ARR, which should have been allocated with
172 a size of total_number_of_methods (T) * sizeof (struct symbol *).
173 Note that this function is g++ specific. */
176 find_methods (struct type
*t
, char *name
, struct symbol
**sym_arr
)
180 char *class_name
= type_name_no_tag (t
);
182 /* Ignore this class if it doesn't have a name. This is ugly, but
183 unless we figure out how to get the physname without the name of
184 the class, then the loop can't do any good. */
186 && (lookup_symbol (class_name
, (struct block
*) NULL
,
187 STRUCT_NAMESPACE
, (int *) NULL
,
188 (struct symtab
**) NULL
)))
191 int name_len
= strlen (name
);
195 /* Loop over each method name. At this level, all overloads of a name
196 are counted as a single name. There is an inner loop which loops over
199 for (method_counter
= TYPE_NFN_FIELDS (t
) - 1;
204 char *method_name
= TYPE_FN_FIELDLIST_NAME (t
, method_counter
);
207 if (strncmp (method_name
, "__", 2) == 0 ||
208 strncmp (method_name
, "op", 2) == 0 ||
209 strncmp (method_name
, "type", 4) == 0)
211 if (cplus_demangle_opname (method_name
, dem_opname
, DMGL_ANSI
))
212 method_name
= dem_opname
;
213 else if (cplus_demangle_opname (method_name
, dem_opname
, 0))
214 method_name
= dem_opname
;
217 if (strcmp_iw (name
, method_name
) == 0)
218 /* Find all the overloaded methods with that name. */
219 for (field_counter
= TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
226 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
228 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
232 tmp_name
= gdb_mangle_name (t
,
235 phys_name
= alloca (strlen (tmp_name
) + 1);
236 strcpy (phys_name
, tmp_name
);
240 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
242 /* Destructor is handled by caller, don't add it to
244 if (is_destructor_name (phys_name
) != 0)
247 sym_arr
[i1
] = lookup_symbol (phys_name
,
250 (struct symtab
**) NULL
);
255 /* This error message gets printed, but the method
256 still seems to be found
257 fputs_filtered("(Cannot find method ", gdb_stdout);
258 fprintf_symbol_filtered (gdb_stdout, phys_name,
260 DMGL_PARAMS | DMGL_ANSI);
261 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
265 else if (strncmp (class_name
, name
, name_len
) == 0
266 && (class_name
[name_len
] == '\0'
267 || class_name
[name_len
] == '<'))
269 /* For GCC 3.x and stabs, constructors and destructors
270 have names like __base_ctor and __complete_dtor.
271 Check the physname for now if we're looking for a
274 = TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
) - 1;
281 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
283 /* GCC 3.x will never produce stabs stub methods, so
284 we don't need to handle this case. */
285 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
287 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
288 if (! is_constructor_name (phys_name
))
291 /* If this method is actually defined, include it in the
293 sym_arr
[i1
] = lookup_symbol (phys_name
,
296 (struct symtab
**) NULL
);
304 /* Only search baseclasses if there is no match yet, since names in
305 derived classes override those in baseclasses.
307 FIXME: The above is not true; it is only true of member functions
308 if they have the same number of arguments (??? - section 13.1 of the
309 ARM says the function members are not in the same scope but doesn't
310 really spell out the rules in a way I understand. In any case, if
311 the number of arguments differ this is a case in which we can overload
312 rather than hiding without any problem, and gcc 2.4.5 does overload
313 rather than hiding in this case). */
316 for (ibase
= 0; ibase
< TYPE_N_BASECLASSES (t
); ibase
++)
317 i1
+= find_methods (TYPE_BASECLASS (t
, ibase
), name
, sym_arr
+ i1
);
322 /* Helper function for decode_line_1.
323 Build a canonical line spec in CANONICAL if it is non-NULL and if
324 the SAL has a symtab.
325 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
326 If SYMNAME is NULL the line number from SAL is used and the canonical
327 line spec is `filename:linenum'. */
330 build_canonical_line_spec (struct symtab_and_line
*sal
, char *symname
,
333 char **canonical_arr
;
334 char *canonical_name
;
336 struct symtab
*s
= sal
->symtab
;
338 if (s
== (struct symtab
*) NULL
339 || s
->filename
== (char *) NULL
340 || canonical
== (char ***) NULL
)
343 canonical_arr
= (char **) xmalloc (sizeof (char *));
344 *canonical
= canonical_arr
;
346 filename
= s
->filename
;
349 canonical_name
= xmalloc (strlen (filename
) + strlen (symname
) + 2);
350 sprintf (canonical_name
, "%s:%s", filename
, symname
);
354 canonical_name
= xmalloc (strlen (filename
) + 30);
355 sprintf (canonical_name
, "%s:%d", filename
, sal
->line
);
357 canonical_arr
[0] = canonical_name
;
362 /* Find an instance of the character C in the string S that is outside
363 of all parenthesis pairs, single-quoted strings, and double-quoted
364 strings. Also, ignore the char within a template name, like a ','
365 within foo<int, int>. */
368 find_toplevel_char (char *s
, char c
)
370 int quoted
= 0; /* zero if we're not in quotes;
371 '"' if we're in a double-quoted string;
372 '\'' if we're in a single-quoted string. */
373 int depth
= 0; /* Number of unclosed parens we've seen. */
376 for (scan
= s
; *scan
; scan
++)
382 else if (*scan
== '\\' && *(scan
+ 1))
385 else if (*scan
== c
&& ! quoted
&& depth
== 0)
387 else if (*scan
== '"' || *scan
== '\'')
389 else if (*scan
== '(' || *scan
== '<')
391 else if ((*scan
== ')' || *scan
== '>') && depth
> 0)
398 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
399 operate on (ask user if necessary).
400 If CANONICAL is non-NULL return a corresponding array of mangled names
401 as canonical line specs there. */
403 static struct symtabs_and_lines
404 decode_line_2 (struct symbol
*sym_arr
[], int nelts
, int funfirstline
,
407 struct symtabs_and_lines values
, return_values
;
412 struct cleanup
*old_chain
;
413 char **canonical_arr
= (char **) NULL
;
415 values
.sals
= (struct symtab_and_line
*)
416 alloca (nelts
* sizeof (struct symtab_and_line
));
417 return_values
.sals
= (struct symtab_and_line
*)
418 xmalloc (nelts
* sizeof (struct symtab_and_line
));
419 old_chain
= make_cleanup (xfree
, return_values
.sals
);
423 canonical_arr
= (char **) xmalloc (nelts
* sizeof (char *));
424 make_cleanup (xfree
, canonical_arr
);
425 memset (canonical_arr
, 0, nelts
* sizeof (char *));
426 *canonical
= canonical_arr
;
430 printf_unfiltered ("[0] cancel\n[1] all\n");
433 init_sal (&return_values
.sals
[i
]); /* Initialize to zeroes. */
434 init_sal (&values
.sals
[i
]);
435 if (sym_arr
[i
] && SYMBOL_CLASS (sym_arr
[i
]) == LOC_BLOCK
)
437 values
.sals
[i
] = find_function_start_sal (sym_arr
[i
], funfirstline
);
438 printf_unfiltered ("[%d] %s at %s:%d\n",
440 SYMBOL_PRINT_NAME (sym_arr
[i
]),
441 values
.sals
[i
].symtab
->filename
,
442 values
.sals
[i
].line
);
445 printf_unfiltered ("?HERE\n");
449 prompt
= getenv ("PS2");
454 args
= command_line_input (prompt
, 0, "overload-choice");
456 if (args
== 0 || *args
== 0)
457 error_no_arg ("one or more choice numbers");
465 while (*arg1
>= '0' && *arg1
<= '9')
467 if (*arg1
&& *arg1
!= ' ' && *arg1
!= '\t')
468 error ("Arguments must be choice numbers.");
478 for (i
= 0; i
< nelts
; i
++)
480 if (canonical_arr
[i
] == NULL
)
482 symname
= DEPRECATED_SYMBOL_NAME (sym_arr
[i
]);
483 canonical_arr
[i
] = savestring (symname
, strlen (symname
));
487 memcpy (return_values
.sals
, values
.sals
,
488 (nelts
* sizeof (struct symtab_and_line
)));
489 return_values
.nelts
= nelts
;
490 discard_cleanups (old_chain
);
491 return return_values
;
494 if (num
>= nelts
+ 2)
496 printf_unfiltered ("No choice number %d.\n", num
);
501 if (values
.sals
[num
].pc
)
505 symname
= DEPRECATED_SYMBOL_NAME (sym_arr
[num
]);
506 make_cleanup (xfree
, symname
);
507 canonical_arr
[i
] = savestring (symname
, strlen (symname
));
509 return_values
.sals
[i
++] = values
.sals
[num
];
510 values
.sals
[num
].pc
= 0;
514 printf_unfiltered ("duplicate request for %d ignored.\n", num
);
519 while (*args
== ' ' || *args
== '\t')
522 return_values
.nelts
= i
;
523 discard_cleanups (old_chain
);
524 return return_values
;
527 /* The parser of linespec itself. */
529 /* Parse a string that specifies a line number.
530 Pass the address of a char * variable; that variable will be
531 advanced over the characters actually parsed.
535 LINENUM -- that line number in current file. PC returned is 0.
536 FILE:LINENUM -- that line in that file. PC returned is 0.
537 FUNCTION -- line number of openbrace of that function.
538 PC returned is the start of the function.
539 VARIABLE -- line number of definition of that variable.
541 FILE:FUNCTION -- likewise, but prefer functions in that file.
542 *EXPR -- line in which address EXPR appears.
544 This may all be followed by an "if EXPR", which we ignore.
546 FUNCTION may be an undebuggable function found in minimal symbol table.
548 If the argument FUNFIRSTLINE is nonzero, we want the first line
549 of real code inside a function when a function is specified, and it is
550 not OK to specify a variable or type to get its line number.
552 DEFAULT_SYMTAB specifies the file to use if none is specified.
553 It defaults to current_source_symtab.
554 DEFAULT_LINE specifies the line number to use for relative
555 line numbers (that start with signs). Defaults to current_source_line.
556 If CANONICAL is non-NULL, store an array of strings containing the canonical
557 line specs there if necessary. Currently overloaded member functions and
558 line numbers or static functions without a filename yield a canonical
559 line spec. The array and the line spec strings are allocated on the heap,
560 it is the callers responsibility to free them.
562 Note that it is possible to return zero for the symtab
563 if no file is validly specified. Callers must check that.
564 Also, the line number returned may be invalid. */
566 /* We allow single quotes in various places. This is a hideous
567 kludge, which exists because the completer can't yet deal with the
568 lack of single quotes. FIXME: write a linespec_completer which we
569 can use as appropriate instead of make_symbol_completion_list. */
571 struct symtabs_and_lines
572 decode_line_1 (char **argptr
, int funfirstline
, struct symtab
*default_symtab
,
573 int default_line
, char ***canonical
)
577 /* If a file name is specified, this is its symtab. */
578 struct symtab
*file_symtab
= NULL
;
581 /* This is NULL if there are no parens in *ARGPTR, or a pointer to
582 the closing parenthesis if there are parens. */
584 /* This says whether or not something in *ARGPTR is quoted with
585 completer_quotes (i.e. with single quotes). */
587 /* Is part of *ARGPTR is enclosed in double quotes? */
588 int is_quote_enclosed
;
589 char *saved_arg
= *argptr
;
591 /* Defaults have defaults. */
593 initialize_defaults (&default_symtab
, &default_line
);
595 /* See if arg is *PC. */
598 return decode_indirect (argptr
);
600 /* Set various flags. 'paren_pointer' is important for overload
601 checking, where we allow things like:
602 (gdb) break c::f(int)
605 set_flags (*argptr
, &is_quoted
, &paren_pointer
);
607 /* Check to see if it's a multipart linespec (with colons or
610 /* Locate the end of the first half of the linespec. */
612 p
= locate_first_half (argptr
, &is_quote_enclosed
);
614 /* Does it look like there actually were two parts? */
616 if ((p
[0] == ':' || p
[0] == '.') && paren_pointer
== NULL
)
619 *argptr
= *argptr
+ 1;
621 /* Is it a C++ or Java compound data structure? */
623 if (p
[0] == '.' || p
[1] == ':')
624 return decode_compound (argptr
, funfirstline
, canonical
,
627 /* No, the first part is a filename; set s to be that file's
628 symtab. Also, move argptr past the filename. */
630 file_symtab
= symtab_from_filename (argptr
, p
, is_quote_enclosed
);
633 /* No one really seems to know why this was added. It certainly
634 breaks the command line, though, whenever the passed
635 name is of the form ClassName::Method. This bit of code
636 singles out the class name, and if funfirstline is set (for
637 example, you are setting a breakpoint at this function),
638 you get an error. This did not occur with earlier
639 verions, so I am ifdef'ing this out. 3/29/99 */
642 /* Check if what we have till now is a symbol name */
644 /* We may be looking at a template instantiation such
645 as "foo<int>". Check here whether we know about it,
646 instead of falling through to the code below which
647 handles ordinary function names, because that code
648 doesn't like seeing '<' and '>' in a name -- the
649 skip_quoted call doesn't go past them. So see if we
650 can figure it out right now. */
652 copy
= (char *) alloca (p
- *argptr
+ 1);
653 memcpy (copy
, *argptr
, p
- *argptr
);
654 copy
[p
- *argptr
] = '\000';
655 sym
= lookup_symbol (copy
, 0, VAR_NAMESPACE
, 0, &sym_symtab
);
658 *argptr
= (*p
== '\'') ? p
+ 1 : p
;
659 return symbol_found (funfirstline
, canonical
, copy
, sym
,
662 /* Otherwise fall out from here and go to file/line spec
667 /* S is specified file's symtab, or 0 if no file specified.
668 arg no longer contains the file name. */
670 /* Check whether arg is all digits (and sign). */
673 if (*q
== '-' || *q
== '+')
675 while (*q
>= '0' && *q
<= '9')
678 if (q
!= *argptr
&& (*q
== 0 || *q
== ' ' || *q
== '\t' || *q
== ','))
679 /* We found a token consisting of all digits -- at least one digit. */
680 return decode_all_digits (argptr
, default_symtab
, default_line
,
681 canonical
, file_symtab
, q
);
683 /* Arg token is not digits => try it as a variable name
684 Find the next token (everything up to end or next whitespace). */
686 if (**argptr
== '$') /* May be a convenience variable. */
687 /* One or two $ chars possible. */
688 p
= skip_quoted (*argptr
+ (((*argptr
)[1] == '$') ? 2 : 1));
691 p
= skip_quoted (*argptr
);
693 error ("Unmatched single quote.");
695 else if (paren_pointer
!= NULL
)
697 p
= paren_pointer
+ 1;
701 p
= skip_quoted (*argptr
);
704 copy
= (char *) alloca (p
- *argptr
+ 1);
705 memcpy (copy
, *argptr
, p
- *argptr
);
706 copy
[p
- *argptr
] = '\0';
709 && copy
[0] == copy
[p
- *argptr
- 1]
710 && strchr (get_gdb_completer_quote_characters (), copy
[0]) != NULL
)
712 copy
[p
- *argptr
- 1] = '\0';
715 while (*p
== ' ' || *p
== '\t')
719 /* If it starts with $: may be a legitimate variable or routine name
720 (e.g. HP-UX millicode routines such as $$dyncall), or it may
721 be history value, or it may be a convenience variable. */
724 return decode_dollar (copy
, funfirstline
, default_symtab
,
725 canonical
, file_symtab
);
727 /* Look up that token as a variable.
728 If file specified, use that file's per-file block to start with. */
730 return decode_variable (copy
, funfirstline
, canonical
, file_symtab
);
735 /* Now, more helper functions for decode_line_1. Some conventions
736 that these functions follow:
738 Decode_line_1 typically passes along some of its arguments or local
739 variables to the subfunctions. It passes the variables by
740 reference if they are modified by the subfunction, and by value
743 Some of the functions have side effects that don't arise from
744 variables that are passed by reference. In particular, if a
745 function is passed ARGPTR as an argument, it modifies what ARGPTR
746 points to; typically, it advances *ARGPTR past whatever substring
747 it has just looked at. (If it doesn't modify *ARGPTR, then the
748 function gets passed *ARGPTR instead, which is then called ARG: see
749 set_flags, for example.) Also, functions that return a struct
750 symtabs_and_lines may modify CANONICAL, as in the description of
753 If a function returns a struct symtabs_and_lines, then that struct
754 will immediately make its way up the call chain to be returned by
755 decode_line_1. In particular, all of the functions decode_XXX
756 calculate the appropriate struct symtabs_and_lines, under the
757 assumption that their argument is of the form XXX. */
759 /* First, some functions to initialize stuff at the beggining of the
763 initialize_defaults (struct symtab
**default_symtab
, int *default_line
)
765 if (*default_symtab
== 0)
767 /* Use whatever we have for the default source line. We don't use
768 get_current_or_default_symtab_and_line as it can recurse and call
770 struct symtab_and_line cursal
=
771 get_current_source_symtab_and_line ();
773 *default_symtab
= cursal
.symtab
;
774 *default_line
= cursal
.line
;
779 set_flags (char *arg
, int *is_quoted
, char **paren_pointer
)
784 /* 'has_if' is for the syntax:
785 (gdb) break foo if (a==b)
787 if ((ii
= strstr (arg
, " if ")) != NULL
||
788 (ii
= strstr (arg
, "\tif ")) != NULL
||
789 (ii
= strstr (arg
, " if\t")) != NULL
||
790 (ii
= strstr (arg
, "\tif\t")) != NULL
||
791 (ii
= strstr (arg
, " if(")) != NULL
||
792 (ii
= strstr (arg
, "\tif( ")) != NULL
)
794 /* Temporarily zap out "if (condition)" to not confuse the
795 parenthesis-checking code below. This is undone below. Do not
803 && strchr (get_gdb_completer_quote_characters (),
806 *paren_pointer
= strchr (arg
, '(');
807 if (*paren_pointer
!= NULL
)
808 *paren_pointer
= strrchr (*paren_pointer
, ')');
810 /* Now that we're safely past the paren_pointer check, put back " if
811 (condition)" so outer layers can see it. */
818 /* Decode arg of the form *PC. */
820 static struct symtabs_and_lines
821 decode_indirect (char **argptr
)
823 struct symtabs_and_lines values
;
827 pc
= parse_and_eval_address_1 (argptr
);
829 values
.sals
= (struct symtab_and_line
*)
830 xmalloc (sizeof (struct symtab_and_line
));
833 values
.sals
[0] = find_pc_line (pc
, 0);
834 values
.sals
[0].pc
= pc
;
835 values
.sals
[0].section
= find_pc_overlay (pc
);
842 /* Locate the first half of the linespec, ending in a colon, period,
843 or whitespace. (More or less.) Also, check to see if *ARGPTR is
844 enclosed in double quotes; if so, set is_quote_enclosed, advance
845 ARGPTR past that and zero out the trailing double quote. */
848 locate_first_half (char **argptr
, int *is_quote_enclosed
)
854 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
855 and we must isolate the first half. Outer layers will call again later
858 Don't count commas that appear in argument lists of overloaded
859 functions, or in quoted strings. It's stupid to go to this much
860 trouble when the rest of the function is such an obvious roach hotel. */
861 ii
= find_toplevel_char (*argptr
, ',');
862 has_comma
= (ii
!= 0);
864 /* Temporarily zap out second half to not confuse the code below.
865 This is undone below. Do not change ii!! */
871 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
872 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
878 *is_quote_enclosed
= 1;
883 *is_quote_enclosed
= 0;
888 char *temp_end
= find_template_name_end (p
);
890 error ("malformed template specification in command");
893 /* Check for the end of the first half of the linespec. End of
894 line, a tab, a double colon or the last single colon, or a
895 space. But if enclosed in double quotes we do not break on
900 && ((p
[1] == ':') || (strchr (p
+ 1, ':') == NULL
)))
901 || ((p
[0] == ' ') && !*is_quote_enclosed
))
903 if (p
[0] == '.' && strchr (p
, ':') == NULL
)
905 /* Java qualified method. Find the *last* '.', since the
906 others are package qualifiers. */
907 for (p1
= p
; *p1
; p1
++)
915 while (p
[0] == ' ' || p
[0] == '\t')
918 /* If the closing double quote was left at the end, remove it. */
919 if (*is_quote_enclosed
)
921 char *closing_quote
= strchr (p
- 1, '"');
922 if (closing_quote
&& closing_quote
[1] == '\0')
923 *closing_quote
= '\0';
926 /* Now that we've safely parsed the first half, put back ',' so
927 outer layers can see it. */
936 /* This handles C++ and Java compound data structures. P should point
937 at the first component separator, i.e. double-colon or period. */
939 static struct symtabs_and_lines
940 decode_compound (char **argptr
, int funfirstline
, char ***canonical
,
941 char *saved_arg
, char *p
)
943 struct symtabs_and_lines values
;
948 char *saved_arg2
= *argptr
;
951 /* The symtab that SYM was found in. */
952 struct symtab
*sym_symtab
;
954 struct symbol
*sym_class
;
955 struct symbol
**sym_arr
;
958 /* First check for "global" namespace specification,
959 of the form "::foo". If found, skip over the colons
960 and jump to normal symbol processing. */
962 && ((*argptr
== p
) || (p
[-1] == ' ') || (p
[-1] == '\t')))
965 /* We have what looks like a class or namespace
966 scope specification (A::B), possibly with many
967 levels of namespaces or classes (A::B::C::D).
969 Some versions of the HP ANSI C++ compiler (as also possibly
970 other compilers) generate class/function/member names with
971 embedded double-colons if they are inside namespaces. To
972 handle this, we loop a few times, considering larger and
973 larger prefixes of the string as though they were single
974 symbols. So, if the initially supplied string is
975 A::B::C::D::foo, we have to look up "A", then "A::B",
976 then "A::B::C", then "A::B::C::D", and finally
977 "A::B::C::D::foo" as single, monolithic symbols, because
978 A, B, C or D may be namespaces.
980 Note that namespaces can nest only inside other
981 namespaces, and not inside classes. So we need only
982 consider *prefixes* of the string; there is no need to look up
983 "B::C" separately as a symbol in the previous example. */
985 p2
= p
; /* Save for restart. */
988 sym_class
= lookup_prefix_sym (argptr
, p
);
991 (t
= check_typedef (SYMBOL_TYPE (sym_class
)),
992 (TYPE_CODE (t
) == TYPE_CODE_STRUCT
993 || TYPE_CODE (t
) == TYPE_CODE_UNION
)))
995 /* Arg token is not digits => try it as a function name.
996 Find the next token (everything up to end or next
999 && strchr (get_gdb_completer_quote_characters (),
1002 p
= skip_quoted (*argptr
);
1003 *argptr
= *argptr
+ 1;
1008 while (*p
&& *p
!= ' ' && *p
!= '\t' && *p
!= ',' && *p
!= ':')
1012 q = operator_chars (*argptr, &q1);
1016 char *tmp = alloca (q1 - q + 1);
1017 memcpy (tmp, q, q1 - q);
1019 opname = cplus_mangle_opname (tmp, DMGL_ANSI);
1022 cplusplus_error (saved_arg, "no mangling for \"%s\"\n", tmp);
1024 copy = (char*) alloca (3 + strlen(opname));
1025 sprintf (copy, "__%s", opname);
1031 copy
= (char *) alloca (p
- *argptr
+ 1);
1032 memcpy (copy
, *argptr
, p
- *argptr
);
1033 copy
[p
- *argptr
] = '\0';
1035 && copy
[p
- *argptr
- 1]
1036 && strchr (get_gdb_completer_quote_characters (),
1037 copy
[p
- *argptr
- 1]) != NULL
)
1038 copy
[p
- *argptr
- 1] = '\0';
1041 /* No line number may be specified. */
1042 while (*p
== ' ' || *p
== '\t')
1046 return find_method (funfirstline
, canonical
, saved_arg
,
1047 copy
, t
, sym_class
);
1050 /* Move pointer up to next possible class/namespace token. */
1051 p
= p2
+ 1; /* Restart with old value +1. */
1052 /* Move pointer ahead to next double-colon. */
1053 while (*p
&& (p
[0] != ' ') && (p
[0] != '\t') && (p
[0] != '\''))
1057 temp_end
= find_template_name_end (p
);
1059 error ("malformed template specification in command");
1062 else if ((p
[0] == ':') && (p
[1] == ':'))
1063 break; /* Found double-colon. */
1069 break; /* Out of the while (1). */
1071 p2
= p
; /* Save restart for next time around. */
1072 *argptr
= saved_arg2
; /* Restore argptr. */
1075 /* Last chance attempt -- check entire name as a symbol. Use "copy"
1076 in preparation for jumping out of this block, to be consistent
1077 with usage following the jump target. */
1078 copy
= (char *) alloca (p
- saved_arg2
+ 1);
1079 memcpy (copy
, saved_arg2
, p
- saved_arg2
);
1080 /* Note: if is_quoted should be true, we snuff out quote here
1082 copy
[p
- saved_arg2
] = '\000';
1083 /* Set argptr to skip over the name. */
1084 *argptr
= (*p
== '\'') ? p
+ 1 : p
;
1085 /* Look up entire name */
1086 sym
= lookup_symbol (copy
, 0, VAR_NAMESPACE
, 0, &sym_symtab
);
1088 return symbol_found (funfirstline
, canonical
, copy
, sym
,
1091 /* Couldn't find any interpretation as classes/namespaces, so give
1092 up. The quotes are important if copy is empty. */
1093 cplusplus_error (saved_arg
,
1094 "Can't find member of namespace, class, struct, or union named \"%s\"\n",
1098 /* Next come some helper functions for decode_compound. */
1100 /* Return the symbol corresponding to the substring of *ARGPTR ending
1101 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1102 name in question, the compound object separator ("::" or "."), and
1105 static struct symbol
*
1106 lookup_prefix_sym (char **argptr
, char *p
)
1111 /* Extract the class name. */
1113 while (p
!= *argptr
&& p
[-1] == ' ')
1115 copy
= (char *) alloca (p
- *argptr
+ 1);
1116 memcpy (copy
, *argptr
, p
- *argptr
);
1117 copy
[p
- *argptr
] = 0;
1119 /* Discard the class name from the arg. */
1120 p
= p1
+ (p1
[0] == ':' ? 2 : 1);
1121 while (*p
== ' ' || *p
== '\t')
1125 return lookup_symbol (copy
, 0, STRUCT_NAMESPACE
, 0,
1126 (struct symtab
**) NULL
);
1129 /* This finds the method COPY in the class whose type is T and whose
1130 symbol is SYM_CLASS. */
1132 static struct symtabs_and_lines
1133 find_method (int funfirstline
, char ***canonical
, char *saved_arg
,
1134 char *copy
, struct type
*t
, struct symbol
*sym_class
)
1136 struct symtabs_and_lines values
;
1137 struct symbol
*sym
= 0;
1138 int i1
= 0; /* Counter for the symbol array. */
1139 struct symbol
**sym_arr
= alloca (total_number_of_methods (t
)
1140 * sizeof (struct symbol
*));
1142 if (destructor_name_p (copy
, t
))
1144 /* Destructors are a special case. */
1145 int m_index
, f_index
;
1147 if (get_destructor_fn_field (t
, &m_index
, &f_index
))
1149 struct fn_field
*f
= TYPE_FN_FIELDLIST1 (t
, m_index
);
1152 lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f
, f_index
),
1153 NULL
, VAR_NAMESPACE
, (int *) NULL
,
1154 (struct symtab
**) NULL
);
1160 i1
= find_methods (t
, copy
, sym_arr
);
1163 /* There is exactly one field with that name. */
1166 if (sym
&& SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1168 values
.sals
= (struct symtab_and_line
*)
1169 xmalloc (sizeof (struct symtab_and_line
));
1171 values
.sals
[0] = find_function_start_sal (sym
,
1182 /* There is more than one field with that name
1183 (overloaded). Ask the user which one to use. */
1184 return decode_line_2 (sym_arr
, i1
, funfirstline
, canonical
);
1190 if (is_operator_name (copy
))
1192 tmp
= (char *) alloca (strlen (copy
+ 3) + 9);
1193 strcpy (tmp
, "operator ");
1194 strcat (tmp
, copy
+ 3);
1199 cplusplus_error (saved_arg
,
1200 "the class `%s' does not have destructor defined\n",
1201 SYMBOL_PRINT_NAME (sym_class
));
1203 cplusplus_error (saved_arg
,
1204 "the class %s does not have any method named %s\n",
1205 SYMBOL_PRINT_NAME (sym_class
), tmp
);
1211 /* Return the symtab associated to the filename given by the substring
1212 of *ARGPTR ending at P, and advance ARGPTR past that filename. */
1214 static struct symtab
*
1215 symtab_from_filename (char **argptr
, char *p
, int is_quote_enclosed
)
1219 struct symtab
*file_symtab
;
1222 while (p
!= *argptr
&& p
[-1] == ' ')
1224 if ((*p
== '"') && is_quote_enclosed
)
1226 copy
= (char *) alloca (p
- *argptr
+ 1);
1227 memcpy (copy
, *argptr
, p
- *argptr
);
1228 /* It may have the ending quote right after the file name. */
1229 if (is_quote_enclosed
&& copy
[p
- *argptr
- 1] == '"')
1230 copy
[p
- *argptr
- 1] = 0;
1232 copy
[p
- *argptr
] = 0;
1234 /* Find that file's data. */
1235 file_symtab
= lookup_symtab (copy
);
1236 if (file_symtab
== 0)
1238 if (!have_full_symbols () && !have_partial_symbols ())
1239 error ("No symbol table is loaded. Use the \"file\" command.");
1240 error ("No source file named %s.", copy
);
1243 /* Discard the file name from the arg. */
1245 while (*p
== ' ' || *p
== '\t')
1254 /* This decodes a line where the argument is all digits (possibly
1255 preceded by a sign). Q should point to the end of those digits;
1256 the other arguments are as usual. */
1258 static struct symtabs_and_lines
1259 decode_all_digits (char **argptr
, struct symtab
*default_symtab
,
1260 int default_line
, char ***canonical
,
1261 struct symtab
*file_symtab
, char *q
)
1264 struct symtabs_and_lines values
;
1265 struct symtab_and_line val
;
1273 /* We might need a canonical line spec if no file was specified. */
1274 int need_canonical
= (file_symtab
== 0) ? 1 : 0;
1278 /* This is where we need to make sure that we have good defaults.
1279 We must guarantee that this section of code is never executed
1280 when we are called with just a function name, since
1281 set_default_source_symtab_and_line uses
1282 select_source_symtab that calls us with such an argument. */
1284 if (file_symtab
== 0 && default_symtab
== 0)
1286 /* Make sure we have at least a default source file. */
1287 set_default_source_symtab_and_line ();
1288 initialize_defaults (&default_symtab
, &default_line
);
1291 if (**argptr
== '+')
1292 sign
= plus
, (*argptr
)++;
1293 else if (**argptr
== '-')
1294 sign
= minus
, (*argptr
)++;
1295 val
.line
= atoi (*argptr
);
1301 if (file_symtab
== 0)
1302 val
.line
= default_line
+ val
.line
;
1307 if (file_symtab
== 0)
1308 val
.line
= default_line
- val
.line
;
1313 break; /* No need to adjust val.line. */
1316 while (*q
== ' ' || *q
== '\t')
1319 if (file_symtab
== 0)
1320 file_symtab
= default_symtab
;
1322 /* It is possible that this source file has more than one symtab,
1323 and that the new line number specification has moved us from the
1324 default (in file_symtab) to a new one. */
1325 val
.symtab
= find_line_symtab (file_symtab
, val
.line
, NULL
, NULL
);
1326 if (val
.symtab
== 0)
1327 val
.symtab
= file_symtab
;
1330 values
.sals
= (struct symtab_and_line
*)
1331 xmalloc (sizeof (struct symtab_and_line
));
1332 values
.sals
[0] = val
;
1335 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1341 /* Decode a linespec starting with a dollar sign. */
1343 static struct symtabs_and_lines
1344 decode_dollar (char *copy
, int funfirstline
, struct symtab
*default_symtab
,
1345 char ***canonical
, struct symtab
*file_symtab
)
1349 int need_canonical
= 0;
1350 struct symtabs_and_lines values
;
1351 struct symtab_and_line val
;
1354 /* The symtab that SYM was found in. */
1355 struct symtab
*sym_symtab
;
1356 struct minimal_symbol
*msymbol
;
1358 p
= (copy
[1] == '$') ? copy
+ 2 : copy
+ 1;
1359 while (*p
>= '0' && *p
<= '9')
1361 if (!*p
) /* Reached end of token without hitting non-digit. */
1363 /* We have a value history reference. */
1364 sscanf ((copy
[1] == '$') ? copy
+ 2 : copy
+ 1, "%d", &index
);
1365 valx
= access_value_history ((copy
[1] == '$') ? -index
: index
);
1366 if (TYPE_CODE (VALUE_TYPE (valx
)) != TYPE_CODE_INT
)
1367 error ("History values used in line specs must have integer values.");
1371 /* Not all digits -- may be user variable/function or a
1372 convenience variable. */
1374 /* Look up entire name as a symbol first. */
1375 sym
= lookup_symbol (copy
, 0, VAR_NAMESPACE
, 0, &sym_symtab
);
1376 file_symtab
= (struct symtab
*) 0;
1378 /* Symbol was found --> jump to normal symbol processing. */
1380 return symbol_found (funfirstline
, canonical
, copy
, sym
,
1383 /* If symbol was not found, look in minimal symbol tables. */
1384 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1385 /* Min symbol was found --> jump to minsym processing. */
1387 return minsym_found (funfirstline
, msymbol
);
1389 /* Not a user variable or function -- must be convenience variable. */
1390 need_canonical
= (file_symtab
== 0) ? 1 : 0;
1391 valx
= value_of_internalvar (lookup_internalvar (copy
+ 1));
1392 if (TYPE_CODE (VALUE_TYPE (valx
)) != TYPE_CODE_INT
)
1393 error ("Convenience variables used in line specs must have integer values.");
1398 /* Either history value or convenience value from above, in valx. */
1399 val
.symtab
= file_symtab
? file_symtab
: default_symtab
;
1400 val
.line
= value_as_long (valx
);
1403 values
.sals
= (struct symtab_and_line
*) xmalloc (sizeof val
);
1404 values
.sals
[0] = val
;
1408 build_canonical_line_spec (values
.sals
, NULL
, canonical
);
1415 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
1416 look in that symtab's static variables first. */
1418 static struct symtabs_and_lines
1419 decode_variable (char *copy
, int funfirstline
, char ***canonical
,
1420 struct symtab
*file_symtab
)
1423 /* The symtab that SYM was found in. */
1424 struct symtab
*sym_symtab
;
1426 struct minimal_symbol
*msymbol
;
1428 sym
= lookup_symbol (copy
,
1430 ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab
),
1432 : get_selected_block (0)),
1433 VAR_NAMESPACE
, 0, &sym_symtab
);
1436 return symbol_found (funfirstline
, canonical
, copy
, sym
,
1437 file_symtab
, sym_symtab
);
1439 msymbol
= lookup_minimal_symbol (copy
, NULL
, NULL
);
1441 if (msymbol
!= NULL
)
1442 return minsym_found (funfirstline
, msymbol
);
1444 if (!have_full_symbols () &&
1445 !have_partial_symbols () && !have_minimal_symbols ())
1446 error ("No symbol table is loaded. Use the \"file\" command.");
1448 error ("Function \"%s\" not defined.", copy
);
1454 /* Now come some functions that are called from multiple places within
1457 /* We've found a symbol SYM to associate with our linespec; build a
1458 corresponding struct symtabs_and_lines. */
1460 static struct symtabs_and_lines
1461 symbol_found (int funfirstline
, char ***canonical
, char *copy
,
1462 struct symbol
*sym
, struct symtab
*file_symtab
,
1463 struct symtab
*sym_symtab
)
1465 struct symtabs_and_lines values
;
1467 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
)
1469 /* Arg is the name of a function */
1470 values
.sals
= (struct symtab_and_line
*)
1471 xmalloc (sizeof (struct symtab_and_line
));
1472 values
.sals
[0] = find_function_start_sal (sym
, funfirstline
);
1475 /* Don't use the SYMBOL_LINE; if used at all it points to
1476 the line containing the parameters or thereabouts, not
1477 the first line of code. */
1479 /* We might need a canonical line spec if it is a static
1481 if (file_symtab
== 0)
1483 struct blockvector
*bv
= BLOCKVECTOR (sym_symtab
);
1484 struct block
*b
= BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
);
1485 if (lookup_block_symbol (b
, copy
, NULL
, VAR_NAMESPACE
) != NULL
)
1486 build_canonical_line_spec (values
.sals
, copy
, canonical
);
1493 error ("\"%s\" is not a function", copy
);
1494 else if (SYMBOL_LINE (sym
) != 0)
1496 /* We know its line number. */
1497 values
.sals
= (struct symtab_and_line
*)
1498 xmalloc (sizeof (struct symtab_and_line
));
1500 memset (&values
.sals
[0], 0, sizeof (values
.sals
[0]));
1501 values
.sals
[0].symtab
= sym_symtab
;
1502 values
.sals
[0].line
= SYMBOL_LINE (sym
);
1506 /* This can happen if it is compiled with a compiler which doesn't
1507 put out line numbers for variables. */
1508 /* FIXME: Shouldn't we just set .line and .symtab to zero
1509 and return? For example, "info line foo" could print
1511 error ("Line number not known for symbol \"%s\"", copy
);
1515 /* We've found a minimal symbol MSYMBOL to associate with our
1516 linespec; build a corresponding struct symtabs_and_lines. */
1518 static struct symtabs_and_lines
1519 minsym_found (int funfirstline
, struct minimal_symbol
*msymbol
)
1521 struct symtabs_and_lines values
;
1523 values
.sals
= (struct symtab_and_line
*)
1524 xmalloc (sizeof (struct symtab_and_line
));
1525 values
.sals
[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol
),
1526 (struct sec
*) 0, 0);
1527 values
.sals
[0].section
= SYMBOL_BFD_SECTION (msymbol
);
1530 values
.sals
[0].pc
+= FUNCTION_START_OFFSET
;
1531 values
.sals
[0].pc
= SKIP_PROLOGUE (values
.sals
[0].pc
);
This page took 0.065126 seconds and 3 git commands to generate.