From 1e4c7eceead03c4a16bcfd93b9e450a8f8ddd4d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 13 Oct 2023 15:12:09 +0200
Subject: [PATCH] [Eva] Deps: exports function [pretty_precise].
---
src/plugins/eva/Eva.mli | 1 +
src/plugins/eva/types/deps.ml | 8 ++++++--
src/plugins/eva/types/deps.mli | 1 +
3 files changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/plugins/eva/Eva.mli b/src/plugins/eva/Eva.mli
index 5783238d0d8..5f683ec3aac 100644
--- a/src/plugins/eva/Eva.mli
+++ b/src/plugins/eva/Eva.mli
@@ -190,6 +190,7 @@ module Deps: sig
include Datatype.S with type t := t
+ val pretty_precise: Format.formatter -> t -> unit
val pretty_debug: Format.formatter -> t -> unit
(* Constructors *)
diff --git a/src/plugins/eva/types/deps.ml b/src/plugins/eva/types/deps.ml
index 34af195750f..bfd9904fecc 100644
--- a/src/plugins/eva/types/deps.ml
+++ b/src/plugins/eva/types/deps.ml
@@ -28,8 +28,10 @@ type deps = Function_Froms.Deps.deps = {
}
(* Pretty printing of detailed internal representation *)
-let pretty_debug fmt {data; indirect} =
- match Zone.is_bottom indirect, Zone.is_bottom data with
+let pretty_precise fmt {data; indirect} =
+ let bottom_data = Zone.is_bottom data in
+ let bottom_indirect = Zone.is_bottom indirect in
+ match bottom_indirect, bottom_data with
| true, true ->
Format.fprintf fmt "\\nothing"
| true, false ->
@@ -43,6 +45,8 @@ let pretty_debug fmt {data; indirect} =
Zone.pretty indirect
Zone.pretty data
+let pretty_debug = pretty_precise
+
(* Conversion to zone, used by default pretty printing *)
let to_zone d = Locations.Zone.join d.data d.indirect
diff --git a/src/plugins/eva/types/deps.mli b/src/plugins/eva/types/deps.mli
index 922e8e622ad..e63413d1d87 100644
--- a/src/plugins/eva/types/deps.mli
+++ b/src/plugins/eva/types/deps.mli
@@ -32,6 +32,7 @@ type t = Function_Froms.Deps.deps = {
include Datatype.S with type t := t
+val pretty_precise: Format.formatter -> t -> unit
val pretty_debug: Format.formatter -> t -> unit
(* Constructors *)
--
GitLab