alexcrichton opened PR #13009 from alexcrichton:fix-winch-table-size to bytecodealliance:main:
Note: this is a fix for GHSA-m9w2-8782-2946
This commit corrects the tagged size of the output of the
table.sizeinstruction. Previously this was hardcoded as a 32-bit integer instead of consulting the table's index type to use the
index-type-sized-register instead.<!--
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
-->
alexcrichton requested fitzgen for a review on PR #13009.
alexcrichton requested wasmtime-compiler-reviewers for a review on PR #13009.
alexcrichton requested wasmtime-core-reviewers for a review on PR #13009.
cfallin has enabled auto merge for PR #13009.
cfallin submitted PR review.
cfallin added PR #13009 winch: Fix the type of the table.size output register to the merge queue.
cfallin merged PR #13009.
cfallin removed PR #13009 winch: Fix the type of the table.size output register from the merge queue.
Last updated: Apr 12 2026 at 23:10 UTC