add a function that triggers UB if the assert() macro is suppressed to access an actual function

1 files changed, 13 insertions, 0 deletions

diff --git a/src/assert/assert.c b/src/assert/assert.c
new file mode 100644
index 00000000..2a5551a4
--- /dev/null
+++ b/src/assert/assert.c
@@ -0,0 +1,13 @@
+#include <stdlib.h>
+#include "stdlib/_stdlib.h"
+
+_Noreturn void assert(int exp)
+{
+	(void)exp;
+	__stdlib.constraint_handler("Undefined Behavior: The assert() macro has been suppressed to access an actual function", NULL, 0);
+	abort();
+}
+
+/*
+STDC(0)
+*/