Stream: git-wasmtime

Topic: wasmtime / PR #14004 Fix panic in alias analysis when a l...

Wasmtime GitHub notifications bot (Jul 27 2026 at 23:03):

fitzgen opened PR #14004 from fitzgen:issue-13961-alias-analysis-panic to bytecodealliance:main:

Fixes #13961

<!--
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.html

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

Wasmtime GitHub notifications bot (Jul 27 2026 at 23:03):

fitzgen requested cfallin for a review on PR #14004.

Wasmtime GitHub notifications bot (Jul 27 2026 at 23:03):

fitzgen requested wasmtime-compiler-reviewers for a review on PR #14004.

Wasmtime GitHub notifications bot (Jul 28 2026 at 01:08):

github-actions[bot] added the label cranelift on PR #14004.

Wasmtime GitHub notifications bot (Jul 28 2026 at 15:09):

:memo: cfallin submitted PR review.

Wasmtime GitHub notifications bot (Jul 28 2026 at 15:09):

:speech_balloon: cfallin created PR review comment:

This seems like a bandaid to me: it papers over the fact that the defining inst in the mem_values may be a removed instruction by just skipping the processing. Could we instead avoid inserting into mem_values if we determine the store is dead?

Wasmtime GitHub notifications bot (Jul 29 2026 at 18:51):

fitzgen updated PR #14004.

Wasmtime GitHub notifications bot (Jul 29 2026 at 18:52):

:memo: fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Jul 29 2026 at 18:52):

:speech_balloon: fitzgen created PR review comment:

Made it so that mem_values never holds an instruction not in the layout (doing the same for LastStores was not practical, see the comment in the new code)

Wasmtime GitHub notifications bot (Jul 30 2026 at 03:28):

fitzgen requested cfallin for a review on PR #14004.

Wasmtime GitHub notifications bot (Jul 30 2026 at 03:37):

:thumbs_up: cfallin submitted PR review.

Wasmtime GitHub notifications bot (Jul 30 2026 at 03:37):

cfallin added PR #14004 Fix panic in alias analysis when a load follows an eliminated store to the merge queue.

Wasmtime GitHub notifications bot (Jul 30 2026 at 04:02):

github-merge-queue[bot] removed PR #14004 Fix panic in alias analysis when a load follows an eliminated store from the merge queue.

Wasmtime GitHub notifications bot (Jul 30 2026 at 14:28):

alexcrichton added PR #14004 Fix panic in alias analysis when a load follows an eliminated store to the merge queue.

Wasmtime GitHub notifications bot (Jul 30 2026 at 14:54):

:check: alexcrichton merged PR #14004.

Wasmtime GitHub notifications bot (Jul 30 2026 at 14:54):

alexcrichton removed PR #14004 Fix panic in alias analysis when a load follows an eliminated store from the merge queue.

Last updated: Aug 30 2026 at 10:08 UTC