diff options
| author | Alon Zakai <azakai@google.com> | 2024-07-23 14:03:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-23 14:03:46 -0700 |
| commit | 353e19e3343fb06eacdd8b438b305b536291bdd5 (patch) | |
| tree | ed89db7bd55eb2911d790884838d6fc8136c1565 /test/spec | |
| parent | 538c5288be3c946b8d6a7ac467d13ebc793ee38a (diff) | |
| download | binaryen-353e19e3343fb06eacdd8b438b305b536291bdd5.tar.gz binaryen-353e19e3343fb06eacdd8b438b305b536291bdd5.tar.bz2 binaryen-353e19e3343fb06eacdd8b438b305b536291bdd5.zip | |
Properly validate ref.cast when lacking a common supertype (#6741)
When lacking a common supertype the GLB operation makes the type of the cast
unreachable, which errors on getHeapType in the later code.
Fixes #6738
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/ref_cast.wast | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/spec/ref_cast.wast b/test/spec/ref_cast.wast index 927d82ebc..c51e6b057 100644 --- a/test/spec/ref_cast.wast +++ b/test/spec/ref_cast.wast @@ -170,6 +170,16 @@ "common supertype" ) +(assert_invalid + (module + (type $t0 (struct)) + (func (export "test-ref-cast-extern") (result anyref) + (ref.cast (ref extern) (struct.new $t0)) + ) + ) + "common supertype" +) + (assert_malformed (module quote "(func (ref.cast i32 (unreachable)))") "expected reftype" |