diff --git a/cocci/dns_name_copynf.spatch b/cocci/dns_name_copynf.spatch new file mode 100644 index 0000000000..7853b679e0 --- /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);