Functor Compute.MakePostDom

module MakePostDom: 
functor (X : MakePostDomArg) -> sig .. end
Parameters:
X : MakePostDomArg

module PostDom: Cil_state_builder.Stmt_hashtbl(Compute.DomSet)(sig
val name : string
val dependencies : State.t list
val size : int
end)
module PostComputer: sig .. end
module PostCompute: Dataflow2.Backwards(PostComputer)
val compute_postdom : Kernel_function.t -> unit
val get_stmt_postdominators : Kernel_function.t ->
PostDom.key -> PostDom.data
val stmt_postdominators : Kernel_function.t ->
PostDom.key -> Cil_datatype.Stmt.Hptset.t
Raises Db.PostdominatorsTypes.Top when the statement postdominators have not been computed ie neither the return statement is reachable, nor the statement is in a natural loop.
val is_postdominator : Kernel_function.t ->
opening:PostDom.key ->
closing:Cil_datatype.Stmt.Hptset.elt -> bool
val display_postdom : unit -> unit
val print_dot_postdom : string -> Kernel_function.t -> unit