Module Compute

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
val name : string
val shortname : string
val help : string
end)
module DomSet: sig .. end
module type MakePostDomArg = sig .. end
module MakePostDom: 
functor (X : MakePostDomArg) -> sig .. end
module PostDomDb: 
functor (X : MakePostDomArg) ->
functor (DbPostDom : Db.PostdominatorsTypes.Sig) -> sig .. end
module PostDomBasic: PostDomDb(sig
val is_accessible : 'a -> bool
val dependencies : 'a list
val name : string
val eval_cond : 'a -> 'b -> bool * bool
end)(Db.Postdominators)
val output : unit -> unit
module PostDomVal: PostDomDb(sig
val is_accessible : Cil_types.stmt -> bool
val dependencies : State.t list
val name : string
val eval_cond : Cil_types.stmt -> 'a -> bool * bool
end)(Db.PostdominatorsValue)