From 820f1e52ec753c168b37bb3d50ec342d9d620328 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Mon, 6 Nov 2023 13:46:37 +0200 Subject: [PATCH] Fix widened CPA join losing widened variables --- src/cdomains/baseDomain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cdomains/baseDomain.ml b/src/cdomains/baseDomain.ml index 379fbe569d..360694dcee 100644 --- a/src/cdomains/baseDomain.ml +++ b/src/cdomains/baseDomain.ml @@ -46,7 +46,7 @@ struct let filter f (m, _) = (CPA.filter f m, Vars.empty ()) let merge f (m1, _) (m2, _) = (CPA.merge f m1 m2, Vars.empty ()) let leq_with_fct f (m1, _) (m2, _) = CPA.leq_with_fct f m1 m2 - let join_with_fct f (m1, _) (m2, _) = (CPA.join_with_fct f m1 m2, Vars.empty ()) + let join_with_fct f (m1, v1) (m2, v2) = (CPA.join_with_fct f m1 m2, Vars.join v1 v2) let widen_with_fct f (m1, v1) (m2, _) = let vs = ref v1 in let f' k v1 v2 =