class do_it : object .. end
object
end
Cil.nopCilVisitor
val mutable derefs : Locations.Zone.t
Locations.Zone.t
method result : Locations.Zone.t
method join : Locations.Zone.t -> unit
Locations.Zone.t -> unit
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
Cil_types.lval -> Cil_types.lval Cil.visitAction