Stream: git-wasmtime

Topic: wasmtime / issue #5800 egraphs: fix handling of effectful...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 16 2023 at 06:14):

cfallin commented on issue #5800:

IMHO it'd be good to discuss backporting this to 6.0 as well. The release is quite soon, so there is some risk (not much fuzzing time); on the other hand, while it's a somewhat subtle effect (in case of trap, the trap side-effect might reorder with other side-effects), it is in fact a miscompile. Interested in others' thoughts on this!

view this post on Zulip Wasmtime GitHub notifications bot (Feb 16 2023 at 23:05):

cfallin commented on issue #5800:

Rebased on top of latest main, which includes a temporary lower-risk fix (#5808); this PR now includes a revert of that more temporary fix, and then the more complete fix originally proposed here.


Last updated: Dec 23 2024 at 13:07 UTC