Add regression test for a memory leak with quick_exit()

goblint · Aug 11, 2023 · 755e4ee · 755e4ee
1 parent b9cef72
commit 755e4ee
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tests/regression/76-memleak/07-simple-quick-exit-mem-leak.c b/tests/regression/76-memleak/07-simple-quick-exit-mem-leak.c
@@ -0,0 +1,7 @@
+//PARAM: --set ana.malloc.unique_address_count 1 --set ana.activated[+] memLeak
+#include <stdlib.h>
+
+int main(int argc, char const *argv[]) {
+    int *p = malloc(sizeof(int));
+    quick_exit(0); //WARN
+}