eei return: Trap condition: unreachable

[ewasm]

eei return: Trap condition: unreachable

[poemm]

Maybe you already know this, but the Wasm spec requires host functions to return with the type in their signature (or never return if they are in an infinite loop). So perhaps you can return in a way which triggers a Wasm trap, which allows Wasm to handle the trap and exit cleanly. This can be optimized later.

[axic]

-> ! is added because it was made with the assumption that ewasm/design#72 is merged

Since it is not merged, we probably should remove those atm.

[axic]

Here's a generated code example (from sha256 precompile):

 (func $_ZN9ewasm_api6revert17h4611de01ad540c7bE (; 74 ;) (type $7)
  (call $ethereum_revert
   (i32.const 0)
   (i32.const 0)
  )
  (unreachable)
 )

-> ! means the function never returns, and it seems that Rust enforces this in the wasm output as including a trap after the function.

While this would be unnecessary since the function would never return anyway, it is a nice behaviour to ensure a non-compliant VM fails 😉

I'd really prefer to merge ewasm/design#72 and keep 😕

[axic]

Since the design issue was decided on and ewasm/hera#249 was merged, this can be closed.