let call_for_individual_froms (state, call_stack) =
if Parameters.Dynamic.Bool.get "-calldeps"
then begin
let current_function, call_site = List.hd call_stack in
match current_function.fundec with
Definition _ ->
let table_for_current_function = InstrHashtbl.create 7 in
call_froms_stack :=
(current_function,table_for_current_function) :: !call_froms_stack
| Declaration _ ->
( 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_name current_function )
end