second-state/SOLL

Support `invalid` opcode in Yul front end

hydai opened this issue · 1 comments

hydai commented

Yul Spec

https://solidity.readthedocs.io/en/v0.7.4/yul.html#evm-dialect

invalid() - F end execution with invalid instruction

How to implement invalid in ewasm

https://github.com/ewasm/evm2wasm/blob/master/libs/evm2wasm/evm2wasm.cpp#L337

Use unreachable to stop the execution.

hydai commented

Fixed in d6b7357