[from] Renames force_compute_all_calldeps into compute_all_calldeps.

src/plugins/from/callwise.ml

@@ -186,7 +186,7 @@ let () =
 let iter = Tbl.iter
 let find = Tbl.find
 
-let force_compute_all_calldeps () =
+let compute_all_calldeps () =
   if not (Tbl.is_computed ()) then begin
     if Eva.Analysis.is_computed () then
       Project.clear

src/plugins/from/callwise.mli

@@ -24,6 +24,6 @@
     while the value analysis runs, and the results are usually much more
     precise than the functionwise results. *)
 
-val force_compute_all_calldeps : unit -> unit
+val compute_all_calldeps : unit -> unit
 val iter : (Cil_types.kinstr -> Function_Froms.froms -> unit) -> unit
 val find : Cil_types.kinstr -> Function_Froms.froms

src/plugins/from/from.ml

@@ -34,7 +34,7 @@ let access zone mem = Function_Froms.Memory.find mem zone
 
 let display fmt = From_register.display (Some fmt)
 
-let force_compute_all_calldeps = Callwise.force_compute_all_calldeps
+let compute_all_calldeps = Callwise.compute_all_calldeps
 module Callwise = struct
   let iter = Callwise.iter
   let find = Callwise.find

src/plugins/from/from.mli

@@ -26,7 +26,7 @@ val self : State.t
 val is_computed : kernel_function -> bool
 val compute : kernel_function -> unit
 val compute_all : unit -> unit
-val force_compute_all_calldeps : unit -> unit
+val compute_all_calldeps : unit -> unit
 val get : Cil_types.kernel_function -> Function_Froms.froms
 val access : Locations.Zone.t -> Function_Froms.Memory.t -> Locations.Zone.t
 val pretty : Format.formatter -> kernel_function -> unit

src/plugins/from/from_register.ml

@@ -154,7 +154,7 @@ let main () =
   if From_parameters.ForceCallDeps.get () then
     From_parameters.ForceCallDeps.output
       (fun () ->
-         Callwise.force_compute_all_calldeps ();
+         Callwise.compute_all_calldeps ();
          if not_quiet then print_calldeps ();
       )