Up – Package index » goblint-cil » Library goblint-cil.liveness » Liveness » livenessVisitorClass

Class `Liveness.livenessVisitorClass`Source

inherit GoblintCil.nopCilVisitor

val mutable sid : int

val mutable liv_dat_lst : VS.t list

val mutable cur_liv_dat : VS.t option

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

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