let get_loop_controled_stmts ctrl_dpds_infos loop =
let lex_succ_graph, infos = ctrl_dpds_infos in
let lex_suc =
try Lexical_successors.find lex_succ_graph loop
with Not_found -> (* must have at least a return *) assert false
in
let jump = loop in
let label = match loop.succs with [head] -> head | _ -> assert false in
let controled_stmts = jump_controled_stmts infos jump label lex_suc in
Pdg_parameters.debug ~dkey "controled_stmt for loop sid:%d = %a"
loop.sid Stmt.Hptset.pretty controled_stmts;
controled_stmts