diff options
Diffstat (limited to 'test/binary')
| -rw-r--r-- | test/binary/bad-callindirect-invalid-sig.txt | 18 | ||||
| -rw-r--r-- | test/binary/bad-returncallindirect-invalid-sig.txt | 20 |
2 files changed, 38 insertions, 0 deletions
diff --git a/test/binary/bad-callindirect-invalid-sig.txt b/test/binary/bad-callindirect-invalid-sig.txt new file mode 100644 index 00000000..2dccf135 --- /dev/null +++ b/test/binary/bad-callindirect-invalid-sig.txt @@ -0,0 +1,18 @@ +;;; TOOL: run-gen-wasm-bad +magic +version +section(TYPE) { count[1] function params[0] results[0] } +section(FUNCTION) { count[1] type[0] } +section(TABLE) { count[1] anyfunc flags[0] min[0] } +section(CODE) { + count[1] + func { + locals[0] + i32.const 0 + call_indirect leb_i32(100) 0 + } +} +(;; STDERR ;;; +out/test/binary/bad-callindirect-invalid-sig/bad-callindirect-invalid-sig.wasm:0000023: error: function type variable out of range: 100 (max 1) +out/test/binary/bad-callindirect-invalid-sig/bad-callindirect-invalid-sig.wasm:0000023: error: function type variable out of range: 100 (max 1) +;;; STDERR ;;) diff --git a/test/binary/bad-returncallindirect-invalid-sig.txt b/test/binary/bad-returncallindirect-invalid-sig.txt new file mode 100644 index 00000000..715324be --- /dev/null +++ b/test/binary/bad-returncallindirect-invalid-sig.txt @@ -0,0 +1,20 @@ +;;; TOOL: run-gen-wasm-bad +;;; ARGS1: --enable-tail-call +;;; ARGS2: --enable-tail-call +magic +version +section(TYPE) { count[1] function params[0] results[0] } +section(FUNCTION) { count[1] type[0] } +section(TABLE) { count[1] anyfunc flags[0] min[0] } +section(CODE) { + count[1] + func { + locals[0] + i32.const 0 + return_call_indirect leb_i32(100) 0 + } +} +(;; STDERR ;;; +out/test/binary/bad-returncallindirect-invalid-sig/bad-returncallindirect-invalid-sig.wasm:0000023: error: function type variable out of range: 100 (max 1) +out/test/binary/bad-returncallindirect-invalid-sig/bad-returncallindirect-invalid-sig.wasm:0000023: error: function type variable out of range: 100 (max 1) +;;; STDERR ;;) |