Add atexit test with spawn disabled

goblint · Sep 25, 2023 · 4bc0303 · 4bc0303
1 parent 1947aae
commit 4bc0303
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/tests/regression/41-stdlib/08-atexit-no-spawn.c b/tests/regression/41-stdlib/08-atexit-no-spawn.c
@@ -0,0 +1,14 @@
+// PARAM: --disable sem.unknown_function.spawn
+#include <stdlib.h>
+#include <goblint.h>
+
+void bye()
+{
+  __goblint_check(0); // NOWARN (unreachable)
+}
+
+int main()
+{
+  atexit(bye);
+  return 0;
+}