LiveFlow (goblint-cil.Liveness.LiveFlow)

val name : string

val debug : bool Stdlib.ref

type t = VS.t

val pretty : unit -> VS.t -> GoblintCil.Pretty.doc

val stmtStartData : VS.t IH.t

val funcExitData : VS.t

val combineStmtStartData : GoblintCil.stmt -> old:t -> t -> VS.t option

val combineSuccessors : VS.t -> VS.t -> VS.t

val doStmt : GoblintCil.stmt -> VS.t DF.action

val doInstr : GoblintCil.instr -> 'a -> VS.t DF.action

val filterStmt : 'a -> 'b -> bool