Skip to content

Fuzzer: Use existing mechanism to fix up non-nullable global exnrefs#8021

Merged
kripken merged 2 commits intoWebAssembly:mainfrom
kripken:fuzz.exnref.nn.global
Nov 4, 2025
Merged

Fuzzer: Use existing mechanism to fix up non-nullable global exnrefs#8021
kripken merged 2 commits intoWebAssembly:mainfrom
kripken:fuzz.exnref.nn.global

Conversation

@kripken
Copy link
Copy Markdown
Member

@kripken kripken commented Nov 4, 2025

We can't easily make a non-nullable exnref, and use a throw in a block
to manufacture one when necessary. That doesn't work in the global
scope. When in that bad situation, emit a RefAsNonNull to "fix" it,
which is not valid (like a throw+block are not valid), but existing code for global
generation notes that and fixes it up.

@kripken kripken requested a review from tlively November 4, 2025 19:33
@kripken kripken merged commit 13fe0e3 into WebAssembly:main Nov 4, 2025
16 checks passed
@kripken kripken deleted the fuzz.exnref.nn.global branch November 4, 2025 20:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants