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 (file)
index 0000000..43fa8cc
--- /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;
+