let translate_out_mark _pdg m2m other_rqs (call, l) =
let add_list l_out_m called_kf rqs =
try
let called_pdg = !Db.Pdg.get called_kf in
let m2m = m2m (Some call) called_pdg in
let node_marks =
call_out_marks_to_called called_pdg m2m ~rqs:[] l_out_m
in (called_pdg, PdgMarks.SelList node_marks)::rqs
with PdgTypes.Pdg.Top ->
(* no PDG for this function : forget the new marks
* because anyway, the source function will be called.
* *)
rqs
in
let all_called = Db.Value.call_to_kernel_function call in
Kernel_function.Set.fold (add_list l) all_called other_rqs