Re: [PATCH 0/6] Updates for Coverity modeling file

[Paolo Bonzini]

On 02/08/21 14:46, Peter Maydell wrote:
> > This series is a sort of FYI; since the only way to debug the model file
> > is to upload it to scan.coverity.com, these changes are all already live.
> > The last will be as of the next build, but was effective last Thursday
> > and worked (I tried disabling it on Friday in something like a bisection,
> > but it failed and I have now reverted to Thursday's model).
> Thanks for digging through all this mess. I take it that the
> Coverity results are now stable and people can now start looking
> through them and triaging again ?

Yes, these patches are the final result of the "investigation".

Paolo