summaryrefslogtreecommitdiff
path: root/src/_safety.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/_safety.h')
-rw-r--r--src/_safety.h25
1 files changed, 25 insertions, 0 deletions
diff --git a/src/_safety.h b/src/_safety.h
index 37b66915..85637013 100644
--- a/src/_safety.h
+++ b/src/_safety.h
@@ -4,6 +4,7 @@
_Noreturn void __undefined(const char *, ...);
#include <errno.h>
+#include <stdlib.h>
#include <stdio.h>
/*
#include "stdlib/_stdlib.h"
@@ -28,6 +29,30 @@ extern struct __checked_call {
#ifndef NDEBUG
#define UNDEFINED(...) __undefined(__VA_ARGS__)
+#define ADD_PREV(__val, __arr, __count) do { \
+ void *tmp = realloc((__arr), ((__count) + 1) * sizeof((__arr)[0])); \
+ if (tmp == NULL) { \
+ fprintf(stderr, "Out of memory tracking values\n"); \
+ abort(); \
+ } \
+ (__arr) = tmp; \
+ (__arr)[__count] = __val; \
+ (__count)++; \
+} while (0)
+
+#define ASSERT_PREV(__val, __arr, __count, __prev) do { \
+ int __found = 0; \
+ for (size_t __i = 0; __i < (__count); __i++) { \
+ if ((__arr)[__i] == (__val)) { \
+ __found = 1; \
+ break; \
+ } \
+ } \
+ if (!__found) { \
+ UNDEFINED("In call to %s(): %s was not returned by a previous call to %s", __func__, #__val, __prev); \
+ } \
+} while (0)
+
#define ASSERT_NONNULL(__ptr) do { \
if (!__ptr) { \
UNDEFINED("In call to %s(), parameter %s cannot be NULL", __func__, #__ptr); \