blob: 390f0783beeec0241e5355d356ae3de0ce443ba3 [file] [edit]
(module
(type $0 (func (result i32)))
(type $1 (func (param i64)))
(export "ret" (func $ret))
(export "waka" (func $if-0-unreachable-to-none))
(func $ret (; 0 ;) (type $0) (result i32)
(block $out (result i32)
(drop
(call $ret)
)
(if
(call $ret)
(return
(i32.const 1)
)
)
(i32.const 999)
)
)
(func $if-0-unreachable-to-none (; 1 ;) (type $1) (param $0 i64)
(unreachable)
)
)