Class Widen.widen_visitor

class widen_visitor : 'a -> Widen_type.t Pervasives.ref -> Cil_types.stmt list -> object .. end
Inherits
val widen_hints : Widen_type.t Pervasives.ref
val enclosing_loops : Cil_types.stmt list
method private add_num_hints : ?stmt:Cil_types.stmt -> ?base:Base.t -> Ival.Widen_Hints.t -> unit
method private add_var_hints : stmt:Cil_types.stmt -> Base.Set.t -> unit
method private process_loop_pragma : Cil_types.stmt -> Cil_types.term Cil_types.loop_pragma -> unit
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method private add_index_hints : Integer.t -> Cil_types.exp -> unit
method private find_array_accesses : Cil_types.lval -> unit
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction