let process_call_ouput pdg state_before_call state
stmt numout out default from_out fct_dpds =
let exact =
(* TODO : Check this with Pascal !
* (Locations.Zone.cardinal_zero_or_one out) && *)
(not default) in
P.debug "call-%d Out%d : %a From %a (%sexact)@."
stmt.sid numout
Locations.Zone.pretty out Locations.Zone.pretty from_out
(if exact then "" else "not ");
let key = Key.call_output_key stmt (* numout *) out in
let new_node = create_call_output_node pdg state_before_call stmt
key from_out fct_dpds in
let state = Pdg_state.add_loc_node state exact out new_node
in state