From: Mark Andrews <marka@isc.org>
Date: Wed, 21 Nov 2018 01:45:55 +0000 (+1100)
Subject: model _assert_true
X-Git-Tag: v9.13.4~3^2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9a4aa2aa5ad9104a3dcc1d91b9439938785fd6cb;p=thirdparty%2Fbind9.git

model _assert_true
---

diff --git a/util/models.c b/util/models.c
index 48e58f4f1c3..0d54a456bfb 100644
--- a/util/models.c
+++ b/util/models.c
@@ -94,3 +94,16 @@ void isc__mempool_put(void *mem, void *ptr FLARG) {
 	if (!mem) __coverity_panic__();
 	__coverity_free__(ptr);
 }
+
+/*
+ * Cmocka models.
+ */
+
+#define LargestIntegralType unsigned long int
+
+void _assert_true(const LargestIntegralType result,
+		  const char * const expression,
+		  const char * const file, const int line)
+{
+	if (!result) __coverity_panic__();
+}