diff options
| author | Hui Zhu <teawater@gmail.com> | 2010-06-22 02:15:45 +0000 |
|---|---|---|
| committer | Hui Zhu <teawater@gmail.com> | 2010-06-22 02:15:45 +0000 |
| commit | e726bfc98618407781409c3fd1c7a04fc8516e3d (patch) | |
| tree | 4d63eb4abbb63a5309fdfaca8726734d4cd3327e /gdb/record.c | |
| parent | f66065f72a8d0df48829b337c5d516d92d51dd66 (diff) | |
| download | gdb-e726bfc98618407781409c3fd1c7a04fc8516e3d.tar.gz | |
2010-06-22 Hui Zhu <teawater@gmail.com>
* i386-tdep.c (i386_record_lea_modrm): Change warning to query.
(i386_process_record): Ditto.
* record.c (record_memory_query): New variable.
(_initialize_record): New command "set record memory-query".
* record.h (record_memory_query): New extern.
2010-06-22 Hui Zhu <teawater@gmail.com>
* gdb.texinfo: (Process Record and Replay): Add documentation
for command "set record memory-query".
Diffstat (limited to 'gdb/record.c')
| -rw-r--r-- | gdb/record.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gdb/record.c b/gdb/record.c index b3d11b6411c..595e087e1a7 100644 --- a/gdb/record.c +++ b/gdb/record.c @@ -152,6 +152,10 @@ struct record_entry /* This is the debug switch for process record. */ int record_debug = 0; +/* If true, query if PREC cannot record memory + change of next instruction. */ +int record_memory_query = 0; + struct record_core_buf_entry { struct record_core_buf_entry *prev; @@ -2730,4 +2734,15 @@ record/replay buffer. Zero means unlimited. Default is 200000."), Restore the program to its state at instruction number N.\n\ Argument is instruction number, as shown by 'info record'."), &record_cmdlist); + + add_setshow_boolean_cmd ("memory-query", no_class, + &record_memory_query, _("\ +Set whether query if PREC cannot record memory change of next instruction."), + _("\ +Show whether query if PREC cannot record memory change of next instruction."), + _("\ +Default is OFF.\n\ +When ON, query if PREC cannot record memory change of next instruction."), + NULL, NULL, + &set_record_cmdlist, &show_record_cmdlist); } |