[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PULL 0/4] coverity: Improve and extend model
|
From: |
Paolo Bonzini |
|
Subject: |
Re: [Qemu-devel] [PULL 0/4] coverity: Improve and extend model |
|
Date: |
Thu, 12 Feb 2015 15:11:48 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 |
On 12/02/2015 10:11, Markus Armbruster wrote:
> > Yes, the last patch seems to be the culprit. It failed immediately with
> > the __coverity_mark_as_afm_freed__(ptr, "g_free") model;
>
> Any diagnostics?
None. It just says roughly "the build had a temporary problem and will
be rescheduled".
> The alternative is to revert the patch for now.
No problem, the model file is anyway just documentation since you have
to upload it manually.
I'll ask the admins.
Paolo
- [Qemu-devel] [PULL 1/4] coverity: Improve model for GLib memory allocation, (continued)