RFR: 8325653: Erroneous exhaustivity analysis for primitive patterns [v2]

[Aggelos Biboudis]

> 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) (in the case where the selector is a reference type) erroneously.

Aggelos Biboudis has updated the pull request incrementally with one additional commit since the last revision:

  Cleanup

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/17810/files
  - new: https://git.openjdk.org/jdk/pull/17810/files/7064dd36..8dd340b3

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=17810&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=17810&range=00-01

  Stats: 18 lines in 1 file changed: 1 ins; 13 del; 4 mod
  Patch: https://git.openjdk.org/jdk/pull/17810.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/17810/head:pull/17810

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