[jdk17] RFR: 8268663: Crash when guards contain boolean expression [v2]

[Jan Lahoda]

> When Flow analyzes boolean expressions, (un-)initialized are split into (un-)initialized when true and when false. When analyzing guarded patterns, we need to handle these split values. As the only way the case's body/statements can be executed is if the case's pattern matches, we need to use the initialized values when true.

Jan Lahoda has updated the pull request incrementally with one additional commit since the last revision:

  Adding tests as suggested on the review.

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

Changes:
  - all: https://git.openjdk.java.net/jdk17/pull/41/files
  - new: https://git.openjdk.java.net/jdk17/pull/41/files/bca2461b..d9e902b0

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk17&pr=41&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk17&pr=41&range=00-01

  Stats: 20 lines in 3 files changed: 19 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/jdk17/pull/41.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk17 pull/41/head:pull/41

PR: https://git.openjdk.java.net/jdk17/pull/41