class usedDefsCollectorClass :Inheritsobject
..end
Deadcodeelim.RD.rdVisitorClass
method add_defids : RD.IOS.t IH.t ->
Cil_types.exp -> UD.VS.t -> unit
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction