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

[Vicente Romero]

On Mon, 14 Jun 2021 17:55:28 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.
>
> Jan Lahoda has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Adding tests as suggested on the review.

looks good

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

Marked as reviewed by vromero (Reviewer).

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