* gdb.texinfo (Continuing and Stepping): Fixed markup and typos,
[deliverable/binutils-gdb.git] / gdb / linespec.c
CommitLineData
50641945
FN
1/* Parser for linespec for the GNU debugger, GDB.
2 Copyright 1986, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 2000
3 Free Software Foundation, Inc.
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
21
22#include "defs.h"
23#include "symtab.h"
24#include "gdbtypes.h"
25#include "symfile.h"
26#include "objfiles.h"
27#include "gdbcmd.h"
28#include "demangle.h"
29#include "inferior.h"
30
31/* Prototype for one function in parser-defs.h,
32 instead of including that entire file. */
33
34extern char *find_template_name_end (char *);
35
36/* We share this one with symtab.c, but it is not exported widely. */
37
38extern char *operator_chars (char *, char **);
39
40extern char *no_symtab_msg;
41
42/* Prototypes for local functions */
43
44static void cplusplus_hint (char *name);
45
46static int total_number_of_methods (struct type *type);
47
48static int find_methods (struct type *, char *, struct symbol **);
49
50static void build_canonical_line_spec (struct symtab_and_line *,
51 char *, char ***);
52
53static char *find_toplevel_char (char *s, char c);
54
55static struct symtabs_and_lines decode_line_2 (struct symbol *[],
56 int, int, char ***);
57
58/* Helper functions. */
59
60/* While the C++ support is still in flux, issue a possibly helpful hint on
61 using the new command completion feature on single quoted demangled C++
62 symbols. Remove when loose ends are cleaned up. FIXME -fnf */
63
64static void
65cplusplus_hint (char *name)
66{
67 while (*name == '\'')
68 name++;
69 printf_filtered ("Hint: try '%s<TAB> or '%s<ESC-?>\n", name, name);
70 printf_filtered ("(Note leading single quote.)\n");
71}
72
73/* Return the number of methods described for TYPE, including the
74 methods from types it derives from. This can't be done in the symbol
75 reader because the type of the baseclass might still be stubbed
76 when the definition of the derived class is parsed. */
77
78static int
79total_number_of_methods (struct type *type)
80{
81 int n;
82 int count;
83
84 CHECK_TYPEDEF (type);
85 if (TYPE_CPLUS_SPECIFIC (type) == NULL)
86 return 0;
87 count = TYPE_NFN_FIELDS_TOTAL (type);
88
89 for (n = 0; n < TYPE_N_BASECLASSES (type); n++)
90 count += total_number_of_methods (TYPE_BASECLASS (type, n));
91
92 return count;
93}
94
95/* Recursive helper function for decode_line_1.
96 Look for methods named NAME in type T.
97 Return number of matches.
98 Put matches in SYM_ARR, which should have been allocated with
99 a size of total_number_of_methods (T) * sizeof (struct symbol *).
100 Note that this function is g++ specific. */
101
102static int
103find_methods (struct type *t, char *name, struct symbol **sym_arr)
104{
105 int i1 = 0;
106 int ibase;
107 struct symbol *sym_class;
108 char *class_name = type_name_no_tag (t);
109
110 /* Ignore this class if it doesn't have a name. This is ugly, but
111 unless we figure out how to get the physname without the name of
112 the class, then the loop can't do any good. */
113 if (class_name
114 && (sym_class = lookup_symbol (class_name,
115 (struct block *) NULL,
116 STRUCT_NAMESPACE,
117 (int *) NULL,
118 (struct symtab **) NULL)))
119 {
120 int method_counter;
121
122 /* FIXME: Shouldn't this just be CHECK_TYPEDEF (t)? */
123 t = SYMBOL_TYPE (sym_class);
124
125 /* Loop over each method name. At this level, all overloads of a name
126 are counted as a single name. There is an inner loop which loops over
127 each overload. */
128
129 for (method_counter = TYPE_NFN_FIELDS (t) - 1;
130 method_counter >= 0;
131 --method_counter)
132 {
133 int field_counter;
134 char *method_name = TYPE_FN_FIELDLIST_NAME (t, method_counter);
135 char dem_opname[64];
136
137 if (strncmp (method_name, "__", 2) == 0 ||
138 strncmp (method_name, "op", 2) == 0 ||
139 strncmp (method_name, "type", 4) == 0)
140 {
141 if (cplus_demangle_opname (method_name, dem_opname, DMGL_ANSI))
142 method_name = dem_opname;
143 else if (cplus_demangle_opname (method_name, dem_opname, 0))
144 method_name = dem_opname;
145 }
146
147 if (STREQ (name, method_name))
148 /* Find all the overloaded methods with that name. */
149 for (field_counter = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1;
150 field_counter >= 0;
151 --field_counter)
152 {
153 struct fn_field *f;
154 char *phys_name;
155
156 f = TYPE_FN_FIELDLIST1 (t, method_counter);
157
158 if (TYPE_FN_FIELD_STUB (f, field_counter))
159 {
160 char *tmp_name;
161
162 tmp_name = gdb_mangle_name (t,
163 method_counter,
164 field_counter);
165 phys_name = alloca (strlen (tmp_name) + 1);
166 strcpy (phys_name, tmp_name);
167 free (tmp_name);
168 }
169 else
170 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter);
171
172 /* Destructor is handled by caller, dont add it to the list */
173 if (DESTRUCTOR_PREFIX_P (phys_name))
174 continue;
175
176 sym_arr[i1] = lookup_symbol (phys_name,
177 NULL, VAR_NAMESPACE,
178 (int *) NULL,
179 (struct symtab **) NULL);
180 if (sym_arr[i1])
181 i1++;
182 else
183 {
184 /* This error message gets printed, but the method
185 still seems to be found
186 fputs_filtered("(Cannot find method ", gdb_stdout);
187 fprintf_symbol_filtered (gdb_stdout, phys_name,
188 language_cplus,
189 DMGL_PARAMS | DMGL_ANSI);
190 fputs_filtered(" - possibly inlined.)\n", gdb_stdout);
191 */
192 }
193 }
194 }
195 }
196
197 /* Only search baseclasses if there is no match yet, since names in
198 derived classes override those in baseclasses.
199
200 FIXME: The above is not true; it is only true of member functions
201 if they have the same number of arguments (??? - section 13.1 of the
202 ARM says the function members are not in the same scope but doesn't
203 really spell out the rules in a way I understand. In any case, if
204 the number of arguments differ this is a case in which we can overload
205 rather than hiding without any problem, and gcc 2.4.5 does overload
206 rather than hiding in this case). */
207
208 if (i1 == 0)
209 for (ibase = 0; ibase < TYPE_N_BASECLASSES (t); ibase++)
210 i1 += find_methods (TYPE_BASECLASS (t, ibase), name, sym_arr + i1);
211
212 return i1;
213}
214
215/* Helper function for decode_line_1.
216 Build a canonical line spec in CANONICAL if it is non-NULL and if
217 the SAL has a symtab.
218 If SYMNAME is non-NULL the canonical line spec is `filename:symname'.
219 If SYMNAME is NULL the line number from SAL is used and the canonical
220 line spec is `filename:linenum'. */
221
222static void
223build_canonical_line_spec (struct symtab_and_line *sal, char *symname,
224 char ***canonical)
225{
226 char **canonical_arr;
227 char *canonical_name;
228 char *filename;
229 struct symtab *s = sal->symtab;
230
231 if (s == (struct symtab *) NULL
232 || s->filename == (char *) NULL
233 || canonical == (char ***) NULL)
234 return;
235
236 canonical_arr = (char **) xmalloc (sizeof (char *));
237 *canonical = canonical_arr;
238
239 filename = s->filename;
240 if (symname != NULL)
241 {
242 canonical_name = xmalloc (strlen (filename) + strlen (symname) + 2);
243 sprintf (canonical_name, "%s:%s", filename, symname);
244 }
245 else
246 {
247 canonical_name = xmalloc (strlen (filename) + 30);
248 sprintf (canonical_name, "%s:%d", filename, sal->line);
249 }
250 canonical_arr[0] = canonical_name;
251}
252
253
254
255/* Find an instance of the character C in the string S that is outside
256 of all parenthesis pairs, single-quoted strings, and double-quoted
257 strings. */
258static char *
259find_toplevel_char (char *s, char c)
260{
261 int quoted = 0; /* zero if we're not in quotes;
262 '"' if we're in a double-quoted string;
263 '\'' if we're in a single-quoted string. */
264 int depth = 0; /* number of unclosed parens we've seen */
265 char *scan;
266
267 for (scan = s; *scan; scan++)
268 {
269 if (quoted)
270 {
271 if (*scan == quoted)
272 quoted = 0;
273 else if (*scan == '\\' && *(scan + 1))
274 scan++;
275 }
276 else if (*scan == c && ! quoted && depth == 0)
277 return scan;
278 else if (*scan == '"' || *scan == '\'')
279 quoted = *scan;
280 else if (*scan == '(')
281 depth++;
282 else if (*scan == ')' && depth > 0)
283 depth--;
284 }
285
286 return 0;
287}
288
289/* Given a list of NELTS symbols in SYM_ARR, return a list of lines to
290 operate on (ask user if necessary).
291 If CANONICAL is non-NULL return a corresponding array of mangled names
292 as canonical line specs there. */
293
294static struct symtabs_and_lines
295decode_line_2 (struct symbol *sym_arr[], int nelts, int funfirstline,
296 char ***canonical)
297{
298 struct symtabs_and_lines values, return_values;
299 char *args, *arg1;
300 int i;
301 char *prompt;
302 char *symname;
303 struct cleanup *old_chain;
304 char **canonical_arr = (char **) NULL;
305
306 values.sals = (struct symtab_and_line *)
307 alloca (nelts * sizeof (struct symtab_and_line));
308 return_values.sals = (struct symtab_and_line *)
309 xmalloc (nelts * sizeof (struct symtab_and_line));
310 old_chain = make_cleanup (free, return_values.sals);
311
312 if (canonical)
313 {
314 canonical_arr = (char **) xmalloc (nelts * sizeof (char *));
315 make_cleanup (free, canonical_arr);
316 memset (canonical_arr, 0, nelts * sizeof (char *));
317 *canonical = canonical_arr;
318 }
319
320 i = 0;
321 printf_unfiltered ("[0] cancel\n[1] all\n");
322 while (i < nelts)
323 {
324 INIT_SAL (&return_values.sals[i]); /* initialize to zeroes */
325 INIT_SAL (&values.sals[i]);
326 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK)
327 {
328 values.sals[i] = find_function_start_sal (sym_arr[i], funfirstline);
329 printf_unfiltered ("[%d] %s at %s:%d\n",
330 (i + 2),
331 SYMBOL_SOURCE_NAME (sym_arr[i]),
332 values.sals[i].symtab->filename,
333 values.sals[i].line);
334 }
335 else
336 printf_unfiltered ("?HERE\n");
337 i++;
338 }
339
340 if ((prompt = getenv ("PS2")) == NULL)
341 {
342 prompt = "> ";
343 }
344 args = command_line_input (prompt, 0, "overload-choice");
345
346 if (args == 0 || *args == 0)
347 error_no_arg ("one or more choice numbers");
348
349 i = 0;
350 while (*args)
351 {
352 int num;
353
354 arg1 = args;
355 while (*arg1 >= '0' && *arg1 <= '9')
356 arg1++;
357 if (*arg1 && *arg1 != ' ' && *arg1 != '\t')
358 error ("Arguments must be choice numbers.");
359
360 num = atoi (args);
361
362 if (num == 0)
363 error ("canceled");
364 else if (num == 1)
365 {
366 if (canonical_arr)
367 {
368 for (i = 0; i < nelts; i++)
369 {
370 if (canonical_arr[i] == NULL)
371 {
372 symname = SYMBOL_NAME (sym_arr[i]);
373 canonical_arr[i] = savestring (symname, strlen (symname));
374 }
375 }
376 }
377 memcpy (return_values.sals, values.sals,
378 (nelts * sizeof (struct symtab_and_line)));
379 return_values.nelts = nelts;
380 discard_cleanups (old_chain);
381 return return_values;
382 }
383
384 if (num >= nelts + 2)
385 {
386 printf_unfiltered ("No choice number %d.\n", num);
387 }
388 else
389 {
390 num -= 2;
391 if (values.sals[num].pc)
392 {
393 if (canonical_arr)
394 {
395 symname = SYMBOL_NAME (sym_arr[num]);
396 make_cleanup (free, symname);
397 canonical_arr[i] = savestring (symname, strlen (symname));
398 }
399 return_values.sals[i++] = values.sals[num];
400 values.sals[num].pc = 0;
401 }
402 else
403 {
404 printf_unfiltered ("duplicate request for %d ignored.\n", num);
405 }
406 }
407
408 args = arg1;
409 while (*args == ' ' || *args == '\t')
410 args++;
411 }
412 return_values.nelts = i;
413 discard_cleanups (old_chain);
414 return return_values;
415}
416\f
417/* The parser of linespec itself. */
418
419/* Parse a string that specifies a line number.
420 Pass the address of a char * variable; that variable will be
421 advanced over the characters actually parsed.
422
423 The string can be:
424
425 LINENUM -- that line number in current file. PC returned is 0.
426 FILE:LINENUM -- that line in that file. PC returned is 0.
427 FUNCTION -- line number of openbrace of that function.
428 PC returned is the start of the function.
429 VARIABLE -- line number of definition of that variable.
430 PC returned is 0.
431 FILE:FUNCTION -- likewise, but prefer functions in that file.
432 *EXPR -- line in which address EXPR appears.
433
434 This may all be followed by an "if EXPR", which we ignore.
435
436 FUNCTION may be an undebuggable function found in minimal symbol table.
437
438 If the argument FUNFIRSTLINE is nonzero, we want the first line
439 of real code inside a function when a function is specified, and it is
440 not OK to specify a variable or type to get its line number.
441
442 DEFAULT_SYMTAB specifies the file to use if none is specified.
443 It defaults to current_source_symtab.
444 DEFAULT_LINE specifies the line number to use for relative
445 line numbers (that start with signs). Defaults to current_source_line.
446 If CANONICAL is non-NULL, store an array of strings containing the canonical
447 line specs there if necessary. Currently overloaded member functions and
448 line numbers or static functions without a filename yield a canonical
449 line spec. The array and the line spec strings are allocated on the heap,
450 it is the callers responsibility to free them.
451
452 Note that it is possible to return zero for the symtab
453 if no file is validly specified. Callers must check that.
454 Also, the line number returned may be invalid. */
455
456/* We allow single quotes in various places. This is a hideous
457 kludge, which exists because the completer can't yet deal with the
458 lack of single quotes. FIXME: write a linespec_completer which we
459 can use as appropriate instead of make_symbol_completion_list. */
460
461struct symtabs_and_lines
462decode_line_1 (char **argptr, int funfirstline, struct symtab *default_symtab,
463 int default_line, char ***canonical)
464{
465 struct symtabs_and_lines values;
466#ifdef HPPA_COMPILER_BUG
467 /* FIXME: The native HP 9000/700 compiler has a bug which appears
468 when optimizing this file with target i960-vxworks. I haven't
469 been able to construct a simple test case. The problem is that
470 in the second call to SKIP_PROLOGUE below, the compiler somehow
471 does not realize that the statement val = find_pc_line (...) will
472 change the values of the fields of val. It extracts the elements
473 into registers at the top of the block, and does not update the
474 registers after the call to find_pc_line. You can check this by
475 inserting a printf at the end of find_pc_line to show what values
476 it is returning for val.pc and val.end and another printf after
477 the call to see what values the function actually got (remember,
478 this is compiling with cc -O, with this patch removed). You can
479 also examine the assembly listing: search for the second call to
480 skip_prologue; the LDO statement before the next call to
481 find_pc_line loads the address of the structure which
482 find_pc_line will return; if there is a LDW just before the LDO,
483 which fetches an element of the structure, then the compiler
484 still has the bug.
485
486 Setting val to volatile avoids the problem. We must undef
487 volatile, because the HPPA native compiler does not define
488 __STDC__, although it does understand volatile, and so volatile
489 will have been defined away in defs.h. */
490#undef volatile
491 volatile struct symtab_and_line val;
492#define volatile /*nothing */
493#else
494 struct symtab_and_line val;
495#endif
496 register char *p, *p1;
497 char *q, *pp, *ii, *p2;
498#if 0
499 char *q1;
500#endif
501 register struct symtab *s;
502
503 register struct symbol *sym;
504 /* The symtab that SYM was found in. */
505 struct symtab *sym_symtab;
506
507 register CORE_ADDR pc;
508 register struct minimal_symbol *msymbol;
509 char *copy;
510 struct symbol *sym_class;
511 int i1;
512 int is_quoted;
513 int is_quote_enclosed;
514 int has_parens;
515 int has_if = 0;
516 int has_comma = 0;
517 struct symbol **sym_arr;
518 struct type *t;
519 char *saved_arg = *argptr;
520 extern char *gdb_completer_quote_characters;
521
522 INIT_SAL (&val); /* initialize to zeroes */
523
524 /* Defaults have defaults. */
525
526 if (default_symtab == 0)
527 {
528 default_symtab = current_source_symtab;
529 default_line = current_source_line;
530 }
531
532 /* See if arg is *PC */
533
534 if (**argptr == '*')
535 {
536 (*argptr)++;
537 pc = parse_and_eval_address_1 (argptr);
538
539 values.sals = (struct symtab_and_line *)
540 xmalloc (sizeof (struct symtab_and_line));
541
542 values.nelts = 1;
543 values.sals[0] = find_pc_line (pc, 0);
544 values.sals[0].pc = pc;
545 values.sals[0].section = find_pc_overlay (pc);
546
547 return values;
548 }
549
550 /* 'has_if' is for the syntax:
551 * (gdb) break foo if (a==b)
552 */
553 if ((ii = strstr (*argptr, " if ")) != NULL ||
554 (ii = strstr (*argptr, "\tif ")) != NULL ||
555 (ii = strstr (*argptr, " if\t")) != NULL ||
556 (ii = strstr (*argptr, "\tif\t")) != NULL ||
557 (ii = strstr (*argptr, " if(")) != NULL ||
558 (ii = strstr (*argptr, "\tif( ")) != NULL)
559 has_if = 1;
560 /* Temporarily zap out "if (condition)" to not
561 * confuse the parenthesis-checking code below.
562 * This is undone below. Do not change ii!!
563 */
564 if (has_if)
565 {
566 *ii = '\0';
567 }
568
569 /* Set various flags.
570 * 'has_parens' is important for overload checking, where
571 * we allow things like:
572 * (gdb) break c::f(int)
573 */
574
575 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION */
576
577 is_quoted = (**argptr
578 && strchr (gdb_completer_quote_characters, **argptr) != NULL);
579
580 has_parens = ((pp = strchr (*argptr, '(')) != NULL
581 && (pp = strrchr (pp, ')')) != NULL);
582
583 /* Now that we're safely past the has_parens check,
584 * put back " if (condition)" so outer layers can see it
585 */
586 if (has_if)
587 *ii = ' ';
588
589 /* Maybe we were called with a line range FILENAME:LINENUM,FILENAME:LINENUM
590 and we must isolate the first half. Outer layers will call again later
591 for the second half.
592
593 Don't count commas that appear in argument lists of overloaded
594 functions, or in quoted strings. It's stupid to go to this much
595 trouble when the rest of the function is such an obvious roach hotel. */
596 ii = find_toplevel_char (*argptr, ',');
597 has_comma = (ii != 0);
598
599 /* Temporarily zap out second half to not
600 * confuse the code below.
601 * This is undone below. Do not change ii!!
602 */
603 if (has_comma)
604 {
605 *ii = '\0';
606 }
607
608 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION */
609 /* May also be CLASS::MEMBER, or NAMESPACE::NAME */
610 /* Look for ':', but ignore inside of <> */
611
612 s = NULL;
613 p = *argptr;
614 if (p[0] == '"')
615 {
616 is_quote_enclosed = 1;
617 p++;
618 }
619 else
620 is_quote_enclosed = 0;
621 for (; *p; p++)
622 {
623 if (p[0] == '<')
624 {
625 char *temp_end = find_template_name_end (p);
626 if (!temp_end)
627 error ("malformed template specification in command");
628 p = temp_end;
629 }
630 /* Check for the end of the first half of the linespec. End of line,
631 a tab, a double colon or the last single colon, or a space. But
632 if enclosed in double quotes we do not break on enclosed spaces */
633 if (!*p
634 || p[0] == '\t'
635 || ((p[0] == ':')
636 && ((p[1] == ':') || (strchr (p + 1, ':') == NULL)))
637 || ((p[0] == ' ') && !is_quote_enclosed))
638 break;
639 if (p[0] == '.' && strchr (p, ':') == NULL) /* Java qualified method. */
640 {
641 /* Find the *last* '.', since the others are package qualifiers. */
642 for (p1 = p; *p1; p1++)
643 {
644 if (*p1 == '.')
645 p = p1;
646 }
647 break;
648 }
649 }
650 while (p[0] == ' ' || p[0] == '\t')
651 p++;
652
653 /* if the closing double quote was left at the end, remove it */
654 if (is_quote_enclosed)
655 {
656 char *closing_quote = strchr (p, '"');
657 if (closing_quote && closing_quote[1] == '\0')
658 *closing_quote = '\0';
659 }
660
661 /* Now that we've safely parsed the first half,
662 * put back ',' so outer layers can see it
663 */
664 if (has_comma)
665 *ii = ',';
666
667 if ((p[0] == ':' || p[0] == '.') && !has_parens)
668 {
669 /* C++ */
670 /* ... or Java */
671 if (is_quoted)
672 *argptr = *argptr + 1;
673 if (p[0] == '.' || p[1] == ':')
674 {
675 char *saved_arg2 = *argptr;
676 char *temp_end;
677 /* First check for "global" namespace specification,
678 of the form "::foo". If found, skip over the colons
679 and jump to normal symbol processing */
680 if (p[0] == ':'
681 && ((*argptr == p) || (p[-1] == ' ') || (p[-1] == '\t')))
682 saved_arg2 += 2;
683
684 /* We have what looks like a class or namespace
685 scope specification (A::B), possibly with many
686 levels of namespaces or classes (A::B::C::D).
687
688 Some versions of the HP ANSI C++ compiler (as also possibly
689 other compilers) generate class/function/member names with
690 embedded double-colons if they are inside namespaces. To
691 handle this, we loop a few times, considering larger and
692 larger prefixes of the string as though they were single
693 symbols. So, if the initially supplied string is
694 A::B::C::D::foo, we have to look up "A", then "A::B",
695 then "A::B::C", then "A::B::C::D", and finally
696 "A::B::C::D::foo" as single, monolithic symbols, because
697 A, B, C or D may be namespaces.
698
699 Note that namespaces can nest only inside other
700 namespaces, and not inside classes. So we need only
701 consider *prefixes* of the string; there is no need to look up
702 "B::C" separately as a symbol in the previous example. */
703
704 p2 = p; /* save for restart */
705 while (1)
706 {
707 /* Extract the class name. */
708 p1 = p;
709 while (p != *argptr && p[-1] == ' ')
710 --p;
711 copy = (char *) alloca (p - *argptr + 1);
712 memcpy (copy, *argptr, p - *argptr);
713 copy[p - *argptr] = 0;
714
715 /* Discard the class name from the arg. */
716 p = p1 + (p1[0] == ':' ? 2 : 1);
717 while (*p == ' ' || *p == '\t')
718 p++;
719 *argptr = p;
720
721 sym_class = lookup_symbol (copy, 0, STRUCT_NAMESPACE, 0,
722 (struct symtab **) NULL);
723
724 if (sym_class &&
725 (t = check_typedef (SYMBOL_TYPE (sym_class)),
726 (TYPE_CODE (t) == TYPE_CODE_STRUCT
727 || TYPE_CODE (t) == TYPE_CODE_UNION)))
728 {
729 /* Arg token is not digits => try it as a function name
730 Find the next token(everything up to end or next blank). */
731 if (**argptr
732 && strchr (gdb_completer_quote_characters, **argptr) != NULL)
733 {
734 p = skip_quoted (*argptr);
735 *argptr = *argptr + 1;
736 }
737 else
738 {
739 p = *argptr;
740 while (*p && *p != ' ' && *p != '\t' && *p != ',' && *p != ':')
741 p++;
742 }
743/*
744 q = operator_chars (*argptr, &q1);
745 if (q1 - q)
746 {
747 char *opname;
748 char *tmp = alloca (q1 - q + 1);
749 memcpy (tmp, q, q1 - q);
750 tmp[q1 - q] = '\0';
751 opname = cplus_mangle_opname (tmp, DMGL_ANSI);
752 if (opname == NULL)
753 {
754 error_begin ();
755 printf_filtered ("no mangling for \"%s\"\n", tmp);
756 cplusplus_hint (saved_arg);
757 return_to_top_level (RETURN_ERROR);
758 }
759 copy = (char*) alloca (3 + strlen(opname));
760 sprintf (copy, "__%s", opname);
761 p = q1;
762 }
763 else
764 */
765 {
766 copy = (char *) alloca (p - *argptr + 1);
767 memcpy (copy, *argptr, p - *argptr);
768 copy[p - *argptr] = '\0';
769 if (p != *argptr
770 && copy[p - *argptr - 1]
771 && strchr (gdb_completer_quote_characters,
772 copy[p - *argptr - 1]) != NULL)
773 copy[p - *argptr - 1] = '\0';
774 }
775
776 /* no line number may be specified */
777 while (*p == ' ' || *p == '\t')
778 p++;
779 *argptr = p;
780
781 sym = 0;
782 i1 = 0; /* counter for the symbol array */
783 sym_arr = (struct symbol **) alloca (total_number_of_methods (t)
784 * sizeof (struct symbol *));
785
786 if (destructor_name_p (copy, t))
787 {
788 /* Destructors are a special case. */
789 int m_index, f_index;
790
791 if (get_destructor_fn_field (t, &m_index, &f_index))
792 {
793 struct fn_field *f = TYPE_FN_FIELDLIST1 (t, m_index);
794
795 sym_arr[i1] =
796 lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f, f_index),
797 NULL, VAR_NAMESPACE, (int *) NULL,
798 (struct symtab **) NULL);
799 if (sym_arr[i1])
800 i1++;
801 }
802 }
803 else
804 i1 = find_methods (t, copy, sym_arr);
805 if (i1 == 1)
806 {
807 /* There is exactly one field with that name. */
808 sym = sym_arr[0];
809
810 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK)
811 {
812 values.sals = (struct symtab_and_line *)
813 xmalloc (sizeof (struct symtab_and_line));
814 values.nelts = 1;
815 values.sals[0] = find_function_start_sal (sym,
816 funfirstline);
817 }
818 else
819 {
820 values.nelts = 0;
821 }
822 return values;
823 }
824 if (i1 > 0)
825 {
826 /* There is more than one field with that name
827 (overloaded). Ask the user which one to use. */
828 return decode_line_2 (sym_arr, i1, funfirstline, canonical);
829 }
830 else
831 {
832 char *tmp;
833
834 if (OPNAME_PREFIX_P (copy))
835 {
836 tmp = (char *) alloca (strlen (copy + 3) + 9);
837 strcpy (tmp, "operator ");
838 strcat (tmp, copy + 3);
839 }
840 else
841 tmp = copy;
842 error_begin ();
843 if (tmp[0] == '~')
844 printf_filtered
845 ("the class `%s' does not have destructor defined\n",
846 SYMBOL_SOURCE_NAME (sym_class));
847 else
848 printf_filtered
849 ("the class %s does not have any method named %s\n",
850 SYMBOL_SOURCE_NAME (sym_class), tmp);
851 cplusplus_hint (saved_arg);
852 return_to_top_level (RETURN_ERROR);
853 }
854 }
855
856 /* Move pointer up to next possible class/namespace token */
857 p = p2 + 1; /* restart with old value +1 */
858 /* Move pointer ahead to next double-colon */
859 while (*p && (p[0] != ' ') && (p[0] != '\t') && (p[0] != '\''))
860 {
861 if (p[0] == '<')
862 {
863 temp_end = find_template_name_end (p);
864 if (!temp_end)
865 error ("malformed template specification in command");
866 p = temp_end;
867 }
868 else if ((p[0] == ':') && (p[1] == ':'))
869 break; /* found double-colon */
870 else
871 p++;
872 }
873
874 if (*p != ':')
875 break; /* out of the while (1) */
876
877 p2 = p; /* save restart for next time around */
878 *argptr = saved_arg2; /* restore argptr */
879 } /* while (1) */
880
881 /* Last chance attempt -- check entire name as a symbol */
882 /* Use "copy" in preparation for jumping out of this block,
883 to be consistent with usage following the jump target */
884 copy = (char *) alloca (p - saved_arg2 + 1);
885 memcpy (copy, saved_arg2, p - saved_arg2);
886 /* Note: if is_quoted should be true, we snuff out quote here anyway */
887 copy[p - saved_arg2] = '\000';
888 /* Set argptr to skip over the name */
889 *argptr = (*p == '\'') ? p + 1 : p;
890 /* Look up entire name */
891 sym = lookup_symbol (copy, 0, VAR_NAMESPACE, 0, &sym_symtab);
892 s = (struct symtab *) 0;
893 /* Prepare to jump: restore the " if (condition)" so outer layers see it */
894 /* Symbol was found --> jump to normal symbol processing.
895 Code following "symbol_found" expects "copy" to have the
896 symbol name, "sym" to have the symbol pointer, "s" to be
897 a specified file's symtab, and sym_symtab to be the symbol's
898 symtab. */
899 /* By jumping there we avoid falling through the FILE:LINE and
900 FILE:FUNC processing stuff below */
901 if (sym)
902 goto symbol_found;
903
904 /* Couldn't find any interpretation as classes/namespaces, so give up */
905 error_begin ();
906 /* The quotes are important if copy is empty. */
907 printf_filtered
908 ("Can't find member of namespace, class, struct, or union named \"%s\"\n", copy);
909 cplusplus_hint (saved_arg);
910 return_to_top_level (RETURN_ERROR);
911 }
912 /* end of C++ */
913
914
915 /* Extract the file name. */
916 p1 = p;
917 while (p != *argptr && p[-1] == ' ')
918 --p;
919 if ((*p == '"') && is_quote_enclosed)
920 --p;
921 copy = (char *) alloca (p - *argptr + 1);
922 if ((**argptr == '"') && is_quote_enclosed)
923 {
924 memcpy (copy, *argptr + 1, p - *argptr - 1);
925 /* It may have the ending quote right after the file name */
926 if (copy[p - *argptr - 2] == '"')
927 copy[p - *argptr - 2] = 0;
928 else
929 copy[p - *argptr - 1] = 0;
930 }
931 else
932 {
933 memcpy (copy, *argptr, p - *argptr);
934 copy[p - *argptr] = 0;
935 }
936
937 /* Find that file's data. */
938 s = lookup_symtab (copy);
939 if (s == 0)
940 {
941 if (!have_full_symbols () && !have_partial_symbols ())
942 error (no_symtab_msg);
943 error ("No source file named %s.", copy);
944 }
945
946 /* Discard the file name from the arg. */
947 p = p1 + 1;
948 while (*p == ' ' || *p == '\t')
949 p++;
950 *argptr = p;
951 }
952#if 0
953 /* No one really seems to know why this was added. It certainly
954 breaks the command line, though, whenever the passed
955 name is of the form ClassName::Method. This bit of code
956 singles out the class name, and if funfirstline is set (for
957 example, you are setting a breakpoint at this function),
958 you get an error. This did not occur with earlier
959 verions, so I am ifdef'ing this out. 3/29/99 */
960 else
961 {
962 /* Check if what we have till now is a symbol name */
963
964 /* We may be looking at a template instantiation such
965 as "foo<int>". Check here whether we know about it,
966 instead of falling through to the code below which
967 handles ordinary function names, because that code
968 doesn't like seeing '<' and '>' in a name -- the
969 skip_quoted call doesn't go past them. So see if we
970 can figure it out right now. */
971
972 copy = (char *) alloca (p - *argptr + 1);
973 memcpy (copy, *argptr, p - *argptr);
974 copy[p - *argptr] = '\000';
975 sym = lookup_symbol (copy, 0, VAR_NAMESPACE, 0, &sym_symtab);
976 if (sym)
977 {
978 /* Yes, we have a symbol; jump to symbol processing */
979 /* Code after symbol_found expects S, SYM_SYMTAB, SYM,
980 and COPY to be set correctly */
981 *argptr = (*p == '\'') ? p + 1 : p;
982 s = (struct symtab *) 0;
983 goto symbol_found;
984 }
985 /* Otherwise fall out from here and go to file/line spec
986 processing, etc. */
987 }
988#endif
989
990 /* S is specified file's symtab, or 0 if no file specified.
991 arg no longer contains the file name. */
992
993 /* Check whether arg is all digits (and sign) */
994
995 q = *argptr;
996 if (*q == '-' || *q == '+')
997 q++;
998 while (*q >= '0' && *q <= '9')
999 q++;
1000
1001 if (q != *argptr && (*q == 0 || *q == ' ' || *q == '\t' || *q == ','))
1002 {
1003 /* We found a token consisting of all digits -- at least one digit. */
1004 enum sign
1005 {
1006 none, plus, minus
1007 }
1008 sign = none;
1009
1010 /* We might need a canonical line spec if no file was specified. */
1011 int need_canonical = (s == 0) ? 1 : 0;
1012
1013 /* This is where we need to make sure that we have good defaults.
1014 We must guarantee that this section of code is never executed
1015 when we are called with just a function name, since
1016 select_source_symtab calls us with such an argument */
1017
1018 if (s == 0 && default_symtab == 0)
1019 {
1020 select_source_symtab (0);
1021 default_symtab = current_source_symtab;
1022 default_line = current_source_line;
1023 }
1024
1025 if (**argptr == '+')
1026 sign = plus, (*argptr)++;
1027 else if (**argptr == '-')
1028 sign = minus, (*argptr)++;
1029 val.line = atoi (*argptr);
1030 switch (sign)
1031 {
1032 case plus:
1033 if (q == *argptr)
1034 val.line = 5;
1035 if (s == 0)
1036 val.line = default_line + val.line;
1037 break;
1038 case minus:
1039 if (q == *argptr)
1040 val.line = 15;
1041 if (s == 0)
1042 val.line = default_line - val.line;
1043 else
1044 val.line = 1;
1045 break;
1046 case none:
1047 break; /* No need to adjust val.line. */
1048 }
1049
1050 while (*q == ' ' || *q == '\t')
1051 q++;
1052 *argptr = q;
1053 if (s == 0)
1054 s = default_symtab;
1055
1056 /* It is possible that this source file has more than one symtab,
1057 and that the new line number specification has moved us from the
1058 default (in s) to a new one. */
1059 val.symtab = find_line_symtab (s, val.line, NULL, NULL);
1060 if (val.symtab == 0)
1061 val.symtab = s;
1062
1063 val.pc = 0;
1064 values.sals = (struct symtab_and_line *)
1065 xmalloc (sizeof (struct symtab_and_line));
1066 values.sals[0] = val;
1067 values.nelts = 1;
1068 if (need_canonical)
1069 build_canonical_line_spec (values.sals, NULL, canonical);
1070 return values;
1071 }
1072
1073 /* Arg token is not digits => try it as a variable name
1074 Find the next token (everything up to end or next whitespace). */
1075
1076 if (**argptr == '$') /* May be a convenience variable */
1077 p = skip_quoted (*argptr + (((*argptr)[1] == '$') ? 2 : 1)); /* One or two $ chars possible */
1078 else if (is_quoted)
1079 {
1080 p = skip_quoted (*argptr);
1081 if (p[-1] != '\'')
1082 error ("Unmatched single quote.");
1083 }
1084 else if (has_parens)
1085 {
1086 p = pp + 1;
1087 }
1088 else
1089 {
1090 p = skip_quoted (*argptr);
1091 }
1092
1093 if (is_quote_enclosed && **argptr == '"')
1094 (*argptr)++;
1095
1096 copy = (char *) alloca (p - *argptr + 1);
1097 memcpy (copy, *argptr, p - *argptr);
1098 copy[p - *argptr] = '\0';
1099 if (p != *argptr
1100 && copy[0]
1101 && copy[0] == copy[p - *argptr - 1]
1102 && strchr (gdb_completer_quote_characters, copy[0]) != NULL)
1103 {
1104 copy[p - *argptr - 1] = '\0';
1105 copy++;
1106 }
1107 while (*p == ' ' || *p == '\t')
1108 p++;
1109 *argptr = p;
1110
1111 /* If it starts with $: may be a legitimate variable or routine name
1112 (e.g. HP-UX millicode routines such as $$dyncall), or it may
1113 be history value, or it may be a convenience variable */
1114
1115 if (*copy == '$')
1116 {
1117 value_ptr valx;
1118 int index = 0;
1119 int need_canonical = 0;
1120
1121 p = (copy[1] == '$') ? copy + 2 : copy + 1;
1122 while (*p >= '0' && *p <= '9')
1123 p++;
1124 if (!*p) /* reached end of token without hitting non-digit */
1125 {
1126 /* We have a value history reference */
1127 sscanf ((copy[1] == '$') ? copy + 2 : copy + 1, "%d", &index);
1128 valx = access_value_history ((copy[1] == '$') ? -index : index);
1129 if (TYPE_CODE (VALUE_TYPE (valx)) != TYPE_CODE_INT)
1130 error ("History values used in line specs must have integer values.");
1131 }
1132 else
1133 {
1134 /* Not all digits -- may be user variable/function or a
1135 convenience variable */
1136
1137 /* Look up entire name as a symbol first */
1138 sym = lookup_symbol (copy, 0, VAR_NAMESPACE, 0, &sym_symtab);
1139 s = (struct symtab *) 0;
1140 need_canonical = 1;
1141 /* Symbol was found --> jump to normal symbol processing.
1142 Code following "symbol_found" expects "copy" to have the
1143 symbol name, "sym" to have the symbol pointer, "s" to be
1144 a specified file's symtab, and sym_symtab to be the symbol's
1145 symtab. */
1146 if (sym)
1147 goto symbol_found;
1148
1149 /* If symbol was not found, look in minimal symbol tables */
1150 msymbol = lookup_minimal_symbol (copy, 0, 0);
1151 /* Min symbol was found --> jump to minsym processing. */
1152 if (msymbol)
1153 goto minimal_symbol_found;
1154
1155 /* Not a user variable or function -- must be convenience variable */
1156 need_canonical = (s == 0) ? 1 : 0;
1157 valx = value_of_internalvar (lookup_internalvar (copy + 1));
1158 if (TYPE_CODE (VALUE_TYPE (valx)) != TYPE_CODE_INT)
1159 error ("Convenience variables used in line specs must have integer values.");
1160 }
1161
1162 /* Either history value or convenience value from above, in valx */
1163 val.symtab = s ? s : default_symtab;
1164 val.line = value_as_long (valx);
1165 val.pc = 0;
1166
1167 values.sals = (struct symtab_and_line *) xmalloc (sizeof val);
1168 values.sals[0] = val;
1169 values.nelts = 1;
1170
1171 if (need_canonical)
1172 build_canonical_line_spec (values.sals, NULL, canonical);
1173
1174 return values;
1175 }
1176
1177
1178 /* Look up that token as a variable.
1179 If file specified, use that file's per-file block to start with. */
1180
1181 sym = lookup_symbol (copy,
1182 (s ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)
1183 : get_selected_block ()),
1184 VAR_NAMESPACE, 0, &sym_symtab);
1185
1186symbol_found: /* We also jump here from inside the C++ class/namespace
1187 code on finding a symbol of the form "A::B::C" */
1188
1189 if (sym != NULL)
1190 {
1191 if (SYMBOL_CLASS (sym) == LOC_BLOCK)
1192 {
1193 /* Arg is the name of a function */
1194 values.sals = (struct symtab_and_line *)
1195 xmalloc (sizeof (struct symtab_and_line));
1196 values.sals[0] = find_function_start_sal (sym, funfirstline);
1197 values.nelts = 1;
1198
1199 /* Don't use the SYMBOL_LINE; if used at all it points to
1200 the line containing the parameters or thereabouts, not
1201 the first line of code. */
1202
1203 /* We might need a canonical line spec if it is a static
1204 function. */
1205 if (s == 0)
1206 {
1207 struct blockvector *bv = BLOCKVECTOR (sym_symtab);
1208 struct block *b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK);
1209 if (lookup_block_symbol (b, copy, VAR_NAMESPACE) != NULL)
1210 build_canonical_line_spec (values.sals, copy, canonical);
1211 }
1212 return values;
1213 }
1214 else
1215 {
1216 if (funfirstline)
1217 error ("\"%s\" is not a function", copy);
1218 else if (SYMBOL_LINE (sym) != 0)
1219 {
1220 /* We know its line number. */
1221 values.sals = (struct symtab_and_line *)
1222 xmalloc (sizeof (struct symtab_and_line));
1223 values.nelts = 1;
1224 memset (&values.sals[0], 0, sizeof (values.sals[0]));
1225 values.sals[0].symtab = sym_symtab;
1226 values.sals[0].line = SYMBOL_LINE (sym);
1227 return values;
1228 }
1229 else
1230 /* This can happen if it is compiled with a compiler which doesn't
1231 put out line numbers for variables. */
1232 /* FIXME: Shouldn't we just set .line and .symtab to zero
1233 and return? For example, "info line foo" could print
1234 the address. */
1235 error ("Line number not known for symbol \"%s\"", copy);
1236 }
1237 }
1238
1239 msymbol = lookup_minimal_symbol (copy, NULL, NULL);
1240
1241minimal_symbol_found: /* We also jump here from the case for variables
1242 that begin with '$' */
1243
1244 if (msymbol != NULL)
1245 {
1246 values.sals = (struct symtab_and_line *)
1247 xmalloc (sizeof (struct symtab_and_line));
1248 values.sals[0] = find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol),
1249 (struct sec *) 0, 0);
1250 values.sals[0].section = SYMBOL_BFD_SECTION (msymbol);
1251 if (funfirstline)
1252 {
1253 values.sals[0].pc += FUNCTION_START_OFFSET;
1254 values.sals[0].pc = SKIP_PROLOGUE (values.sals[0].pc);
1255 }
1256 values.nelts = 1;
1257 return values;
1258 }
1259
1260 if (!have_full_symbols () &&
1261 !have_partial_symbols () && !have_minimal_symbols ())
1262 error (no_symtab_msg);
1263
1264 error ("Function \"%s\" not defined.", copy);
1265 return values; /* for lint */
1266}
This page took 0.103682 seconds and 4 git commands to generate.