[Top][All Lists]

[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: Wed, 11 Feb 2015 19:29:02 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0

\>> 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.

Yes, the last patch seems to be the culprit.  It failed immediately with
the __coverity_mark_as_afm_freed__(ptr, "g_free") model; it's been
running for a while without it even though it's not done yet.

Perhaps we can do something like this:

/* Some helpful comment here.  */
#if 1
#define AFM_g_free              AFM_free
#define AFM_g_free              "g_free"


reply via email to

[Prev in Thread] Current Thread [Next in Thread]