add coverity[+free : arg-1] directive

diff --git a/lib/isc/mem.c b/lib/isc/mem.c
index 4851aa977ba1ed8f3dcbbf3f6429b4dfff5644ee..b2e18d28020206403838d576c5ddcdbdde09e810 100644 (file)
--- a/lib/isc/mem.c
+++ b/lib/isc/mem.c
@@ -745,6 +745,7 @@ check_overrun(void *mem, size_t size, size_t new_size) {
 }
 #endif
 
+/* coverity[+free : arg-1] */
 static inline void
 mem_putunlocked(isc__mem_t *ctx, void *mem, size_t size) {
        size_t new_size = quantize(size);
@@ -821,6 +822,7 @@ mem_get(isc__mem_t *ctx, size_t size) {
 /*!
  * Perform a free, doing memory filling and overrun detection as necessary.
  */
+/* coverity[+free : arg-1] */
 static inline void
 mem_put(isc__mem_t *ctx, void *mem, size_t size) {
 #if ISC_MEM_CHECKOVERRUN