Class Derefs.do_it


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