let called_info (project, _fm) call_stmt = match call_stmt.skind with
| Instr (Call (_, _fexp, _, _)) ->
begin
let called_functions = Db.Value.call_to_kernel_function call_stmt in
match Kernel_function.Set.contains_single_elt called_functions with
None -> None
| Some funct ->
begin
let fm =
Marks.get_marks project funct
in match fm with
| None -> None
| Some fm -> Some (funct, fm)
end
end
| _ -> Sparecode_params.fatal "this call is not a call"