[jdk17] Integrated: 8268663: Crash when guards contain boolean expression

[Jan Lahoda]

On Mon, 14 Jun 2021 13:23:25 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: 35d867df
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.java.net/jdk17/commit/35d867df1f2064e867dcf1030c498bfa23568054
Stats:     59 lines in 4 files changed: 56 ins; 0 del; 3 mod

8268663: Crash when guards contain boolean expression

Reviewed-by: vromero

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

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