diff options
author | Andreas Schneider <asn@cryptomilk.org> | 2013-07-29 19:39:46 +0200 |
---|---|---|
committer | Andreas Schneider <asn@cryptomilk.org> | 2013-07-29 19:40:12 +0200 |
commit | c69d643581fd9eea780429a0fb77fb8993181044 (patch) | |
tree | 740790e004f0178680689055bc903f37dc2acc9f /coverity | |
parent | ce9c96b9e962f618804c7303e866098342d4d528 (diff) | |
download | cmocka-c69d643581fd9eea780429a0fb77fb8993181044.tar.gz cmocka-c69d643581fd9eea780429a0fb77fb8993181044.tar.xz cmocka-c69d643581fd9eea780429a0fb77fb8993181044.zip |
coverity: Add modeling file for assert functions.
Diffstat (limited to 'coverity')
-rw-r--r-- | coverity/README | 9 | ||||
-rw-r--r-- | coverity/coverity_assert_model.c | 77 | ||||
-rw-r--r-- | coverity/coverity_internal_model.c (renamed from coverity/coverity_model.c) | 0 |
3 files changed, 86 insertions, 0 deletions
diff --git a/coverity/README b/coverity/README new file mode 100644 index 0000000..7756137 --- /dev/null +++ b/coverity/README @@ -0,0 +1,9 @@ +coverity_assert_model.c: + +This file is a Coverity Modeling file for projects using CMocka for unit +testing. The assert functiions could create false positives, to avoid that you +can load this modeling file in the Coverity web interface. + +coverity_internal_model.c: + +This file is for the CMocka source code itself. diff --git a/coverity/coverity_assert_model.c b/coverity/coverity_assert_model.c new file mode 100644 index 0000000..e14e581 --- /dev/null +++ b/coverity/coverity_assert_model.c @@ -0,0 +1,77 @@ +#define LargestIntegralType unsigned long long + +void _assert_true(const LargestIntegralType result, + const char* const expression, + const char * const file, const int line) +{ + __coverity_panic__(); +} + +void _assert_int_equal( + const LargestIntegralType a, const LargestIntegralType b, + const char * const file, const int line) +{ + __coverity_panic__(); +} + +void _assert_int_not_equal( + const LargestIntegralType a, const LargestIntegralType b, + const char * const file, const int line) +{ + __coverity_panic__(); +} + +void _assert_string_equal(const char * const a, const char * const b, + const char * const file, const int line) +{ + __coverity_panic__(); +} + +void _assert_string_not_equal(const char * const a, const char * const b, + const char *file, const int line) +{ + __coverity_panic__(); +} + +void _assert_memory_equal(const void * const a, const void * const b, + const size_t size, const char* const file, + const int line) +{ + __coverity_panic__(); +} + +void _assert_memory_not_equal(const void * const a, const void * const b, + const size_t size, const char* const file, + const int line) +{ + __coverity_panic__(); +} + +void _assert_in_range( + const LargestIntegralType value, const LargestIntegralType minimum, + const LargestIntegralType maximum, const char* const file, const int line) +{ + __coverity_panic__(); +} + +void _assert_not_in_range( + const LargestIntegralType value, const LargestIntegralType minimum, + const LargestIntegralType maximum, const char* const file, const int line) +{ + __coverity_panic__(); +} + +void _assert_in_set( + const LargestIntegralType value, const LargestIntegralType values[], + const size_t number_of_values, const char* const file, const int line) +{ + __coverity_panic__(); +} + +void _assert_not_in_set( + const LargestIntegralType value, const LargestIntegralType values[], + const size_t number_of_values, const char* const file, const int line) +{ + __coverity_panic__(); +} + diff --git a/coverity/coverity_model.c b/coverity/coverity_internal_model.c index fd1416d..fd1416d 100644 --- a/coverity/coverity_model.c +++ b/coverity/coverity_internal_model.c |