RE: GDB MI Reverse Commands added [2 of 3]

Jakob Engblom
2009-08-31T12:14:33Z

[-- Attachment #1: Type: text/plain, Size: 9074 bytes --]

Here is an updated patch. As well as a better changelog entry. Diff also
attached as a file, for easier processing if someone wants it that way.

Changelog:

doc/
* gdb.texinfo (MI commands): Added documentation of --reverse option to a set of
MI commands. Restructured documentation of MI commands --exec-continue to
reflect the complexity of reverse execution. (jakob@virtutech.com)

Index: gdb/doc/gdb.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v
retrieving revision 1.615
diff -c -p -r1.615 gdb.texinfo
*** gdb/doc/gdb.texinfo 6 Aug 2009 23:08:16 -0000 1.615
--- gdb/doc/gdb.texinfo 31 Aug 2009 12:09:08 -0000
*************** line of a function back to its return to
*** 5027,5033 ****
Like @code{nexti}, @code{reverse-nexti} executes a single instruction
in reverse, except that called functions are ``un-executed'' atomically.
That is, if the previously executed instruction was a return from
! another instruction, @code{reverse-nexti} will continue to execute
in reverse until the call to that function (from the current stack
frame) is reached.

--- 5027,5033 ----
Like @code{nexti}, @code{reverse-nexti} executes a single instruction
in reverse, except that called functions are ``un-executed'' atomically.
That is, if the previously executed instruction was a return from
! another function, @code{reverse-nexti} will continue to execute
in reverse until the call to that function (from the current stack
frame) is reached.

*************** other cases.
*** 22394,22413 ****
@subsubheading Synopsis

@smallexample
! -exec-continue [--all|--thread-group N]
@end smallexample

! Resumes the execution of the inferior program until a breakpoint is
! encountered, or until the inferior exits. In all-stop mode
! (@pxref{All-Stop Mode}), may resume only one thread, or all threads,
! depending on the value of the @samp{scheduler-locking} variable. In
! non-stop mode (@pxref{Non-Stop Mode}), if the @samp{--all} is not
! specified, only the thread specified with the @samp{--thread} option
! (or current thread, if no @samp{--thread} is provided) is resumed. If
! @samp{--all} is specified, all threads will be resumed. The
! @samp{--all} option is ignored in all-stop mode. If the
! @samp{--thread-group} options is specified, then all threads in that
! thread group are resumed.

@subsubheading @value{GDBN} Command

--- 22394,22422 ----
@subsubheading Synopsis

@smallexample
! -exec-continue [--reverse] [--all|--thread-group N]
@end smallexample

! Resumes the execution of the inferior program, which will continue
! to execute until it reaches a debugger stop event. If the
! @samp{--reverse} option is specified, execution resumes in reverse until
! it reaches a stop event. Stop events may include
! @itemize @bullet
! @item
! breakpoints or watchpoints
! @item
! signals or exceptions
! @item
! the end of the process (or its beginning under @samp{--reverse})
! @item
! the end or beginning of a replay log if one is being used.
! @end itemize
! In all-stop mode (@pxref{All-Stop
! Mode}), may resume only one thread, or all threads, depending on the
! value of the @samp{scheduler-locking} variable. If @samp{--all} is
! specified, all threads will be resumed. The @samp{--all} option is
! ignored in all-stop mode. If the @samp{--thread-group} options is
! specified, then all threads in that thread group are resumed.

@subsubheading @value{GDBN} Command

*************** line="13"@}
*** 22433,22443 ****
@subsubheading Synopsis

@smallexample
! -exec-finish
@end smallexample

Resumes the execution of the inferior program until the current
function is exited. Displays the results returned by the function.

@subsubheading @value{GDBN} Command

--- 22442,22455 ----
@subsubheading Synopsis

@smallexample
! -exec-finish [--reverse]
@end smallexample

Resumes the execution of the inferior program until the current
function is exited. Displays the results returned by the function.
+ If the @samp{--reverse} option is specified, resumes the reverse
+ execution of the inferior program until the point where current
+ function was called.

@subsubheading @value{GDBN} Command

*************** The corresponding @value{GDBN} command i
*** 22556,22567 ****
@subsubheading Synopsis

@smallexample
! -exec-next
@end smallexample

Resumes execution of the inferior program, stopping when the beginning
of the next source line is reached.

@subsubheading @value{GDBN} Command

The corresponding @value{GDBN} command is @samp{next}.
--- 22568,22586 ----
@subsubheading Synopsis

@smallexample
! -exec-next [--reverse]
@end smallexample

Resumes execution of the inferior program, stopping when the beginning
of the next source line is reached.

+ If the @samp{--reverse} option is specified, resumes reverse execution
+ of the inferior program, stopping at the beginning of the previous
+ source line. If you issue this command on the first line of a
+ function, it will take you back to the caller of that function, to the
+ source line where the function was called.
+
+
@subsubheading @value{GDBN} Command

The corresponding @value{GDBN} command is @samp{next}.
*************** The corresponding @value{GDBN} command i
*** 22583,22589 ****
@subsubheading Synopsis

@smallexample
! -exec-next-instruction
@end smallexample

Executes one machine instruction. If the instruction is a function
--- 22602,22608 ----
@subsubheading Synopsis

@smallexample
! -exec-next-instruction [--reverse]
@end smallexample

Executes one machine instruction. If the instruction is a function
*************** call, continues until the function retur
*** 22591,22596 ****
--- 22610,22621 ----
instruction in the middle of a source line, the address will be
printed as well.

+ If the @samp{--reverse} option is specified, resumes reverse execution
+ of the inferior program, stopping at the previous instruction. If the
+ previously executed instruction was a return from another function,
+ it will continue to execute in reverse until the call to that function
+ (from the current stack frame) is reached.
+
@subsubheading @value{GDBN} Command

The corresponding @value{GDBN} command is @samp{nexti}.
*************** signal-meaning="Interrupt"
*** 22733,22745 ****
@subsubheading Synopsis

@smallexample
! -exec-step
@end smallexample

Resumes execution of the inferior program, stopping when the beginning
of the next source line is reached, if the next source line is not a
function call. If it is, stop at the first instruction of the called
! function.

@subsubheading @value{GDBN} Command

--- 22758,22772 ----
@subsubheading Synopsis

@smallexample
! -exec-step [--reverse]
@end smallexample

Resumes execution of the inferior program, stopping when the beginning
of the next source line is reached, if the next source line is not a
function call. If it is, stop at the first instruction of the called
! function. If the @samp{--reverse} option is specified, resumes reverse
! execution of the inferior program, stopping at the beginning of the
! previously executed source line.

@subsubheading @value{GDBN} Command

*************** Regular stepping:
*** 22777,22790 ****
@subsubheading Synopsis

@smallexample
! -exec-step-instruction
@end smallexample

! Resumes the inferior which executes one machine instruction. The
! output, once @value{GDBN} has stopped, will vary depending on whether
! we have stopped in the middle of a source line or not. In the former
! case, the address at which the program stopped will be printed as
! well.

@subsubheading @value{GDBN} Command

--- 22804,22819 ----
@subsubheading Synopsis

@smallexample
! -exec-step-instruction [--reverse]
@end smallexample

! Resumes the inferior which executes one machine instruction. If the
! @samp{--reverse} option is specified, resumes reverse execution of the
! inferior program, stopping at the previously executed instruction.
! The output, once @value{GDBN} has stopped, will vary depending on
! whether we have stopped in the middle of a source line or not. In the
! former case, the address at which the program stopped will be printed
! as well.

@subsubheading @value{GDBN} Command

Best regards,

/jakob

_______________________________________________________

Jakob Engblom, PhD, Technical Marketing Manager

Virtutech                   Direct: +46 8 690 07 47
Drottningholmsvägen 22      Mobile: +46 709 242 646
11243 Stockholm             Web:    www.virtutech.com
Sweden
________________________________________________________

[-- Attachment #2: gdb.texinfo.diff --]
[-- Type: application/octet-stream, Size: 8289 bytes --]

Index: gdb/doc/gdb.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v
retrieving revision 1.615
diff -c -p -r1.615 gdb.texinfo
*** gdb/doc/gdb.texinfo 6 Aug 2009 23:08:16 -0000 1.615
--- gdb/doc/gdb.texinfo 31 Aug 2009 12:09:08 -0000
*************** line of a function back to its return to
*** 5027,5033 ****
Like @code{nexti}, @code{reverse-nexti} executes a single instruction
in reverse, except that called functions are ``un-executed'' atomically.
That is, if the previously executed instruction was a return from
! another instruction, @code{reverse-nexti} will continue to execute
in reverse until the call to that function (from the current stack
frame) is reached.

--- 5027,5033 ----
Like @code{nexti}, @code{reverse-nexti} executes a single instruction
in reverse, except that called functions are ``un-executed'' atomically.
That is, if the previously executed instruction was a return from
! another function, @code{reverse-nexti} will continue to execute
in reverse until the call to that function (from the current stack
frame) is reached.

*************** other cases.
*** 22394,22413 ****
@subsubheading Synopsis

@smallexample
! -exec-continue [--all|--thread-group N]
@end smallexample

! Resumes the execution of the inferior program until a breakpoint is
! encountered, or until the inferior exits. In all-stop mode
! (@pxref{All-Stop Mode}), may resume only one thread, or all threads,
! depending on the value of the @samp{scheduler-locking} variable. In
! non-stop mode (@pxref{Non-Stop Mode}), if the @samp{--all} is not
! specified, only the thread specified with the @samp{--thread} option
! (or current thread, if no @samp{--thread} is provided) is resumed. If
! @samp{--all} is specified, all threads will be resumed. The
! @samp{--all} option is ignored in all-stop mode. If the
! @samp{--thread-group} options is specified, then all threads in that
! thread group are resumed.

@subsubheading @value{GDBN} Command

--- 22394,22422 ----
@subsubheading Synopsis

@smallexample
! -exec-continue [--reverse] [--all|--thread-group N]
@end smallexample

! Resumes the execution of the inferior program, which will continue
! to execute until it reaches a debugger stop event. If the
! @samp{--reverse} option is specified, execution resumes in reverse until
! it reaches a stop event. Stop events may include
! @itemize @bullet
! @item
! breakpoints or watchpoints
! @item
! signals or exceptions
! @item
! the end of the process (or its beginning under @samp{--reverse})
! @item
! the end or beginning of a replay log if one is being used.
! @end itemize
! In all-stop mode (@pxref{All-Stop
! Mode}), may resume only one thread, or all threads, depending on the
! value of the @samp{scheduler-locking} variable. If @samp{--all} is
! specified, all threads will be resumed. The @samp{--all} option is
! ignored in all-stop mode. If the @samp{--thread-group} options is
! specified, then all threads in that thread group are resumed.

@subsubheading @value{GDBN} Command

*************** line="13"@}
*** 22433,22443 ****
@subsubheading Synopsis

@smallexample
! -exec-finish
@end smallexample

Resumes the execution of the inferior program until the current
function is exited. Displays the results returned by the function.

@subsubheading @value{GDBN} Command

--- 22442,22455 ----
@subsubheading Synopsis

@smallexample
! -exec-finish [--reverse]
@end smallexample

Resumes the execution of the inferior program until the current
function is exited. Displays the results returned by the function.
+ If the @samp{--reverse} option is specified, resumes the reverse
+ execution of the inferior program until the point where current
+ function was called.

@subsubheading @value{GDBN} Command

*************** The corresponding @value{GDBN} command i
*** 22556,22567 ****
@subsubheading Synopsis

@smallexample
! -exec-next
@end smallexample

Resumes execution of the inferior program, stopping when the beginning
of the next source line is reached.

@subsubheading @value{GDBN} Command

The corresponding @value{GDBN} command is @samp{next}.
--- 22568,22586 ----
@subsubheading Synopsis

@smallexample
! -exec-next [--reverse]
@end smallexample

Resumes execution of the inferior program, stopping when the beginning
of the next source line is reached.

+ If the @samp{--reverse} option is specified, resumes reverse execution
+ of the inferior program, stopping at the beginning of the previous
+ source line. If you issue this command on the first line of a
+ function, it will take you back to the caller of that function, to the
+ source line where the function was called.
+
+
@subsubheading @value{GDBN} Command

The corresponding @value{GDBN} command is @samp{next}.
*************** The corresponding @value{GDBN} command i
*** 22583,22589 ****
@subsubheading Synopsis

@smallexample
! -exec-next-instruction
@end smallexample

Executes one machine instruction. If the instruction is a function
--- 22602,22608 ----
@subsubheading Synopsis

@smallexample
! -exec-next-instruction [--reverse]
@end smallexample

Executes one machine instruction. If the instruction is a function
*************** call, continues until the function retur
*** 22591,22596 ****
--- 22610,22621 ----
instruction in the middle of a source line, the address will be
printed as well.

+ If the @samp{--reverse} option is specified, resumes reverse execution
+ of the inferior program, stopping at the previous instruction. If the
+ previously executed instruction was a return from another function,
+ it will continue to execute in reverse until the call to that function
+ (from the current stack frame) is reached.
+
@subsubheading @value{GDBN} Command

The corresponding @value{GDBN} command is @samp{nexti}.
*************** signal-meaning="Interrupt"
*** 22733,22745 ****
@subsubheading Synopsis

@smallexample
! -exec-step
@end smallexample

Resumes execution of the inferior program, stopping when the beginning
of the next source line is reached, if the next source line is not a
function call. If it is, stop at the first instruction of the called
! function.

@subsubheading @value{GDBN} Command

--- 22758,22772 ----
@subsubheading Synopsis

@smallexample
! -exec-step [--reverse]
@end smallexample

Resumes execution of the inferior program, stopping when the beginning
of the next source line is reached, if the next source line is not a
function call. If it is, stop at the first instruction of the called
! function. If the @samp{--reverse} option is specified, resumes reverse
! execution of the inferior program, stopping at the beginning of the
! previously executed source line.

@subsubheading @value{GDBN} Command

*************** Regular stepping:
*** 22777,22790 ****
@subsubheading Synopsis

@smallexample
! -exec-step-instruction
@end smallexample

! Resumes the inferior which executes one machine instruction. The
! output, once @value{GDBN} has stopped, will vary depending on whether
! we have stopped in the middle of a source line or not. In the former
! case, the address at which the program stopped will be printed as
! well.

@subsubheading @value{GDBN} Command

--- 22804,22819 ----
@subsubheading Synopsis

@smallexample
! -exec-step-instruction [--reverse]
@end smallexample

! Resumes the inferior which executes one machine instruction. If the
! @samp{--reverse} option is specified, resumes reverse execution of the
! inferior program, stopping at the previously executed instruction.
! The output, once @value{GDBN} has stopped, will vary depending on
! whether we have stopped in the middle of a source line or not. In the
! former case, the address at which the program stopped will be printed
! as well.

@subsubheading @value{GDBN} Command