[code-reflection] RFR: Unreachable switch expression block

Maurizio Cimadamore mcimadamore at openjdk.org
Wed Oct 23 10:18:22 UTC 2024


On Tue, 22 Oct 2024 21:48:14 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

> This fixes the generated code model for an unreachable edge case discussed in PR #257:
> 
> String s = switch (n) {
>     case 3 -> { while (true); }
>     default -> " Hello!";
> };

Marked as reviewed by mcimadamore (Reviewer).

-------------

PR Review: https://git.openjdk.org/babylon/pull/260#pullrequestreview-2388082512


More information about the babylon-dev mailing list