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