[jdk21] Integrated: 8311038: Incorrect exhaustivity computation

[Jan Lahoda]

On Fri, 14 Jul 2023 09:57:59 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: 7a5d6f90
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk21/commit/7a5d6f90f0ed5cc299ec54255368f12c141fc2fe
Stats:     28 lines in 2 files changed: 26 ins; 0 del; 2 mod

8311038: Incorrect exhaustivity computation

Reviewed-by: vromero
Backport-of: bbb7ce5137cd3e8365552b42610e19b7ebe43ba1

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

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