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