jon.recoil.org

Module Zero_alloc_info

Function summaries computed by zero_alloc analysis and encoded as integers for storing in .cmx files.

type value = int
type t
val create : unit -> Zero_alloc_info.t
val reset : Zero_alloc_info.t -> unit
val merge : Zero_alloc_info.t -> into:Zero_alloc_info.t -> unit

merge_checks t ~into modifies into by adding information from t.

val get_value : Zero_alloc_info.t -> string -> Zero_alloc_info.value option

get_value t fun_name returns None if fun_name is not associated with any value.

val set_value : Zero_alloc_info.t -> string -> Zero_alloc_info.value -> unit
module Raw : sig ... end