let jump_controled_stmts infos jump label lex_suc =
Pdg_parameters.debug ~dkey ~level:2
"lex_succ sid:%d = sid:%d" jump.sid lex_suc.sid;
Pdg_parameters.debug ~dkey ~level:2
"jump succ sid:%d = sid:%d" jump.sid label.sid;
let controled_stmts =
if lex_suc.sid = label.sid then begin
Pdg_parameters.debug ~dkey "useless jump sid:%d (label = lex_succ = %d)"
jump.sid lex_suc.sid;
Stmt.Hptset.empty
end else
let pdb_jump_lex_suc = pd_b_but_not_a infos jump lex_suc in
let pdb_lex_suc_label = pd_b_but_not_a infos lex_suc label in
let pdb_lex_suc_label =
Stmt.Hptset.remove lex_suc pdb_lex_suc_label
in Stmt.Hptset.union pdb_jump_lex_suc pdb_lex_suc_label
in
controled_stmts