Paolo Bonzini <pbonz...@redhat.com> writes: [...]
> 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. When I mess with Coverity, I test with my locally installed version first. Version skew and lack of the web interface can make that less than useful sometimes. This is not criticism of your work flow. > 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).
