Module Function_args

module Function_args: sig .. end

exception Actual_is_bottom
exception WrongFunctionType
val check_arg_size : Cil_types.exp -> Cil_types.varinfo -> unit
val fold_left2_best_effort : ('a -> 'b -> 'c -> 'a) -> 'a -> 'b list -> 'c list -> 'a
val actualize_formals : ?check:('a -> Cil_types.varinfo -> unit) ->
?exact:(Cil_types.varinfo -> bool) ->
Kernel_function.t ->
Cvalue.Model.t -> ('a * Cvalue.Model.offsetmap) list -> Cvalue.Model.t
val main_initial_state_with_formals : Kernel_function.t -> Cvalue.Model.t -> Cvalue.Model.t
val compute_actual : with_alarms:CilE.warn_mode ->
warn_indeterminate:bool ->
Cvalue.Model.t -> Cil_types.exp -> Cil_types.exp * Cvalue.V_Offsetmap.t