[jdk21] Integrated: 8311815: Incorrect exhaustivity computation

[Jan Lahoda]

On Tue, 18 Jul 2023 18:25:29 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> Hi all,
> 
> This pull request contains a backport of commit [a4412166](https://github.com/openjdk/jdk/commit/a4412166ec8526db5e5e8e1ca324f86124055b30) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
> 
> The commit being backported was authored by Jan Lahoda on 17 Jul 2023 and was reviewed by Vicente Romero.
> 
> Thanks!

This pull request has now been integrated.

Changeset: 6d9da7ce
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk21/commit/6d9da7ce6291658ac8025ef7a297e335d49d43b5
Stats:     102 lines in 2 files changed: 55 ins; 24 del; 23 mod

8311815: Incorrect exhaustivity computation

Reviewed-by: vromero
Backport-of: a4412166ec8526db5e5e8e1ca324f86124055b30

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

PR: https://git.openjdk.org/jdk21/pull/138