Module Splitting::Reachability

Provides logic for calculating reachable control flow nodes.

Classes

SameSplitsBlock

A block of control flow elements where the set of splits is guaranteed to remain unchanged, represented by the first element in the block.