From af9ddc766c5b72e7bbd9d3177e1cd028e52cfc52 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Sun, 19 Nov 2023 17:36:26 +0100
Subject: [PATCH] Add unsound example

---
 tests/regression/76-memleak/10-leak-later.c | 25 +++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 tests/regression/76-memleak/10-leak-later.c

diff --git a/tests/regression/76-memleak/10-leak-later.c b/tests/regression/76-memleak/10-leak-later.c
new file mode 100644
index 0000000000..6e6e51bbdc
--- /dev/null
+++ b/tests/regression/76-memleak/10-leak-later.c
@@ -0,0 +1,25 @@
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak
+#include <stdlib.h>
+#include <pthread.h>
+
+int *g;
+int *m1;
+int *m2;
+
+void *f1(void *arg) {
+    int top;
+
+    // Thread t1 leaks m0 here
+    exit(2); //WARN
+}
+
+int main(int argc, char const *argv[]) {
+    pthread_t t1;
+    pthread_create(&t1, NULL, f1, NULL);
+
+    int* m0 = malloc(sizeof(int));
+    free(m0);
+
+    // main thread is not leaking anything
+    return 0;
+}