Unreachable switch expression block

[PaulSandoz]

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!";
};

---

Progress

• Change must not contain extraneous whitespace

Reviewers

• Maurizio Cimadamore (@mcimadamore - Reviewer)

Reviewing

Using git

Checkout this PR locally:
$ git fetch https://git.openjdk.org/babylon.git pull/260/head:pull/260
$ git checkout pull/260

Update a local copy of the PR:
$ git checkout pull/260
$ git pull https://git.openjdk.org/babylon.git pull/260/head

Using Skara CLI tools

Checkout this PR locally:
$ git pr checkout 260

View PR using the GUI difftool:
$ git pr show -t 260

Using diff file

Download this PR as a diff file:
https://git.openjdk.org/babylon/pull/260.diff

Webrev

Link to Webrev Comment

[bridgekeeper]

👋 Welcome back psandoz! A progress list of the required criteria for merging this PR into code-reflection will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

[openjdk]

@PaulSandoz This change now passes all automated pre-integration checks.

ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details.

After integration, the commit message for the final commit will be:

Unreachable switch expression block

Reviewed-by: mcimadamore

You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed.

At the time when this comment was updated there had been no new commits pushed to the code-reflection branch. If another commit should be pushed before you perform the /integrate command, your PR will be automatically rebased. If you prefer to avoid any potential automatic rebasing, please check the documentation for the /integrate command for further details.

➡️ To integrate this PR with the above commit message to the code-reflection branch, type /integrate in a new comment.

[mlbridge]

Webrevs

• 00: Full (4b3321d5)

[PaulSandoz]

/integrate

[openjdk]

Going to push as commit 24149a2.
Since your change was applied there have been 2 commits pushed to the code-reflection branch:

• 5dc4126: Bld fixes needed for cuda linux
• 6d70f2c: Add env.bash error tracking and update build scripts and docs

Your commit was automatically rebased without conflicts.

[openjdk]

@PaulSandoz Pushed as commit 24149a2.

💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored.