diff options
| author | Paolo Bonzini | 2015-05-04 14:18:09 +0200 |
|---|---|---|
| committer | Markus Armbruster | 2015-05-05 10:42:11 +0200 |
| commit | 2e1c92daff752c056ae10087e6b1702b0460af88 (patch) | |
| tree | b6a85e5a4d7f410cbcdea5917cd7921f7e9ef288 /include/exec | |
| parent | Merge remote-tracking branch 'remotes/kevin/tags/for-upstream' into staging (diff) | |
| download | qemu-2e1c92daff752c056ae10087e6b1702b0460af88.tar.gz qemu-2e1c92daff752c056ae10087e6b1702b0460af88.tar.xz qemu-2e1c92daff752c056ae10087e6b1702b0460af88.zip | |
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>
Diffstat (limited to 'include/exec')
0 files changed, 0 insertions, 0 deletions