Use unrollType for non-pointer global struct vars

goblint · Nov 19, 2023 · f2ca6d1 · f2ca6d1
1 parent 80492cc
commit f2ca6d1
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -35,7 +35,11 @@ struct
 
   let get_global_struct_non_ptr_vars () =
     get_global_vars ()
-    |> List.filter (fun v -> match v.vtype with TComp (_, _) | (TNamed ({ttype = TComp _; _}, _)) -> true | _ -> false)
+    |> List.filter (fun v ->
+        match unrollType v.vtype with
+        | TComp (_, _)
+        | (TNamed ({ttype = TComp _; _}, _)) -> true
+        | _ -> false)
 
   let get_reachable_mem_from_globals (global_vars:varinfo list) ctx =
     global_vars