The tableswitch instruction is missing construction checks for clearly illegal low and high values. Such values are already filtered when they are read from class files, so it makes sense for us to reject such instructions when they are created unbound.
--------- - [x] I confirm that I make this contribution in accordance with the [OpenJDK Interim AI Policy](https://openjdk.org/legal/ai). ------------- Commit messages: - Validate values before null check - Copyright - Spec fix and tests - Merge branch 'master' of https://github.com/openjdk/jdk into fix/cf-tableswitch-vals - Validate tableswitch values Changes: https://git.openjdk.org/jdk/pull/31241/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=31241&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8385114 Stats: 58 lines in 6 files changed: 48 ins; 2 del; 8 mod Patch: https://git.openjdk.org/jdk/pull/31241.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/31241/head:pull/31241 PR: https://git.openjdk.org/jdk/pull/31241
