OSDN Git Service

coverity: Model g_free() isn't necessarily free()
authorMarkus Armbruster <armbru@redhat.com>
Mon, 26 Jan 2015 20:37:15 +0000 (21:37 +0100)
committerMarkus Armbruster <armbru@redhat.com>
Thu, 5 Feb 2015 16:16:11 +0000 (17:16 +0100)
commit7ad4c7200111d20eb97eed4f46b6026e3f0b0eef
treecabd6bb3d7f33267f2fbb153d946495fa268882b
parente4b77daa5724a9dd41aaa44d2dea4b8e92351081
coverity: Model g_free() isn't necessarily free()

Memory allocated with GLib needs to be freed with GLib.  Freeing it
with free() instead of g_free() is a common error.  Harmless when
g_free() is a trivial wrapper around free(), which is commonly the
case.  But model the difference anyway.

In a local scan, this flags four ALLOC_FREE_MISMATCH.  Requires
--enable ALLOC_FREE_MISMATCH, because the checker is still preview.

Signed-off-by: Markus Armbruster <armbru@redhat.com>
Acked-by: Paolo Bonzini <pbonzini@redhat.com>
scripts/coverity-model.c