Check that addresses in struct fields are singletons and not top

goblint · Nov 18, 2023 · 80492cc · 80492cc
1 parent 6cc01b5
commit 80492cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -58,7 +58,7 @@ struct
             List.fold_left (fun acc f ->
                 if isPointerType f.ftype then
                   begin match ValueDomain.Structs.get s f with
-                    | Queries.VD.Address a ->
+                    | Queries.VD.Address a when not (Queries.AD.is_top a) && Queries.AD.cardinal a = 1 ->
                       let reachable_from_addr_set =
                         Queries.AD.fold (fun addr acc ->
                             match addr with