Module function_summary 

Stable function summaries derived from control-flow and explicit call facts.

Structs

FunctionCallFactV1

Call evidence supplied by a canonical lowering stage.

FunctionCallFactsV1

The closed call-fact input to the function-summary projection.

FunctionSummaryGraphV1

A versioned function-summary projection.

FunctionSummaryV1

Stable direct and transitive facts for one function.

Enums

FunctionCallCoverageV1

Whether the supplied call facts account for every call in the selected scope.

FunctionSummaryErrorV1

Invalid call evidence cannot silently alter a function summary.

Constants

FUNCTION_SUMMARY_SCHEMA_VERSION

Functions

build_function_summary_graph_v1

Builds direct summaries and, only for complete call coverage, transitive facts.