Module Register

module Register: sig .. end
This visitor also performs a deep copy.

Nothing is exported here Functions are registered in Db.


module FC_file: File
exception Cannot_expand
exception Cannot_change
val plus_pi : loc:Cil_types.location -> Cil_types.exp -> Integer.t -> Cil_types.exp
class propagate : Project.t -> Cil_datatype.Fundec.Set.t -> cast_intro:bool -> object .. end
This visitor also performs a deep copy.
module Result_pair: Datatype.Pair_with_collections(Cil_datatype.Fundec.Set)(Datatype.Bool)(sig
val module_name : string
end)
module Result: State_builder.Hashtbl(Datatype.Hashtbl(Result_pair.Hashtbl)(Result_pair)(sig
val module_name : string
end))(Project.Datatype)(sig
val size : int
val name : string
val dependencies : State.t list
end)
val selection_command_line_option : State_selection.t
val journalized_get : PropagationParameters.SemanticConstFold.t -> Datatype.Bool.t -> Project.t
val get : PropagationParameters.SemanticConstFold.t ->
cast_intro:Datatype.Bool.t -> Project.t

Constant Propagation
val compute : unit -> unit
val main : unit -> unit