RFR: 8290892: C2: Intrinsify Reference.reachabilityFence [v19]

[Emanuel Peter]

On Mon, 3 Nov 2025 22:06:14 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

> Does VerifyLoopOptimizations catch it?

Probably not, because it is not very strong yet. I will probably soon work on it again, to make sure we have stronger invariants, or at least enforcing our implicit invariants ;)

In your case, you probably are using your new `remove_dead_node` in the way it "should" be used. But since this is a public API, someone will probably come along in the future and use it in unintended ways. That's why I'm asking for more asserts that at least block some wrong usages ;)

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

PR Review Comment: https://git.openjdk.org/jdk/pull/25315#discussion_r2489225737