mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-15 04:31:49 +08:00
f00aae0f7b
This patch converts the code base to use the new struct event_location API being introduced. This patch preserves the current functionality and adds no new features. The "big picture" API usage introduced by this patch may be illustrated with a simple exmaple. Where previously developers would write: void my_command (char *arg, int from_tty) { create_breakpoint (..., arg, ...); ... } one now uses: void my_command (char *arg, int from_tty) { struct event_locaiton *location; struct cleanup *back_to; location = string_to_event_locaiton (&arg, ...); back_to = make_cleanup_delete_event_location (location); create_breakpoint (..., location, ...); do_cleanups (back_to); } Linespec-decoding functions (now called location-decoding) such as decode_line_full no longer skip argument pointers over processed input. That functionality has been moved into string_to_event_location as demonstrated above. gdb/ChangeLog * ax-gdb.c: Include location.h. (agent_command_1) Use linespec location instead of address string. * break-catch-throw.c: Include location.h. (re_set_exception_catchpoint): Use linespec locations instead of address strings. * breakpoint.c: Include location.h. (create_overlay_event_breakpoint, create_longjmp_master_breakpoint) (create_std_terminate_master_breakpoint) (create_exception_master_breakpoint, update_breakpoints_after_exec): Use linespec location instead of address string. (print_breakpoint_location): Use locations and event_location_to_string. Print extra_string for pending locations for non-MI streams. (print_one_breakpoint_location): Use locations and event_location_to_string. (init_raw_breakpoint_without_location): Initialize b->location. (create_thread_event_breakpoint): Use linespec location instead of address string. (init_breakpoint_sal): Likewise. Only save extra_string if it is non-NULL and not the empty string. Use event_location_to_string instead of `addr_string'. Constify `p' and `endp'. Use skip_spaces_const/skip_space_const instead of non-const versions. Copy the location into the breakpoint. If LOCATION is NULL, save the breakpoint address as a linespec location instead of an address string. (create_breakpoint_sal): Change `addr_string' parameter to a struct event_location. All uses updated. (create_breakpoints_sal): Likewise for local variable `addr_string'. (parse_breakpoint_sals): Use locations instead of address strings. Remove check for empty linespec with conditional. Refactor. (decode_static_tracepoint_spec): Make argument const and update function. (create_breakpoint): Change `arg' to a struct event_location and rename. Remove `copy_arg' and `addr_start'. If EXTRA_STRING is empty, set it to NULL. Don't populate `canonical' for pending breakpoints. Pass `extra_string' to find_condition_and_thread. Clear `extra_string' if `rest' was NULL. Do not error with "garbage after location" if setting a dprintf breakpoint. Copy the location into the breakpoint instead of an address string. (break_command_1): Use string_to_event_location and pass this to create_breakpoint instead of an address string. Check against `arg_cp' for a probe linespec. (dprintf_command): Use string_to_event_location and pass this to create_breakpoint instead of an address string. Throw an exception if no format string was specified. (print_recreate_ranged_breakpoint): Use event_location_to_string instead of address strings. (break_range_command, until_break_command) (init_ada_exception_breakpoint): Use locations instead of address strings. (say_where): Print out extra_string for pending locations. (base_breakpoint_dtor): Delete `location' and `location_range_end' of the breakpoint. (base_breakpoint_create_sals_from_location): Use struct event_location instead of address string. Remove `addr_start' and `copy_arg' parameters. (base_breakpoint_decode_location): Use struct event_location instead of address string. (bkpt_re_set): Use locations instead of address strings. Use event_location_empty_p to check for unset location. (bkpt_print_recreate): Use event_location_to_string instead of an address string. Print out extra_string for pending locations. (bkpt_create_sals_from_location, bkpt_decode_location) (bkpt_probe_create_sals_from_location): Use struct event_location instead of address string. (bkpt_probe_decode_location): Use struct event_location instead of address string. (tracepoint_print_recreate): Use event_location_to_string to recreate the tracepoint. (tracepoint_create_sals_from_location, tracepoint_decode_location) (tracepoint_probe_create_sals_from_location) (tracepoint_probe_decode_location): Use struct event_location instead of address string. (dprintf_print_recreate): Use event_location_to_string to recreate the dprintf. (dprintf_re_set): Remove check for valid/missing format string. (strace_marker_create_sals_from_location) (strace_marker_create_breakpoints_sal, strace_marker_decode_location) (update_static_tracepoint): Use struct event_location instead of address string. (location_to_sals): Likewise. Pass `extra_string' to find_condition_and_thread. For newly resolved pending breakpoint locations, clear the location's string representation. Assert that the breakpoint's condition string is NULL when condition_not_parsed. (breakpoint_re_set_default, create_sals_from_location_default) (decode_location_default, trace_command, ftrace_command) (strace_command, create_tracepoint_from_upload): Use locations instead of address strings. * breakpoint.h (struct breakpoint_ops) <create_sals_from_location>: Use struct event_location instead of address string. Update all uses. <decode_location>: Likewise. (struct breakpoint) <addr_string>: Change to struct event_location and rename `location'. <addr_string_range_end>: Change to struct event_location and rename `location_range_end'. (create_breakpoint): Use struct event_location instead of address string. * cli/cli-cmds.c: Include location.h. (edit_command, list_command): Use locations instead of address strings. * elfread.c: Include location.h. (elf_gnu_ifunc_resolver_return_stop): Use event_location_to_string. * guile/scm-breakpoint.c: Include location.h. (bpscm_print_breakpoint_smob): Use event_location_to_string. (gdbscm_register_breakpoint): Use locations instead of address strings. * linespec.c: Include location.h. (struct ls_parser) <stream>: Change to const char *. (PARSER_STREAM): Update. (lionespec_lexer_lex_keyword): According to find_condition_and_thread, keywords must be followed by whitespace. (canonicalize_linespec): Save a linespec location into `canonical'. Save a canonical linespec into `canonical'. (parse_linespec): Change `argptr' to const char * and rename `arg'. All uses updated. Update function description. (linespec_parser_new): Initialize `parser'. Update initialization of parsing stream. (event_location_to_sals): New function. (decode_line_full): Change `argptr' to a struct event_location and rename it `location'. Use locations instead of address strings. Call event_location_to_sals instead of parse_linespec. (decode_line_1): Likewise. (decode_line_with_current_source, decode_line_with_last_displayed) Use locations instead of address strings. (decode_objc): Likewise. Change `argptr' to const char * and rename `arg'. (destroy_linespec_result): Delete the linespec result's location instead of freeing the address string. * linespec.h (struct linespec_result) <addr_string>: Change to struct event_location and rename to ... <location>: ... this. (decode_line_1, decode_line_full): Change `argptr' to struct event_location. All callers updated. * mi/mi-cmd-break.c: Include language.h, location.h, and linespec.h. (mi_cmd_break_insert_1): Use locations instead of address strings. Throw an error if there was "garbage" at the end of the specified linespec. * probe.c: Include location.h. (parse_probes): Change `argptr' to struct event_location. Use event locations instead of address strings. * probe.h (parse_probes): Change `argptr' to struct event_location. * python/py-breakpoint.c: Include location.h. (bppy_get_location): Constify local variable `str'. Use event_location_to_string. (bppy_init): Use locations instead of address strings. * python/py-finishbreakpoint.c: Include location.h. (bpfinishpy_init): Remove local variable `addr_str'. Use locations instead of address strings. * python/python.c: Include location.h. (gdbpy_decode_line): Use locations instead of address strings. * remote.c: Include location.h. (remote_download_tracepoint): Use locations instead of address strings. * spu-tdep.c: Include location.h. (spu_catch_start): Remove local variable `buf'. Use locations instead of address strings. * tracepoint.c: Include location.h. (scope_info): Use locations instead of address strings. (encode_source_string): Constify parameter `src'. * tracepoint.h (encode_source_string): Likewise. gdb/testsuite/ChangeLog * gdb.base/dprintf-pending.exp: Update dprintf "without format" test. Add tests for missing ",FMT" and ",".
296 lines
11 KiB
C
296 lines
11 KiB
C
/* Generic SDT probe support for GDB.
|
|
|
|
Copyright (C) 2012-2015 Free Software Foundation, Inc.
|
|
|
|
This file is part of GDB.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#if !defined (PROBE_H)
|
|
#define PROBE_H 1
|
|
|
|
struct event_location;
|
|
|
|
#include "gdb_vecs.h"
|
|
|
|
/* Definition of a vector of probes. */
|
|
|
|
typedef struct probe *probe_p;
|
|
DEF_VEC_P (probe_p);
|
|
|
|
struct linespec_result;
|
|
|
|
/* Structure useful for passing the header names in the method
|
|
`gen_ui_out_table_header'. */
|
|
|
|
struct info_probe_column
|
|
{
|
|
/* The internal name of the field. This string cannot be capitalized nor
|
|
localized, e.g., "extra_field". */
|
|
|
|
const char *field_name;
|
|
|
|
/* The field name to be printed in the `info probes' command. This
|
|
string can be capitalized and localized, e.g., _("Extra Field"). */
|
|
const char *print_name;
|
|
};
|
|
|
|
typedef struct info_probe_column info_probe_column_s;
|
|
DEF_VEC_O (info_probe_column_s);
|
|
|
|
/* Operations associated with a probe. */
|
|
|
|
struct probe_ops
|
|
{
|
|
/* Method responsible for verifying if LINESPECP is a valid linespec for
|
|
a probe breakpoint. It should return 1 if it is, or zero if it is not.
|
|
It also should update LINESPECP in order to discard the breakpoint
|
|
option associated with this linespec. For example, if the option is
|
|
`-probe', and the LINESPECP is `-probe abc', the function should
|
|
return 1 and set LINESPECP to `abc'. */
|
|
|
|
int (*is_linespec) (const char **linespecp);
|
|
|
|
/* Function that should fill PROBES with known probes from OBJFILE. */
|
|
|
|
void (*get_probes) (VEC (probe_p) **probes, struct objfile *objfile);
|
|
|
|
/* Compute the probe's relocated address. OBJFILE is the objfile
|
|
in which the probe originated. */
|
|
|
|
CORE_ADDR (*get_probe_address) (struct probe *probe,
|
|
struct objfile *objfile);
|
|
|
|
/* Return the number of arguments of PROBE. */
|
|
|
|
unsigned (*get_probe_argument_count) (struct probe *probe,
|
|
struct frame_info *frame);
|
|
|
|
/* Return 1 if the probe interface can evaluate the arguments of probe
|
|
PROBE, zero otherwise. See the comments on
|
|
sym_probe_fns:can_evaluate_probe_arguments for more details. */
|
|
|
|
int (*can_evaluate_probe_arguments) (struct probe *probe);
|
|
|
|
/* Evaluate the Nth argument from the PROBE, returning a value
|
|
corresponding to it. The argument number is represented N. */
|
|
|
|
struct value *(*evaluate_probe_argument) (struct probe *probe,
|
|
unsigned n,
|
|
struct frame_info *frame);
|
|
|
|
/* Compile the Nth argument of the PROBE to an agent expression.
|
|
The argument number is represented by N. */
|
|
|
|
void (*compile_to_ax) (struct probe *probe, struct agent_expr *aexpr,
|
|
struct axs_value *axs_value, unsigned n);
|
|
|
|
/* Set the semaphore associated with the PROBE. This function only makes
|
|
sense if the probe has a concept of semaphore associated to a
|
|
probe, otherwise it can be set to NULL. */
|
|
|
|
void (*set_semaphore) (struct probe *probe, struct objfile *objfile,
|
|
struct gdbarch *gdbarch);
|
|
|
|
/* Clear the semaphore associated with the PROBE. This function only
|
|
makes sense if the probe has a concept of semaphore associated to
|
|
a probe, otherwise it can be set to NULL. */
|
|
|
|
void (*clear_semaphore) (struct probe *probe, struct objfile *objfile,
|
|
struct gdbarch *gdbarch);
|
|
|
|
/* Function called to destroy PROBE's specific data. This function
|
|
shall not free PROBE itself. */
|
|
|
|
void (*destroy) (struct probe *probe);
|
|
|
|
/* Return a pointer to a name identifying the probe type. This is
|
|
the string that will be displayed in the "Type" column of the
|
|
`info probes' command. */
|
|
|
|
const char *(*type_name) (struct probe *probe);
|
|
|
|
/* Function responsible for providing the extra fields that will be
|
|
printed in the `info probes' command. It should fill HEADS
|
|
with whatever extra fields it needs. If the backend doesn't need
|
|
to print extra fields, it can set this method to NULL. */
|
|
|
|
void (*gen_info_probes_table_header) (VEC (info_probe_column_s) **heads);
|
|
|
|
/* Function that will fill VALUES with the values of the extra fields
|
|
to be printed for PROBE. If the backend implements the
|
|
`gen_ui_out_table_header' method, then it should implement
|
|
this method as well. The backend should also guarantee that the
|
|
order and the number of values in the vector is exactly the same
|
|
as the order of the extra fields provided in the method
|
|
`gen_ui_out_table_header'. If a certain field is to be skipped
|
|
when printing the information, you can push a NULL value in that
|
|
position in the vector. */
|
|
|
|
void (*gen_info_probes_table_values) (struct probe *probe,
|
|
VEC (const_char_ptr) **values);
|
|
|
|
/* Enable a probe. The semantics of "enabling" a probe depend on
|
|
the specific backend and the field can be NULL in case enabling
|
|
probes is not supported. */
|
|
|
|
void (*enable_probe) (struct probe *probe);
|
|
|
|
/* Disable a probe. The semantics of "disabling" a probe depend
|
|
on the specific backend and the field can be NULL in case
|
|
disabling probes is not supported. */
|
|
|
|
void (*disable_probe) (struct probe *probe);
|
|
};
|
|
|
|
/* Definition of a vector of probe_ops. */
|
|
|
|
typedef const struct probe_ops *probe_ops_cp;
|
|
DEF_VEC_P (probe_ops_cp);
|
|
extern VEC (probe_ops_cp) *all_probe_ops;
|
|
|
|
/* The probe_ops associated with the generic probe. */
|
|
|
|
extern const struct probe_ops probe_ops_any;
|
|
|
|
/* Helper function that, given KEYWORDS, iterate over it trying to match
|
|
each keyword with LINESPECP. If it succeeds, it updates the LINESPECP
|
|
pointer and returns 1. Otherwise, nothing is done to LINESPECP and zero
|
|
is returned. */
|
|
|
|
extern int probe_is_linespec_by_keyword (const char **linespecp,
|
|
const char *const *keywords);
|
|
|
|
/* Return specific PROBE_OPS * matching *LINESPECP and possibly updating
|
|
*LINESPECP to skip its "-probe-type " prefix. Return &probe_ops_any if
|
|
*LINESPECP matches "-probe ", that is any unspecific probe. Return NULL if
|
|
*LINESPECP is not identified as any known probe type, *LINESPECP is not
|
|
modified in such case. */
|
|
|
|
extern const struct probe_ops *probe_linespec_to_ops (const char **linespecp);
|
|
|
|
/* The probe itself. The struct contains generic information about the
|
|
probe, and then some specific information which should be stored in
|
|
the `probe_info' field. */
|
|
|
|
struct probe
|
|
{
|
|
/* The operations associated with this probe. */
|
|
const struct probe_ops *pops;
|
|
|
|
/* The probe's architecture. */
|
|
struct gdbarch *arch;
|
|
|
|
/* The name of the probe. */
|
|
const char *name;
|
|
|
|
/* The provider of the probe. It generally defaults to the name of
|
|
the objfile which contains the probe. */
|
|
const char *provider;
|
|
|
|
/* The address where the probe is inserted, relative to
|
|
SECT_OFF_TEXT. */
|
|
CORE_ADDR address;
|
|
};
|
|
|
|
/* A bound probe holds a pointer to a probe and a pointer to the
|
|
probe's defining objfile. This is needed because probes are
|
|
independent of the program space and thus require relocation at
|
|
their point of use. */
|
|
|
|
struct bound_probe
|
|
{
|
|
/* The probe. */
|
|
|
|
struct probe *probe;
|
|
|
|
/* The objfile in which the probe originated. */
|
|
|
|
struct objfile *objfile;
|
|
};
|
|
|
|
/* A helper for linespec that decodes a probe specification. It returns a
|
|
symtabs_and_lines object and updates LOC or throws an error. */
|
|
|
|
extern struct symtabs_and_lines parse_probes (const struct event_location *loc,
|
|
struct linespec_result *canon);
|
|
|
|
/* Helper function to register the proper probe_ops to a newly created probe.
|
|
This function is mainly called from `sym_get_probes'. */
|
|
|
|
extern void register_probe_ops (struct probe *probe);
|
|
|
|
/* Given a PC, find an associated probe. If a probe is found, return
|
|
it. If no probe is found, return a bound probe whose fields are
|
|
both NULL. */
|
|
|
|
extern struct bound_probe find_probe_by_pc (CORE_ADDR pc);
|
|
|
|
/* Search OBJFILE for a probe with the given PROVIDER, NAME. Return a
|
|
VEC of all probes that were found. If no matching probe is found,
|
|
return NULL. The caller must free the VEC. */
|
|
|
|
extern VEC (probe_p) *find_probes_in_objfile (struct objfile *objfile,
|
|
const char *provider,
|
|
const char *name);
|
|
|
|
/* Generate a `info probes' command output for probe_ops represented by
|
|
POPS. If POPS is NULL it considers any probes types. It is a helper
|
|
function that can be used by the probe backends to print their
|
|
`info probe TYPE'. */
|
|
|
|
extern void info_probes_for_ops (const char *arg, int from_tty,
|
|
const struct probe_ops *pops);
|
|
|
|
/* Return the `cmd_list_element' associated with the `info probes' command,
|
|
or create a new one if it doesn't exist. Helper function that serves the
|
|
purpose of avoiding the case of a backend using the `cmd_list_element'
|
|
associated with `info probes', without having it registered yet. */
|
|
|
|
extern struct cmd_list_element **info_probes_cmdlist_get (void);
|
|
|
|
/* Compute the probe's relocated address. OBJFILE is the objfile in
|
|
which the probe originated. */
|
|
|
|
extern CORE_ADDR get_probe_address (struct probe *probe,
|
|
struct objfile *objfile);
|
|
|
|
/* Return the argument count of the specified probe. */
|
|
|
|
extern unsigned get_probe_argument_count (struct probe *probe,
|
|
struct frame_info *frame);
|
|
|
|
/* Return 1 if the probe interface associated with PROBE can evaluate
|
|
arguments, zero otherwise. See the comments on the definition of
|
|
sym_probe_fns:can_evaluate_probe_arguments for more details. */
|
|
|
|
extern int can_evaluate_probe_arguments (struct probe *probe);
|
|
|
|
/* Evaluate argument N of the specified probe. N must be between 0
|
|
inclusive and get_probe_argument_count exclusive. */
|
|
|
|
extern struct value *evaluate_probe_argument (struct probe *probe,
|
|
unsigned n,
|
|
struct frame_info *frame);
|
|
|
|
/* A convenience function that finds a probe at the PC in FRAME and
|
|
evaluates argument N, with 0 <= N < number_of_args. If there is no
|
|
probe at that location, or if the probe does not have enough arguments,
|
|
this returns NULL. */
|
|
|
|
extern struct value *probe_safe_evaluate_at_pc (struct frame_info *frame,
|
|
unsigned n);
|
|
|
|
#endif /* !defined (PROBE_H) */
|