fitzgen opened PR #13512 from fitzgen:issue-135080-differential-fuzz-failure-after-alias-regions to bytecodealliance:main:
Stores without an alias region act like a fence: they clobber all regions. But we additionally need to update
self.last_fenceso that subsequent loads with regions don't get stale values forwarded past the regionless store.Fixes https://github.com/bytecodealliance/wasmtime/issues/13508
<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
fitzgen requested cfallin for a review on PR #13512.
fitzgen requested wasmtime-compiler-reviewers for a review on PR #13512.
:thumbs_up: cfallin submitted PR review.
cfallin has enabled auto merge for PR #13512.
fitzgen updated PR #13512.
fitzgen has disabled auto merge for PR #13512.
fitzgen has enabled auto merge for PR #13512.
fitzgen added PR #13512 Fix LastStores::update for stores without an alias region to the merge queue.
:check: fitzgen merged PR #13512.
fitzgen removed PR #13512 Fix LastStores::update for stores without an alias region from the merge queue.
Last updated: Jun 01 2026 at 09:49 UTC