From 4fea285f31d677dfa86943aa28a0af49fcfde937 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 24 Jan 2024 14:10:21 +0100
Subject: [PATCH] [kernel] Removes unused module PostdominatorsValue from Db.
---
src/kernel_services/plugin_entry_points/db.ml | 10 ----------
src/kernel_services/plugin_entry_points/db.mli | 2 --
src/plugins/postdominators/compute.ml | 11 -----------
3 files changed, 23 deletions(-)
diff --git a/src/kernel_services/plugin_entry_points/db.ml b/src/kernel_services/plugin_entry_points/db.ml
index 5f121fb7049..4a15e686b3b 100644
--- a/src/kernel_services/plugin_entry_points/db.ml
+++ b/src/kernel_services/plugin_entry_points/db.ml
@@ -76,16 +76,6 @@ module Postdominators = struct
let print_dot = mk_fun "Postdominators.print_dot"
end
-module PostdominatorsValue = struct
- let compute = mk_fun "PostdominatorsValue.compute"
- let is_postdominator
- : (kernel_function -> opening:stmt -> closing:stmt -> bool) ref
- = mk_fun "PostdominatorsValue.is_postdominator"
- let stmt_postdominators = mk_fun "PostdominatorsValue.stmt_postdominators"
- let display = mk_fun "PostdominatorsValue.display"
- let print_dot = mk_fun "PostdominatorsValue.print_dot"
-end
-
(* ************************************************************************* *)
(** {2 GUI} *)
(* ************************************************************************* *)
diff --git a/src/kernel_services/plugin_entry_points/db.mli b/src/kernel_services/plugin_entry_points/db.mli
index ad0274cc422..bdb396dc574 100644
--- a/src/kernel_services/plugin_entry_points/db.mli
+++ b/src/kernel_services/plugin_entry_points/db.mli
@@ -128,8 +128,6 @@ end
module Postdominators: PostdominatorsTypes.Sig
-module PostdominatorsValue: PostdominatorsTypes.Sig
-
(** {3 GUI} *)
(** Registered daemon on progress. *)
diff --git a/src/plugins/postdominators/compute.ml b/src/plugins/postdominators/compute.ml
index 865519b776c..b9286c9c5f7 100644
--- a/src/plugins/postdominators/compute.ml
+++ b/src/plugins/postdominators/compute.ml
@@ -251,17 +251,6 @@ let output, _ = State_builder.apply_once "Postdominators.Compute.output"
let () = Db.Main.extend output
-
-include
- PostDomDb
- (struct
- let is_accessible = Eva.Results.is_reachable
- let dependencies = [ Eva.Analysis.self ]
- let name = "value"
- let eval_cond stmt _e = Eva.Results.condition_truth_value stmt
- end)
- (Db.PostdominatorsValue)
-
(*
Local Variables:
compile-command: "make -C ../../.."
--
GitLab