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

[Eli Zaretskii <eliz@gnu.org>]

> From: Hui Zhu <teawater@gmail.com>
> Date: Sun, 20 Jun 2010 14:01:38 +0800
> Cc: gdb-patches@sourceware.org
> 
> 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.

A slight rewording:

  @kindex set record memory-query
  @item set record memory-query
  Control the behavior when @value{GDBN} is unable to record memory
  changes caused by an instruction.  If ON, @value{GDBN} will query
  whether to stop the inferior in that case.

  If this option is OFF (the default), @value{GDBN} will automatically
  ignore the effect of such instructions on memory.  Later, when
  @value{GDBN} replays this execution log, it will mark the log of this
  instruction as not accessible, and it will not affect the replay results.