Class Rmciltmps.unusedRemoverClass

class unusedRemoverClass : ( object
Inherits

val mutable unused_set : UD.VS.t
val mutable cur_func : Cil_types.fundec
method private good_var : UD.VS.elt -> bool
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vblock : Cil_types.block -> Cil_types.block Cil.visitAction
end : object ... end )
Inherits
val mutable unused_set : UD.VS.t
val mutable cur_func : Cil_types.fundec
method private good_var : UD.VS.elt -> bool
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vblock : Cil_types.block -> Cil_types.block Cil.visitAction