From 21902d0ac7c9735bc70ed5995573c0d3c2c8d920 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ond=C5=99ej=20Sur=C3=BD?= Date: Fri, 1 Nov 2019 08:30:32 -0500 Subject: [PATCH] cocci: Add semantic patch to refactor dns_name_dup() usage --- cocci/dns_name_dup.spatch | 40 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 cocci/dns_name_dup.spatch diff --git a/cocci/dns_name_dup.spatch b/cocci/dns_name_dup.spatch new file mode 100644 index 0000000000..42eddcee5f --- /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