From: Ondřej Surý <ondrej@sury.org>
Date: Fri, 1 Nov 2019 13:30:32 +0000 (-0500)
Subject: cocci: Add semantic patch to refactor dns_name_dup() usage
X-Git-Tag: v9.15.7~46^2~2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=21902d0ac7c9735bc70ed5995573c0d3c2c8d920;p=thirdparty%2Fbind9.git

cocci: Add semantic patch to refactor dns_name_dup() usage
---

diff --git a/cocci/dns_name_dup.spatch b/cocci/dns_name_dup.spatch
new file mode 100644
index 00000000000..42eddcee5fe
--- /dev/null
+++ b/cocci/dns_name_dup.spatch
@@ -0,0 +1,40 @@
+@@
+expression E1, E2, E3;
+statement S;
+expression V;
+@@
+
+- V = dns_name_dup(E1, E2, E3);
++ dns_name_dup(E1, E2, E3);
+- if (V != ISC_R_SUCCESS) S
+
+@@
+expression E1, E2, E3;
+statement S1, S2;
+expression V;
+@@
+
+- V = dns_name_dup(E1, E2, E3);
+- if (V != ISC_R_SUCCESS) S1 else { S2 }
++ dns_name_dup(E1, E2, E3);
++ S2
+
+@@
+expression E1, E2, E3;
+expression V;
+@@
+
+- V = dns_name_dup(E1, E2, E3);
+- RUNTIME_CHECK(V == ISC_R_SUCCESS);
++ dns_name_dup(E1, E2, E3);
+
+@@
+expression E1, E2, E3;
+statement S1, S2;
+expression V;
+@@
+
+- V = dns_name_dup(E1, E2, E3);
++ dns_name_dup(E1, E2, E3);
+S1
+- if (V != ISC_R_SUCCESS) S2