1 /* Data structures and API for event locations in GDB.
2 Copyright (C) 2013-2017 Free Software Foundation, Inc.
4 This file is part of GDB.
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.
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.
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/>. */
20 #include "gdb_assert.h"
25 #include "cli/cli-utils.h"
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. */
37 /* The type of this breakpoint specification. */
38 enum event_location_type type
;
39 #define EL_TYPE(P) (P)->type
43 /* A generic "this is a string specification" for a location.
44 This representation is used by both "normal" linespecs and
47 #define EL_LINESPEC(P) ((P)->u.addr_string)
48 #define EL_PROBE(P) ((P)->u.addr_string)
50 /* An address in the inferior. */
52 #define EL_ADDRESS(P) (P)->u.address
54 /* An explicit location. */
55 struct explicit_location explicit_loc
;
56 #define EL_EXPLICIT(P) (&((P)->u.explicit_loc))
59 /* Cached string representation of this location. This is used, e.g., to
60 save stop event locations to file. Malloc'd. */
62 #define EL_STRING(P) ((P)->as_string)
65 /* See description in location.h. */
67 enum event_location_type
68 event_location_type (const struct event_location
*location
)
70 return EL_TYPE (location
);
73 /* See description in location.h. */
76 initialize_explicit_location (struct explicit_location
*explicit_loc
)
78 memset (explicit_loc
, 0, sizeof (struct explicit_location
));
79 explicit_loc
->line_offset
.sign
= LINE_OFFSET_UNKNOWN
;
82 /* See description in location.h. */
85 new_linespec_location (char **linespec
)
87 struct event_location
*location
;
89 location
= XCNEW (struct event_location
);
90 EL_TYPE (location
) = LINESPEC_LOCATION
;
91 if (*linespec
!= NULL
)
94 char *orig
= *linespec
;
96 linespec_lex_to_end (linespec
);
97 p
= remove_trailing_whitespace (orig
, *linespec
);
99 EL_LINESPEC (location
) = savestring (orig
, p
- orig
);
101 return event_location_up (location
);
104 /* See description in location.h. */
107 get_linespec_location (const struct event_location
*location
)
109 gdb_assert (EL_TYPE (location
) == LINESPEC_LOCATION
);
110 return EL_LINESPEC (location
);
113 /* See description in location.h. */
116 new_address_location (CORE_ADDR addr
, const char *addr_string
,
119 struct event_location
*location
;
121 location
= XCNEW (struct event_location
);
122 EL_TYPE (location
) = ADDRESS_LOCATION
;
123 EL_ADDRESS (location
) = addr
;
124 if (addr_string
!= NULL
)
125 EL_STRING (location
) = xstrndup (addr_string
, addr_string_len
);
126 return event_location_up (location
);
129 /* See description in location.h. */
132 get_address_location (const struct event_location
*location
)
134 gdb_assert (EL_TYPE (location
) == ADDRESS_LOCATION
);
135 return EL_ADDRESS (location
);
138 /* See description in location.h. */
141 get_address_string_location (const struct event_location
*location
)
143 gdb_assert (EL_TYPE (location
) == ADDRESS_LOCATION
);
144 return EL_STRING (location
);
147 /* See description in location.h. */
150 new_probe_location (const char *probe
)
152 struct event_location
*location
;
154 location
= XCNEW (struct event_location
);
155 EL_TYPE (location
) = PROBE_LOCATION
;
157 EL_PROBE (location
) = xstrdup (probe
);
158 return event_location_up (location
);
161 /* See description in location.h. */
164 get_probe_location (const struct event_location
*location
)
166 gdb_assert (EL_TYPE (location
) == PROBE_LOCATION
);
167 return EL_PROBE (location
);
170 /* See description in location.h. */
173 new_explicit_location (const struct explicit_location
*explicit_loc
)
175 struct event_location tmp
;
177 memset (&tmp
, 0, sizeof (struct event_location
));
178 EL_TYPE (&tmp
) = EXPLICIT_LOCATION
;
179 initialize_explicit_location (EL_EXPLICIT (&tmp
));
180 if (explicit_loc
!= NULL
)
182 if (explicit_loc
->source_filename
!= NULL
)
184 EL_EXPLICIT (&tmp
)->source_filename
185 = explicit_loc
->source_filename
;
188 if (explicit_loc
->function_name
!= NULL
)
189 EL_EXPLICIT (&tmp
)->function_name
190 = explicit_loc
->function_name
;
192 if (explicit_loc
->label_name
!= NULL
)
193 EL_EXPLICIT (&tmp
)->label_name
= explicit_loc
->label_name
;
195 if (explicit_loc
->line_offset
.sign
!= LINE_OFFSET_UNKNOWN
)
196 EL_EXPLICIT (&tmp
)->line_offset
= explicit_loc
->line_offset
;
199 return copy_event_location (&tmp
);
202 /* See description in location.h. */
204 struct explicit_location
*
205 get_explicit_location (struct event_location
*location
)
207 gdb_assert (EL_TYPE (location
) == EXPLICIT_LOCATION
);
208 return EL_EXPLICIT (location
);
211 /* See description in location.h. */
213 const struct explicit_location
*
214 get_explicit_location_const (const struct event_location
*location
)
216 gdb_assert (EL_TYPE (location
) == EXPLICIT_LOCATION
);
217 return EL_EXPLICIT (location
);
220 /* This convenience function returns a malloc'd string which
221 represents the location in EXPLICIT_LOC.
223 AS_LINESPEC is non-zero if this string should be a linespec.
224 Otherwise it will be output in explicit form. */
227 explicit_to_string_internal (int as_linespec
,
228 const struct explicit_location
*explicit_loc
)
231 char space
= as_linespec
? ':' : ' ';
234 if (explicit_loc
->source_filename
!= NULL
)
237 buf
.puts ("-source ");
238 buf
.puts (explicit_loc
->source_filename
);
242 if (explicit_loc
->function_name
!= NULL
)
247 buf
.puts ("-function ");
248 buf
.puts (explicit_loc
->function_name
);
252 if (explicit_loc
->label_name
!= NULL
)
257 buf
.puts ("-label ");
258 buf
.puts (explicit_loc
->label_name
);
262 if (explicit_loc
->line_offset
.sign
!= LINE_OFFSET_UNKNOWN
)
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
);
275 return xstrdup (buf
.c_str ());
278 /* See description in location.h. */
281 explicit_location_to_string (const struct explicit_location
*explicit_loc
)
283 return explicit_to_string_internal (0, explicit_loc
);
286 /* See description in location.h. */
289 explicit_location_to_linespec (const struct explicit_location
*explicit_loc
)
291 return explicit_to_string_internal (1, explicit_loc
);
294 /* See description in location.h. */
297 copy_event_location (const struct event_location
*src
)
299 struct event_location
*dst
;
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
));
306 switch (EL_TYPE (src
))
308 case LINESPEC_LOCATION
:
309 if (EL_LINESPEC (src
) != NULL
)
310 EL_LINESPEC (dst
) = xstrdup (EL_LINESPEC (src
));
313 case ADDRESS_LOCATION
:
314 EL_ADDRESS (dst
) = EL_ADDRESS (src
);
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
);
322 if (EL_EXPLICIT (src
)->function_name
!= NULL
)
323 EL_EXPLICIT (dst
)->function_name
324 = xstrdup (EL_EXPLICIT (src
)->function_name
);
326 if (EL_EXPLICIT (src
)->label_name
!= NULL
)
327 EL_EXPLICIT (dst
)->label_name
= xstrdup (EL_EXPLICIT (src
)->label_name
);
329 EL_EXPLICIT (dst
)->line_offset
= EL_EXPLICIT (src
)->line_offset
;
334 if (EL_PROBE (src
) != NULL
)
335 EL_PROBE (dst
) = xstrdup (EL_PROBE (src
));
339 gdb_assert_not_reached ("unknown event location type");
342 return event_location_up (dst
);
345 /* See description in location.h. */
348 delete_event_location (struct event_location
*location
)
350 if (location
!= NULL
)
352 xfree (EL_STRING (location
));
354 switch (EL_TYPE (location
))
356 case LINESPEC_LOCATION
:
357 xfree (EL_LINESPEC (location
));
360 case ADDRESS_LOCATION
:
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
);
371 xfree (EL_PROBE (location
));
375 gdb_assert_not_reached ("unknown event location type");
382 /* See description in location.h. */
385 event_location_to_string (struct event_location
*location
)
387 if (EL_STRING (location
) == NULL
)
389 switch (EL_TYPE (location
))
391 case LINESPEC_LOCATION
:
392 if (EL_LINESPEC (location
) != NULL
)
393 EL_STRING (location
) = xstrdup (EL_LINESPEC (location
));
396 case ADDRESS_LOCATION
:
399 core_addr_to_string (EL_ADDRESS (location
)));
402 case EXPLICIT_LOCATION
:
404 = explicit_location_to_string (EL_EXPLICIT (location
));
408 EL_STRING (location
) = xstrdup (EL_PROBE (location
));
412 gdb_assert_not_reached ("unknown event location type");
416 return EL_STRING (location
);
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. */
423 static gdb::unique_xmalloc_ptr
<char>
424 explicit_location_lex_one (const char **inp
,
425 const struct language_defn
*language
)
427 const char *start
= *inp
;
432 /* If quoted, skip to the ending quote. */
433 if (strchr (get_gdb_linespec_parser_quote_characters (), *start
))
435 char quote_char
= *start
;
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
)))
442 const char *end
= find_toplevel_char (start
+ 1, quote_char
);
445 error (_("Unmatched quote, %s."), start
);
447 return gdb::unique_xmalloc_ptr
<char> (savestring (start
+ 1,
452 /* If the input starts with '-' or '+', the string ends with the next
453 whitespace or comma. */
454 if (*start
== '-' || *start
== '+')
456 while (*inp
[0] != '\0' && *inp
[0] != ',' && !isspace (*inp
[0]))
461 /* Handle numbers first, stopping at the next whitespace or ','. */
462 while (isdigit (*inp
[0]))
464 if (*inp
[0] == '\0' || isspace (*inp
[0]) || *inp
[0] == ',')
465 return gdb::unique_xmalloc_ptr
<char> (savestring (start
,
468 /* Otherwise stop at the next occurrence of whitespace, '\0',
473 && !(isspace ((*inp
)[0])
474 || linespec_lexer_lex_keyword (&(*inp
)[1])))
476 /* Special case: C++ operator,. */
477 if (language
->la_language
== language_cplus
478 && strncmp (*inp
, "operator", 8) == 0)
484 if (*inp
- start
> 0)
485 return gdb::unique_xmalloc_ptr
<char> (savestring (start
, *inp
- start
));
490 /* See description in location.h. */
493 string_to_explicit_location (const char **argp
,
494 const struct language_defn
*language
,
497 event_location_up location
;
499 /* It is assumed that input beginning with '-' and a non-digit
500 character is an explicit location. "-p" is reserved, though,
501 for probe locations. */
505 || !isalpha ((*argp
)[1])
506 || ((*argp
)[0] == '-' && (*argp
)[1] == 'p'))
509 location
= new_explicit_location (NULL
);
511 /* Process option/argument pairs. dprintf_command
512 requires that processing stop on ','. */
513 while ((*argp
)[0] != '\0' && (*argp
)[0] != ',')
518 /* If *ARGP starts with a keyword, stop processing
520 if (linespec_lexer_lex_keyword (*argp
) != NULL
)
523 /* Mark the start of the string in case we need to rewind. */
526 /* Get the option string. */
527 gdb::unique_xmalloc_ptr
<char> opt
528 = explicit_location_lex_one (argp
, language
);
530 *argp
= skip_spaces_const (*argp
);
532 /* Get the argument string. */
533 gdb::unique_xmalloc_ptr
<char> oarg
534 = explicit_location_lex_one (argp
, language
);
535 bool have_oarg
= oarg
!= NULL
;
536 *argp
= skip_spaces_const (*argp
);
538 /* Use the length of the option to allow abbreviations. */
539 len
= strlen (opt
.get ());
541 /* All options have a required argument. Checking for this required
542 argument is deferred until later. */
543 if (strncmp (opt
.get (), "-source", len
) == 0)
544 EL_EXPLICIT (location
)->source_filename
= oarg
.release ();
545 else if (strncmp (opt
.get (), "-function", len
) == 0)
546 EL_EXPLICIT (location
)->function_name
= oarg
.release ();
547 else if (strncmp (opt
.get (), "-line", len
) == 0)
550 EL_EXPLICIT (location
)->line_offset
551 = linespec_parse_line_offset (oarg
.get ());
553 else if (strncmp (opt
.get (), "-label", len
) == 0)
554 EL_EXPLICIT (location
)->label_name
= oarg
.release ();
555 /* Only emit an "invalid argument" error for options
556 that look like option strings. */
557 else if (opt
.get ()[0] == '-' && !isdigit (opt
.get ()[1]))
560 error (_("invalid explicit location argument, \"%s\""), opt
.get ());
564 /* End of the explicit location specification.
565 Stop parsing and return whatever explicit location was
571 /* It's a little lame to error after the fact, but in this
572 case, it provides a much better user experience to issue
573 the "invalid argument" error before any missing
575 if (!have_oarg
&& !dont_throw
)
576 error (_("missing argument for \"%s\""), opt
.get ());
579 /* One special error check: If a source filename was given
580 without offset, function, or label, issue an error. */
581 if (EL_EXPLICIT (location
)->source_filename
!= NULL
582 && EL_EXPLICIT (location
)->function_name
== NULL
583 && EL_EXPLICIT (location
)->label_name
== NULL
584 && (EL_EXPLICIT (location
)->line_offset
.sign
== LINE_OFFSET_UNKNOWN
)
587 error (_("Source filename requires function, label, or "
594 /* See description in location.h. */
597 string_to_event_location_basic (char **stringp
,
598 const struct language_defn
*language
)
600 event_location_up location
;
603 /* Try the input as a probe spec. */
605 if (cs
!= NULL
&& probe_linespec_to_ops (&cs
) != NULL
)
607 location
= new_probe_location (*stringp
);
608 *stringp
+= strlen (*stringp
);
612 /* Try an address location. */
613 if (*stringp
!= NULL
&& **stringp
== '*')
615 const char *arg
, *orig
;
618 orig
= arg
= *stringp
;
619 addr
= linespec_expression_to_pc (&arg
);
620 location
= new_address_location (addr
, orig
, arg
- orig
);
621 *stringp
+= arg
- orig
;
625 /* Everything else is a linespec. */
626 location
= new_linespec_location (stringp
);
633 /* See description in location.h. */
636 string_to_event_location (char **stringp
,
637 const struct language_defn
*language
)
639 const char *arg
, *orig
;
641 /* Try an explicit location. */
642 orig
= arg
= *stringp
;
643 event_location_up location
= string_to_explicit_location (&arg
, language
, 0);
644 if (location
!= NULL
)
646 /* It was a valid explicit location. Advance STRINGP to
648 *stringp
+= arg
- orig
;
652 /* Everything else is a "basic" linespec, address, or probe
654 location
= string_to_event_location_basic (stringp
, language
);
660 /* See description in location.h. */
663 event_location_empty_p (const struct event_location
*location
)
665 switch (EL_TYPE (location
))
667 case LINESPEC_LOCATION
:
668 /* Linespecs are never "empty." (NULL is a valid linespec) */
671 case ADDRESS_LOCATION
:
674 case EXPLICIT_LOCATION
:
675 return (EL_EXPLICIT (location
) == NULL
676 || (EL_EXPLICIT (location
)->source_filename
== NULL
677 && EL_EXPLICIT (location
)->function_name
== NULL
678 && EL_EXPLICIT (location
)->label_name
== NULL
679 && (EL_EXPLICIT (location
)->line_offset
.sign
680 == LINE_OFFSET_UNKNOWN
)));
683 return EL_PROBE (location
) == NULL
;
686 gdb_assert_not_reached ("unknown event location type");
690 /* See description in location.h. */
693 set_event_location_string (struct event_location
*location
,
696 xfree (EL_STRING (location
));
697 EL_STRING (location
) = string
== NULL
? NULL
: xstrdup (string
);