diff options
Diffstat (limited to 'cocci/dns_name_copy-with-result.spatch')
| -rw-r--r-- | cocci/dns_name_copy-with-result.spatch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/cocci/dns_name_copy-with-result.spatch b/cocci/dns_name_copy-with-result.spatch new file mode 100644 index 0000000..c4555c3 --- /dev/null +++ b/cocci/dns_name_copy-with-result.spatch @@ -0,0 +1,30 @@ +@@ +expression V, E1, E2; +statement S; +@@ + +- V = dns_name_copy(E1, E2, NULL); +- if (V != ISC_R_SUCCESS) S ++ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS); + +@@ +expression V, E1, E2; +statement S1, S2; +@@ + +- V = dns_name_copy(E1, E2, NULL); +- if (V == ISC_R_SUCCESS) S1 else S2; ++ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS); ++ S2 + +@@ +expression V, E1, E2; +statement S1, S2; +@@ + +- V = dns_name_copy(E1, E2, NULL); +- S1 +- if (V == ISC_R_SUCCESS) S2 ++ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS); ++ S1 ++ S2 |