From: Ondřej Surý <ondrej@sury.org>
Date: Thu, 15 Nov 2018 09:06:00 +0000 (+0100)
Subject: Remove the atf_tc coverity model
X-Git-Tag: v9.13.4~18^2~2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ed4a49122b02b9c840492c132a32efdb19ee03dd;p=thirdparty%2Fbind9.git

Remove the atf_tc coverity model
---

diff --git a/util/models.c b/util/models.c
index 2e2db2b1d8a..48e58f4f1c3 100644
--- a/util/models.c
+++ b/util/models.c
@@ -94,7 +94,3 @@ void isc__mempool_put(void *mem, void *ptr FLARG) {
 	if (!mem) __coverity_panic__();
 	__coverity_free__(ptr);
 }
-
-void atf_tc_fail_requirement(const char *, const size_t, const char *, ...) {
-	__coverity_panic__();
-}