class virtual do_it_ :
object
.. end
Inherits
val mutable outs : Locations.Zone.t
method bottom : Locations.Zone.t
method result : Locations.Zone.t
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method join : Locations.Zone.t -> unit
method private do_assign : Cil_types.lval -> unit
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method clean_kf_result : Cil_types.kernel_function -> Locations.Zone.t -> Locations.Zone.t
method compute_funspec : Cil_types.kernel_function -> Locations.Zone.t