Don't forget to prepend to acc when collecting globally reachable mem

goblint · Nov 19, 2023 · 0e09d09 · 0e09d09
1 parent f2ca6d1
commit 0e09d09
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -91,8 +91,8 @@ struct
     in
     global_struct_ptr_vars
     |> List.fold_left (fun acc var ->
-        if ctx.ask (Queries.IsHeapVar var) then eval_value_of_heap_var var
-        else if not (ctx.ask (Queries.IsAllocVar var)) && isPointerType var.vtype then get_pts_of_non_heap_ptr_var var
+        if ctx.ask (Queries.IsHeapVar var) then (eval_value_of_heap_var var) @ acc
+        else if not (ctx.ask (Queries.IsAllocVar var)) && isPointerType var.vtype then (get_pts_of_non_heap_ptr_var var) @ acc
         else acc
       ) []