Add test case for memory leaking from a thead that is not joined, add…

… thread_joins to other test cases.

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
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak  --set ana.activated[+] thread --set ana.activated[+] threadid
 #include <stdlib.h>
 #include <pthread.h>
 
@@ -7,6 +7,7 @@ int *m1;
 
 void *f1(void *arg) {
     m1 = malloc(sizeof(int));
+    free(m1);
     // Thread t1 leaks m1 here
     pthread_exit(NULL); //WARN
 }
@@ -28,6 +29,9 @@ int main(int argc, char const *argv[]) {
 
     free(g);
 
+    pthread_join(t1, NULL);
+    pthread_join(t2, NULL);
+
     // main thread is not leaking anything
     return 0; //NOWARN
 }

tests/regression/76-memleak/09-invalid-memcleanup-multi-threaded-abort.c

@@ -1,4 +1,4 @@
-//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak  --set ana.activated[+] thread --set ana.activated[+] threadid
 #include <stdlib.h>
 #include <pthread.h>
 
@@ -25,9 +25,12 @@ int main(int argc, char const *argv[]) {
 
     pthread_t t2;
     pthread_create(&t2, NULL, f2, NULL);
-    
+
     free(g);
 
+    pthread_join(t1, NULL);
+    pthread_join(t2, NULL);
+
     // main thread is not leaking anything
     return 0; //NOWARN
 }

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 
+//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
 #include <stdlib.h>
 #include <pthread.h>
 
@@ -28,6 +28,9 @@ int main(int argc, char const *argv[]) {
 
     free(g);
 
+    pthread_join(t1, NULL);
+    pthread_join(t2, NULL);
+
     // main thread is not leaking anything
     return 0; //NOWARN
 }

tests/regression/76-memleak/15-mem-leak-not-joined-thread.c

@@ -0,0 +1,18 @@
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak --set ana.activated[+] thread --set ana.activated[+] threadid
+#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);
+
+	// memory from thread f1 which was not joined into main, is not freed
+    return 0; //WARN
+}