deadnessVisitorClass (p.goblint-cil.1.8.2.doc.goblint-cil.liveness.Liveness.deadnessVisitorClass)

inherit Cil.nopCilVisitor

val mutable sid : int

val mutable liv_dat_lst : VS.t list

val mutable cur_liv_dat : VS.t option

val mutable post_dead_vars : VS.t

val mutable post_live_vars : VS.t

method vstmt : Cil.stmt -> Cil.stmt Cil.visitAction

method vinst : Cil.instr -> Cil.instr list Cil.visitAction