Class Derefs.do_it


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