Merge branch '720-model-_assert_true-for-coverity' into 'master'

Resolve "model _assert_true() for coverity"

Closes #720

See merge request isc-projects/bind9!1108
This commit is contained in:
Mark Andrews 2018-11-20 21:37:09 -05:00
commit 9c4c1320e2

View file

@ -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__();
}