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
val warn_unsupported_spec : string -> unit
Warns on functions from the frama-c libc with unsupported specification.