module DomCompute: Dataflow.ForwardsDataFlow(DomComputer)
Dataflow.ForwardsDataFlow
(
DomComputer
)
val reachedStatement : Cil_types.stmt -> Cil_types.stmt -> T.t -> unit
Cil_types.stmt -> Cil_types.stmt -> T.t -> unit
val compute : Cil_types.stmt list -> unit
Cil_types.stmt list -> unit