Stream: git-wasmtime

Topic: wasmtime / PR #13357 Add a test to exercise GC and MIRI

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 21:04):

fitzgen opened PR #13357 from fitzgen:add-test-to-exercise-gc-and-miri to bytecodealliance:main:

This test doesn't actually compile or run any Wasm functions, which means it can
easily run under MIRI, but does exercise the very basics of garbage
collection (notably, GC roots and their updating, which has historically been
problematic under MIRI).

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 21:04):

fitzgen requested pchickey for a review on PR #13357.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 21:04):

fitzgen requested wasmtime-core-reviewers for a review on PR #13357.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 21:04):

fitzgen edited PR #13357:

This test doesn't actually compile or run any Wasm functions, which means it can
easily run under MIRI, but does exercise the very basics of garbage
collection (notably, GC roots and their updating, which has historically been
problematic under MIRI).

Depends on https://github.com/bytecodealliance/wasmtime/pull/13356

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 21:07):

fitzgen updated PR #13357.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 22:05):

github-actions[bot] added the label wasmtime:api on PR #13357.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 22:33):

:thumbs_up: alexcrichton submitted PR review:

Huh, well I don't think either of us expected this to turn up a GC bug but here we are!

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 00:08):

fitzgen updated PR #13357.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 16:22):

fitzgen commented on PR #13357:

Huh, well I don't think either of us expected this to turn up a GC bug but here we are!

The gc_zeal failure in CI is fixed by https://github.com/bytecodealliance/wasmtime/pull/13330, will rebase after that merges.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 17:23):

fitzgen updated PR #13357.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 17:24):

fitzgen has enabled auto merge for PR #13357.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 17:34):

fitzgen added PR #13357 Add a test to exercise GC and MIRI to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 18:00):

github-merge-queue[bot] removed PR #13357 Add a test to exercise GC and MIRI from the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 18:03):

alexcrichton added PR #13357 Add a test to exercise GC and MIRI to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 18:27):

:check: alexcrichton merged PR #13357.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2026 at 18:27):

alexcrichton removed PR #13357 Add a test to exercise GC and MIRI from the merge queue.

Last updated: Jun 01 2026 at 09:49 UTC