let get_postdom kf graph s =
try
match InstrHashtbl.find graph (Kstmt s) with
| None -> StmtSet.empty
| Some l -> l
with Not_found ->
try
let postdom = !Db.Postdominators.stmt_postdominators kf s in
let postdom = StmtSet.remove s postdom in
Postdominators_parameters.debug "postdom for %d:%a = %a\n"
s.sid pretty_stmt s StmtSet.pretty postdom;
InstrHashtbl.add graph (Kstmt s) (Some postdom); postdom
with Db.Postdominators.Top ->
InstrHashtbl.add graph (Kstmt s) None;
raise Db.Postdominators.Top