[Eva] Callstack: renames [last_caller] to [top_caller].

src/kernel_services/abstract_interp/eva_types.ml

@@ -122,7 +122,7 @@ struct
     | (kf, stmt) :: _ -> kf, Cil_types.Kstmt stmt
     | [] -> cs.entry_point, Cil_types.Kglobal
 
-  let last_caller cs =
+  let top_caller cs =
     match cs.stack with
     | _ :: (kf, _) :: _ -> Some kf
     | [_] -> Some cs.entry_point

src/kernel_services/abstract_interp/eva_types.mli

@@ -51,7 +51,7 @@ sig
   val top_kf : t -> Cil_types.kernel_function
   val top_callsite : t -> Cil_types.stmt option
   val top_call : t -> Cil_types.kernel_function * Cil_types.kinstr
-  val last_caller : t -> Cil_types.kernel_function option
+  val top_caller : t -> Cil_types.kernel_function option
 
   val to_kf_list : t -> Cil_types.kernel_function list
   val to_stmt_list : t -> Cil_types.stmt list

src/plugins/eva/Eva.mli

@@ -166,7 +166,7 @@ module Callstack: sig
   val top_call : t -> Cil_types.kernel_function * Cil_types.kinstr
 
   (** Returns the function that called the topmost function of the callstack. *)
-  val last_caller : t -> Cil_types.kernel_function option
+  val top_caller : t -> Cil_types.kernel_function option
 
   (** {2 Conversion} *)
 

src/plugins/eva/engine/function_calls.ml

@@ -53,7 +53,7 @@ let register_call kinstr kf =
   let kf', kinstr' = Callstack.top_call callstack in
   assert (Kernel_function.equal kf kf');
   assert (Cil_datatype.Kinstr.equal kinstr kinstr');
-  match kinstr, Callstack.last_caller callstack with
+  match kinstr, Callstack.top_caller callstack with
   | Kglobal, _ -> CallersTable.add kf Kernel_function.Map.empty
   | Kstmt _, None -> assert false
   | Kstmt stmt, Some caller ->

src/plugins/eva/types/callstack.mli

@@ -71,7 +71,7 @@ val top_callsite : t -> Cil_types.stmt option
 val top_call : t -> Cil_types.kernel_function * Cil_types.kinstr
 
 (** Returns the function that called the topmost function of the callstack. *)
-val last_caller : t -> Cil_types.kernel_function option
+val top_caller : t -> Cil_types.kernel_function option
 
 (** {2 Conversion} *)
 

src/plugins/eva/utils/eva_perf.ml

@@ -287,7 +287,7 @@ let display fmt =
 ;;
 
 let caller_callee_callinfo callstack =
-  match Callstack.last_caller callstack with
+  match Callstack.top_caller callstack with
   | Some caller_kf ->
     let callee_kf = Callstack.top_kf callstack in
     let caller_flat = Kernel_function.Hashtbl.find flat caller_kf in