1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
#ifndef ___ASSERT_H__
#define ___ASSERT_H__
#include <errno.h>
#include <stdio.h>
#include "stdlib/_stdlib.h"
#ifndef NDEBUG
#define ASSERT_NONNULL(__ptr) do { \
if (!__ptr) { \
struct __constraint_info _ci = {0}; \
_ci.func = __func__; \
__stdlib.constraint_handler("Undefined behavior: " \
"Parameter " #__ptr " can not be NULL", &_ci, EFAULT); \
} \
} while (0)
#define ASSERT_NONZERO(__n) do { \
if (!__n) { \
struct __constraint_info _ci = {0}; \
_ci.func = __func__; \
__stdlib.constraint_handler("Undefined behavior: " \
"Parameter " #__n " can not be 0", &_ci, ERANGE); \
} \
} while (0)
#define ASSERT_NOOVERLAP(__x, __y, __s) do { \
/* TODO */ \
} while (0)
#define ASSERT_REPRESENTABLE(_n, _min, _max, _type, _sentinel) do { \
if (!(((_n) == (_sentinel)) || (((_min) <= (_n)) && ((_n) <= (_max))))) { \
struct __constraint_info _ci = {0}; \
_ci.func = __func__; \
_ci.value = _n; \
__stdlib.constraint_handler("Undefined behavior: " \
"Parameter " #_n " must be representable as a " #_type \
" or be equal to " #_sentinel, &_ci, ERANGE); \
} \
} while (0)
#else
#define ASSERT_REPRESENTABLE(_n, _min, _max, _type, _sentinel)
#define ASSERT_NOOVERLAP(__x, __y, __s)
#define ASSERT_NONNULL(x)
#define ASSERT_NONZERO(n)
#endif
#endif
|
