From 9a4aa2aa5ad9104a3dcc1d91b9439938785fd6cb Mon Sep 17 00:00:00 2001 From: Mark Andrews Date: Wed, 21 Nov 2018 12:45:55 +1100 Subject: [PATCH] model _assert_true --- util/models.c | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/util/models.c b/util/models.c index 48e58f4f1c..0d54a456bf 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__(); +}