gdb
[deliverable/binutils-gdb.git] / gdb / linespec.c
1 /* Parser for linespec for the GNU debugger, GDB.
2
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 Free Software Foundation, Inc.
6
7 This file is part of GDB.
8
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.
13
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.
18
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/>. */
21
22 #include "defs.h"
23 #include "symtab.h"
24 #include "frame.h"
25 #include "command.h"
26 #include "symfile.h"
27 #include "objfiles.h"
28 #include "source.h"
29 #include "demangle.h"
30 #include "value.h"
31 #include "completer.h"
32 #include "cp-abi.h"
33 #include "cp-support.h"
34 #include "parser-defs.h"
35 #include "block.h"
36 #include "objc-lang.h"
37 #include "linespec.h"
38 #include "exceptions.h"
39 #include "language.h"
40 #include "interps.h"
41 #include "mi/mi-cmds.h"
42 #include "target.h"
43
44 /* We share this one with symtab.c, but it is not exported widely. */
45
46 extern char *operator_chars (char *, char **);
47
48 /* Prototypes for local functions */
49
50 static void initialize_defaults (struct symtab **default_symtab,
51 int *default_line);
52
53 static void set_flags (char *arg, int *is_quoted, char **paren_pointer);
54
55 static struct symtabs_and_lines decode_indirect (char **argptr);
56
57 static char *locate_first_half (char **argptr, int *is_quote_enclosed);
58
59 static struct symtabs_and_lines decode_objc (char **argptr,
60 int funfirstline,
61 struct symtab *file_symtab,
62 char ***canonical,
63 char *saved_arg);
64
65 static struct symtabs_and_lines decode_compound (char **argptr,
66 int funfirstline,
67 char ***canonical,
68 char *saved_arg,
69 char *p,
70 int *not_found_ptr);
71
72 static struct symbol *lookup_prefix_sym (char **argptr, char *p);
73
74 static struct symtabs_and_lines find_method (int funfirstline,
75 char ***canonical,
76 char *saved_arg,
77 char *copy,
78 struct type *t,
79 struct symbol *sym_class,
80 int *not_found_ptr);
81
82 static NORETURN void cplusplus_error (const char *name,
83 const char *fmt, ...)
84 ATTR_NORETURN ATTR_FORMAT (printf, 2, 3);
85
86 static int total_number_of_methods (struct type *type);
87
88 static int find_methods (struct type *, char *,
89 enum language, struct symbol **);
90
91 static int add_matching_methods (int method_counter, struct type *t,
92 enum language language,
93 struct symbol **sym_arr);
94
95 static int add_constructors (int method_counter, struct type *t,
96 enum language language,
97 struct symbol **sym_arr);
98
99 static void build_canonical_line_spec (struct symtab_and_line *,
100 char *, char ***);
101
102 static char *find_toplevel_char (char *s, char c);
103
104 static int is_objc_method_format (const char *s);
105
106 static struct symtabs_and_lines decode_line_2 (struct symbol *[],
107 int, int, char ***);
108
109 static struct symtab *symtab_from_filename (char **argptr,
110 char *p, int is_quote_enclosed,
111 int *not_found_ptr);
112
113 static struct
114 symtabs_and_lines decode_all_digits (char **argptr,
115 struct symtab *default_symtab,
116 int default_line,
117 char ***canonical,
118 struct symtab *file_symtab,
119 char *q);
120
121 static struct symtabs_and_lines decode_dollar (char *copy,
122 int funfirstline,
123 struct symtab *default_symtab,
124 char ***canonical,
125 struct symtab *file_symtab);
126
127 static struct symtabs_and_lines decode_variable (char *copy,
128 int funfirstline,
129 char ***canonical,
130 struct symtab *file_symtab,
131 int *not_found_ptr);
132
133 static struct
134 symtabs_and_lines symbol_found (int funfirstline,
135 char ***canonical,
136 char *copy,
137 struct symbol *sym,
138 struct symtab *file_symtab);
139
140 static struct
141 symtabs_and_lines minsym_found (int funfirstline,
142 struct minimal_symbol *msymbol);
143
144 /* Helper functions. */
145
146 /* Issue a helpful hint on using the command completion feature on
147 single quoted demangled C++ symbols as part of the completion
148 error. */
149
150 static NORETURN void
151 cplusplus_error (const char *name, const char *fmt, ...)
152 {
153 struct ui_file *tmp_stream;
154 char *message;
155 tmp_stream = mem_fileopen ();
156 make_cleanup_ui_file_delete (tmp_stream);
157
158 {
159 va_list args;
160 va_start (args, fmt);
161 vfprintf_unfiltered (tmp_stream, fmt, args);
162 va_end (args);
163 }
164
165 while (*name == '\'')
166 name++;
167 fprintf_unfiltered (tmp_stream,
168 ("Hint: try '%s<TAB> or '%s<ESC-?>\n"
169 "(Note leading single quote.)"),
170 name, name);
171
172 message = ui_file_xstrdup (tmp_stream, NULL);
173 make_cleanup (xfree, message);
174 throw_error (NOT_FOUND_ERROR, "%s", message);
175 }
176
177 /* Return the number of methods described for TYPE, including the
178 methods from types it derives from. This can't be done in the symbol
179 reader because the type of the baseclass might still be stubbed
180 when the definition of the derived class is parsed. */
181
182 static int
183 total_number_of_methods (struct type *type)
184 {
185 int n;
186 int count;
187
188 CHECK_TYPEDEF (type);
189 if (! HAVE_CPLUS_STRUCT (type))
190 return 0;
191 count = TYPE_NFN_FIELDS_TOTAL (type);
192
193 for (n = 0; n < TYPE_N_BASECLASSES (type); n++)
194 count += total_number_of_methods (TYPE_BASECLASS (type, n));
195
196 return count;
197 }
198
199 /* Recursive helper function for decode_line_1.
200 Look for methods named NAME in type T.
201 Return number of matches.
202 Put matches in SYM_ARR, which should have been allocated with
203 a size of total_number_of_methods (T) * sizeof (struct symbol *).
204 Note that this function is g++ specific. */
205
206 static int
207 find_methods (struct type *t, char *name, enum language language,
208 struct symbol **sym_arr)
209 {
210 int i1 = 0;
211 int ibase;
212 char *class_name = type_name_no_tag (t);
213
214 /* Ignore this class if it doesn't have a name. This is ugly, but
215 unless we figure out how to get the physname without the name of
216 the class, then the loop can't do any good. */
217 if (class_name
218 && (lookup_symbol_in_language (class_name, (struct block *) NULL,
219 STRUCT_DOMAIN, language, (int *) NULL)))
220 {
221 int method_counter;
222 int name_len = strlen (name);
223
224 CHECK_TYPEDEF (t);
225
226 /* Loop over each method name. At this level, all overloads of a name
227 are counted as a single name. There is an inner loop which loops over
228 each overload. */
229
230 for (method_counter = TYPE_NFN_FIELDS (t) - 1;
231 method_counter >= 0;
232 --method_counter)
233 {
234 char *method_name = TYPE_FN_FIELDLIST_NAME (t, method_counter);
235 char dem_opname[64];
236
237 if (strncmp (method_name, "__", 2) == 0 ||
238 strncmp (method_name, "op", 2) == 0 ||
239 strncmp (method_name, "type", 4) == 0)
240 {
241 if (cplus_demangle_opname (method_name, dem_opname, DMGL_ANSI))
242 method_name = dem_opname;
243 else if (cplus_demangle_opname (method_name, dem_opname, 0))
244 method_name = dem_opname;
245 }
246
247 if (strcmp_iw (name, method_name) == 0)
248 /* Find all the overloaded methods with that name. */
249 i1 += add_matching_methods (method_counter, t, language,
250 sym_arr + i1);
251 else if (strncmp (class_name, name, name_len) == 0
252 && (class_name[name_len] == '\0'
253 || class_name[name_len] == '<'))
254 i1 += add_constructors (method_counter, t, language,
255 sym_arr + i1);
256 }
257 }
258
259 /* Only search baseclasses if there is no match yet, since names in
260 derived classes override those in baseclasses.
261
262 FIXME: The above is not true; it is only true of member functions
263 if they have the same number of arguments (??? - section 13.1 of the
264 ARM says the function members are not in the same scope but doesn't
265 really spell out the rules in a way I understand. In any case, if
266 the number of arguments differ this is a case in which we can overload
267 rather than hiding without any problem, and gcc 2.4.5 does overload
268 rather than hiding in this case). */
269
270 if (i1 == 0)
271 for (ibase = 0; ibase < TYPE_N_BASECLASSES (t); ibase++)
272 i1 += find_methods (TYPE_BASECLASS (t, ibase), name,
273 language, sym_arr + i1);
274
275 return i1;
276 }
277
278 /* Add the symbols associated to methods of the class whose type is T
279 and whose name matches the method indexed by METHOD_COUNTER in the
280 array SYM_ARR. Return the number of methods added. */
281
282 static int
283 add_matching_methods (int method_counter, struct type *t,
284 enum language language, struct symbol **sym_arr)
285 {
286 int field_counter;
287 int i1 = 0;
288
289 for (field_counter = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
290 field_counter >= 0;
291 --field_counter)
292 {
293 struct fn_field *f;
294 char *phys_name;
295
296 f = TYPE_FN_FIELDLIST1 (t, method_counter);
297
298 if (TYPE_FN_FIELD_STUB (f, field_counter))
299 {
300 char *tmp_name;
301
302 tmp_name = gdb_mangle_name (t,
303 method_counter,
304 field_counter);
305 phys_name = alloca (strlen (tmp_name) + 1);
306 strcpy (phys_name, tmp_name);
307 xfree (tmp_name);
308 }
309 else
310 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
311
312 sym_arr[i1] = lookup_symbol_in_language (phys_name,
313 NULL, VAR_DOMAIN,
314 language,
315 (int *) NULL);
316 if (sym_arr[i1])
317 i1++;
318 else
319 {
320 /* This error message gets printed, but the method
321 still seems to be found
322 fputs_filtered("(Cannot find method ", gdb_stdout);
323 fprintf_symbol_filtered (gdb_stdout, phys_name,
324 language_cplus,
325 DMGL_PARAMS | DMGL_ANSI);
326 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
327 */
328 }
329 }
330
331 return i1;
332 }
333
334 /* Add the symbols associated to constructors of the class whose type
335 is CLASS_TYPE and which are indexed by by METHOD_COUNTER to the
336 array SYM_ARR. Return the number of methods added. */
337
338 static int
339 add_constructors (int method_counter, struct type *t,
340 enum language language, struct symbol **sym_arr)
341 {
342 int field_counter;
343 int i1 = 0;
344
345 /* For GCC 3.x and stabs, constructors and destructors
346 have names like __base_ctor and __complete_dtor.
347 Check the physname for now if we're looking for a
348 constructor. */
349 for (field_counter
350 = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
351 field_counter >= 0;
352 --field_counter)
353 {
354 struct fn_field *f;
355 char *phys_name;
356
357 f = TYPE_FN_FIELDLIST1 (t, method_counter);
358
359 /* GCC 3.x will never produce stabs stub methods, so
360 we don't need to handle this case. */
361 if (TYPE_FN_FIELD_STUB (f, field_counter))
362 continue;
363 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
364 if (! is_constructor_name (phys_name))
365 continue;
366
367 /* If this method is actually defined, include it in the
368 list. */
369 sym_arr[i1] = lookup_symbol_in_language (phys_name,
370 NULL, VAR_DOMAIN,
371 language,
372 (int *) NULL);
373 if (sym_arr[i1])
374 i1++;
375 }
376
377 return i1;
378 }
379
380 /* Helper function for decode_line_1.
381 Build a canonical line spec in CANONICAL if it is non-NULL and if
382 the SAL has a symtab.
383 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
384 If SYMNAME is NULL the line number from SAL is used and the canonical
385 line spec is `filename:linenum'. */
386
387 static void
388 build_canonical_line_spec (struct symtab_and_line *sal, char *symname,
389 char ***canonical)
390 {
391 char **canonical_arr;
392 char *canonical_name;
393 char *filename;
394 struct symtab *s = sal->symtab;
395
396 if (s == (struct symtab *) NULL
397 || s->filename == (char *) NULL
398 || canonical == (char ***) NULL)
399 return;
400
401 canonical_arr = (char **) xmalloc (sizeof (char *));
402 *canonical = canonical_arr;
403
404 filename = s->filename;
405 if (symname != NULL)
406 {
407 canonical_name = xmalloc (strlen (filename) + strlen (symname) + 2);
408 sprintf (canonical_name, "%s:%s", filename, symname);
409 }
410 else
411 {
412 canonical_name = xmalloc (strlen (filename) + 30);
413 sprintf (canonical_name, "%s:%d", filename, sal->line);
414 }
415 canonical_arr[0] = canonical_name;
416 }
417
418
419
420 /* Find an instance of the character C in the string S that is outside
421 of all parenthesis pairs, single-quoted strings, and double-quoted
422 strings. Also, ignore the char within a template name, like a ','
423 within foo<int, int>. */
424
425 static char *
426 find_toplevel_char (char *s, char c)
427 {
428 int quoted = 0; /* zero if we're not in quotes;
429 '"' if we're in a double-quoted string;
430 '\'' if we're in a single-quoted string. */
431 int depth = 0; /* Number of unclosed parens we've seen. */
432 char *scan;
433
434 for (scan = s; *scan; scan++)
435 {
436 if (quoted)
437 {
438 if (*scan == quoted)
439 quoted = 0;
440 else if (*scan == '\\' && *(scan + 1))
441 scan++;
442 }
443 else if (*scan == c && ! quoted && depth == 0)
444 return scan;
445 else if (*scan == '"' || *scan == '\'')
446 quoted = *scan;
447 else if (*scan == '(' || *scan == '<')
448 depth++;
449 else if ((*scan == ')' || *scan == '>') && depth > 0)
450 depth--;
451 }
452
453 return 0;
454 }
455
456 /* Determines if the gives string corresponds to an Objective-C method
457 representation, such as -[Foo bar:] or +[Foo bar]. Objective-C symbols
458 are allowed to have spaces and parentheses in them. */
459
460 static int
461 is_objc_method_format (const char *s)
462 {
463 if (s == NULL || *s == '\0')
464 return 0;
465 /* Handle arguments with the format FILENAME:SYMBOL. */
466 if ((s[0] == ':') && (strchr ("+-", s[1]) != NULL)
467 && (s[2] == '[') && strchr(s, ']'))
468 return 1;
469 /* Handle arguments that are just SYMBOL. */
470 else if ((strchr ("+-", s[0]) != NULL) && (s[1] == '[') && strchr(s, ']'))
471 return 1;
472 return 0;
473 }
474
475 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
476 operate on (ask user if necessary).
477 If CANONICAL is non-NULL return a corresponding array of mangled names
478 as canonical line specs there. */
479
480 static struct symtabs_and_lines
481 decode_line_2 (struct symbol *sym_arr[], int nelts, int funfirstline,
482 char ***canonical)
483 {
484 struct symtabs_and_lines values, return_values;
485 char *args, *arg1;
486 int i;
487 char *prompt;
488 char *symname;
489 struct cleanup *old_chain;
490 char **canonical_arr = (char **) NULL;
491 const char *select_mode = multiple_symbols_select_mode ();
492
493 if (select_mode == multiple_symbols_cancel)
494 error (_("\
495 canceled because the command is ambiguous\n\
496 See set/show multiple-symbol."));
497
498 values.sals = (struct symtab_and_line *)
499 alloca (nelts * sizeof (struct symtab_and_line));
500 return_values.sals = (struct symtab_and_line *)
501 xmalloc (nelts * sizeof (struct symtab_and_line));
502 old_chain = make_cleanup (xfree, return_values.sals);
503
504 if (canonical)
505 {
506 canonical_arr = (char **) xmalloc (nelts * sizeof (char *));
507 make_cleanup (xfree, canonical_arr);
508 memset (canonical_arr, 0, nelts * sizeof (char *));
509 *canonical = canonical_arr;
510 }
511
512 i = 0;
513 while (i < nelts)
514 {
515 init_sal (&return_values.sals[i]); /* Initialize to zeroes. */
516 init_sal (&values.sals[i]);
517 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
518 values.sals[i] = find_function_start_sal (sym_arr[i], funfirstline);
519 i++;
520 }
521
522 /* If select_mode is "all", then do not print the multiple-choice
523 menu and act as if the user had chosen choice "1" (all). */
524 if (select_mode == multiple_symbols_all
525 || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
526 args = "1";
527 else
528 {
529 i = 0;
530 printf_unfiltered (_("[0] cancel\n[1] all\n"));
531 while (i < nelts)
532 {
533 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
534 {
535 if (values.sals[i].symtab)
536 printf_unfiltered ("[%d] %s at %s:%d\n",
537 (i + 2),
538 SYMBOL_PRINT_NAME (sym_arr[i]),
539 values.sals[i].symtab->filename,
540 values.sals[i].line);
541 else
542 printf_unfiltered (_("[%d] %s at ?FILE:%d [No symtab? Probably broken debug info...]\n"),
543 (i + 2),
544 SYMBOL_PRINT_NAME (sym_arr[i]),
545 values.sals[i].line);
546
547 }
548 else
549 printf_unfiltered (_("?HERE\n"));
550 i++;
551 }
552
553 prompt = getenv ("PS2");
554 if (prompt == NULL)
555 {
556 prompt = "> ";
557 }
558 args = command_line_input (prompt, 0, "overload-choice");
559 }
560
561 if (args == 0 || *args == 0)
562 error_no_arg (_("one or more choice numbers"));
563
564 i = 0;
565 while (*args)
566 {
567 int num;
568
569 arg1 = args;
570 while (*arg1 >= '0' && *arg1 <= '9')
571 arg1++;
572 if (*arg1 && *arg1 != ' ' && *arg1 != '\t')
573 error (_("Arguments must be choice numbers."));
574
575 num = atoi (args);
576
577 if (num == 0)
578 error (_("canceled"));
579 else if (num == 1)
580 {
581 if (canonical_arr)
582 {
583 for (i = 0; i < nelts; i++)
584 {
585 if (canonical_arr[i] == NULL)
586 {
587 symname = SYMBOL_LINKAGE_NAME (sym_arr[i]);
588 canonical_arr[i] = xstrdup (symname);
589 }
590 }
591 }
592 memcpy (return_values.sals, values.sals,
593 (nelts * sizeof (struct symtab_and_line)));
594 return_values.nelts = nelts;
595 discard_cleanups (old_chain);
596 return return_values;
597 }
598
599 if (num >= nelts + 2)
600 {
601 printf_unfiltered (_("No choice number %d.\n"), num);
602 }
603 else
604 {
605 num -= 2;
606 if (values.sals[num].pc)
607 {
608 if (canonical_arr)
609 {
610 symname = SYMBOL_LINKAGE_NAME (sym_arr[num]);
611 make_cleanup (xfree, symname);
612 canonical_arr[i] = xstrdup (symname);
613 }
614 return_values.sals[i++] = values.sals[num];
615 values.sals[num].pc = 0;
616 }
617 else
618 {
619 printf_unfiltered (_("duplicate request for %d ignored.\n"), num);
620 }
621 }
622
623 args = arg1;
624 while (*args == ' ' || *args == '\t')
625 args++;
626 }
627 return_values.nelts = i;
628 discard_cleanups (old_chain);
629 return return_values;
630 }
631 \f
632 /* The parser of linespec itself. */
633
634 /* Parse a string that specifies a line number.
635 Pass the address of a char * variable; that variable will be
636 advanced over the characters actually parsed.
637
638 The string can be:
639
640 LINENUM -- that line number in current file. PC returned is 0.
641 FILE:LINENUM -- that line in that file. PC returned is 0.
642 FUNCTION -- line number of openbrace of that function.
643 PC returned is the start of the function.
644 VARIABLE -- line number of definition of that variable.
645 PC returned is 0.
646 FILE:FUNCTION -- likewise, but prefer functions in that file.
647 *EXPR -- line in which address EXPR appears.
648
649 This may all be followed by an "if EXPR", which we ignore.
650
651 FUNCTION may be an undebuggable function found in minimal symbol table.
652
653 If the argument FUNFIRSTLINE is nonzero, we want the first line
654 of real code inside a function when a function is specified, and it is
655 not OK to specify a variable or type to get its line number.
656
657 DEFAULT_SYMTAB specifies the file to use if none is specified.
658 It defaults to current_source_symtab.
659 DEFAULT_LINE specifies the line number to use for relative
660 line numbers (that start with signs). Defaults to current_source_line.
661 If CANONICAL is non-NULL, store an array of strings containing the canonical
662 line specs there if necessary. Currently overloaded member functions and
663 line numbers or static functions without a filename yield a canonical
664 line spec. The array and the line spec strings are allocated on the heap,
665 it is the callers responsibility to free them.
666
667 Note that it is possible to return zero for the symtab
668 if no file is validly specified. Callers must check that.
669 Also, the line number returned may be invalid.
670
671 If NOT_FOUND_PTR is not null, store a boolean true/false value at the location, based
672 on whether or not failure occurs due to an unknown function or file. In the case
673 where failure does occur due to an unknown function or file, do not issue an error
674 message. */
675
676 /* We allow single quotes in various places. This is a hideous
677 kludge, which exists because the completer can't yet deal with the
678 lack of single quotes. FIXME: write a linespec_completer which we
679 can use as appropriate instead of make_symbol_completion_list. */
680
681 struct symtabs_and_lines
682 decode_line_1 (char **argptr, int funfirstline, struct symtab *default_symtab,
683 int default_line, char ***canonical, int *not_found_ptr)
684 {
685 char *p;
686 char *q;
687 /* If a file name is specified, this is its symtab. */
688 struct symtab *file_symtab = NULL;
689
690 char *copy;
691 /* This is NULL if there are no parens in *ARGPTR, or a pointer to
692 the closing parenthesis if there are parens. */
693 char *paren_pointer;
694 /* This says whether or not something in *ARGPTR is quoted with
695 completer_quotes (i.e. with single quotes). */
696 int is_quoted;
697 /* Is *ARGPTR is enclosed in double quotes? */
698 int is_quote_enclosed;
699 int is_objc_method = 0;
700 char *saved_arg = *argptr;
701 /* If IS_QUOTED, the end of the quoted bit. */
702 char *end_quote = NULL;
703 /* The "first half" of the linespec. */
704 char *first_half;
705
706 if (not_found_ptr)
707 *not_found_ptr = 0;
708
709 /* Defaults have defaults. */
710
711 initialize_defaults (&default_symtab, &default_line);
712
713 /* See if arg is *PC. */
714
715 if (**argptr == '*')
716 return decode_indirect (argptr);
717
718 /* Set various flags. 'paren_pointer' is important for overload
719 checking, where we allow things like:
720 (gdb) break c::f(int)
721 */
722
723 set_flags (*argptr, &is_quoted, &paren_pointer);
724 if (is_quoted)
725 end_quote = skip_quoted (*argptr);
726
727 /* Check to see if it's a multipart linespec (with colons or
728 periods). */
729
730 /* Locate the end of the first half of the linespec.
731 After the call, for instance, if the argptr string is "foo.c:123"
732 p will point at "123". If there is only one part, like "foo", p
733 will point to "". If this is a C++ name, like "A::B::foo", p will
734 point to "::B::foo". Argptr is not changed by this call. */
735
736 first_half = p = locate_first_half (argptr, &is_quote_enclosed);
737
738 /* Check if this is an Objective-C method (anything that starts with
739 a '+' or '-' and a '['). */
740 if (is_objc_method_format (p))
741 {
742 is_objc_method = 1;
743 paren_pointer = NULL; /* Just a category name. Ignore it. */
744 }
745
746 /* Check if the symbol could be an Objective-C selector. */
747
748 {
749 struct symtabs_and_lines values;
750 values = decode_objc (argptr, funfirstline, NULL,
751 canonical, saved_arg);
752 if (values.sals != NULL)
753 return values;
754 }
755
756 /* Does it look like there actually were two parts? */
757
758 if (p[0] == ':' || p[0] == '.')
759 {
760 /* Is it a C++ or Java compound data structure?
761 The check on p[1] == ':' is capturing the case of "::",
762 since p[0]==':' was checked above.
763 Note that the call to decode_compound does everything
764 for us, including the lookup on the symbol table, so we
765 can return now. */
766
767 if (p[0] == '.' || p[1] == ':')
768 {
769 if (paren_pointer == NULL)
770 return decode_compound (argptr, funfirstline, canonical,
771 saved_arg, p, not_found_ptr);
772 /* Otherwise, fall through to decode_variable below. */
773 }
774 else
775 {
776 /* No, the first part is a filename; set file_symtab to be that file's
777 symtab. Also, move argptr past the filename. */
778
779 file_symtab = symtab_from_filename (argptr, p, is_quote_enclosed,
780 not_found_ptr);
781
782 /* Check for single quotes on the non-filename part. */
783 if (!is_quoted)
784 {
785 is_quoted = (**argptr
786 && strchr (get_gdb_completer_quote_characters (),
787 **argptr) != NULL);
788 if (is_quoted)
789 end_quote = skip_quoted (*argptr);
790 }
791 }
792 }
793 #if 0
794 /* No one really seems to know why this was added. It certainly
795 breaks the command line, though, whenever the passed
796 name is of the form ClassName::Method. This bit of code
797 singles out the class name, and if funfirstline is set (for
798 example, you are setting a breakpoint at this function),
799 you get an error. This did not occur with earlier
800 verions, so I am ifdef'ing this out. 3/29/99 */
801 else
802 {
803 /* Check if what we have till now is a symbol name */
804
805 /* We may be looking at a template instantiation such
806 as "foo<int>". Check here whether we know about it,
807 instead of falling through to the code below which
808 handles ordinary function names, because that code
809 doesn't like seeing '<' and '>' in a name -- the
810 skip_quoted call doesn't go past them. So see if we
811 can figure it out right now. */
812
813 copy = (char *) alloca (p - *argptr + 1);
814 memcpy (copy, *argptr, p - *argptr);
815 copy[p - *argptr] = '\000';
816 sym = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
817 if (sym)
818 {
819 *argptr = (*p == '\'') ? p + 1 : p;
820 return symbol_found (funfirstline, canonical, copy, sym, NULL);
821 }
822 /* Otherwise fall out from here and go to file/line spec
823 processing, etc. */
824 }
825 #endif
826
827 /* file_symtab is specified file's symtab, or 0 if no file specified.
828 arg no longer contains the file name. */
829
830 /* If the filename was quoted, we must re-check the quotation. */
831
832 if (end_quote == first_half && *end_quote!= '\0')
833 {
834 is_quoted = (**argptr
835 && strchr (get_gdb_completer_quote_characters (),
836 **argptr) != NULL);
837 if (is_quoted)
838 end_quote = skip_quoted (*argptr);
839 }
840
841 /* Check whether arg is all digits (and sign). */
842
843 q = *argptr;
844 if (*q == '-' || *q == '+')
845 q++;
846 while (*q >= '0' && *q <= '9')
847 q++;
848
849 if (q != *argptr && (*q == 0 || *q == ' ' || *q == '\t' || *q == ','))
850 /* We found a token consisting of all digits -- at least one digit. */
851 return decode_all_digits (argptr, default_symtab, default_line,
852 canonical, file_symtab, q);
853
854 /* Arg token is not digits => try it as a variable name
855 Find the next token (everything up to end or next whitespace). */
856
857 if (**argptr == '$') /* May be a convenience variable. */
858 /* One or two $ chars possible. */
859 p = skip_quoted (*argptr + (((*argptr)[1] == '$') ? 2 : 1));
860 else if (is_quoted)
861 {
862 p = end_quote;
863 if (p[-1] != '\'')
864 error (_("Unmatched single quote."));
865 }
866 else if (is_objc_method)
867 {
868 /* allow word separators in method names for Obj-C */
869 p = skip_quoted_chars (*argptr, NULL, "");
870 }
871 else if (paren_pointer != NULL)
872 {
873 p = paren_pointer + 1;
874 }
875 else
876 {
877 p = skip_quoted (*argptr);
878 }
879
880 /* Keep any template parameters */
881 if (*p == '<')
882 p = find_template_name_end (p);
883
884 copy = (char *) alloca (p - *argptr + 1);
885 memcpy (copy, *argptr, p - *argptr);
886 copy[p - *argptr] = '\0';
887 if (p != *argptr
888 && copy[0]
889 && copy[0] == copy[p - *argptr - 1]
890 && strchr (get_gdb_completer_quote_characters (), copy[0]) != NULL)
891 {
892 copy[p - *argptr - 1] = '\0';
893 copy++;
894 }
895 else if (is_quoted)
896 copy[p - *argptr - 1] = '\0';
897 while (*p == ' ' || *p == '\t')
898 p++;
899 *argptr = p;
900
901 /* If it starts with $: may be a legitimate variable or routine name
902 (e.g. HP-UX millicode routines such as $$dyncall), or it may
903 be history value, or it may be a convenience variable. */
904
905 if (*copy == '$')
906 return decode_dollar (copy, funfirstline, default_symtab,
907 canonical, file_symtab);
908
909 /* Look up that token as a variable.
910 If file specified, use that file's per-file block to start with. */
911
912 return decode_variable (copy, funfirstline, canonical,
913 file_symtab, not_found_ptr);
914 }
915
916 \f
917
918 /* Now, more helper functions for decode_line_1. Some conventions
919 that these functions follow:
920
921 Decode_line_1 typically passes along some of its arguments or local
922 variables to the subfunctions. It passes the variables by
923 reference if they are modified by the subfunction, and by value
924 otherwise.
925
926 Some of the functions have side effects that don't arise from
927 variables that are passed by reference. In particular, if a
928 function is passed ARGPTR as an argument, it modifies what ARGPTR
929 points to; typically, it advances *ARGPTR past whatever substring
930 it has just looked at. (If it doesn't modify *ARGPTR, then the
931 function gets passed *ARGPTR instead, which is then called ARG: see
932 set_flags, for example.) Also, functions that return a struct
933 symtabs_and_lines may modify CANONICAL, as in the description of
934 decode_line_1.
935
936 If a function returns a struct symtabs_and_lines, then that struct
937 will immediately make its way up the call chain to be returned by
938 decode_line_1. In particular, all of the functions decode_XXX
939 calculate the appropriate struct symtabs_and_lines, under the
940 assumption that their argument is of the form XXX. */
941
942 /* First, some functions to initialize stuff at the beggining of the
943 function. */
944
945 static void
946 initialize_defaults (struct symtab **default_symtab, int *default_line)
947 {
948 if (*default_symtab == 0)
949 {
950 /* Use whatever we have for the default source line. We don't use
951 get_current_or_default_symtab_and_line as it can recurse and call
952 us back! */
953 struct symtab_and_line cursal =
954 get_current_source_symtab_and_line ();
955
956 *default_symtab = cursal.symtab;
957 *default_line = cursal.line;
958 }
959 }
960
961 static void
962 set_flags (char *arg, int *is_quoted, char **paren_pointer)
963 {
964 char *ii;
965 int has_if = 0;
966
967 /* 'has_if' is for the syntax:
968 (gdb) break foo if (a==b)
969 */
970 if ((ii = strstr (arg, " if ")) != NULL ||
971 (ii = strstr (arg, "\tif ")) != NULL ||
972 (ii = strstr (arg, " if\t")) != NULL ||
973 (ii = strstr (arg, "\tif\t")) != NULL ||
974 (ii = strstr (arg, " if(")) != NULL ||
975 (ii = strstr (arg, "\tif( ")) != NULL)
976 has_if = 1;
977 /* Temporarily zap out "if (condition)" to not confuse the
978 parenthesis-checking code below. This is undone below. Do not
979 change ii!! */
980 if (has_if)
981 {
982 *ii = '\0';
983 }
984
985 *is_quoted = (*arg
986 && strchr (get_gdb_completer_quote_characters (),
987 *arg) != NULL);
988
989 *paren_pointer = strchr (arg, '(');
990 if (*paren_pointer != NULL)
991 *paren_pointer = strrchr (*paren_pointer, ')');
992
993 /* Now that we're safely past the paren_pointer check, put back " if
994 (condition)" so outer layers can see it. */
995 if (has_if)
996 *ii = ' ';
997 }
998
999 \f
1000
1001 /* Decode arg of the form *PC. */
1002
1003 static struct symtabs_and_lines
1004 decode_indirect (char **argptr)
1005 {
1006 struct symtabs_and_lines values;
1007 CORE_ADDR pc;
1008
1009 (*argptr)++;
1010 pc = parse_and_eval_address_1 (argptr);
1011
1012 values.sals = (struct symtab_and_line *)
1013 xmalloc (sizeof (struct symtab_and_line));
1014
1015 values.nelts = 1;
1016 values.sals[0] = find_pc_line (pc, 0);
1017 values.sals[0].pc = pc;
1018 values.sals[0].section = find_pc_overlay (pc);
1019 values.sals[0].explicit_pc = 1;
1020
1021 return values;
1022 }
1023
1024 \f
1025
1026 /* Locate the first half of the linespec, ending in a colon, period,
1027 or whitespace. (More or less.) Also, check to see if *ARGPTR is
1028 enclosed in double quotes; if so, set is_quote_enclosed, advance
1029 ARGPTR past that and zero out the trailing double quote.
1030 If ARGPTR is just a simple name like "main", p will point to ""
1031 at the end. */
1032
1033 static char *
1034 locate_first_half (char **argptr, int *is_quote_enclosed)
1035 {
1036 char *ii;
1037 char *p, *p1;
1038 int has_comma;
1039
1040 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
1041 and we must isolate the first half. Outer layers will call again later
1042 for the second half.
1043
1044 Don't count commas that appear in argument lists of overloaded
1045 functions, or in quoted strings. It's stupid to go to this much
1046 trouble when the rest of the function is such an obvious roach hotel. */
1047 ii = find_toplevel_char (*argptr, ',');
1048 has_comma = (ii != 0);
1049
1050 /* Temporarily zap out second half to not confuse the code below.
1051 This is undone below. Do not change ii!! */
1052 if (has_comma)
1053 {
1054 *ii = '\0';
1055 }
1056
1057 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION. May also be
1058 CLASS::MEMBER, or NAMESPACE::NAME. Look for ':', but ignore
1059 inside of <>. */
1060
1061 p = *argptr;
1062 if (p[0] == '"')
1063 {
1064 *is_quote_enclosed = 1;
1065 (*argptr)++;
1066 p++;
1067 }
1068 else
1069 {
1070 *is_quote_enclosed = 0;
1071 if (strchr (get_gdb_completer_quote_characters (), *p))
1072 {
1073 ++(*argptr);
1074 ++p;
1075 }
1076 }
1077 for (; *p; p++)
1078 {
1079 if (p[0] == '<')
1080 {
1081 char *temp_end = find_template_name_end (p);
1082 if (!temp_end)
1083 error (_("malformed template specification in command"));
1084 p = temp_end;
1085 }
1086 /* Check for a colon and a plus or minus and a [ (which
1087 indicates an Objective-C method) */
1088 if (is_objc_method_format (p))
1089 {
1090 break;
1091 }
1092 /* Check for the end of the first half of the linespec. End of
1093 line, a tab, a double colon or the last single colon, or a
1094 space. But if enclosed in double quotes we do not break on
1095 enclosed spaces. */
1096 if (!*p
1097 || p[0] == '\t'
1098 || ((p[0] == ':')
1099 && ((p[1] == ':') || (strchr (p + 1, ':') == NULL)))
1100 || ((p[0] == ' ') && !*is_quote_enclosed))
1101 break;
1102 if (p[0] == '.' && strchr (p, ':') == NULL)
1103 {
1104 /* Java qualified method. Find the *last* '.', since the
1105 others are package qualifiers. */
1106 for (p1 = p; *p1; p1++)
1107 {
1108 if (*p1 == '.')
1109 p = p1;
1110 }
1111 break;
1112 }
1113 }
1114 while (p[0] == ' ' || p[0] == '\t')
1115 p++;
1116
1117 /* If the closing double quote was left at the end, remove it. */
1118 if (*is_quote_enclosed)
1119 {
1120 char *closing_quote = strchr (p - 1, '"');
1121 if (closing_quote && closing_quote[1] == '\0')
1122 *closing_quote = '\0';
1123 }
1124
1125 /* Now that we've safely parsed the first half, put back ',' so
1126 outer layers can see it. */
1127 if (has_comma)
1128 *ii = ',';
1129
1130 return p;
1131 }
1132
1133 \f
1134
1135 /* Here's where we recognise an Objective-C Selector. An Objective C
1136 selector may be implemented by more than one class, therefore it
1137 may represent more than one method/function. This gives us a
1138 situation somewhat analogous to C++ overloading. If there's more
1139 than one method that could represent the selector, then use some of
1140 the existing C++ code to let the user choose one. */
1141
1142 struct symtabs_and_lines
1143 decode_objc (char **argptr, int funfirstline, struct symtab *file_symtab,
1144 char ***canonical, char *saved_arg)
1145 {
1146 struct symtabs_and_lines values;
1147 struct symbol **sym_arr = NULL;
1148 struct symbol *sym = NULL;
1149 char *copy = NULL;
1150 struct block *block = NULL;
1151 unsigned i1 = 0;
1152 unsigned i2 = 0;
1153
1154 values.sals = NULL;
1155 values.nelts = 0;
1156
1157 if (file_symtab != NULL)
1158 block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab), STATIC_BLOCK);
1159 else
1160 {
1161 enum language save_language;
1162
1163 /* get_selected_block can change the current language when there is
1164 no selected frame yet. */
1165 save_language = current_language->la_language;
1166 block = get_selected_block (0);
1167 set_language (save_language);
1168 }
1169
1170 copy = find_imps (file_symtab, block, *argptr, NULL, &i1, &i2);
1171
1172 if (i1 > 0)
1173 {
1174 sym_arr = (struct symbol **) alloca ((i1 + 1) * sizeof (struct symbol *));
1175 sym_arr[i1] = NULL;
1176
1177 copy = find_imps (file_symtab, block, *argptr, sym_arr, &i1, &i2);
1178 *argptr = copy;
1179 }
1180
1181 /* i1 now represents the TOTAL number of matches found.
1182 i2 represents how many HIGH-LEVEL (struct symbol) matches,
1183 which will come first in the sym_arr array. Any low-level
1184 (minimal_symbol) matches will follow those. */
1185
1186 if (i1 == 1)
1187 {
1188 if (i2 > 0)
1189 {
1190 /* Already a struct symbol. */
1191 sym = sym_arr[0];
1192 }
1193 else
1194 {
1195 sym = find_pc_function (SYMBOL_VALUE_ADDRESS (sym_arr[0]));
1196 if ((sym != NULL) && strcmp (SYMBOL_LINKAGE_NAME (sym_arr[0]), SYMBOL_LINKAGE_NAME (sym)) != 0)
1197 {
1198 warning (_("debugging symbol \"%s\" does not match selector; ignoring"), SYMBOL_LINKAGE_NAME (sym));
1199 sym = NULL;
1200 }
1201 }
1202
1203 values.sals = (struct symtab_and_line *) xmalloc (sizeof (struct symtab_and_line));
1204 values.nelts = 1;
1205
1206 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
1207 {
1208 /* Canonicalize this, so it remains resolved for dylib loads. */
1209 values.sals[0] = find_function_start_sal (sym, funfirstline);
1210 build_canonical_line_spec (values.sals, SYMBOL_NATURAL_NAME (sym), canonical);
1211 }
1212 else
1213 {
1214 /* The only match was a non-debuggable symbol, which might point
1215 to a function descriptor; resolve it to the actual code address
1216 instead. */
1217 struct minimal_symbol *msymbol = (struct minimal_symbol *)sym_arr[0];
1218 struct objfile *objfile = msymbol_objfile (msymbol);
1219 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1220 CORE_ADDR pc = SYMBOL_VALUE_ADDRESS (msymbol);
1221
1222 pc = gdbarch_convert_from_func_ptr_addr (gdbarch, pc,
1223 &current_target);
1224
1225 init_sal (&values.sals[0]);
1226 values.sals[0].pc = pc;
1227 }
1228 return values;
1229 }
1230
1231 if (i1 > 1)
1232 {
1233 /* More than one match. The user must choose one or more. */
1234 return decode_line_2 (sym_arr, i2, funfirstline, canonical);
1235 }
1236
1237 return values;
1238 }
1239
1240 /* This handles C++ and Java compound data structures. P should point
1241 at the first component separator, i.e. double-colon or period. As
1242 an example, on entrance to this function we could have ARGPTR
1243 pointing to "AAA::inA::fun" and P pointing to "::inA::fun". */
1244
1245 static struct symtabs_and_lines
1246 decode_compound (char **argptr, int funfirstline, char ***canonical,
1247 char *saved_arg, char *p, int *not_found_ptr)
1248 {
1249 struct symtabs_and_lines values;
1250 char *p2;
1251 char *saved_arg2 = *argptr;
1252 char *temp_end;
1253 struct symbol *sym;
1254 char *copy;
1255 struct symbol *sym_class;
1256 struct symbol **sym_arr;
1257 struct type *t;
1258
1259 /* First check for "global" namespace specification, of the form
1260 "::foo". If found, skip over the colons and jump to normal
1261 symbol processing. I.e. the whole line specification starts with
1262 "::" (note the condition that *argptr == p). */
1263 if (p[0] == ':'
1264 && ((*argptr == p) || (p[-1] == ' ') || (p[-1] == '\t')))
1265 saved_arg2 += 2;
1266
1267 /* Given our example "AAA::inA::fun", we have two cases to consider:
1268
1269 1) AAA::inA is the name of a class. In that case, presumably it
1270 has a method called "fun"; we then look up that method using
1271 find_method.
1272
1273 2) AAA::inA isn't the name of a class. In that case, either the
1274 user made a typo or AAA::inA is the name of a namespace.
1275 Either way, we just look up AAA::inA::fun with lookup_symbol.
1276
1277 Thus, our first task is to find everything before the last set of
1278 double-colons and figure out if it's the name of a class. So we
1279 first loop through all of the double-colons. */
1280
1281 p2 = p; /* Save for restart. */
1282
1283 /* This is very messy. Following the example above we have now the
1284 following pointers:
1285 p -> "::inA::fun"
1286 argptr -> "AAA::inA::fun
1287 saved_arg -> "AAA::inA::fun
1288 saved_arg2 -> "AAA::inA::fun
1289 p2 -> "::inA::fun". */
1290
1291 /* In the loop below, with these strings, we'll make 2 passes, each
1292 is marked in comments.*/
1293
1294 while (1)
1295 {
1296 /* Move pointer up to next possible class/namespace token. */
1297
1298 p = p2 + 1; /* Restart with old value +1. */
1299
1300 /* PASS1: at this point p2->"::inA::fun", so p->":inA::fun",
1301 i.e. if there is a double-colon, p will now point to the
1302 second colon. */
1303 /* PASS2: p2->"::fun", p->":fun" */
1304
1305 /* Move pointer ahead to next double-colon. */
1306 while (*p && (p[0] != ' ') && (p[0] != '\t') && (p[0] != '\''))
1307 {
1308 if (current_language->la_language == language_cplus)
1309 p += cp_validate_operator (p);
1310
1311 if (p[0] == '<')
1312 {
1313 temp_end = find_template_name_end (p);
1314 if (!temp_end)
1315 error (_("malformed template specification in command"));
1316 p = temp_end;
1317 }
1318 /* Note that, since, at the start of this loop, p would be
1319 pointing to the second colon in a double-colon, we only
1320 satisfy the condition below if there is another
1321 double-colon to the right (after). I.e. there is another
1322 component that can be a class or a namespace. I.e, if at
1323 the beginning of this loop (PASS1), we had
1324 p->":inA::fun", we'll trigger this when p has been
1325 advanced to point to "::fun". */
1326 /* PASS2: we will not trigger this. */
1327 else if ((p[0] == ':') && (p[1] == ':'))
1328 break; /* Found double-colon. */
1329 else
1330 /* PASS2: We'll keep getting here, until p->"", at which point
1331 we exit this loop. */
1332 p++;
1333 }
1334
1335 if (*p != ':')
1336 break; /* Out of the while (1). This would happen
1337 for instance if we have looked up
1338 unsuccessfully all the components of the
1339 string, and p->""(PASS2) */
1340
1341 /* We get here if p points to ' ', '\t', '\'', "::" or ""(i.e
1342 string ended). */
1343 /* Save restart for next time around. */
1344 p2 = p;
1345 /* Restore argptr as it was on entry to this function. */
1346 *argptr = saved_arg2;
1347 /* PASS1: at this point p->"::fun" argptr->"AAA::inA::fun",
1348 p2->"::fun". */
1349
1350 /* All ready for next pass through the loop. */
1351 } /* while (1) */
1352
1353
1354 /* Start of lookup in the symbol tables. */
1355
1356 /* Lookup in the symbol table the substring between argptr and
1357 p. Note, this call changes the value of argptr. */
1358 /* Before the call, argptr->"AAA::inA::fun",
1359 p->"", p2->"::fun". After the call: argptr->"fun", p, p2
1360 unchanged. */
1361 sym_class = lookup_prefix_sym (argptr, p2);
1362
1363 /* If sym_class has been found, and if "AAA::inA" is a class, then
1364 we're in case 1 above. So we look up "fun" as a method of that
1365 class. */
1366 if (sym_class &&
1367 (t = check_typedef (SYMBOL_TYPE (sym_class)),
1368 (TYPE_CODE (t) == TYPE_CODE_STRUCT
1369 || TYPE_CODE (t) == TYPE_CODE_UNION)))
1370 {
1371 /* Arg token is not digits => try it as a function name.
1372 Find the next token (everything up to end or next
1373 blank). */
1374 if (**argptr
1375 && strchr (get_gdb_completer_quote_characters (),
1376 **argptr) != NULL)
1377 {
1378 p = skip_quoted (*argptr);
1379 *argptr = *argptr + 1;
1380 }
1381 else
1382 {
1383 /* At this point argptr->"fun". */
1384 p = *argptr;
1385 while (*p && *p != ' ' && *p != '\t' && *p != ',' && *p != ':')
1386 p++;
1387 /* At this point p->"". String ended. */
1388 /* Nope, C++ operators could have spaces in them
1389 ("foo::operator <" or "foo::operator delete []").
1390 I apologize, this is a bit hacky... */
1391 if (current_language->la_language == language_cplus
1392 && *p == ' ' && p - 8 - *argptr + 1 > 0)
1393 {
1394 /* The above loop has already swallowed "operator". */
1395 p += cp_validate_operator (p - 8) - 8;
1396 }
1397 }
1398
1399 /* Allocate our own copy of the substring between argptr and
1400 p. */
1401 copy = (char *) alloca (p - *argptr + 1);
1402 memcpy (copy, *argptr, p - *argptr);
1403 copy[p - *argptr] = '\0';
1404 if (p != *argptr
1405 && copy[p - *argptr - 1]
1406 && strchr (get_gdb_completer_quote_characters (),
1407 copy[p - *argptr - 1]) != NULL)
1408 copy[p - *argptr - 1] = '\0';
1409
1410 /* At this point copy->"fun", p->"" */
1411
1412 /* No line number may be specified. */
1413 while (*p == ' ' || *p == '\t')
1414 p++;
1415 *argptr = p;
1416 /* At this point arptr->"". */
1417
1418 /* Look for copy as a method of sym_class. */
1419 /* At this point copy->"fun", sym_class is "AAA:inA",
1420 saved_arg->"AAA::inA::fun". This concludes the scanning of
1421 the string for possible components matches. If we find it
1422 here, we return. If not, and we are at the and of the string,
1423 we'll lookup the whole string in the symbol tables. */
1424
1425 return find_method (funfirstline, canonical, saved_arg,
1426 copy, t, sym_class, not_found_ptr);
1427
1428 } /* End if symbol found */
1429
1430
1431 /* We couldn't find a class, so we're in case 2 above. We check the
1432 entire name as a symbol instead. */
1433
1434 copy = (char *) alloca (p - saved_arg2 + 1);
1435 memcpy (copy, saved_arg2, p - saved_arg2);
1436 /* Note: if is_quoted should be true, we snuff out quote here
1437 anyway. */
1438 copy[p - saved_arg2] = '\000';
1439 /* Set argptr to skip over the name. */
1440 *argptr = (*p == '\'') ? p + 1 : p;
1441
1442 /* Look up entire name */
1443 sym = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1444 if (sym)
1445 return symbol_found (funfirstline, canonical, copy, sym, NULL);
1446
1447 /* Couldn't find any interpretation as classes/namespaces, so give
1448 up. The quotes are important if copy is empty. */
1449 if (not_found_ptr)
1450 *not_found_ptr = 1;
1451 cplusplus_error (saved_arg,
1452 "Can't find member of namespace, class, struct, or union named \"%s\"\n",
1453 copy);
1454 }
1455
1456 /* Next come some helper functions for decode_compound. */
1457
1458 /* Return the symbol corresponding to the substring of *ARGPTR ending
1459 at P, allowing whitespace. Also, advance *ARGPTR past the symbol
1460 name in question, the compound object separator ("::" or "."), and
1461 whitespace. Note that *ARGPTR is changed whether or not the
1462 lookup_symbol call finds anything (i.e we return NULL). As an
1463 example, say ARGPTR is "AAA::inA::fun" and P is "::inA::fun". */
1464
1465 static struct symbol *
1466 lookup_prefix_sym (char **argptr, char *p)
1467 {
1468 char *p1;
1469 char *copy;
1470 struct symbol *sym;
1471
1472 /* Extract the class name. */
1473 p1 = p;
1474 while (p != *argptr && p[-1] == ' ')
1475 --p;
1476 copy = (char *) alloca (p - *argptr + 1);
1477 memcpy (copy, *argptr, p - *argptr);
1478 copy[p - *argptr] = 0;
1479
1480 /* Discard the class name from the argptr. */
1481 p = p1 + (p1[0] == ':' ? 2 : 1);
1482 while (*p == ' ' || *p == '\t')
1483 p++;
1484 *argptr = p;
1485
1486 /* At this point p1->"::inA::fun", p->"inA::fun" copy->"AAA",
1487 argptr->"inA::fun" */
1488
1489 sym = lookup_symbol (copy, 0, STRUCT_DOMAIN, 0);
1490 if (sym == NULL)
1491 {
1492 /* Typedefs are in VAR_DOMAIN so the above symbol lookup will
1493 fail when the user attempts to lookup a method of a class
1494 via a typedef'd name (NOT via the class's name, which is already
1495 handled in symbol_matches_domain). So try the lookup again
1496 using VAR_DOMAIN (where typedefs live) and double-check that we
1497 found a struct/class type. */
1498 struct symbol *s = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1499 if (s != NULL)
1500 {
1501 struct type *t = SYMBOL_TYPE (s);
1502 CHECK_TYPEDEF (t);
1503 if (TYPE_CODE (t) == TYPE_CODE_STRUCT)
1504 return s;
1505 }
1506 }
1507
1508 return sym;
1509 }
1510
1511 /* This finds the method COPY in the class whose type is T and whose
1512 symbol is SYM_CLASS. */
1513
1514 static struct symtabs_and_lines
1515 find_method (int funfirstline, char ***canonical, char *saved_arg,
1516 char *copy, struct type *t, struct symbol *sym_class, int *not_found_ptr)
1517 {
1518 struct symtabs_and_lines values;
1519 struct symbol *sym = NULL;
1520 int i1; /* Counter for the symbol array. */
1521 struct symbol **sym_arr = alloca (total_number_of_methods (t)
1522 * sizeof (struct symbol *));
1523
1524 /* Find all methods with a matching name, and put them in
1525 sym_arr. */
1526
1527 i1 = find_methods (t, copy, SYMBOL_LANGUAGE (sym_class), sym_arr);
1528
1529 if (i1 == 1)
1530 {
1531 /* There is exactly one field with that name. */
1532 sym = sym_arr[0];
1533
1534 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
1535 {
1536 values.sals = (struct symtab_and_line *)
1537 xmalloc (sizeof (struct symtab_and_line));
1538 values.nelts = 1;
1539 values.sals[0] = find_function_start_sal (sym,
1540 funfirstline);
1541 }
1542 else
1543 {
1544 values.sals = NULL;
1545 values.nelts = 0;
1546 }
1547 return values;
1548 }
1549 if (i1 > 0)
1550 {
1551 /* There is more than one field with that name
1552 (overloaded). Ask the user which one to use. */
1553 return decode_line_2 (sym_arr, i1, funfirstline, canonical);
1554 }
1555 else
1556 {
1557 if (not_found_ptr)
1558 *not_found_ptr = 1;
1559 if (copy[0] == '~')
1560 cplusplus_error (saved_arg,
1561 "the class `%s' does not have destructor defined\n",
1562 SYMBOL_PRINT_NAME (sym_class));
1563 else
1564 cplusplus_error (saved_arg,
1565 "the class %s does not have any method named %s\n",
1566 SYMBOL_PRINT_NAME (sym_class), copy);
1567 }
1568 }
1569
1570 \f
1571
1572 /* Return the symtab associated to the filename given by the substring
1573 of *ARGPTR ending at P, and advance ARGPTR past that filename. If
1574 NOT_FOUND_PTR is not null and the source file is not found, store
1575 boolean true at the location pointed to and do not issue an
1576 error message. */
1577
1578 static struct symtab *
1579 symtab_from_filename (char **argptr, char *p, int is_quote_enclosed,
1580 int *not_found_ptr)
1581 {
1582 char *p1;
1583 char *copy;
1584 struct symtab *file_symtab;
1585
1586 p1 = p;
1587 while (p != *argptr && p[-1] == ' ')
1588 --p;
1589 if ((*p == '"') && is_quote_enclosed)
1590 --p;
1591 copy = (char *) alloca (p - *argptr + 1);
1592 memcpy (copy, *argptr, p - *argptr);
1593 /* It may have the ending quote right after the file name. */
1594 if ((is_quote_enclosed && copy[p - *argptr - 1] == '"')
1595 || copy[p - *argptr - 1] == '\'')
1596 copy[p - *argptr - 1] = 0;
1597 else
1598 copy[p - *argptr] = 0;
1599
1600 /* Find that file's data. */
1601 file_symtab = lookup_symtab (copy);
1602 if (file_symtab == 0)
1603 {
1604 if (not_found_ptr)
1605 *not_found_ptr = 1;
1606 if (!have_full_symbols () && !have_partial_symbols ())
1607 throw_error (NOT_FOUND_ERROR,
1608 _("No symbol table is loaded. Use the \"file\" command."));
1609 throw_error (NOT_FOUND_ERROR, _("No source file named %s."), copy);
1610 }
1611
1612 /* Discard the file name from the arg. */
1613 p = p1 + 1;
1614 while (*p == ' ' || *p == '\t')
1615 p++;
1616 *argptr = p;
1617
1618 return file_symtab;
1619 }
1620
1621 \f
1622
1623 /* This decodes a line where the argument is all digits (possibly
1624 preceded by a sign). Q should point to the end of those digits;
1625 the other arguments are as usual. */
1626
1627 static struct symtabs_and_lines
1628 decode_all_digits (char **argptr, struct symtab *default_symtab,
1629 int default_line, char ***canonical,
1630 struct symtab *file_symtab, char *q)
1631
1632 {
1633 struct symtabs_and_lines values;
1634 struct symtab_and_line val;
1635
1636 enum sign
1637 {
1638 none, plus, minus
1639 }
1640 sign = none;
1641
1642 /* We might need a canonical line spec if no file was specified. */
1643 int need_canonical = (file_symtab == NULL) ? 1 : 0;
1644
1645 init_sal (&val);
1646
1647 val.pspace = current_program_space;
1648
1649 /* This is where we need to make sure that we have good defaults.
1650 We must guarantee that this section of code is never executed
1651 when we are called with just a function name, since
1652 set_default_source_symtab_and_line uses
1653 select_source_symtab that calls us with such an argument. */
1654
1655 if (file_symtab == 0 && default_symtab == 0)
1656 {
1657 /* Make sure we have at least a default source file. */
1658 set_default_source_symtab_and_line ();
1659 initialize_defaults (&default_symtab, &default_line);
1660 }
1661
1662 if (**argptr == '+')
1663 sign = plus, (*argptr)++;
1664 else if (**argptr == '-')
1665 sign = minus, (*argptr)++;
1666 val.line = atoi (*argptr);
1667 switch (sign)
1668 {
1669 case plus:
1670 if (q == *argptr)
1671 val.line = 5;
1672 if (file_symtab == 0)
1673 val.line = default_line + val.line;
1674 break;
1675 case minus:
1676 if (q == *argptr)
1677 val.line = 15;
1678 if (file_symtab == 0)
1679 val.line = default_line - val.line;
1680 else
1681 val.line = 1;
1682 break;
1683 case none:
1684 break; /* No need to adjust val.line. */
1685 }
1686
1687 while (*q == ' ' || *q == '\t')
1688 q++;
1689 *argptr = q;
1690 if (file_symtab == 0)
1691 file_symtab = default_symtab;
1692
1693 /* It is possible that this source file has more than one symtab,
1694 and that the new line number specification has moved us from the
1695 default (in file_symtab) to a new one. */
1696 val.symtab = find_line_symtab (file_symtab, val.line, NULL, NULL);
1697 if (val.symtab == 0)
1698 val.symtab = file_symtab;
1699
1700 val.pspace = SYMTAB_PSPACE (val.symtab);
1701 val.pc = 0;
1702 values.sals = (struct symtab_and_line *)
1703 xmalloc (sizeof (struct symtab_and_line));
1704 values.sals[0] = val;
1705 values.nelts = 1;
1706 if (need_canonical)
1707 build_canonical_line_spec (values.sals, NULL, canonical);
1708 values.sals[0].explicit_line = 1;
1709 return values;
1710 }
1711
1712 \f
1713
1714 /* Decode a linespec starting with a dollar sign. */
1715
1716 static struct symtabs_and_lines
1717 decode_dollar (char *copy, int funfirstline, struct symtab *default_symtab,
1718 char ***canonical, struct symtab *file_symtab)
1719 {
1720 LONGEST valx;
1721 int index = 0;
1722 int need_canonical = 0;
1723 struct symtabs_and_lines values;
1724 struct symtab_and_line val;
1725 char *p;
1726 struct symbol *sym;
1727 struct minimal_symbol *msymbol;
1728
1729 p = (copy[1] == '$') ? copy + 2 : copy + 1;
1730 while (*p >= '0' && *p <= '9')
1731 p++;
1732 if (!*p) /* Reached end of token without hitting non-digit. */
1733 {
1734 /* We have a value history reference. */
1735 struct value *val_history;
1736 sscanf ((copy[1] == '$') ? copy + 2 : copy + 1, "%d", &index);
1737 val_history = access_value_history ((copy[1] == '$') ? -index : index);
1738 if (TYPE_CODE (value_type (val_history)) != TYPE_CODE_INT)
1739 error (_("History values used in line specs must have integer values."));
1740 valx = value_as_long (val_history);
1741 }
1742 else
1743 {
1744 /* Not all digits -- may be user variable/function or a
1745 convenience variable. */
1746
1747 /* Look up entire name as a symbol first. */
1748 sym = lookup_symbol (copy, 0, VAR_DOMAIN, 0);
1749 file_symtab = (struct symtab *) NULL;
1750 need_canonical = 1;
1751 /* Symbol was found --> jump to normal symbol processing. */
1752 if (sym)
1753 return symbol_found (funfirstline, canonical, copy, sym, NULL);
1754
1755 /* If symbol was not found, look in minimal symbol tables. */
1756 msymbol = lookup_minimal_symbol (copy, NULL, NULL);
1757 /* Min symbol was found --> jump to minsym processing. */
1758 if (msymbol)
1759 return minsym_found (funfirstline, msymbol);
1760
1761 /* Not a user variable or function -- must be convenience variable. */
1762 if (!get_internalvar_integer (lookup_internalvar (copy + 1), &valx))
1763 error (_("Convenience variables used in line specs must have integer values."));
1764 }
1765
1766 init_sal (&val);
1767
1768 /* Either history value or convenience value from above, in valx. */
1769 val.symtab = file_symtab ? file_symtab : default_symtab;
1770 val.line = valx;
1771 val.pc = 0;
1772 val.pspace = current_program_space;
1773
1774 values.sals = (struct symtab_and_line *) xmalloc (sizeof val);
1775 values.sals[0] = val;
1776 values.nelts = 1;
1777
1778 if (need_canonical)
1779 build_canonical_line_spec (values.sals, NULL, canonical);
1780
1781 return values;
1782 }
1783
1784 \f
1785
1786 /* Decode a linespec that's a variable. If FILE_SYMTAB is non-NULL,
1787 look in that symtab's static variables first. If NOT_FOUND_PTR is not NULL and
1788 the function cannot be found, store boolean true in the location pointed to
1789 and do not issue an error message. */
1790
1791 static struct symtabs_and_lines
1792 decode_variable (char *copy, int funfirstline, char ***canonical,
1793 struct symtab *file_symtab, int *not_found_ptr)
1794 {
1795 struct symbol *sym;
1796
1797 struct minimal_symbol *msymbol;
1798
1799 sym = lookup_symbol (copy,
1800 (file_symtab
1801 ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (file_symtab),
1802 STATIC_BLOCK)
1803 : get_selected_block (0)),
1804 VAR_DOMAIN, 0);
1805
1806 if (sym != NULL)
1807 return symbol_found (funfirstline, canonical, copy, sym, file_symtab);
1808
1809 msymbol = lookup_minimal_symbol (copy, NULL, NULL);
1810
1811 if (msymbol != NULL)
1812 return minsym_found (funfirstline, msymbol);
1813
1814 if (not_found_ptr)
1815 *not_found_ptr = 1;
1816
1817 if (!have_full_symbols ()
1818 && !have_partial_symbols ()
1819 && !have_minimal_symbols ())
1820 throw_error (NOT_FOUND_ERROR,
1821 _("No symbol table is loaded. Use the \"file\" command."));
1822 throw_error (NOT_FOUND_ERROR, _("Function \"%s\" not defined."), copy);
1823 }
1824
1825
1826 \f
1827
1828 /* Now come some functions that are called from multiple places within
1829 decode_line_1. */
1830
1831 /* We've found a symbol SYM to associate with our linespec; build a
1832 corresponding struct symtabs_and_lines. */
1833
1834 static struct symtabs_and_lines
1835 symbol_found (int funfirstline, char ***canonical, char *copy,
1836 struct symbol *sym, struct symtab *file_symtab)
1837 {
1838 struct symtabs_and_lines values;
1839
1840 if (SYMBOL_CLASS (sym) == LOC_BLOCK)
1841 {
1842 /* Arg is the name of a function */
1843 values.sals = (struct symtab_and_line *)
1844 xmalloc (sizeof (struct symtab_and_line));
1845 values.sals[0] = find_function_start_sal (sym, funfirstline);
1846 values.nelts = 1;
1847
1848 /* Don't use the SYMBOL_LINE; if used at all it points to
1849 the line containing the parameters or thereabouts, not
1850 the first line of code. */
1851
1852 /* We might need a canonical line spec if it is a static
1853 function. */
1854 if (file_symtab == 0)
1855 {
1856 struct blockvector *bv = BLOCKVECTOR (SYMBOL_SYMTAB (sym));
1857 struct block *b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1858 if (lookup_block_symbol (b, copy, NULL, VAR_DOMAIN) != NULL)
1859 build_canonical_line_spec (values.sals, copy, canonical);
1860 }
1861 return values;
1862 }
1863 else
1864 {
1865 if (funfirstline)
1866 error (_("\"%s\" is not a function"), copy);
1867 else if (SYMBOL_LINE (sym) != 0)
1868 {
1869 /* We know its line number. */
1870 values.sals = (struct symtab_and_line *)
1871 xmalloc (sizeof (struct symtab_and_line));
1872 values.nelts = 1;
1873 memset (&values.sals[0], 0, sizeof (values.sals[0]));
1874 values.sals[0].symtab = SYMBOL_SYMTAB (sym);
1875 values.sals[0].line = SYMBOL_LINE (sym);
1876 return values;
1877 }
1878 else
1879 /* This can happen if it is compiled with a compiler which doesn't
1880 put out line numbers for variables. */
1881 /* FIXME: Shouldn't we just set .line and .symtab to zero
1882 and return? For example, "info line foo" could print
1883 the address. */
1884 error (_("Line number not known for symbol \"%s\""), copy);
1885 }
1886 }
1887
1888 /* We've found a minimal symbol MSYMBOL to associate with our
1889 linespec; build a corresponding struct symtabs_and_lines. */
1890
1891 static struct symtabs_and_lines
1892 minsym_found (int funfirstline, struct minimal_symbol *msymbol)
1893 {
1894 struct objfile *objfile = msymbol_objfile (msymbol);
1895 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1896 struct symtabs_and_lines values;
1897 CORE_ADDR pc;
1898
1899 values.sals = (struct symtab_and_line *)
1900 xmalloc (sizeof (struct symtab_and_line));
1901 values.sals[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol),
1902 (struct obj_section *) 0, 0);
1903 values.sals[0].section = SYMBOL_OBJ_SECTION (msymbol);
1904
1905 /* The minimal symbol might point to a function descriptor;
1906 resolve it to the actual code address instead. */
1907 pc = gdbarch_convert_from_func_ptr_addr (gdbarch,
1908 values.sals[0].pc,
1909 &current_target);
1910 if (pc != values.sals[0].pc)
1911 values.sals[0] = find_pc_sect_line (pc, NULL, 0);
1912
1913 if (funfirstline)
1914 {
1915 struct symtab_and_line sal;
1916
1917 values.sals[0].pc = find_function_start_pc (gdbarch,
1918 values.sals[0].pc,
1919 values.sals[0].section);
1920
1921 sal = find_pc_sect_line (values.sals[0].pc, values.sals[0].section, 0);
1922
1923 /* Check if SKIP_PROLOGUE left us in mid-line, and the next
1924 line is still part of the same function. If there is no
1925 line information here, sal.pc will be the passed in PC. */
1926 if (sal.pc != values.sals[0].pc
1927 && (lookup_minimal_symbol_by_pc_section (values.sals[0].pc,
1928 values.sals[0].section)
1929 == lookup_minimal_symbol_by_pc_section (sal.end,
1930 values.sals[0].section)))
1931 /* Recalculate the line number (might not be N+1). */
1932 values.sals[0] = find_pc_sect_line (sal.end, values.sals[0].section, 0);
1933 }
1934
1935 values.nelts = 1;
1936 return values;
1937 }
This page took 0.068769 seconds and 4 git commands to generate.