improve isc_mempool_put memory model

diff --git a/lib/isc/mem.c b/lib/isc/mem.c
index be05138ddae602139491714846c74af685c8d930..66cf7b6a2d7c9bbba0b0f2b26f4c631b96d2cede 100644 (file)
--- 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;