[Eva] Removes now unused function [no_results] from deprecated Db.Value.

src/kernel_services/plugin_entry_points/db.ml

@@ -263,8 +263,6 @@ module Value = struct
       ((i land mask_then) <> 0, (i land mask_else) <> 0)
     with Not_found -> false, false
 
-  let no_results = mk_fun "Value.no_results"
-
   let compute = mk_fun "Value.compute"
 
 end

src/kernel_services/plugin_entry_points/db.mli

@@ -175,13 +175,6 @@ module Value : sig
       computed by the value analysis *)
   val globals_use_supplied_state : unit -> bool
 
-  val no_results: (fundec -> bool) ref
-  (** Returns [true] if the user has requested that no results should
-      be recorded for this function. If possible, hooks registered
-      on [Record_Value_Callbacks] and [Record_Value_Callbacks_New]
-      should not force their lazy argument *)
-
-
   (**/**)
   (** {3 Internal use only} *)
 

src/plugins/eva/engine/function_calls.ml

@@ -26,10 +26,6 @@ open Eval
 let save_results f =
   Parameters.ResultsAll.get () && not (Parameters.NoResultsFunctions.mem f)
 
-let () =
-  Db.Value.no_results :=
-    (fun fd -> not (save_results fd) || not (Parameters.Domains.mem "cvalue"))
-
 (* Signal that some results are not stored. The gui or some API calls
    may fail ungracefully. *)
 let partial_results () =