Module Liveness.LiveFlowSource

Sourceval name : string
Sourceval debug : bool ref
Sourcetype t = VS.t
Sourceval pretty : unit -> VS.t -> Pretty.doc
Sourceval stmtStartData : VS.t IH.t
Sourceval funcExitData : VS.t
Sourceval combineStmtStartData : Cil.stmt -> old:t -> t -> VS.t option
Sourceval combineSuccessors : VS.t -> VS.t -> VS.t
Sourceval doStmt : Cil.stmt -> VS.t DF.action
Sourceval doInstr : Cil.instr -> 'a -> VS.t DF.action
Sourceval filterStmt : 'a -> 'b -> bool