Re: [RFA] Reverse Debugging, 5/5

[Eli Zaretskii <eliz@gnu.org>]

> Date: Thu, 02 Oct 2008 15:41:57 -0700
> From: Michael Snyder <msnyder@vmware.com>
> CC: "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>, 
>  "drow@false.org" <drow@false.org>,
>  "pedro@codesourcery.com" <pedro@codesourcery.com>, 
>  "teawater@gmail.com" <teawater@gmail.com>
> 
> Here's a revised patch for the doc only.
> I added a footnote about side effects, and
> followed your other suggestions.

Thanks.  I have only one minor comment this time:

> +The contract between @value{GDBN} and the reverse executing target
> +requires only that the target do something reasonable when
> +@value{GDBN} tells it to execute backwards, and then report the 
> +results back to @value{GDBN}.  Whatever the target reports back to
> +@value{GDBN}, @value{GDBN} will report back to the user.  We assume 
> +that the memory and registers that the target reports to us are in a
> +consistant state, but we accept whatever we are given.

This text switches from "GDB" to "we" in mid-air.  I'd prefer to stay
with "GDB", as it will not be very clear to the reader who are "we" ;-)