Module Liveness.LiveFlow


module LiveFlow: sig .. end

val name : string
val debug : bool Pervasives.ref
type t = Liveness.VS.t 
module StmtStartData: Liveness.DF.StmtStartData(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