module PostComputer: sig
.. end
val name : string
val debug : bool
type
t = Compute.DomSet.t
module StmtStartData: Compute.MakePostDom.PostDom
val pretty : Stdlib.Format.formatter -> Compute.DomSet.t -> unit
val combineStmtStartData : 'a -> old:Compute.DomSet.t -> Compute.DomSet.t -> Compute.DomSet.t option
val combineSuccessors : Compute.DomSet.domset -> Compute.DomSet.domset -> Compute.DomSet.domset
val doStmt : Cil_types.stmt -> Compute.DomSet.domset Dataflow2.action
val doInstr : 'a -> 'b -> 'c -> 'd Dataflow2.action
val filterIf : Cil_types.stmt -> Cil_datatype.Stmt.t -> bool
val filterStmt : Cil_types.stmt -> Cil_datatype.Stmt.t -> bool
val funcExitData : Compute.DomSet.domset