let get_jump_controled_stmts ctrl_dpds_infos jump =
let lex_succ_graph, infos = ctrl_dpds_infos in
let lex_suc =
try Lexical_successors.find lex_succ_graph jump
with Not_found -> assert false
in
let label = match jump.succs with | [label] -> label | _ -> assert false in
let controled_stmts = jump_controled_stmts infos jump label lex_suc in
Pdg_parameters.debug ~dkey "controled_stmt for jump sid:%d = %a"
jump.sid Stmt.Hptset.pretty controled_stmts;
controled_stmts