blob: 0067d9b4b270289d4cd864ddd46776f97ac80a47 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#include <nonstd/assert.h>
#ifndef NDEBUG
#define ASSERT_REPRESENTABLE(_n, _min, _max, _type, _sentinel) do { \
if (_sentinel && (_n != _sentinel && (_n < _min || _n > _max))) { \
struct __constraint_info _ci = {0}; \
_ci.func = __func__; \
__libc.stdlib.constraint_handler("Undefined behavior: " \
"Paramater " #_n " must be representable as a " #_type \
"or be equal to " #_sentinel, &_ci, ERANGE); \
} else if (_n < _min || _n > _max) { \
struct __constraint_info _ci = {0}; \
_ci.func = __func__; \
__libc.stdlib.constraint_handler("Undefined behavior: " \
"Parameter " #_n " must be representable as a " #_type, \
&_ci, ERANGE); \
} \
} while (0)
#else
#define ASSERT_REPRESENTABLE(_n, _min, _max, _type, _sentinel)
#endif
|
