Module Api
module Api: sig
.. end
Propagate constant into the functions given by name.
note: the propagation is performed into all functions when the set is
empty; and casts can be introduced when
cast_intro
is true.
This visitor also performs a deep copy.
val get : Cil_datatype.Fundec.Set.t -> cast_intro:bool -> Project.t
Propagate constant into the functions given by name.
note: the propagation is performed into all functions when the set is
empty; and casts can be introduced when cast_intro
is true.
val compute : unit -> unit
Propagate constant into the functions given by the parameters (in the
same way that
Api.get
. Then pretty print the resulting program.
Since Beryllium-20090901
val self : State.t
Internal state of the constant propagation plugin.