diff options
| author | Paolo Bonzini | 2017-03-15 09:16:41 +0100 |
|---|---|---|
| committer | Markus Armbruster | 2017-03-15 13:59:16 +0100 |
| commit | 4d0e72396b69656f36f484b54ffe64893d793a80 (patch) | |
| tree | 99de627cfcb765e40d4e2ffa536aae502d4b488d /tests/qapi-schema/nested-struct-data.err | |
| parent | tests: Use error_free_or_abort() where appropriate (diff) | |
| download | qemu-4d0e72396b69656f36f484b54ffe64893d793a80.tar.gz qemu-4d0e72396b69656f36f484b54ffe64893d793a80.tar.xz qemu-4d0e72396b69656f36f484b54ffe64893d793a80.zip | |
coverity-model: model address_space_read/write
Commit eb7eeb8 ("memory: split address_space_read and
address_space_write", 2015-12-17) made address_space_rw
dispatch to one of address_space_read or address_space_write,
rather than vice versa.
For callers of address_space_read and address_space_write this
causes false positive defects when Coverity sees a length-8 write in
address_space_read and a length-4 (e.g. int*) buffer to read into.
As long as the size of the buffer is okay, this is a false positive.
Reflect the code change into the model.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20170315081641.20588-1-pbonzini@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'tests/qapi-schema/nested-struct-data.err')
0 files changed, 0 insertions, 0 deletions