class visitorVarUsage :Inheritsobject
..end
val mutable usage : return_usage_by_lv
MapLval.t
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method result : unit -> return_usage