From: Peter Maydell <peter.maydell@linaro.org>
Date: Wed, 15 Mar 2017 17:54:41 +0000 (+0000)
Subject: Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2017-03-15' into staging
X-Git-Url: http://git.maquefel.me/?a=commitdiff_plain;h=de71fb96bfcdf6356355f49a886fbf58fe93bf87;p=qemu.git

Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2017-03-15' into staging

Miscellaneous patches for 2017-03-15

# gpg: Signature made Wed 15 Mar 2017 13:12:35 GMT
# gpg:                using RSA key 0x3870B400EB918653
# gpg: Good signature from "Markus Armbruster <armbru@redhat.com>"
# gpg:                 aka "Markus Armbruster <armbru@pond.sub.org>"
# Primary key fingerprint: 354B C8B3 D7EB 2A6B 6867  4E5F 3870 B400 EB91 8653

* remotes/armbru/tags/pull-misc-2017-03-15:
  coverity-model: model address_space_read/write
  tests: Use error_free_or_abort() where appropriate

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
---

de71fb96bfcdf6356355f49a886fbf58fe93bf87