Fix widened CPA join losing widened variables

goblint · Nov 6, 2023 · 820f1e5 · 820f1e5
1 parent d9baa2f
commit 820f1e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 =