Consider alloca in special in memLeak

goblint · Jan 11, 2024 · 1ec35c4 · 1ec35c4
1 parent 7685f55
commit 1ec35c4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -204,7 +204,8 @@ struct
     match desc.special arglist with
     | Malloc _
     | Calloc _
-    | Realloc _ ->
+    | Realloc _
+    | Alloca _ ->
       ctx.sideg () true;
       begin match ctx.ask (Queries.AllocVar {on_stack = false}) with
         | `Lifted var ->