From c8c6718ee4924be2e366526f71f263444554e53e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20Sur=C3=BD?= <ondrej@sury.org>
Date: Tue, 10 Sep 2019 14:41:53 +0200
Subject: [PATCH] Add semantic patch to replace
 RUNTIME_CHECK(dns_name_copy(..., NULL)) with dns_name_copynf

(cherry picked from commit ac26ecf540e7c6138a227de3e564b17f06df8b5b)
---
 cocci/dns_name_copynf.spatch | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 cocci/dns_name_copynf.spatch

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);