From 4d1a91ccca450e97d608948c60ad4e18beff1213 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 8 Jun 2022 09:39:07 +0200
Subject: [PATCH] [Eva] In Locations.Zone, exports function [get_bases].
---
src/kernel_services/abstract_interp/locations.ml | 2 ++
src/kernel_services/abstract_interp/locations.mli | 4 ++++
2 files changed, 6 insertions(+)
diff --git a/src/kernel_services/abstract_interp/locations.ml b/src/kernel_services/abstract_interp/locations.ml
index d330023067e..1a19ba3926e 100644
--- a/src/kernel_services/abstract_interp/locations.ml
+++ b/src/kernel_services/abstract_interp/locations.ml
@@ -476,6 +476,8 @@ module Zone = struct
Base.SetLattice.mem b top_param
| Map m -> M.mem b m
+ let get_bases = get_keys
+
let shape x = x
let fold2_join_heterogeneous ~cache ~empty_left ~empty_right ~both ~join ~empty =
diff --git a/src/kernel_services/abstract_interp/locations.mli b/src/kernel_services/abstract_interp/locations.mli
index e071ac4420f..982221c633d 100644
--- a/src/kernel_services/abstract_interp/locations.mli
+++ b/src/kernel_services/abstract_interp/locations.mli
@@ -265,6 +265,10 @@ module Zone : sig
@since Carbon-20101201 *)
+ val get_bases : t -> Base.SetLattice.t
+ (** Returns the bases contained by the given zone. Never fails, but
+ may return [Base.SetLattice.Top]. *)
+
val intersects : t -> t -> bool
(** Assuming that [z1] and [z2] only contain valid bases,
--
GitLab