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.
alexcrichton closed 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.
Last updated: Feb 24 2026 at 05:28 UTC