1 #define LargestIntegralType unsigned long long
2
_assert_true(const LargestIntegralType result,const char * const expression,const char * const file,const int line)3 void _assert_true(const LargestIntegralType result,
4 const char* const expression,
5 const char * const file, const int line)
6 {
7 __coverity_panic__();
8 }
9
_assert_int_equal(const LargestIntegralType a,const LargestIntegralType b,const char * const file,const int line)10 void _assert_int_equal(
11 const LargestIntegralType a, const LargestIntegralType b,
12 const char * const file, const int line)
13 {
14 __coverity_panic__();
15 }
16
_assert_int_not_equal(const LargestIntegralType a,const LargestIntegralType b,const char * const file,const int line)17 void _assert_int_not_equal(
18 const LargestIntegralType a, const LargestIntegralType b,
19 const char * const file, const int line)
20 {
21 __coverity_panic__();
22 }
23
_assert_return_code(const LargestIntegralType result,size_t rlen,const LargestIntegralType error,const char * const expression,const char * const file,const int line)24 void _assert_return_code(const LargestIntegralType result,
25 size_t rlen,
26 const LargestIntegralType error,
27 const char * const expression,
28 const char * const file,
29 const int line)
30 {
31 __coverity_panic__();
32 }
33
_assert_string_equal(const char * const a,const char * const b,const char * const file,const int line)34 void _assert_string_equal(const char * const a, const char * const b,
35 const char * const file, const int line)
36 {
37 __coverity_panic__();
38 }
39
_assert_string_not_equal(const char * const a,const char * const b,const char * file,const int line)40 void _assert_string_not_equal(const char * const a, const char * const b,
41 const char *file, const int line)
42 {
43 __coverity_panic__();
44 }
45
_assert_memory_equal(const void * const a,const void * const b,const size_t size,const char * const file,const int line)46 void _assert_memory_equal(const void * const a, const void * const b,
47 const size_t size, const char* const file,
48 const int line)
49 {
50 __coverity_panic__();
51 }
52
_assert_memory_not_equal(const void * const a,const void * const b,const size_t size,const char * const file,const int line)53 void _assert_memory_not_equal(const void * const a, const void * const b,
54 const size_t size, const char* const file,
55 const int line)
56 {
57 __coverity_panic__();
58 }
59
_assert_in_range(const LargestIntegralType value,const LargestIntegralType minimum,const LargestIntegralType maximum,const char * const file,const int line)60 void _assert_in_range(
61 const LargestIntegralType value, const LargestIntegralType minimum,
62 const LargestIntegralType maximum, const char* const file, const int line)
63 {
64 __coverity_panic__();
65 }
66
_assert_not_in_range(const LargestIntegralType value,const LargestIntegralType minimum,const LargestIntegralType maximum,const char * const file,const int line)67 void _assert_not_in_range(
68 const LargestIntegralType value, const LargestIntegralType minimum,
69 const LargestIntegralType maximum, const char* const file, const int line)
70 {
71 __coverity_panic__();
72 }
73
_assert_in_set(const LargestIntegralType value,const LargestIntegralType values[],const size_t number_of_values,const char * const file,const int line)74 void _assert_in_set(
75 const LargestIntegralType value, const LargestIntegralType values[],
76 const size_t number_of_values, const char* const file, const int line)
77 {
78 __coverity_panic__();
79 }
80
_assert_not_in_set(const LargestIntegralType value,const LargestIntegralType values[],const size_t number_of_values,const char * const file,const int line)81 void _assert_not_in_set(
82 const LargestIntegralType value, const LargestIntegralType values[],
83 const size_t number_of_values, const char* const file, const int line)
84 {
85 __coverity_panic__();
86 }
87
88