> 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).
Quan Anh Mai has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains two additional commits since the last revision: - Merge branch 'lworld' into abstractstrictfinal - Pointer to strict final field may be of an abstract class ------------- Changes: - all: https://git.openjdk.org/valhalla/pull/2497/files - new: https://git.openjdk.org/valhalla/pull/2497/files/6f677cef..3ec6bd65 Webrevs: - full: https://webrevs.openjdk.org/?repo=valhalla&pr=2497&range=01 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=2497&range=00-01 Stats: 38715 lines in 479 files changed: 23236 ins; 10787 del; 4692 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
