Wasmtime GitHub notifications bot (Jun 03 2026 at 20:11): Wasmtime GitHub notifications bot (Jun 03 2026 at 20:11):fitzgen opened PR #13552 from fitzgen:wasmtime-issue-13538 to bytecodealliance:main:
This is because a module can export a memory and a function that interacts with that memory, and then another module can import that memory and that function, and if its calls to that function get inlined, then the alias regions that the original module's access to the memory used and the second module's accesses use must match. Otherwise, we would get memory accesses that claim they cannot alias (by using different alias regions in their accesses) that actually can alias, which leads to miscompiles.
Fixes https://github.com/bytecodealliance/wasmtime/issues/13538
<!--
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
-->
Wasmtime GitHub notifications bot (Jun 03 2026 at 20:11):fitzgen requested cfallin for a review on PR #13552.
Wasmtime GitHub notifications bot (Jun 03 2026 at 20:11):fitzgen requested wasmtime-compiler-reviewers for a review on PR #13552.
Wasmtime GitHub notifications bot (Jun 03 2026 at 20:11):fitzgen requested wasmtime-core-reviewers for a review on PR #13552.
Wasmtime GitHub notifications bot (Jun 03 2026 at 21:39)::thumbs_up: cfallin submitted PR review.
Wasmtime GitHub notifications bot (Jun 03 2026 at 21:39)::speech_balloon: cfallin created PR review comment:
helper
module.exports_memory(memory)? (and likewise below)
Wasmtime GitHub notifications bot (Jun 03 2026 at 21:39)::speech_balloon: cfallin created PR review comment:
The "imported memory" name here is a little confusing since we now reference it from "both sides" -- perhaps
CrossModuleMemoryor something like that?
Wasmtime GitHub notifications bot (Jun 03 2026 at 22:27):fitzgen updated PR #13552.
Wasmtime GitHub notifications bot (Jun 03 2026 at 22:27):fitzgen has enabled auto merge for PR #13552.
Wasmtime GitHub notifications bot (Jun 03 2026 at 22:35):fitzgen added PR #13552 Use the imported alias region for exported memories/tables/globals to the merge queue.
Wasmtime GitHub notifications bot (Jun 03 2026 at 22:59)::check: fitzgen merged PR #13552.
Wasmtime GitHub notifications bot (Jun 03 2026 at 22:59):fitzgen removed PR #13552 Use the imported alias region for exported memories/tables/globals from the merge queue.
Last updated: Jul 29 2026 at 05:03 UTC