Struct spirt::cfg::PartialControlRegion

struct PartialControlRegion {
    structured_body_holder: Option<ControlRegion>,
    deferred_edges: DeferredEdgeBundleSet,
}

Partially structurized ControlRegion, the result of combining together several smaller ControlRegions, based on CFG edges between them.

Fields

structured_body_holder: Option<ControlRegion>

deferred_edges: DeferredEdgeBundleSet

The transitive targets which can’t be claimed into the ControlRegion remain as deferred exits, and will blocking further structurization until all other edges to those same targets are gathered together.

Note: this will only be empty if the ControlRegion never exits, i.e. it has divergent control-flow (such as an infinite loop), as any control-flow path that can (eventually) return from the function, will end up using a deferred target for that (see DeferredTarget::Return).