class propagate : Project.t -> Cil_datatype.Fundec.Set.t -> cast_intro:bool ->
object
.. end
This visitor also performs a deep copy.
Inherits
val mutable known_globals : Cil_datatype.Varinfo.Set.t
val mutable must_add_decl : Cil_datatype.Varinfo.Set.t
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vfunc : Cil_datatype.Fundec.Set.elt -> Cil_types.fundec Cil.visitAction
method private add_decl_non_source_var : Cil_datatype.Varinfo.Set.elt -> unit
method private add_cast : ignore_const_cast:bool ->
oldt:Cil_types.typ -> newt:Cil_types.typ -> Cil_types.exp -> Cil_types.exp
method private propagated : Cil_types.exp -> ignore_const_cast:bool -> Cil_types.exp option
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vvdec : Cil_datatype.Varinfo.Set.elt -> Cil_types.varinfo Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction