|
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 #else #define AFM_g_free "g_free" #endif Paolo
[Prev in Thread] | Current Thread | [Next in Thread] |