Add test for suppressing thread-unsafe lib fun calls in single-thread…

…ed mode #1260
goblint · Dec 27, 2023 · 8bb2c5f · 8bb2c5f
1 parent ea1bf23
commit 8bb2c5f
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/tests/regression/00-sanity/52-thread-unsafe-libfuns-single-thread.c b/tests/regression/00-sanity/52-thread-unsafe-libfuns-single-thread.c
@@ -0,0 +1,8 @@
+// PARAM: --enable allglobs
+
+#include <stdlib.h>
+
+int main() {
+  rand();
+  return 0;
+}
diff --git a/tests/regression/00-sanity/52-thread-unsafe-libfuns-single-thread.t b/tests/regression/00-sanity/52-thread-unsafe-libfuns-single-thread.t
@@ -0,0 +1,5 @@
+  $ goblint --enable allglobs 52-thread-unsafe-libfuns-single-thread.c
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 3
+    dead: 0
+    total lines: 3