Class Register.propagate

class propagate : Project.t -> Datatype.String.Set.t -> cast_intro:bool -> object .. end
This visitor also performs a deep copy.
Inherits
val mutable operate : bool
val mutable known_globals : Cil_datatype.Varinfo.Set.t
val mutable must_add_decl : Cil_datatype.Varinfo.Set.t
method private on_current_stmt : Cil_types.exp Cil.visitAction ->
(Cil_types.kinstr -> Cil_types.exp Cil.visitAction) ->
Cil_types.exp Cil.visitAction
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
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