Use join to combine all points-to elements sizes

goblint · Sep 29, 2023 · 655362e · 655362e
1 parent fae7256
commit 655362e
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -2072,9 +2072,7 @@ struct
         begin match pts_sizes with
           | [] -> `Bot
           | [x] -> x
-          | x::xs -> List.fold_left (fun acc elem ->
-              if ValueDomainQueries.ID.compare acc elem >= 0 then elem else acc
-            ) x xs
+          | x::xs -> List.fold_left ValueDomainQueries.ID.join x xs
         end
       | _ ->
         M.warn "Pointer %a has a points-to-set of top. An invalid memory access might occur" d_exp dest;