From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:57296) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YLc2B-0003Sd-5x for qemu-devel@nongnu.org; Wed, 11 Feb 2015 13:29:12 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YLc27-0001Xu-Nk for qemu-devel@nongnu.org; Wed, 11 Feb 2015 13:29:11 -0500 Received: from mail-we0-x229.google.com ([2a00:1450:400c:c03::229]:35345) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YLc27-0001Xo-FM for qemu-devel@nongnu.org; Wed, 11 Feb 2015 13:29:07 -0500 Received: by mail-we0-f169.google.com with SMTP id k48so5292434wev.0 for ; Wed, 11 Feb 2015 10:29:06 -0800 (PST) Sender: Paolo Bonzini Message-ID: <54DB9F6E.90700@redhat.com> Date: Wed, 11 Feb 2015 19:29:02 +0100 From: Paolo Bonzini MIME-Version: 1.0 References: <1423153463-26494-1-git-send-email-armbru@redhat.com> <54DA30FE.9040309@redhat.com> <87386cik2b.fsf@blackfin.pond.sub.org> In-Reply-To: <87386cik2b.fsf@blackfin.pond.sub.org> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [PULL 0/4] coverity: Improve and extend model List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Markus Armbruster Cc: Peter Maydell , QEMU Developers \>> 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