summaryrefslogtreecommitdiff
path: root/test/lit/validation/bulk.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/validation/bulk.wast')
-rw-r--r--test/lit/validation/bulk.wast13
1 files changed, 13 insertions, 0 deletions
diff --git a/test/lit/validation/bulk.wast b/test/lit/validation/bulk.wast
new file mode 100644
index 000000000..d53dae264
--- /dev/null
+++ b/test/lit/validation/bulk.wast
@@ -0,0 +1,13 @@
+;; Test for a validation error on bad usage of call.without.effects
+
+;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s
+
+;; CHECK: data.drop segment index out of bounds
+
+(module
+ (memory $0 16)
+ (func $1
+ (data.drop 1)
+ (unreachable)
+ )
+)