Module ControlFlow::Internal::Reachability

Provides logic for calculating reachable control flow nodes.

Import path

import csharp

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.