1 files changed, 1 insertions, 59 deletions
diff --git a/src/_assert.h b/src/_assert.h
index 2466455f..ef0de249 100644
--- a/src/_assert.h
+++ b/src/_assert.h
@@ -1,59 +1 @@
-#ifndef ___ASSERT_H__
-#define ___ASSERT_H__
-
-#include <errno.h>
-#include <stdio.h>
-#include "stdlib/_stdlib.h"
-
-#ifdef THREADS
-_Thread_local
-#endif
-extern struct __checked_call {
-	char *file;
-	char *func;
-	unsigned long long line;
-} __checked_call;
-
-#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, 0 /* was 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
+#include "_safety.h"