diff options
| author | Alon Zakai <azakai@google.com> | 2023-02-23 15:43:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-23 15:43:03 -0800 |
| commit | c657aa9fd4c5afb8b55c484ccf34362d2b504200 (patch) | |
| tree | 62beb00001d142932865680d299d6d37b074c075 /test/lit/validation/bulk.wast | |
| parent | f2596c7300ad4933529471e30008bdc2eafbc538 (diff) | |
| download | binaryen-c657aa9fd4c5afb8b55c484ccf34362d2b504200.tar.gz binaryen-c657aa9fd4c5afb8b55c484ccf34362d2b504200.tar.bz2 binaryen-c657aa9fd4c5afb8b55c484ccf34362d2b504200.zip | |
Fix validation of DataDrop (#5517)
Fixes #5511
Diffstat (limited to 'test/lit/validation/bulk.wast')
| -rw-r--r-- | test/lit/validation/bulk.wast | 13 |
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) + ) +) |