summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/binary/bad-ref-as.test6
-rw-r--r--test/lit/binary/bad-ref-as.test.wasmbin0 -> 29 bytes
2 files changed, 6 insertions, 0 deletions
diff --git a/test/lit/binary/bad-ref-as.test b/test/lit/binary/bad-ref-as.test
new file mode 100644
index 000000000..2afa19904
--- /dev/null
+++ b/test/lit/binary/bad-ref-as.test
@@ -0,0 +1,6 @@
+;; Test that we error properly on a file with a ref.as of a non-ref type.
+
+;; RUN: not wasm-opt %s.wasm 2>&1 | filecheck %s
+
+;; CHECK: parse exception: bad input type for ref.as: i32
+
diff --git a/test/lit/binary/bad-ref-as.test.wasm b/test/lit/binary/bad-ref-as.test.wasm
new file mode 100644
index 000000000..637537dd2
--- /dev/null
+++ b/test/lit/binary/bad-ref-as.test.wasm
Binary files differ