[jdk21] RFR: 8311038: Incorrect exhaustivity computation

Fri Jul 14 10:05:42 UTC 2023

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!

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

Commit messages:
 - Backport bbb7ce5137cd3e8365552b42610e19b7ebe43ba1

Changes: https://git.openjdk.org/jdk21/pull/127/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=127&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8311038
  Stats: 28 lines in 2 files changed: 26 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk21/pull/127.diff
  Fetch: git fetch https://git.openjdk.org/jdk21.git pull/127/head:pull/127

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