diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 07:24:22 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 07:24:22 +0000 |
| commit | 45d6379135504814ab723b57f0eb8be23393a51d (patch) | |
| tree | d4f2ec4acca824a8446387a758b0ce4238a4dffa /cocci/dns_name_copy.spatch | |
| parent | Initial commit. (diff) | |
| download | bind9-upstream/1%9.16.44.tar.xz bind9-upstream/1%9.16.44.zip | |
Adding upstream version 1:9.16.44.upstream/1%9.16.44upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'cocci/dns_name_copy.spatch')
| -rw-r--r-- | cocci/dns_name_copy.spatch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/cocci/dns_name_copy.spatch b/cocci/dns_name_copy.spatch new file mode 100644 index 0000000..89e340c --- /dev/null +++ b/cocci/dns_name_copy.spatch @@ -0,0 +1,30 @@ +@@ +expression E1, E2; +@@ + +- dns_name_copy(E1, E2, NULL); ++ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS); + +@@ +expression E1, E2; +@@ + +- (void)dns_name_copy(E1, E2, NULL); ++ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS); + +@@ +expression E1, E2; +@@ + +- return (dns_name_copy(E1, E2, NULL)); ++ RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS); ++ return (ISC_R_SUCCESS); + +// ./bin/named/query.c processing broken with this rule, fix manually +// @@ +// expression V, E1, E2; +// @@ +// +// - V = dns_name_copy(E1, E2, NULL); +// - RUNTIME_CHECK(V == ISC_R_SUCCESS); +// + RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS); |