diff --git a/src/analyses/mallocFresh.ml b/src/analyses/mallocFresh.ml
index d1314d5009..138a208558 100644
--- a/src/analyses/mallocFresh.ml
+++ b/src/analyses/mallocFresh.ml
@@ -42,7 +42,8 @@ struct
     match desc.special args with
     | Malloc _
     | Calloc _
-    | Realloc _ ->
+    | Realloc _
+    | Alloca _ ->
       begin match ctx.ask (AllocVar {on_stack = false}) with
         | `Lifted var -> D.add var ctx.local
         | _ -> ctx.local