Re: [PATCH] Add -verify option to load command

[Luis Machado <lgustavo@codesourcery.com>]

On 01/06/2017 12:17 PM, Eli Zaretskii wrote:
>> From: Luis Machado <lgustavo@codesourcery.com>
>> Date: Fri, 6 Jan 2017 10:41:52 -0600
>>
>> --- a/gdb/doc/gdb.texinfo
>> +++ b/gdb/doc/gdb.texinfo
>> @@ -19592,7 +19592,7 @@ Show the current status of displaying communications between
>>  @table @code
>>
>>  @kindex load @var{filename}
>> -@item load @var{filename}
>> +@item load @var{filename} [-verify]
>>  @anchor{load}
>>  Depending on what remote debugging facilities are configured into
>>  @value{GDBN}, the @code{load} command may be available.  Where it exists, it
>> @@ -19614,6 +19614,9 @@ specifies a fixed address.
>>  Depending on the remote side capabilities, @value{GDBN} may be able to
>>  load programs into flash memory.
>>
>> +The optional @code{-verify} argument enables verification of the data that was
>> +loaded to the target's memory.
>
> I think the manual should explain what "verification" means in this
> context.
>
> Thanks.
>

Something along the lines of...

"GDB will make sure all the memory regions that were written to the 
target's memory have their correct values, otherwise an error will be 
issued."?

Should i go even further to explain how the comparison is made?