diff options
| author | Thomas Lively <tlively@google.com> | 2024-07-13 19:51:45 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-13 16:51:45 -0700 |
| commit | 65ee5b95743e4ee984643923c2d88a8b320cd51d (patch) | |
| tree | 532dc03ebb15a45a700cbf4b52b5903606d468bf /test/spec | |
| parent | d2a48afe09dd5b22079c748a97ebaebaf69a19a7 (diff) | |
| download | binaryen-65ee5b95743e4ee984643923c2d88a8b320cd51d.tar.gz binaryen-65ee5b95743e4ee984643923c2d88a8b320cd51d.tar.bz2 binaryen-65ee5b95743e4ee984643923c2d88a8b320cd51d.zip | |
[threads] Fix struct op validation for shared null (#6742)
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/shared-struct.wast | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/spec/shared-struct.wast b/test/spec/shared-struct.wast index 28139bb28..f321d8800 100644 --- a/test/spec/shared-struct.wast +++ b/test/spec/shared-struct.wast @@ -90,3 +90,11 @@ (func (param (ref null $i8)) (struct.set $i8 0 (local.get 0) (i32.const 0))) ) + +;; Bottom types +(module + (type $i8 (shared (struct (mut i8)))) + (func (drop (struct.get_s $i8 0 (ref.null (shared none))))) + (func (drop (struct.get_u $i8 0 (ref.null (shared none))))) + (func (struct.set $i8 0 (ref.null (shared none)) (i32.const 0))) +) |