On Mon, 23 Mar 2026 10:29:12 GMT, Quan Anh Mai <[email protected]> wrote:

> Could this potentially happen in other situations?

I think it could. It's hard to say if it's likely in the current setup, I think 
the 'not null free' case is a bit special @dafedafe.

> I think we should install some assert that verifies the speculative part is 
> always a subset of the non-speculative one.

I agree. I think `cleanup_speculative` might be a good place do it, let me know 
what you think. I would file a follow-up issue, probably on mainline @merykitty-

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

PR Comment: https://git.openjdk.org/valhalla/pull/2242#issuecomment-4116141364

Reply via email to