sig
exception Invalid_nb_of_args of int
val register_builtin :
string -> ?replace:string -> Db.Value.builtin_sig -> unit
val clobbered_set_from_ret :
Cvalue.Model.t -> Cvalue.V.t -> Base.SetLattice.t
val warn_definitions_overridden_by_builtins : unit -> unit
type builtin
type call = (Precise_locs.precise_location, Cvalue.V.t) Eval.call
type result = Cvalue.Model.t * Locals_scoping.clobbered_set
val find_builtin_override :
Cil_types.kernel_function ->
(string * Builtins.builtin * Cil_types.funspec) option
val apply_builtin :
Builtins.builtin ->
Builtins.call ->
Cvalue.Model.t -> Builtins.result list * Value_types.cacheable
end