Stream: git-wasmtime

Topic: wasmtime / PR #11019 miri: Fix a new code pattern with st...


view this post on Zulip Wasmtime GitHub notifications bot (Jun 11 2025 at 22:52):

alexcrichton requested dicej for a review on PR #11019.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 11 2025 at 22:52):

alexcrichton opened PR #11019 from alexcrichton:fix-another-miri-borrow to bytecodealliance:main:

Joel and I went down a deep rabbit hole today trying to figure out what's going on with a new code pattern which was being flagged as violating stacked borrows. At the end of the day I'm honestly not 100% sure what this doing or how to explain all the behavior we were seeing, but this seems to be basically equivalent and we're otherwise able to get a bit further so I figured I'd commit this.

Along the way I updated the preexisting table-intrinsics test to correctly use the table it was supposed to be using instead of using the previous table by accident.

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jun 11 2025 at 22:52):

alexcrichton requested wasmtime-core-reviewers for a review on PR #11019.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 11 2025 at 22:55):

dicej submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 11 2025 at 22:57):

alexcrichton has enabled auto merge for PR #11019.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 11 2025 at 23:26):

alexcrichton merged PR #11019.


Last updated: Dec 06 2025 at 06:05 UTC