Make test for suppressing thread-unsafe lib fun calls check more cases

Author: karoliineh

tests/regression/00-sanity/52-thread-unsafe-libfuns-single-thread.c

@@ -1,8 +1,16 @@
-// PARAM: --enable allglobs
-
+// PARAM: --enable allglobs --set ana.activated[+] threadJoins
 #include <stdlib.h>
+#include <pthread.h>
+
+void *t_benign(void *arg) {
+  return NULL;
+}
 
 int main() {
+  rand();
+  pthread_t id;
+  pthread_create(&id, NULL, t_benign, NULL);
+  pthread_join(id, NULL);
   rand();
   return 0;
 }

tests/regression/00-sanity/52-thread-unsafe-libfuns-single-thread.t

@@ -1,5 +1,5 @@
-  $ goblint --enable allglobs 52-thread-unsafe-libfuns-single-thread.c
+  $ goblint --enable allglobs --set ana.activated[+] threadJoins 52-thread-unsafe-libfuns-single-thread.c
   [Info][Deadcode] Logical lines of code (LLoC) summary:
-    live: 3
+    live: 8
     dead: 0
-    total lines: 3
+    total lines: 8