[Eva] api: Callsites are always retrieved by caller

src/plugins/value/Eva.mli

@@ -113,8 +113,7 @@ module Results: sig
   
   (* Callers / Callees / Callsites *)
   val callers : Cil_types.kernel_function -> Cil_types.kernel_function list
-  val callsites : Cil_types.kernel_function -> Cil_types.stmt list
-  val callsites_per_caller : Cil_types.kernel_function ->
+  val callsites : Cil_types.kernel_function ->
     (Cil_types.kernel_function * Cil_types.stmt list) list
   
   (* Returns the kernel functions called in the given statement.

src/plugins/value/utils/results.ml

@@ -742,14 +742,6 @@ let callers kf =
 let uniq_sites = List.sort_uniq Cil_datatype.Stmt.compare
 
 let callsites kf =
-  let f = function
-    | [] | (_,Cil_types.Kglobal) :: _ -> None
-    | (_,Kstmt stmt) :: _-> Some stmt
-  in
-  at_start_of kf |> callstacks |>
-  List.filter_map f |> uniq_sites
-
-let callsites_per_caller kf =
   let module Map = Kernel_function.Map in
   let f acc = function
     | [] | (_,Cil_types.Kglobal) :: _ -> acc

src/plugins/value/utils/results.mli

@@ -116,8 +116,7 @@ val is_reachable : Cil_types.stmt -> bool (* reachable by the analysis, not by t
 
 (* Callers / Callees / Callsites *)
 val callers : Cil_types.kernel_function -> Cil_types.kernel_function list
-val callsites : Cil_types.kernel_function -> Cil_types.stmt list
-val callsites_per_caller : Cil_types.kernel_function ->
+val callsites : Cil_types.kernel_function ->
   (Cil_types.kernel_function * Cil_types.stmt list) list
 
 (* Returns the kernel functions called in the given statement.