Module Library_functions

module Library_functions: sig .. end

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 returned_value : Cil_types.kernel_function -> Cvalue.V.t