Module Library_functions

module Library_functions: sig .. end
Fake varinfo used by Value to store the result of functions. Returns None if the function has a void type.

val get_retres_vi : Cil_types.kernel_function -> Cil_types.varinfo option
Fake varinfo used by Value to store the result of functions. Returns None if the function has a void type.
val create_alloced_return : Cil_types.typ -> Kernel_function.t -> Base.t
val returned_value : Cil_types.kernel_function -> Cvalue.Model.t -> Cvalue.V.t * Cvalue.Model.t