diff options
Diffstat (limited to 'cocci/dns_name_dup.disabled')
| -rw-r--r-- | cocci/dns_name_dup.disabled | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/cocci/dns_name_dup.disabled b/cocci/dns_name_dup.disabled new file mode 100644 index 0000000..42eddce --- /dev/null +++ b/cocci/dns_name_dup.disabled @@ -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 |