From 00a8e6711ea5f22e47f81bed85b49511a9c2a60e Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Tue, 14 Nov 2023 14:59:21 -0500 Subject: add a function that triggers UB if the assert() macro is suppressed to access an actual function --- src/assert/assert.c | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/assert/assert.c (limited to 'src') 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 +#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) +*/ -- cgit v1.2.1