Expand description
Immutable control-flow projections over canonical compiler IR.
This product exposes only facts represented by IntermediateRepresentation.
Its coverage markers prevent later analyses from mistaking absent exception,
suspension, or unknown-call IR for a proven empty set.
Structs§
- Control
Flow Access V1 - One IR-owned data access;
kindprevents values and semantic slots sharing a textual ID from being conflated by later analyses. - Control
Flow Block V1 - A basic block with exact IR-visible reads and writes.
- Control
Flow Branch Edge V1 - One directed conditional edge in canonical IR.
- Control
Flow Coverage V1 - Explicit fail-closed coverage for a function control-flow projection.
- Control
Flow Function V1 - Control-flow and data-access facts for one canonical IR function.
- Control
Flow Graph V1 - A deterministic, Presolve-owned per-function control-flow product.
- Control
Flow Loop V1 - Natural-loop facts already retained by canonical IR.
- Control
Flow Provenance V1 - Serializable source provenance retained through the CFG projection.
Enums§
- Control
Flow Access Kind V1 - Control
Flow Branch ArmV1 - Control
Flow Coverage Status V1 - Whether a required analysis dimension is encoded by the current IR.
Constants§
Functions§
- build_
control_ flow_ graph_ v1 - Projects all canonical IR functions into stable control-flow records.