add coccinelle script

add a semantic patch to prevent (most) future uses of the
CHECK and RETERR patterns.

diff --git a/cocci/check-reterr.spatch b/cocci/check-reterr.spatch
new file mode 100644 (file)
index 0000000..bba9841
--- /dev/null
+++ b/cocci/check-reterr.spatch
@@ -0,0 +1,30 @@
+@@
+expression E1;
+@@
+
+- result = E1;
+- if (result != ISC_R_SUCCESS) {
+- goto cleanup;
+- }
++ CHECK(E1);
+
+@@
+expression E1;
+isc_result_t result;
+@@
+
+- result = E1;
+- if (result != ISC_R_SUCCESS) {
+- return result;
+- }
++ RETERR(E1);
+
+@@
+expression E1;
+@@
+
+- result = E1;
+- if (result != ISC_R_SUCCESS) {
+- CHECK(result);
+- }
++ CHECK(E1);