Add test case with pthread_exit called in main, remove threadid analy…

…sis from params as it is not needed.
goblint · Nov 21, 2023 · 56c4d62 · 56c4d62
1 parent 45ec8a6
commit 56c4d62
Show file tree

Hide file tree

Showing 5 changed files with 28 additions and 6 deletions.
diff --git a/tests/regression/76-memleak/08-invalid-memcleanup-multi-threaded.c b/tests/regression/76-memleak/08-invalid-memcleanup-multi-threaded.c
@@ -1,4 +1,4 @@
-//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak  --set ana.activated[+] thread --set ana.activated[+] threadid
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak --set ana.activated[+] thread
 #include <stdlib.h>
 #include <pthread.h>
 
@@ -26,7 +26,7 @@ int main(int argc, char const *argv[]) {
 
     pthread_t t2;
     pthread_create(&t2, NULL, f2, NULL);
-    
+
     free(g);
 
     pthread_join(t1, NULL);

diff --git a/tests/regression/76-memleak/09-invalid-memcleanup-multi-threaded-abort.c b/tests/regression/76-memleak/09-invalid-memcleanup-multi-threaded-abort.c
@@ -1,5 +1,4 @@
-//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak  --set ana.activated[+] thread --set ana.activated[+] threadid
-#include <stdlib.h>
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak  --set ana.activated[+] thread 
 #include <pthread.h>
 
 int *g;

diff --git a/tests/regression/76-memleak/14-invalid-memcleanup-multi-threaded-betterpiv.c b/tests/regression/76-memleak/14-invalid-memcleanup-multi-threaded-betterpiv.c
@@ -1,4 +1,4 @@
-//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak --set ana.base.privatization mutex-meet-tid --set ana.path_sens[+] threadflag  --set ana.activated[+] thread --set ana.activated[+] threadid
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak --set ana.base.privatization mutex-meet-tid --set ana.path_sens[+] threadflag  --set ana.activated[+] thread
 #include <stdlib.h>
 #include <pthread.h>
 

diff --git a/tests/regression/76-memleak/15-mem-leak-not-joined-thread.c b/tests/regression/76-memleak/15-mem-leak-not-joined-thread.c
@@ -1,4 +1,4 @@
-//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak --set ana.activated[+] thread --set ana.activated[+] threadid
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak --set ana.activated[+] thread
 #include <stdlib.h>
 #include <pthread.h>
 

diff --git a/tests/regression/76-memleak/16-no-mem-leak-thread-exit-main.c b/tests/regression/76-memleak/16-no-mem-leak-thread-exit-main.c
@@ -0,0 +1,23 @@
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak --set ana.activated[+] thread
+#include <stdlib.h>
+#include <pthread.h>
+
+int *m1;
+
+void *f1(void *arg) {
+    m1 = malloc(sizeof(int));
+    while (1);
+}
+
+int main(int argc, char const *argv[]) {
+    pthread_t t1;
+    pthread_create(&t1, NULL, f1, NULL);
+
+    pthread_exit(NULL);
+
+    pthread_join(t1, NULL);
+
+    // A pthread_join called in main will wait for other threads to finish
+    // Therefore, no memory leak here
+    return 0; // NOWARN
+}