Re: [PATCH] prec: add a switch for memory doesn't record query

[Hui Zhu <teawater at gmail dot com>]

Thanks Eli.  What about following?

@kindex set record memory-query
@item set record memory-query
Control the behavior when @value{GDBN} cannot record memory change
of next instruction.  If ON, @value{GDBN} will query when it cannot
record memory change of next instruction.

If this option is OFF(the default), @value{GDBN} will auto ignore this
issue.  When @value{GDBN} replay to this execution log, it will mark
this log as not accessible, then it will not affect the replay.

Hui

On Fri, Jun 18, 2010 at 15:34, Eli Zaretskii <eliz@gnu.org> wrote:
>> From: Hui Zhu <teawater@gmail.com>
>> Date: Fri, 18 Jun 2010 12:59:49 +0800
>>
>> Some words in the doc is not very well. ?Did some small change.
>
> Thanks.
>
>> +Control the behavior when PREC cannot record memory change of next
>> +instruction. ?If ON, @value{GDBN} will query when it cannot record
>> +memory change of next instruction.
>
> First, please don't use "PREC", this is not a term we use in the
> manual.
>
> Second, I think a short explanation of why this could happen is in
> order.
>
>> +If this option is OFF(the default), @value{GDBN} will auto ignore this
>> +issue. ?It can handle it with itself.
>
> This is too mysterious. ?I think we should have at least some
> explanation of what this auto handling does. ?Otherwise, the reader
> will not be able to decide whether to set this on or not.
>
>