diff options
| author | Alon Zakai <azakai@google.com> | 2024-07-24 13:54:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-24 13:54:13 -0700 |
| commit | 017b473f05b8dde4da8aadd154e6d2606071d2cb (patch) | |
| tree | dd4bf67b0d12d371aaf2fcae62b197948f5fcba1 /test/lit/validation/non-ref.wast | |
| parent | 353e19e3343fb06eacdd8b438b305b536291bdd5 (diff) | |
| download | binaryen-017b473f05b8dde4da8aadd154e6d2606071d2cb.tar.gz binaryen-017b473f05b8dde4da8aadd154e6d2606071d2cb.tar.bz2 binaryen-017b473f05b8dde4da8aadd154e6d2606071d2cb.zip | |
Validate RefAsNonNull (#6785)
Fixes #6781
Diffstat (limited to 'test/lit/validation/non-ref.wast')
| -rw-r--r-- | test/lit/validation/non-ref.wast | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/lit/validation/non-ref.wast b/test/lit/validation/non-ref.wast new file mode 100644 index 000000000..a065b6723 --- /dev/null +++ b/test/lit/validation/non-ref.wast @@ -0,0 +1,13 @@ +;; RUN: not wasm-opt %s -all 2>&1 | filecheck %s + +;; CHECK: ref.as value must be reference + +(module + (func $test + (drop + (ref.as_non_null + (i32.const 42) + ) + ) + ) +) |