Class virtual Derefs.do_it_

class virtual do_it_ : object .. end
Inherits
val mutable derefs : Locations.Zone.t
method bottom : Locations.Zone.t
method result : Locations.Zone.t
method join : Locations.Zone.t -> unit
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method compute_funspec : Cil_types.kernel_function -> Locations.Zone.t
method clean_kf_result : Cil_types.kernel_function -> Locations.Zone.t -> Locations.Zone.t