dicej opened issue #12397:
The component model async implementation contains a lot of intrinsic functions, each of which currently has hand-written code to check the
may-leaveflag and trap if it's unset. Instead, we should check this in e.g.ComponentInstance::enter_host_from_wasmso we don't have to do it manually for each intrinsic.
alexcrichton added the wasm-proposal:component-model label to Issue #12397.
dicej commented on issue #12397:
However, per https://github.com/bytecodealliance/wasmtime/issues/12403, not all intrinsics should check
may-leave, so we'll still have to provide a way to enable or disable the check on a per-intrinsic basis.
alexcrichton assigned alexcrichton to issue #12397.
Last updated: Jan 29 2026 at 13:25 UTC