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)