Re: [PATCH v3] gdb: add 'maintenance print record-instruction' command

[Tom Tromey <tom@tromey.com>]

>>>>> "Bruno" == Bruno Larsen via Gdb-patches <gdb-patches@sourceware.org> writes:

Bruno> While chasing some reverse debugging bugs, I found myself wondering what
Bruno> was recorded by GDB to undo and redo a certain instruction. This commit
Bruno> implements a simple way of printing that information.

Thanks for doing this.

Bruno> --- a/gdb/NEWS
Bruno> +++ b/gdb/NEWS
Bruno> @@ -107,6 +107,12 @@
 
Bruno>  * New commands
 
Bruno> +maintenance print record-instruction [ N ]
Bruno> +  Print the recorded information for a given instruction.  If N is not given
Bruno> +  prints how GDB would undo the last instruction executed.  If N is negative,
Bruno> +  prints how GDB would undo the N-th previous instruction, and if N is
Bruno> +  positive, it prints how GDB will redo the N-th following instruction.

You'll probably have to update this a bit to apply it to trunk, so that
it doesn't end up in the gdb 13 section.

I looked through the thread, the updated patch is ok with the NEWS
change.

Tom