[Qemu-commits] [qemu/qemu] 2e1c92: coverity: fix address_space_rw model

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/qemu/qemu
  Commit: 2e1c92daff752c056ae10087e6b1702b0460af88
      
https://github.com/qemu/qemu/commit/2e1c92daff752c056ae10087e6b1702b0460af88
  Author: Paolo Bonzini <address@hidden>
  Date:   2015-05-05 (Tue, 05 May 2015)

  Changed paths:
    M scripts/coverity-model.c

  Log Message:
  -----------
  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 <address@hidden>
Signed-off-by: Paolo Bonzini <address@hidden>
Signed-off-by: Markus Armbruster <address@hidden>


  Commit: b4c5df7a15dad2417bc05d08a470b82ab89d56ea
      
https://github.com/qemu/qemu/commit/b4c5df7a15dad2417bc05d08a470b82ab89d56ea
  Author: Peter Maydell <address@hidden>
  Date:   2015-05-05 (Tue, 05 May 2015)

  Changed paths:
    M scripts/coverity-model.c

  Log Message:
  -----------
  Merge remote-tracking branch 'remotes/armbru/tags/pull-cov-model-2015-05-05' 
into staging

coverity: fix address_space_rw model

# gpg: Signature made Tue May  5 09:44:26 2015 BST using RSA key ID EB918653
# gpg: Good signature from "Markus Armbruster <address@hidden>"
# gpg:                 aka "Markus Armbruster <address@hidden>"

* remotes/armbru/tags/pull-cov-model-2015-05-05:
  coverity: fix address_space_rw model

Signed-off-by: Peter Maydell <address@hidden>


Compare: https://github.com/qemu/qemu/compare/5bccbb04a4ab...b4c5df7a15da