diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2022-08-11 17:56:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-11 17:56:49 -0700 |
| commit | daf5447644e4b1c6c9c09fd0eec6f5ab983a6831 (patch) | |
| tree | e6ad0637e3b6a306f41fb479f2c7ca52ad94f6c6 /test/exception-handling.wast | |
| parent | 3bef680b3892c159ab30e6dd610de6f84c9556aa (diff) | |
| download | binaryen-daf5447644e4b1c6c9c09fd0eec6f5ab983a6831.tar.gz binaryen-daf5447644e4b1c6c9c09fd0eec6f5ab983a6831.tar.bz2 binaryen-daf5447644e4b1c6c9c09fd0eec6f5ab983a6831.zip | |
[EH] Pop should be supertype of tag type (#4901)
`pop`s type should be a supertype, not a subtype, of the tag's type
within `catch`.
Diffstat (limited to 'test/exception-handling.wast')
| -rw-r--r-- | test/exception-handling.wast | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/exception-handling.wast b/test/exception-handling.wast index 642856f03..93dbe41ba 100644 --- a/test/exception-handling.wast +++ b/test/exception-handling.wast @@ -2,7 +2,7 @@ (tag $e-i32 (param i32)) (tag $e-i64 (param i64)) (tag $e-i32-i64 (param i32 i64)) - (tag $e-anyref (param anyref)) + (tag $e-funcref (param funcref)) (tag $e-empty) (func $foo) @@ -330,9 +330,9 @@ (try (do) - (catch $e-anyref + (catch $e-funcref (drop - (pop funcref) ;; pop can be subtype + (pop anyref) ;; pop can be supertype ) ) ) |