blob: 11950c4b43edf2d10925a1a5597017be5c046b08 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
;; Test the combination of 'return_call' with exception handling.
(module
(tag $t)
(func $test (export "test") (result i32)
(block $catch
(return
(try_table (result i32) (catch_all $catch)
(call $return-call-in-try_table)
)
)
)
;; Catch the exception thrown from $return-callee.
(i32.const 42)
)
(func $return-call-in-try_table (result i32)
(block $catch
(try_table (catch_all $catch)
(return_call $return-callee)
)
)
(unreachable)
)
(func $return-callee (result i32)
(throw $t)
)
)
(assert_return (invoke "test") (i32.const 42))
|
