diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml index 87a1e26433..456d434be7 100644 --- a/src/analyses/memLeak.ml +++ b/src/analyses/memLeak.ml @@ -204,8 +204,7 @@ struct match desc.special arglist with | Malloc _ | Calloc _ - | Realloc _ - | Alloca _ -> + | Realloc _ -> ctx.sideg () true; begin match ctx.ask (Queries.AllocVar {on_stack = false}) with | `Lifted var ->