From 63ddb0c099741346b928aa2becfbbfd487f4a8b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 29 May 2024 15:05:47 +0200
Subject: [PATCH] [Eva] Uses Lattice_bounds.Bottom instead of Eval.Bottom.
---
src/plugins/eva/contexts/context_product.ml | 3 ++-
src/plugins/eva/domains/domain_product.ml | 2 +-
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/plugins/eva/contexts/context_product.ml b/src/plugins/eva/contexts/context_product.ml
index ad934208e87..4ca41b8fdc1 100644
--- a/src/plugins/eva/contexts/context_product.ml
+++ b/src/plugins/eva/contexts/context_product.ml
@@ -23,5 +23,6 @@
module Make (L : Abstract_context.S) (R : Abstract_context.S) = struct
type t = L.t * R.t
let top = (L.top, R.top)
- let narrow (l, r) (l', r') = Eval.Bottom.zip (L.narrow l l') (R.narrow r r')
+ let narrow (l, r) (l', r') =
+ Lattice_bounds.Bottom.zip (L.narrow l l') (R.narrow r r')
end
diff --git a/src/plugins/eva/domains/domain_product.ml b/src/plugins/eva/domains/domain_product.ml
index 0f03069fcda..fdf4ab1eeea 100644
--- a/src/plugins/eva/domains/domain_product.ml
+++ b/src/plugins/eva/domains/domain_product.ml
@@ -121,7 +121,7 @@ module Make
(Right.reduce_further right expr value)
let build_context (left, right) =
- let open Eval.Bottom.Operators in
+ let open Lattice_bounds.Bottom.Operators in
let* left = Left.build_context left in
let* right = Right.build_context right in
Context.narrow left right
--
GitLab