Integrated: 8325653: Erroneous exhaustivity analysis for primitive patterns

Wed Feb 14 09:22:07 UTC 2024

On Mon, 12 Feb 2024 16:12:14 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote:

> This PR fixes an exhaustivity analysis issue with primitive patterns, that was implementing the clause in [14.11.1.1](https://cr.openjdk.org/~abimpoudis/instanceof/jep455-20240122/specs/instanceof-jls.html#jls-14.11.1.1) erroneously (in the case where the selector is a reference type).

This pull request has now been integrated.

Changeset: 0c2def0e
Author:    Aggelos Biboudis <abimpoudis at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0c2def0e3eaa4925746158294f798d37d42c50f3
Stats:     48 lines in 3 files changed: 28 ins; 13 del; 7 mod

8325653: Erroneous exhaustivity analysis for primitive patterns

Reviewed-by: vromero

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

PR: https://git.openjdk.org/jdk/pull/17810