summaryrefslogtreecommitdiffstats
path: root/cocci/dns_name_copynf.spatch
diff options
context:
space:
mode:
Diffstat (limited to 'cocci/dns_name_copynf.spatch')
-rw-r--r--cocci/dns_name_copynf.spatch6
1 files changed, 6 insertions, 0 deletions
diff --git a/cocci/dns_name_copynf.spatch b/cocci/dns_name_copynf.spatch
new file mode 100644
index 0000000..7853b67
--- /dev/null
+++ b/cocci/dns_name_copynf.spatch
@@ -0,0 +1,6 @@
+@@
+expression E1, E2;
+@@
+
+- RUNTIME_CHECK(dns_name_copy(E1, E2, NULL) == ISC_R_SUCCESS);
++ dns_name_copynf(E1, E2);