[jdk21] RFR: 8311815: Incorrect exhaustivity computation

Tue Jul 18 18:33:03 UTC 2023

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!

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

Commit messages:
 - Backport a4412166ec8526db5e5e8e1ca324f86124055b30

Changes: https://git.openjdk.org/jdk21/pull/138/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=138&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8311815
  Stats: 102 lines in 2 files changed: 55 ins; 24 del; 23 mod
  Patch: https://git.openjdk.org/jdk21/pull/138.diff
  Fetch: git fetch https://git.openjdk.org/jdk21.git pull/138/head:pull/138

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