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

[Paolo Bonzini]

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.  Will check (for now I'm still running scans
with the old model).

Paolo