Module Constant_Propagation.Api

module Api: sig .. end

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 Constant_Propagation.Api.get. Then pretty print the resulting program.

Since Beryllium-20090901

val self : State.t

Internal state of the constant propagation plugin.