module MakePostDom:
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