On Friday 21 July 2006 19:33, Eli Zaretskii wrote:

> > > >                                  Writes may fall outside the regions
> > > > +given by the previously transmitted @samp{vFlashErase} packets, but
> > > > +the results are unpredictable if a given area of flash is rewritten
> > > > +without being erased.
> > >
> > > I'd rephrase this as follows:
> > >
> > >   If the series of packets write data outside the region erased by the
> > >   preceding @samp{vFlashErase} packets, the results are unpredictable.
> >
> > I think this is slightly different. For example, target might have some
> > extra fast method to erase entire flash, that gdb does not know about,
> > but that user can invoke in some. Then, it's ok to send vFlashWrite
> > without any vFlashErase packets at all. So the constraint is that area of
> > flash is in erased state when vFlashWrite arrives, but not that
> > vFlashErase was seen.
>
> In that case, how about the following?
>
>    If the series of packets write data outside the region that was
>    erased either by the preceding @samp{vFlashErase} packets or by
>    some other target-specific method, the results are unpredictable.

Strictly speaking, there might be several disjoint regions. How about this:

   If a packet writes to an address that was neither erased by a preceding
   @samp{vFlashErase} packet nor by some other target-specific method,
   the results are unpredictable.  

> > > > +@var{annex} must be empty.
> > >
> > > There's no @var{annex} in the @item that gives the packet's syntax.
> >
> > I must admit that I've copied this sentence from description of
> > qXfer:auxv:read. While you're right that @var{annex} is not present in
> > description of qXfer:memory-map:read, it's present in description of
> > generic syntax of qXfer packet. The point of this sentence is to
> > emphasise that annex part of generic qXfer packet should be empty for
> > memory map.
>
> Then just say something like "the annex part of generic qXfer packet
> should be empty for memory map", and add a cross-reference to where
> qXfer is described.  But do not use @var{annex}.

Okay.

Here's yet another revision of the patch.

Thanks,
Volodya