From: Peter Maydell <peter.maydell@linaro.org>
Date: Thu, 5 Jul 2018 15:50:38 +0000 (+0100)
Subject: Merge remote-tracking branch 'remotes/armbru/tags/pull-cov-model-2018-07-05' into... 
X-Git-Url: http://git.maquefel.me/?a=commitdiff_plain;h=efe2606862e7c13e84f0d27eccf5d037a5822896;p=qemu.git

Merge remote-tracking branch 'remotes/armbru/tags/pull-cov-model-2018-07-05' into staging

Coverity model patches for 2018-07-05

# gpg: Signature made Thu 05 Jul 2018 14:11:03 BST
# gpg:                using RSA key 3870B400EB918653
# 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-cov-model-2018-07-05:
  coverity-model: Fix replay_get_byte()

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

efe2606862e7c13e84f0d27eccf5d037a5822896