module LiveFlow: sig
.. end
val name : string
val debug : bool Pervasives.ref
type
t = Liveness.VS.t
module StmtStartData: Dataflow.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 -> Liveness.VS.t option
val combineSuccessors : Liveness.VS.t -> Liveness.VS.t -> Liveness.VS.t
val doStmt : Cil_types.stmt -> Liveness.UD.VS.t Liveness.DF.action
val doInstr : 'a -> Cil_types.instr -> 'b -> Liveness.VS.t Liveness.DF.action
val filterStmt : 'a -> 'b -> bool