diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2018-07-05 16:50:38 +0100 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2018-07-05 16:50:38 +0100 |
| commit | efe2606862e7c13e84f0d27eccf5d037a5822896 (patch) | |
| tree | 2753f077cdb1d26b80b10f63008332c30ca5744b /scripts/coverity-model.c | |
| parent | 1daf14ec9e66cbe3cbfa74ba17c6cdd9cc6d8e07 (diff) | |
| parent | 19020d41759c7d34eae78d6afbec27c523d55bcd (diff) | |
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>
Diffstat (limited to 'scripts/coverity-model.c')
| -rw-r--r-- | scripts/coverity-model.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/scripts/coverity-model.c b/scripts/coverity-model.c index 48b112393b..2c0346ff25 100644 --- a/scripts/coverity-model.c +++ b/scripts/coverity-model.c @@ -106,12 +106,8 @@ static int get_keysym(const name2keysym_t *table, /* Replay data is considered trusted. */ uint8_t replay_get_byte(void) { - uint8_t byte = 0; - if (replay_file) { - uint8_t c; - byte = c; - } - return byte; + uint8_t byte; + return byte; } |