summaryrefslogtreecommitdiff
path: root/src/_safety.h
diff options
context:
space:
mode:
authorJakob Kaivo <jkk@ung.org>2024-01-30 16:08:00 -0500
committerJakob Kaivo <jkk@ung.org>2024-01-30 16:08:00 -0500
commit237bf6358ed3e39b584b23d6b52e2b91a1d69cfa (patch)
tree08adde29489810c976b874a08c0f3c64c834359c /src/_safety.h
parent86b8bdb806e3095558021435390fa45b6ddde399 (diff)
update standards and safety checks
Diffstat (limited to 'src/_safety.h')
-rw-r--r--src/_safety.h7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/_safety.h b/src/_safety.h
index 5fd70493..348b6b0b 100644
--- a/src/_safety.h
+++ b/src/_safety.h
@@ -34,8 +34,8 @@ extern struct __checked_call {
} \
} while (0)
-#define ASSERT_NOOVERLAP(__x, __y, __s) do { \
- /* TODO */ \
+#define ASSERT_NOOVERLAP(__p1, __l1, __p2, __l2) do { \
+ /* TODO */ (void)(__p1); (void)(__l1); (void)(__p2); (void)(__l2); \
} while (0)
#define ASSERT_REPRESENTABLE(_n, _min, _max, _type, _sentinel) do { \
@@ -53,7 +53,8 @@ extern struct __checked_call {
if (__n == 0 && __signal.current != 0) { \
struct __constraint_info _ci = {0}; \
_ci.func = __func__; \
- _ci.value = __signal.current; \
+ _ci.signal = __signal.current; \
+ __signal.current = 0; \
__stdlib.constraint_handler("Undefined behavior: " \
"Standard library function called from signal handler", \
&_ci, 0); \