From: Mark Andrews <marka@isc.org>
Date: Fri, 2 Nov 2012 05:02:15 +0000 (+1100)
Subject: improve isc_mempool_put memory model
X-Git-Tag: v9.10.0a1~733
X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=07cab7ffa8f1dafe6f76ade9a2539b8732ecb7a4;p=thirdparty%2Fbind9.git

improve isc_mempool_put memory model
---

diff --git a/lib/isc/mem.c b/lib/isc/mem.c
index be05138ddae..66cf7b6a2d7 100644
--- a/lib/isc/mem.c
+++ b/lib/isc/mem.c
@@ -2100,6 +2100,7 @@ isc___mempool_get(isc_mempool_t *mpctx0 FLARG) {
 	return (item);
 }
 
+/* coverity[+free : arg-1] */
 ISC_MEMFUNC_SCOPE void
 isc___mempool_put(isc_mempool_t *mpctx0, void *mem FLARG) {
 	isc__mempool_t *mpctx = (isc__mempool_t *)mpctx0;