[Eva] Removes functions [is_called] and [callers] from deprecated Db.Value.

src/kernel_services/plugin_entry_points/db.ml

@@ -511,9 +511,6 @@ module Value = struct
     | Kglobal -> Cvalue.Model.is_reachable (globals_state ())
     | Kstmt stmt -> is_reachable_stmt stmt
 
-  let is_called = mk_fun "Value.is_called"
-  let callers = mk_fun "Value.callers"
-
   let eval_lval =
     ref (fun ?with_alarms:_ _ -> mk_labeled_fun "Value.eval_lval")
   let eval_expr =

src/kernel_services/plugin_entry_points/db.mli

@@ -254,15 +254,6 @@ module Value : sig
 
   val is_reachable_stmt : stmt -> bool
 
-  (** {3 About kernel functions} *)
-
-  val is_called: (kernel_function -> bool) ref
-
-  val callers: (kernel_function -> (kernel_function*stmt list) list) ref
-  (** @return the list of callers with their call sites. Each function is
-      present only once in the list. *)
-
-
   (** {3 Locations of left values} *)
 
   val lval_to_loc :

src/plugins/eva/register.ml

@@ -33,15 +33,9 @@ let main () =
 
 let () = Db.Main.extend main
 
-
-let () =
-  Db.Value.is_called := Function_calls.is_called;
-  Db.Value.callers := Function_calls.callsites;
-
-
-  (* -------------------------------------------------------------------------- *)
-  (*                    Register Evaluation Functions                           *)
-  (* -------------------------------------------------------------------------- *)
+(* -------------------------------------------------------------------------- *)
+(*                    Register Evaluation Functions                           *)
+(* -------------------------------------------------------------------------- *)
 
 open Eval
 

src/plugins/eva/utils/eva_dynamic.ml

@@ -62,5 +62,6 @@ module RteGen = struct
   let mark_generated_rte () =
     let list = all_statuses () in
     let mark kf = List.iter (fun (_kind, set, _get) -> set kf true) list in
-    Globals.Functions.iter (fun kf -> if !Db.Value.is_called kf then mark kf)
+    Globals.Functions.iter
+      (fun kf -> if Function_calls.is_called kf then mark kf)
 end