Provides classes and predicates for identifying unreachable blocks under a “closed-world” assumption.
A switch statement that always selects the same case.
An expression that evaluates to a constant at runtime.
A field which contains a constant of an immutable type.
A method that returns a single constant value, and is not overridden.
A field that appears constant, but should not be considered constant when determining
An unreachable basic block is one that is dominated by a condition that never holds.
An unreachable expression is an expression contained in an
An unreachable statement is a statement contained in an