let process_jump_stmt pdg ctrl_dpds_infos jump =
let controled_stmts =
CtrlDpds.get_jump_controled_stmts ctrl_dpds_infos jump
in
let real = Db.Value.is_reachable_stmt jump in
if not real then
debug "[process_jump_stmt] stmt %d is not a real jump@." jump.sid;
BuildPdg.process_jump pdg jump (real, controled_stmts)