Hi, Thanks a lot to @TobiHartmann for the analysis. The issue here is that a strict final field can belong to an abstract class, which triggers an assert when we call `toop->is_instptr()->exact_klass()`. What we really what is to check if the allocation class is unrelated to the access, this PR fixes that.
Please take a look and leave your reviews, thanks a lot. --------- - [x] I confirm that I make this contribution in accordance with the [OpenJDK Interim AI Policy](https://openjdk.org/legal/ai). ------------- Commit messages: - Pointer to strict final field may be of an abstract class Changes: https://git.openjdk.org/valhalla/pull/2497/files Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=2497&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8384805 Stats: 83 lines in 2 files changed: 81 ins; 0 del; 2 mod Patch: https://git.openjdk.org/valhalla/pull/2497.diff Fetch: git fetch https://git.openjdk.org/valhalla.git pull/2497/head:pull/2497 PR: https://git.openjdk.org/valhalla/pull/2497
