From: Colin Vidal <colin@isc.org>
Date: Wed, 28 May 2025 20:55:52 +0000 (+0200)
Subject: coccinelle patch for isc_mem_free()/isc_mem_put()
X-Git-Tag: v9.21.9~30^2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=19fefc23ccf640604e3286cc453d6e7c42627dd6;p=thirdparty%2Fbind9.git

coccinelle patch for isc_mem_free()/isc_mem_put()

add a Coccinelle patch to ensure the pointer being used by
isc_mem_free() and isc_mem_put() is not explicitly set to NULL (those
mecros are taking care of it).
---

diff --git a/cocci/isc_mem_macros.spatch b/cocci/isc_mem_macros.spatch
new file mode 100644
index 00000000000..43fa8ccd44c
--- /dev/null
+++ b/cocci/isc_mem_macros.spatch
@@ -0,0 +1,80 @@
+@@
+expression e1, e2;
+@@
+
+isc_mem_free(e1, e2);
+- e2 = NULL;
+
+@@
+expression e1, e2;
+@@
+
+if (e2 != NULL) {
+isc_mem_free(e1, e2);
+}
+- e2 = NULL;
+
+@@
+expression e1, e2;
+@@
+
+isc_mempool_put(e1, e2);
+- e2 = NULL;
+
+@@
+expression e1, e2;
+@@
+
+if (e2 != NULL) {
+isc_mempool_put(e1, e2);
+}
+- e2 = NULL;
+
+@@
+expression e1, e2, e3;
+@@
+
+isc_mem_put(e1, e2, e3);
+- e2 = NULL;
+
+@@
+expression e1, e2, e3;
+@@
+
+if (e2 != NULL) {
+isc_mem_put(e1, e2, e3);
+}
+- e2 = NULL;
+
+@@
+expression e1, e2, e3;
+@@
+
+isc_mem_putanddetach(e1, e2, e3);
+- e2 = NULL;
+
+@@
+expression e1, e2, e3;
+@@
+
+if (e2 != NULL) {
+isc_mem_putanddetach(e1, e2, e3);
+}
+- e2 = NULL;
+
+@@
+expression e1, e2, e3, e4;
+@@
+
+isc_mem_cput(e1, e2, e3, e4);
+- e2 = NULL;
+
+@@
+expression e1, e2, e3, e4;
+@@
+
+if (e2 != NULL) {
+isc_mem_cput(e1, e2, e3, e4);
+}
+- e2 = NULL;
+