Class Deadcodeelim.usedDefsCollectorClass


class usedDefsCollectorClass : object .. end
Inherits
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 : RD.ReachingDef.StmtStartData.key ->
Cil_types.stmt Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction