From 655362e70a7d0c2a42c4dba910e5c67de1aee1c9 Mon Sep 17 00:00:00 2001
From: Stanimir Bozhilov <stanimir.bozhilov.1998@gmail.com>
Date: Fri, 29 Sep 2023 16:53:39 +0200
Subject: [PATCH] Use join to combine all points-to elements sizes

---
 src/analyses/base.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/analyses/base.ml b/src/analyses/base.ml
index 9e35694ff8..22fce826f5 100644
--- 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;