summaryrefslogtreecommitdiff
path: root/src/nonstd/ASSERT_REPRESENTABLE.c
diff options
context:
space:
mode:
authorJakob Kaivo <jkk@ung.org>2019-02-08 18:42:39 -0500
committerJakob Kaivo <jkk@ung.org>2019-02-08 18:42:39 -0500
commit7ef8a7379f7f7d09e71ccae2a0b688c3cd80423f (patch)
tree092ab0aed1769117fd7b28b8592f6f96b0e0d5af /src/nonstd/ASSERT_REPRESENTABLE.c
parent6acf19370e8adff79cd83b257d3f04aeaf2a59dd (diff)
merge sources into single tree
Diffstat (limited to 'src/nonstd/ASSERT_REPRESENTABLE.c')
-rw-r--r--src/nonstd/ASSERT_REPRESENTABLE.c21
1 files changed, 21 insertions, 0 deletions
diff --git a/src/nonstd/ASSERT_REPRESENTABLE.c b/src/nonstd/ASSERT_REPRESENTABLE.c
new file mode 100644
index 00000000..0067d9b4
--- /dev/null
+++ b/src/nonstd/ASSERT_REPRESENTABLE.c
@@ -0,0 +1,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