sig
val name : string
val debug : bool
type t = Liveness.VS.t
module StmtStartData :
sig
type data = VS.t
val clear : unit -> unit
val mem : Cil_types.stmt -> bool
val find : Cil_types.stmt -> data
val replace : Cil_types.stmt -> data -> unit
val add : Cil_types.stmt -> data -> unit
val iter : (Cil_types.stmt -> data -> unit) -> unit
val length : unit -> int
end
val pretty : Format.formatter -> Liveness.VS.t -> unit
val funcExitData : Liveness.VS.t
val combineStmtStartData :
Cil_types.stmt ->
old:Liveness.LiveFlow.t ->
Liveness.LiveFlow.t -> Liveness.LiveFlow.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
end