diff options
| author | Tom Tromey <tromey@redhat.com> | 2013-04-15 08:59:03 -0600 |
|---|---|---|
| committer | Tom Tromey <tromey@redhat.com> | 2014-06-26 09:14:16 -0600 |
| commit | c2bcbb1d04bb46a130f2c84de05cbbdccc0645fc (patch) | |
| tree | 57a628fb31746a0ac6f918a08f6d9c67f5a81ca6 /gdb/record.c | |
| parent | 9cbe5fff2b47da85dbc628bdc8c6a85d5344749a (diff) | |
constify get_bookmark and goto_bookmark
This makes arguments to to_get_bookmark and to_goto_bookmark const and
fixes the fallout. Tested by rebuilding. The only thing of note is
the new split between cmd_record_goto and record_goto -- basically
separating the CLI function from a new internal API, to allow const
propagation.
2014-06-26 Tom Tromey <tromey@redhat.com>
* record-full.c (record_full_get_bookmark): Make "args" const.
(record_full_goto_bookmark): Make "raw_bookmark" const.
* record.c (record_goto): New function.
(cmd_record_goto): Use it. Now static.
* record.h (record_goto): Declare.
(cmd_record_goto): Remove declaration.
* target-delegates.c: Rebuild.
* target.h (struct target_ops) <to_get_bookmark,
to_goto_bookmark>: Make parameter const.
Diffstat (limited to 'gdb/record.c')
| -rw-r--r-- | gdb/record.c | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/gdb/record.c b/gdb/record.c index b801b7fc34..acdbc1a0a5 100644 --- a/gdb/record.c +++ b/gdb/record.c @@ -311,13 +311,10 @@ cmd_record_save (char *args, int from_tty) target_save_record (recfilename); } -/* "record goto" command. Argument is an instruction number, - as given by "info record". - - Rewinds the recording (forward or backward) to the given instruction. */ +/* See record.h. */ void -cmd_record_goto (char *arg, int from_tty) +record_goto (const char *arg) { ULONGEST insn; @@ -330,6 +327,17 @@ cmd_record_goto (char *arg, int from_tty) target_goto_record (insn); } +/* "record goto" command. Argument is an instruction number, + as given by "info record". + + Rewinds the recording (forward or backward) to the given instruction. */ + +static void +cmd_record_goto (char *arg, int from_tty) +{ + record_goto (arg); +} + /* The "record goto begin" command. */ static void |