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.