blob: 11ee0c1aa014b9ba68daffb07c6a855b3a53a7db (
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
33
34
35
36
37
38
39
|
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite_legacy/try_catch.wast
;;; ARGS*: --enable-exceptions --enable-tail-call
(;; STDOUT ;;;
out/test/spec/exception-handling/try_catch.wast:177: assert_trap passed: unreachable executed
out/test/spec/exception-handling/try_catch.wast:180: assert_trap passed: integer divide by zero
out/test/spec/exception-handling/try_catch.wast:184: assert_exception passed
out/test/spec/exception-handling/try_catch.wast:188: assert_exception passed
out/test/spec/exception-handling/try_catch.wast:211: assert_exception passed
out/test/spec/exception-handling/try_catch.wast:212: assert_exception passed
out/test/spec/exception-handling/try_catch.wast:237: assert_malformed passed:
out/test/spec/exception-handling/try_catch/try_catch.3.wat:1:16: error: unexpected token "catch_all", expected an instr.
(module (func (catch_all)))
^^^^^^^^^
out/test/spec/exception-handling/try_catch.wast:242: assert_malformed passed:
out/test/spec/exception-handling/try_catch/try_catch.4.wat:1:25: error: unexpected token "catch", expected an instr.
(module (tag $e) (func (catch $e)))
^^^^^
out/test/spec/exception-handling/try_catch.wast:247: assert_malformed passed:
out/test/spec/exception-handling/try_catch/try_catch.5.wat:1:38: error: multiple catch_all clauses not allowed
(module (func (try (do) (catch_all) (catch_all))))
^^^^^^^^^
out/test/spec/exception-handling/try_catch.wast:253: assert_invalid passed:
out/test/spec/exception-handling/try_catch/try_catch.6.wasm:000001b: error: type mismatch in try, expected [i32] but got []
000001b: error: OnEndExpr callback failed
out/test/spec/exception-handling/try_catch.wast:255: assert_invalid passed:
out/test/spec/exception-handling/try_catch/try_catch.7.wasm:000001d: error: type mismatch in try, expected [i32] but got [i64]
000001d: error: OnEndExpr callback failed
out/test/spec/exception-handling/try_catch.wast:257: assert_invalid passed:
out/test/spec/exception-handling/try_catch/try_catch.8.wasm:0000023: error: type mismatch at end of try catch, expected [] but got [i32]
0000023: error: OnEndExpr callback failed
out/test/spec/exception-handling/try_catch.wast:259: assert_invalid passed:
out/test/spec/exception-handling/try_catch/try_catch.9.wasm:0000028: error: type mismatch in try catch, expected [i32] but got [i64]
0000028: error: OnEndExpr callback failed
out/test/spec/exception-handling/try_catch.wast:264: assert_invalid passed:
out/test/spec/exception-handling/try_catch/try_catch.10.wasm:000001d: error: type mismatch at end of try catch, expected [] but got [i32]
000001d: error: OnEndExpr callback failed
40/40 tests passed.
;;; STDOUT ;;)
|
