In plugins using Eva, uses [Eva.Analysis.compute] instead of [Db.Value.compute].

src/plugins/callgraph/cg.ml

@@ -228,7 +228,7 @@ let compute () =
   (* optimize with [Value] when either it is already computed or someone
      requires it anyway *)
   if Dynamic.Parameter.Bool.get "-eva" () then begin
-    !Db.Value.compute ();
+    Eva.Analysis.compute ();
     semantic_compute g
   end else
     (if Eva.Analysis.is_computed () then semantic_compute else syntactic_compute) g;

src/plugins/from/callwise.ml

@@ -201,7 +201,7 @@ let force_compute_all_calldeps ()=
     Project.clear
       ~selection:(State_selection.with_dependencies Eva.Analysis.self)
       ();
-  !Db.Value.compute ()
+  Eva.Analysis.compute ()
 
 (* Registration for call-wise from *)
 let () =

src/plugins/from/from_compute.ml

@@ -701,7 +701,7 @@ struct
     result
 
   let compute kf =
-    !Db.Value.compute ();
+    Eva.Analysis.compute ();
     ignore (compute_and_return kf)
 
 end

src/plugins/from/functionwise.ml

@@ -92,7 +92,7 @@ let () =
 
 
 let force_compute_all () =
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   Callgraph.Uses.iter_in_rev_order
     (fun kf ->
        if Kernel_function.is_definition kf && !Db.Value.is_called kf

src/plugins/inout/operational_inputs.ml

@@ -801,7 +801,7 @@ let get_internal =
     (fun kf ->
        Eva.Analysis.compute ();
        try Internals.find kf (* The results may have been computed by the call
-                                to Value.compute *)
+                                to Eva.Analysis.compute *)
        with
        | Not_found ->
          if!Db.Value.use_spec_instead_of_definition kf then

src/plugins/users/users_register.ml

@@ -53,7 +53,7 @@ let call_for_users (_state, call_stack) =
   | (current_function, _call_site) :: tail ->
     if tail = [] then begin
       (* End of Value analysis, we record that Users has run. We should not
-         do this after the explicit call to Db.Value.compute later in this
+         do this after the explicit call to Eva.Analysis.compute later in this
          file, as Value can run on its own and execute Users while doing so.*)
       Users.mark_as_computed ()
     end;