module Compute: sig
.. end
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.
module DomKernel: Plugin.Register
(
sig
end
)
module DomSet: sig
.. end
module Dom: Cil_state_builder.Inthash
(
DomSet
)
(
sig
end
)
module DomComputer: sig
.. end
module DomCompute: Dataflow.ForwardsDataFlow
(
DomComputer
)
val compute_dom : Kernel_function.t -> unit
val get_stmt_dominators : Kernel_function.t -> Cil_types.stmt -> Dom.data
val stmt_dominators : Kernel_function.t -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t
val is_dominator : Kernel_function.t ->
opening:Cil_datatype.Stmt.Hptset.elt -> closing:Cil_types.stmt -> bool
val display_dom : unit -> unit
module type MakePostDomArg = sig
.. end
module MakePostDom:
module PostDomDb:
module PostDomBasic: PostDomDb
(
sig
end
)
(
Db.Postdominators
)
val output : unit -> unit
module PostDomVal: PostDomDb
(
sig
end
)
(
Db.PostdominatorsValue
)