]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gdb/location.c
Remove some cleanups from gnu-v3-abi.c
[thirdparty/binutils-gdb.git] / gdb / location.c
CommitLineData
c7c1b3e9 1/* Data structures and API for event locations in GDB.
61baf725 2 Copyright (C) 2013-2017 Free Software Foundation, Inc.
c7c1b3e9
KS
3
4 This file is part of GDB.
5
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
18
19#include "defs.h"
20#include "gdb_assert.h"
21#include "location.h"
22#include "symtab.h"
23#include "language.h"
24#include "linespec.h"
25#include "cli/cli-utils.h"
26#include "probe.h"
27
28#include <ctype.h>
29#include <string.h>
30
31/* An event location used to set a stop event in the inferior.
32 This structure is an amalgam of the various ways
33 to specify where a stop event should be set. */
34
35struct event_location
36{
37 /* The type of this breakpoint specification. */
38 enum event_location_type type;
ebdad8fc 39#define EL_TYPE(P) (P)->type
c7c1b3e9
KS
40
41 union
42 {
43 /* A generic "this is a string specification" for a location.
44 This representation is used by both "normal" linespecs and
45 probes. */
46 char *addr_string;
ebdad8fc
KS
47#define EL_LINESPEC(P) ((P)->u.addr_string)
48#define EL_PROBE(P) ((P)->u.addr_string)
a06efdd6
KS
49
50 /* An address in the inferior. */
51 CORE_ADDR address;
ebdad8fc 52#define EL_ADDRESS(P) (P)->u.address
00e52e53
KS
53
54 /* An explicit location. */
67994074 55 struct explicit_location explicit_loc;
ebdad8fc 56#define EL_EXPLICIT(P) (&((P)->u.explicit_loc))
c7c1b3e9
KS
57 } u;
58
59 /* Cached string representation of this location. This is used, e.g., to
60 save stop event locations to file. Malloc'd. */
61 char *as_string;
ebdad8fc 62#define EL_STRING(P) ((P)->as_string)
c7c1b3e9
KS
63};
64
65/* See description in location.h. */
66
67enum event_location_type
68event_location_type (const struct event_location *location)
69{
70 return EL_TYPE (location);
71}
72
73/* See description in location.h. */
74
00e52e53 75void
67994074 76initialize_explicit_location (struct explicit_location *explicit_loc)
00e52e53 77{
67994074
KS
78 memset (explicit_loc, 0, sizeof (struct explicit_location));
79 explicit_loc->line_offset.sign = LINE_OFFSET_UNKNOWN;
00e52e53
KS
80}
81
82/* See description in location.h. */
83
ffc2605c 84event_location_up
c7c1b3e9
KS
85new_linespec_location (char **linespec)
86{
87 struct event_location *location;
88
89 location = XCNEW (struct event_location);
90 EL_TYPE (location) = LINESPEC_LOCATION;
91 if (*linespec != NULL)
92 {
93 char *p;
94 char *orig = *linespec;
95
96 linespec_lex_to_end (linespec);
97 p = remove_trailing_whitespace (orig, *linespec);
98 if ((p - orig) > 0)
99 EL_LINESPEC (location) = savestring (orig, p - orig);
100 }
ffc2605c 101 return event_location_up (location);
c7c1b3e9
KS
102}
103
104/* See description in location.h. */
105
106const char *
107get_linespec_location (const struct event_location *location)
108{
109 gdb_assert (EL_TYPE (location) == LINESPEC_LOCATION);
110 return EL_LINESPEC (location);
111}
112
113/* See description in location.h. */
114
ffc2605c 115event_location_up
305e13e6
JB
116new_address_location (CORE_ADDR addr, const char *addr_string,
117 int addr_string_len)
a06efdd6
KS
118{
119 struct event_location *location;
120
121 location = XCNEW (struct event_location);
122 EL_TYPE (location) = ADDRESS_LOCATION;
123 EL_ADDRESS (location) = addr;
305e13e6
JB
124 if (addr_string != NULL)
125 EL_STRING (location) = xstrndup (addr_string, addr_string_len);
ffc2605c 126 return event_location_up (location);
a06efdd6
KS
127}
128
129/* See description in location.h. */
130
131CORE_ADDR
132get_address_location (const struct event_location *location)
133{
134 gdb_assert (EL_TYPE (location) == ADDRESS_LOCATION);
135 return EL_ADDRESS (location);
136}
137
138/* See description in location.h. */
139
305e13e6
JB
140const char *
141get_address_string_location (const struct event_location *location)
142{
143 gdb_assert (EL_TYPE (location) == ADDRESS_LOCATION);
144 return EL_STRING (location);
145}
146
147/* See description in location.h. */
148
ffc2605c 149event_location_up
5b56227b
KS
150new_probe_location (const char *probe)
151{
152 struct event_location *location;
153
154 location = XCNEW (struct event_location);
155 EL_TYPE (location) = PROBE_LOCATION;
156 if (probe != NULL)
157 EL_PROBE (location) = xstrdup (probe);
ffc2605c 158 return event_location_up (location);
5b56227b
KS
159}
160
161/* See description in location.h. */
162
163const char *
164get_probe_location (const struct event_location *location)
165{
166 gdb_assert (EL_TYPE (location) == PROBE_LOCATION);
167 return EL_PROBE (location);
168}
169
170/* See description in location.h. */
171
ffc2605c 172event_location_up
67994074 173new_explicit_location (const struct explicit_location *explicit_loc)
00e52e53
KS
174{
175 struct event_location tmp;
176
177 memset (&tmp, 0, sizeof (struct event_location));
178 EL_TYPE (&tmp) = EXPLICIT_LOCATION;
179 initialize_explicit_location (EL_EXPLICIT (&tmp));
67994074 180 if (explicit_loc != NULL)
00e52e53 181 {
67994074 182 if (explicit_loc->source_filename != NULL)
00e52e53
KS
183 {
184 EL_EXPLICIT (&tmp)->source_filename
67994074 185 = explicit_loc->source_filename;
00e52e53
KS
186 }
187
67994074 188 if (explicit_loc->function_name != NULL)
00e52e53 189 EL_EXPLICIT (&tmp)->function_name
67994074 190 = explicit_loc->function_name;
00e52e53 191
67994074
KS
192 if (explicit_loc->label_name != NULL)
193 EL_EXPLICIT (&tmp)->label_name = explicit_loc->label_name;
00e52e53 194
67994074
KS
195 if (explicit_loc->line_offset.sign != LINE_OFFSET_UNKNOWN)
196 EL_EXPLICIT (&tmp)->line_offset = explicit_loc->line_offset;
00e52e53
KS
197 }
198
199 return copy_event_location (&tmp);
200}
201
202/* See description in location.h. */
203
204struct explicit_location *
205get_explicit_location (struct event_location *location)
206{
207 gdb_assert (EL_TYPE (location) == EXPLICIT_LOCATION);
208 return EL_EXPLICIT (location);
209}
210
211/* See description in location.h. */
212
213const struct explicit_location *
214get_explicit_location_const (const struct event_location *location)
215{
216 gdb_assert (EL_TYPE (location) == EXPLICIT_LOCATION);
217 return EL_EXPLICIT (location);
218}
219
220/* This convenience function returns a malloc'd string which
67994074 221 represents the location in EXPLICIT_LOC.
00e52e53
KS
222
223 AS_LINESPEC is non-zero if this string should be a linespec.
224 Otherwise it will be output in explicit form. */
225
226static char *
227explicit_to_string_internal (int as_linespec,
67994074 228 const struct explicit_location *explicit_loc)
00e52e53 229{
00e52e53 230 int need_space = 0;
d7e74731
PA
231 char space = as_linespec ? ':' : ' ';
232 string_file buf;
00e52e53 233
67994074 234 if (explicit_loc->source_filename != NULL)
00e52e53
KS
235 {
236 if (!as_linespec)
d7e74731
PA
237 buf.puts ("-source ");
238 buf.puts (explicit_loc->source_filename);
00e52e53
KS
239 need_space = 1;
240 }
241
67994074 242 if (explicit_loc->function_name != NULL)
00e52e53
KS
243 {
244 if (need_space)
d7e74731 245 buf.putc (space);
00e52e53 246 if (!as_linespec)
d7e74731
PA
247 buf.puts ("-function ");
248 buf.puts (explicit_loc->function_name);
00e52e53
KS
249 need_space = 1;
250 }
251
67994074 252 if (explicit_loc->label_name != NULL)
00e52e53
KS
253 {
254 if (need_space)
d7e74731 255 buf.putc (space);
00e52e53 256 if (!as_linespec)
d7e74731
PA
257 buf.puts ("-label ");
258 buf.puts (explicit_loc->label_name);
00e52e53
KS
259 need_space = 1;
260 }
261
67994074 262 if (explicit_loc->line_offset.sign != LINE_OFFSET_UNKNOWN)
00e52e53
KS
263 {
264 if (need_space)
d7e74731 265 buf.putc (space);
00e52e53 266 if (!as_linespec)
d7e74731
PA
267 buf.puts ("-line ");
268 buf.printf ("%s%d",
269 (explicit_loc->line_offset.sign == LINE_OFFSET_NONE ? ""
270 : (explicit_loc->line_offset.sign
271 == LINE_OFFSET_PLUS ? "+" : "-")),
272 explicit_loc->line_offset.offset);
00e52e53
KS
273 }
274
d7e74731 275 return xstrdup (buf.c_str ());
00e52e53
KS
276}
277
278/* See description in location.h. */
279
280char *
67994074 281explicit_location_to_string (const struct explicit_location *explicit_loc)
00e52e53 282{
67994074 283 return explicit_to_string_internal (0, explicit_loc);
00e52e53
KS
284}
285
286/* See description in location.h. */
287
288char *
67994074 289explicit_location_to_linespec (const struct explicit_location *explicit_loc)
00e52e53 290{
67994074 291 return explicit_to_string_internal (1, explicit_loc);
00e52e53
KS
292}
293
294/* See description in location.h. */
295
ffc2605c 296event_location_up
c7c1b3e9
KS
297copy_event_location (const struct event_location *src)
298{
299 struct event_location *dst;
300
301 dst = XCNEW (struct event_location);
302 EL_TYPE (dst) = EL_TYPE (src);
303 if (EL_STRING (src) != NULL)
304 EL_STRING (dst) = xstrdup (EL_STRING (src));
305
306 switch (EL_TYPE (src))
307 {
308 case LINESPEC_LOCATION:
309 if (EL_LINESPEC (src) != NULL)
310 EL_LINESPEC (dst) = xstrdup (EL_LINESPEC (src));
311 break;
312
a06efdd6
KS
313 case ADDRESS_LOCATION:
314 EL_ADDRESS (dst) = EL_ADDRESS (src);
315 break;
316
00e52e53
KS
317 case EXPLICIT_LOCATION:
318 if (EL_EXPLICIT (src)->source_filename != NULL)
319 EL_EXPLICIT (dst)->source_filename
320 = xstrdup (EL_EXPLICIT (src)->source_filename);
321
322 if (EL_EXPLICIT (src)->function_name != NULL)
323 EL_EXPLICIT (dst)->function_name
324 = xstrdup (EL_EXPLICIT (src)->function_name);
325
326 if (EL_EXPLICIT (src)->label_name != NULL)
327 EL_EXPLICIT (dst)->label_name = xstrdup (EL_EXPLICIT (src)->label_name);
328
329 EL_EXPLICIT (dst)->line_offset = EL_EXPLICIT (src)->line_offset;
330 break;
331
332
5b56227b
KS
333 case PROBE_LOCATION:
334 if (EL_PROBE (src) != NULL)
335 EL_PROBE (dst) = xstrdup (EL_PROBE (src));
336 break;
337
c7c1b3e9
KS
338 default:
339 gdb_assert_not_reached ("unknown event location type");
340 }
341
ffc2605c 342 return event_location_up (dst);
c7c1b3e9
KS
343}
344
345/* See description in location.h. */
346
347void
348delete_event_location (struct event_location *location)
349{
350 if (location != NULL)
351 {
352 xfree (EL_STRING (location));
353
354 switch (EL_TYPE (location))
355 {
356 case LINESPEC_LOCATION:
357 xfree (EL_LINESPEC (location));
358 break;
359
a06efdd6
KS
360 case ADDRESS_LOCATION:
361 /* Nothing to do. */
362 break;
363
00e52e53
KS
364 case EXPLICIT_LOCATION:
365 xfree (EL_EXPLICIT (location)->source_filename);
366 xfree (EL_EXPLICIT (location)->function_name);
367 xfree (EL_EXPLICIT (location)->label_name);
368 break;
369
5b56227b
KS
370 case PROBE_LOCATION:
371 xfree (EL_PROBE (location));
372 break;
373
c7c1b3e9
KS
374 default:
375 gdb_assert_not_reached ("unknown event location type");
376 }
377
378 xfree (location);
379 }
380}
381
382/* See description in location.h. */
383
384const char *
385event_location_to_string (struct event_location *location)
386{
387 if (EL_STRING (location) == NULL)
388 {
389 switch (EL_TYPE (location))
390 {
391 case LINESPEC_LOCATION:
392 if (EL_LINESPEC (location) != NULL)
393 EL_STRING (location) = xstrdup (EL_LINESPEC (location));
394 break;
395
a06efdd6
KS
396 case ADDRESS_LOCATION:
397 EL_STRING (location)
398 = xstrprintf ("*%s",
399 core_addr_to_string (EL_ADDRESS (location)));
400 break;
401
00e52e53
KS
402 case EXPLICIT_LOCATION:
403 EL_STRING (location)
404 = explicit_location_to_string (EL_EXPLICIT (location));
405 break;
406
5b56227b
KS
407 case PROBE_LOCATION:
408 EL_STRING (location) = xstrdup (EL_PROBE (location));
409 break;
410
c7c1b3e9
KS
411 default:
412 gdb_assert_not_reached ("unknown event location type");
413 }
414 }
415
416 return EL_STRING (location);
417}
418
87f0e720
KS
419/* A lexer for explicit locations. This function will advance INP
420 past any strings that it lexes. Returns a malloc'd copy of the
421 lexed string or NULL if no lexing was done. */
422
423static char *
424explicit_location_lex_one (const char **inp,
425 const struct language_defn *language)
426{
427 const char *start = *inp;
428
429 if (*start == '\0')
430 return NULL;
431
432 /* If quoted, skip to the ending quote. */
433 if (strchr (get_gdb_linespec_parser_quote_characters (), *start))
434 {
435 char quote_char = *start;
436
437 /* If the input is not an Ada operator, skip to the matching
438 closing quote and return the string. */
439 if (!(language->la_language == language_ada
440 && quote_char == '\"' && is_ada_operator (start)))
441 {
442 const char *end = find_toplevel_char (start + 1, quote_char);
443
444 if (end == NULL)
445 error (_("Unmatched quote, %s."), start);
446 *inp = end + 1;
447 return savestring (start + 1, *inp - start - 2);
448 }
449 }
450
451 /* If the input starts with '-' or '+', the string ends with the next
452 whitespace or comma. */
453 if (*start == '-' || *start == '+')
454 {
455 while (*inp[0] != '\0' && *inp[0] != ',' && !isspace (*inp[0]))
456 ++(*inp);
457 }
458 else
459 {
460 /* Handle numbers first, stopping at the next whitespace or ','. */
461 while (isdigit (*inp[0]))
462 ++(*inp);
463 if (*inp[0] == '\0' || isspace (*inp[0]) || *inp[0] == ',')
464 return savestring (start, *inp - start);
465
466 /* Otherwise stop at the next occurrence of whitespace, '\0',
467 keyword, or ','. */
468 *inp = start;
469 while ((*inp)[0]
470 && (*inp)[0] != ','
471 && !(isspace ((*inp)[0])
472 || linespec_lexer_lex_keyword (&(*inp)[1])))
473 {
474 /* Special case: C++ operator,. */
475 if (language->la_language == language_cplus
b31f9478
YQ
476 && strncmp (*inp, "operator", 8) == 0)
477 (*inp) += 8;
87f0e720
KS
478 ++(*inp);
479 }
480 }
481
482 if (*inp - start > 0)
483 return savestring (start, *inp - start);
484
485 return NULL;
486}
487
488/* See description in location.h. */
489
ffc2605c 490event_location_up
87f0e720
KS
491string_to_explicit_location (const char **argp,
492 const struct language_defn *language,
493 int dont_throw)
494{
ffc2605c 495 event_location_up location;
87f0e720
KS
496
497 /* It is assumed that input beginning with '-' and a non-digit
eeb1af43
KS
498 character is an explicit location. "-p" is reserved, though,
499 for probe locations. */
87f0e720 500 if (argp == NULL
e742d386 501 || *argp == NULL
87f0e720 502 || *argp[0] != '-'
eeb1af43
KS
503 || !isalpha ((*argp)[1])
504 || ((*argp)[0] == '-' && (*argp)[1] == 'p'))
87f0e720
KS
505 return NULL;
506
507 location = new_explicit_location (NULL);
87f0e720
KS
508
509 /* Process option/argument pairs. dprintf_command
510 requires that processing stop on ','. */
511 while ((*argp)[0] != '\0' && (*argp)[0] != ',')
512 {
513 int len;
514 char *opt, *oarg;
515 const char *start;
516 struct cleanup *opt_cleanup, *oarg_cleanup;
517
518 /* If *ARGP starts with a keyword, stop processing
519 options. */
520 if (linespec_lexer_lex_keyword (*argp) != NULL)
521 break;
522
523 /* Mark the start of the string in case we need to rewind. */
524 start = *argp;
525
526 /* Get the option string. */
527 opt = explicit_location_lex_one (argp, language);
528 opt_cleanup = make_cleanup (xfree, opt);
529
530 *argp = skip_spaces_const (*argp);
531
532 /* Get the argument string. */
533 oarg = explicit_location_lex_one (argp, language);
534 oarg_cleanup = make_cleanup (xfree, oarg);
535 *argp = skip_spaces_const (*argp);
536
537 /* Use the length of the option to allow abbreviations. */
538 len = strlen (opt);
539
540 /* All options have a required argument. Checking for this required
541 argument is deferred until later. */
542 if (strncmp (opt, "-source", len) == 0)
543 EL_EXPLICIT (location)->source_filename = oarg;
544 else if (strncmp (opt, "-function", len) == 0)
545 EL_EXPLICIT (location)->function_name = oarg;
546 else if (strncmp (opt, "-line", len) == 0)
547 {
548 if (oarg != NULL)
549 {
550 EL_EXPLICIT (location)->line_offset
551 = linespec_parse_line_offset (oarg);
552 do_cleanups (oarg_cleanup);
553 do_cleanups (opt_cleanup);
554 continue;
555 }
556 }
557 else if (strncmp (opt, "-label", len) == 0)
558 EL_EXPLICIT (location)->label_name = oarg;
559 /* Only emit an "invalid argument" error for options
560 that look like option strings. */
561 else if (opt[0] == '-' && !isdigit (opt[1]))
562 {
563 if (!dont_throw)
564 error (_("invalid explicit location argument, \"%s\""), opt);
565 }
566 else
567 {
568 /* End of the explicit location specification.
569 Stop parsing and return whatever explicit location was
570 parsed. */
571 *argp = start;
572 discard_cleanups (oarg_cleanup);
573 do_cleanups (opt_cleanup);
87f0e720
KS
574 return location;
575 }
576
577 /* It's a little lame to error after the fact, but in this
578 case, it provides a much better user experience to issue
579 the "invalid argument" error before any missing
580 argument error. */
581 if (oarg == NULL && !dont_throw)
582 error (_("missing argument for \"%s\""), opt);
583
584 /* The option/argument pair was successfully processed;
585 oarg belongs to the explicit location, and opt should
586 be freed. */
587 discard_cleanups (oarg_cleanup);
588 do_cleanups (opt_cleanup);
589 }
590
591 /* One special error check: If a source filename was given
592 without offset, function, or label, issue an error. */
593 if (EL_EXPLICIT (location)->source_filename != NULL
594 && EL_EXPLICIT (location)->function_name == NULL
595 && EL_EXPLICIT (location)->label_name == NULL
596 && (EL_EXPLICIT (location)->line_offset.sign == LINE_OFFSET_UNKNOWN)
597 && !dont_throw)
598 {
599 error (_("Source filename requires function, label, or "
600 "line offset."));
601 }
602
87f0e720
KS
603 return location;
604}
605
c7c1b3e9
KS
606/* See description in location.h. */
607
ffc2605c 608event_location_up
eeb1af43
KS
609string_to_event_location_basic (char **stringp,
610 const struct language_defn *language)
c7c1b3e9 611{
ffc2605c 612 event_location_up location;
870f88f7 613 const char *cs;
c7c1b3e9 614
eeb1af43
KS
615 /* Try the input as a probe spec. */
616 cs = *stringp;
617 if (cs != NULL && probe_linespec_to_ops (&cs) != NULL)
a06efdd6 618 {
eeb1af43
KS
619 location = new_probe_location (*stringp);
620 *stringp += strlen (*stringp);
a06efdd6
KS
621 }
622 else
623 {
eeb1af43
KS
624 /* Try an address location. */
625 if (*stringp != NULL && **stringp == '*')
5b56227b 626 {
87f0e720 627 const char *arg, *orig;
eeb1af43 628 CORE_ADDR addr;
87f0e720 629
87f0e720 630 orig = arg = *stringp;
eeb1af43
KS
631 addr = linespec_expression_to_pc (&arg);
632 location = new_address_location (addr, orig, arg - orig);
633 *stringp += arg - orig;
634 }
635 else
636 {
637 /* Everything else is a linespec. */
638 location = new_linespec_location (stringp);
5b56227b 639 }
a06efdd6
KS
640 }
641
c7c1b3e9 642 return location;
eeb1af43
KS
643}
644
645/* See description in location.h. */
646
ffc2605c 647event_location_up
eeb1af43
KS
648string_to_event_location (char **stringp,
649 const struct language_defn *language)
650{
eeb1af43
KS
651 const char *arg, *orig;
652
653 /* Try an explicit location. */
654 orig = arg = *stringp;
ffc2605c 655 event_location_up location = string_to_explicit_location (&arg, language, 0);
eeb1af43
KS
656 if (location != NULL)
657 {
658 /* It was a valid explicit location. Advance STRINGP to
659 the end of input. */
660 *stringp += arg - orig;
661 }
662 else
663 {
664 /* Everything else is a "basic" linespec, address, or probe
665 location. */
666 location = string_to_event_location_basic (stringp, language);
667 }
668
669 return location;
c7c1b3e9
KS
670}
671
672/* See description in location.h. */
673
674int
675event_location_empty_p (const struct event_location *location)
676{
677 switch (EL_TYPE (location))
678 {
679 case LINESPEC_LOCATION:
680 /* Linespecs are never "empty." (NULL is a valid linespec) */
681 return 0;
682
a06efdd6
KS
683 case ADDRESS_LOCATION:
684 return 0;
685
00e52e53
KS
686 case EXPLICIT_LOCATION:
687 return (EL_EXPLICIT (location) == NULL
688 || (EL_EXPLICIT (location)->source_filename == NULL
689 && EL_EXPLICIT (location)->function_name == NULL
690 && EL_EXPLICIT (location)->label_name == NULL
691 && (EL_EXPLICIT (location)->line_offset.sign
692 == LINE_OFFSET_UNKNOWN)));
693
5b56227b
KS
694 case PROBE_LOCATION:
695 return EL_PROBE (location) == NULL;
696
c7c1b3e9
KS
697 default:
698 gdb_assert_not_reached ("unknown event location type");
699 }
700}
701
702/* See description in location.h. */
703
704void
705set_event_location_string (struct event_location *location,
706 const char *string)
707{
708 xfree (EL_STRING (location));
709 EL_STRING (location) = string == NULL ? NULL : xstrdup (string);
710}