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