Expand description
Data types for the no-panic call graph.
The graph is constructed by the flux-opt crate (the call_graph query provider) but the
types live here so they can be cached in flux-middle and consumed by both flux-opt
(no-panic inference) and flux-refineck (the checker, which recovers the resolved callee at a
call site by location).
Structs§
Enums§
- Call
Site Kind - Node
- A node in the call graph. The node’s provenance (source item vs monomorphization) is carried by
its
NodeKey; the node itself only records, when it has an analyzable body, the call sites observed in it. - NodeKey
- Identity of a call-graph node. Distinguishes an item as defined in source from a monomorphization synthesized while building the graph.