jon.recoil.org

Module Inlining_history.Tracker

type t
val empty : Compilation_unit.t -> t
val absolute : t -> Absolute.t
val relative : t -> Relative.t
val fundecl : dbg:Debuginfo.t -> function_relative_history:Relative.t -> name:string -> t -> Absolute.t * Relative.t
val enter_inlined_apply : dbg:Debuginfo.t -> callee:Absolute.t -> apply_relative_history:Relative.t -> t -> t
val inside_function : Absolute.t -> t
val fundecl_of_scoped_location : name:string -> path_to_root:Debuginfo.Scoped_location.t -> Debuginfo.Scoped_location.t -> t -> Absolute.t * Relative.t
val call : dbg:Debuginfo.t -> callee:Absolute.t -> relative:Relative.t -> t -> Absolute.t
val unknown_call : dbg:Debuginfo.t -> relative:Relative.t -> t -> Absolute.t