Module Eva_dynamic.Callgraph

module Callgraph: sig .. end

val iter_in_rev_order : (Kernel_function.t -> unit) -> unit

Iterates over all functions in the callgraph in reverse order, i.e. from callees to callers. If callgraph is missing, the order is unspecified.

val accept_base : Kernel_function.t -> Base.t -> bool

Returns true if base is a global, or a formal or local of either kf or one of its callers. If callgraph is missing, always returns true.