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

Jan Lahoda jlahoda at openjdk.java.net
Mon Jun 14 17:55:28 UTC 2021

> 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.


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

 - 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

More information about the compiler-dev mailing list