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