diff options
Diffstat (limited to 'test/spec/unreached-invalid.txt')
| -rw-r--r-- | test/spec/unreached-invalid.txt | 75 |
1 files changed, 48 insertions, 27 deletions
diff --git a/test/spec/unreached-invalid.txt b/test/spec/unreached-invalid.txt index 77b45a10..b57202ea 100644 --- a/test/spec/unreached-invalid.txt +++ b/test/spec/unreached-invalid.txt @@ -264,77 +264,98 @@ out/test/spec/unreached-invalid.wast:521: assert_invalid passed: out/test/spec/unreached-invalid.wast:527: assert_invalid passed: error: br_table labels have inconsistent types: expected [f32], got [] 0000023: error: OnBrTableExpr callback failed -out/test/spec/unreached-invalid.wast:539: assert_invalid passed: - error: br_table labels have inconsistent types: expected [f32], got [f64] - 0000023: error: OnBrTableExpr callback failed -out/test/spec/unreached-invalid.wast:554: assert_invalid passed: +out/test/spec/unreached-invalid.wast:540: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000020: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:560: assert_invalid passed: +out/test/spec/unreached-invalid.wast:546: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [] 0000020: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:566: assert_invalid passed: +out/test/spec/unreached-invalid.wast:552: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [i64] 0000022: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:572: assert_invalid passed: +out/test/spec/unreached-invalid.wast:558: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000023: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:579: assert_invalid passed: +out/test/spec/unreached-invalid.wast:565: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000021: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:585: assert_invalid passed: +out/test/spec/unreached-invalid.wast:571: assert_invalid passed: error: type mismatch in block, expected [i32] but got [] 0000022: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:591: assert_invalid passed: +out/test/spec/unreached-invalid.wast:577: assert_invalid passed: error: type mismatch in block, expected [i32] but got [i64] 0000024: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:598: assert_invalid passed: +out/test/spec/unreached-invalid.wast:584: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000023: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:604: assert_invalid passed: +out/test/spec/unreached-invalid.wast:590: assert_invalid passed: error: type mismatch in block, expected [i32] but got [] 0000025: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:610: assert_invalid passed: +out/test/spec/unreached-invalid.wast:596: assert_invalid passed: error: type mismatch in block, expected [i32] but got [i64] 0000027: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:618: assert_invalid passed: +out/test/spec/unreached-invalid.wast:604: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000024: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:625: assert_invalid passed: +out/test/spec/unreached-invalid.wast:611: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000020: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:631: assert_invalid passed: +out/test/spec/unreached-invalid.wast:617: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [] 0000022: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:637: assert_invalid passed: +out/test/spec/unreached-invalid.wast:623: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [i64] 0000024: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:643: assert_invalid passed: +out/test/spec/unreached-invalid.wast:629: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000025: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:651: assert_invalid passed: +out/test/spec/unreached-invalid.wast:637: assert_invalid passed: error: type mismatch in loop, expected [] but got [i32] 0000020: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:657: assert_invalid passed: +out/test/spec/unreached-invalid.wast:643: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [] 0000020: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:663: assert_invalid passed: +out/test/spec/unreached-invalid.wast:649: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [i64] 0000022: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:670: assert_invalid passed: +out/test/spec/unreached-invalid.wast:656: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [] 000001f: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:676: assert_invalid passed: +out/test/spec/unreached-invalid.wast:662: assert_invalid passed: error: type mismatch in implicit return, expected [i32] but got [] 0000020: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:683: assert_invalid passed: +out/test/spec/unreached-invalid.wast:669: assert_invalid passed: error: type mismatch in function, expected [] but got [i32] 000001d: error: EndFunctionBody callback failed -out/test/spec/unreached-invalid.wast:690: assert_invalid passed: +out/test/spec/unreached-invalid.wast:676: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000022: error: OnEndExpr callback failed -out/test/spec/unreached-invalid.wast:701: assert_invalid passed: +out/test/spec/unreached-invalid.wast:687: assert_invalid passed: error: type mismatch in i64.extend_i32_u, expected [i32] but got [i64] 000001c: error: OnConvertExpr callback failed -111/111 tests passed. +out/test/spec/unreached-invalid.wast:699: assert_invalid passed: + error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32] + 000001f: error: OnSelectExpr callback failed +out/test/spec/unreached-invalid.wast:704: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i64, i32, i32] + 000001f: error: OnSelectExpr callback failed +out/test/spec/unreached-invalid.wast:710: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, i64] + 000001f: error: OnSelectExpr callback failed +out/test/spec/unreached-invalid.wast:715: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i64] + 000001d: error: OnSelectExpr callback failed +out/test/spec/unreached-invalid.wast:720: assert_invalid passed: + error: type mismatch in select, expected [any, any, i32] but got [i64] + 000001b: error: OnSelectExpr callback failed +out/test/spec/unreached-invalid.wast:726: assert_invalid passed: + error: type mismatch in implicit return, expected [i32] but got [i64] + 000001f: error: EndFunctionBody callback failed +out/test/spec/unreached-invalid.wast:733: assert_invalid passed: + error: type mismatch in function, expected [] but got [any] + 000001a: error: EndFunctionBody callback failed +out/test/spec/unreached-invalid.wast:738: assert_invalid passed: + error: type mismatch in br_table, expected [i32] but got [externref] + 0000026: error: OnBrTableExpr callback failed +118/118 tests passed. ;;; STDOUT ;;) |