Re: [Qemu-devel] [PULL 0/4] coverity: Improve and extend model

[Markus Armbruster]

Paolo Bonzini <address@hidden> writes:

> On 05/02/2015 18:11, Peter Maydell wrote:
>> On 5 February 2015 at 16:24, Markus Armbruster <address@hidden> wrote:
>>> The following changes since commit ec6f25e788ef57ce1e9f734984ef8885172fd9e2:
>>>
>>>   Merge remote-tracking branch
>>> remotes/rth/tags/pull-tg-s390-20150203' into staging (2015-02-03
>>> 21:37:16 +0000)
>>>
>>> are available in the git repository at:
>>>
>>>
>>>   git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2015-02-05
>>>
>>> for you to fetch changes up to 8c413e7902ef0c19ced516f575db989ccc3785f8:
>>>
>>>   MAINTAINERS: Add myself as Coverity model maintainer (2015-02-05
>>> 17:16:14 +0100)
>>>
>>> ----------------------------------------------------------------
>>> coverity: Improve and extend model
>>>
>>> ----------------------------------------------------------------
>> 
>> Applied, thanks.
>> 
>> -- PMM
>> 
>> 
>
> It seems like Coverity Scan doesn't like the new model.  Possibly the
> fault of the third patch.

Works for me with a local 7.0.3 installation.  Which I just realized is
outdated.  I'll recheck with 7.6.0.

>                            Will check (for now I'm still running scans
> with the old model).

Appreciated.