goblint.lib
MyLiveness.livenessVisitorClass
goblint.sites
goblint_sites_dune
goblint_sites_js
inherit Cil.nopCilVisitor
val mutable sid : int
val mutable liv_dat_lst : VS.t list
val mutable cur_liv_dat : VS.t option
method vstmt : Cil.stmt -> Cil.stmt Cil.visitAction
method vinst : Cil.instr -> Cil.instr list Cil.visitAction