let call_for_individual_froms (state, call_stack) =
if From_parameters.ForceCallDeps.get () then begin
let current_function, call_site = List.hd call_stack in
if not (!Db.Value.use_spec_instead_of_definition current_function) then
let table_for_current_function = Kinstr.Hashtbl.create 7 in
call_froms_stack :=
(current_function,table_for_current_function) :: !call_froms_stack
else
try
let _above_function, table = List.hd !call_froms_stack in
let froms =
From2.compute_using_prototype_for_state state current_function
in
merge_call_froms table call_site froms;
record_callwise_dependencies_in_db call_site froms;
with Failure "hd" ->
From_parameters.fatal "calldeps internal error 23 empty callfromsstack %a"
Kernel_function.pretty current_function
end