Coverity model patches for 2018-07-05

[Qemu-devel] [PULL 0/1] Coverity model patches for 2018-07-05

Markus Armbruster posted 1 patch 7 years, 4 months ago

Download series mbox

Patches applied successfully (tree, apply log)
git fetch https://github.com/patchew-project/qemu tags/patchew/20180705131417.1847-1-armbru@redhat.com

Test checkpatch passed

Test docker-mingw@fedora passed

Test docker-quick@centos7 passed

scripts/coverity-model.c | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)

Expand all Fold all

[Qemu-devel] [PULL 0/1] Coverity model patches for 2018-07-05

Posted by Markus Armbruster 7 years, 4 months ago

The following changes since commit 4fd1cbaf146d4ab35f465bba0fe23115c33cd5a7:

  Merge remote-tracking branch 'remotes/armbru/tags/pull-monitor-2018-07-03-v2' into staging (2018-07-05 11:25:14 +0100)

are available in the Git repository at:

  git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2018-07-05

for you to fetch changes up to 19020d41759c7d34eae78d6afbec27c523d55bcd:

  coverity-model: Fix replay_get_byte() (2018-07-05 15:09:52 +0200)

----------------------------------------------------------------
Coverity model patches for 2018-07-05

----------------------------------------------------------------
Markus Armbruster (1):
      coverity-model: Fix replay_get_byte()

 scripts/coverity-model.c | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

-- 
2.17.1

Re: [Qemu-devel] [PULL 0/1] Coverity model patches for 2018-07-05

Posted by Peter Maydell 7 years, 4 months ago

On 5 July 2018 at 14:14, Markus Armbruster <armbru@redhat.com> wrote:
> The following changes since commit 4fd1cbaf146d4ab35f465bba0fe23115c33cd5a7:
>
>   Merge remote-tracking branch 'remotes/armbru/tags/pull-monitor-2018-07-03-v2' into staging (2018-07-05 11:25:14 +0100)
>
> are available in the Git repository at:
>
>   git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2018-07-05
>
> for you to fetch changes up to 19020d41759c7d34eae78d6afbec27c523d55bcd:
>
>   coverity-model: Fix replay_get_byte() (2018-07-05 15:09:52 +0200)
>
> ----------------------------------------------------------------
> Coverity model patches for 2018-07-05
>
> ----------------------------------------------------------------
> Markus Armbruster (1):
>       coverity-model: Fix replay_get_byte()
>
>  scripts/coverity-model.c | 8 ++------
>  1 file changed, 2 insertions(+), 6 deletions(-)
>
Applied, thanks.

-- PMM