module LiveFlow: sig
.. end
val name : string
val debug : bool
type
t = Liveness.VS.t
module StmtStartData: Dataflow2.StartData
(
sig
type
t = Liveness.VS.t
val size : int
end
)
val pretty : Format.formatter -> Liveness.VS.t -> unit
val funcExitData : Liveness.VS.t
val combineStmtStartData : Cil_types.stmt ->
old:t -> t -> t option
val combineSuccessors : Liveness.VS.t -> Liveness.VS.t -> Liveness.VS.t
val doStmt : Cil_types.stmt -> Liveness.UD.VS.t Dataflow2.action
val doInstr : 'a -> Cil_types.instr -> 'b -> Liveness.VS.t Dataflow2.action
val filterStmt : 'a -> 'b -> bool