[kernel] Removes unused module PostdominatorsValue from Db.

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} *)
 (* ************************************************************************* *)

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. *)

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 ../../.."