projects / qemu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bccbb0) | patch
coverity: fix address_space_rw model
authorPaolo Bonzini <pbonzini@redhat.com>
Mon, 4 May 2015 12:18:09 +0000 (14:18 +0200)
committerMarkus Armbruster <armbru@redhat.com>
Tue, 5 May 2015 08:42:11 +0000 (10:42 +0200)
commit2e1c92daff752c056ae10087e6b1702b0460af88
treeb6a85e5a4d7f410cbcdea5917cd7921f7e9ef288tree | snapshot
parent5bccbb04a4abba7af4398de992bf06d585fd1333commit | diff
coverity: fix address_space_rw model

If the is_write argument is true, address_space_rw writes to memory
and thus reads from the buffer.  The opposite holds if is_write is
false.  Fix the model.

Cc: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
scripts/coverity-model.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.