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.from-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.from-wast')
| -rw-r--r-- | test/exception-handling.wast.from-wast | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/exception-handling.wast.from-wast b/test/exception-handling.wast.from-wast index 2427a1ee1..be14cda0f 100644 --- a/test/exception-handling.wast.from-wast +++ b/test/exception-handling.wast.from-wast @@ -3,11 +3,11 @@ (type $i32_=>_none (func (param i32))) (type $i64_=>_none (func (param i64))) (type $i32_i64_=>_none (func (param i32 i64))) - (type $anyref_=>_none (func (param anyref))) + (type $funcref_=>_none (func (param funcref))) (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 (param)) (func $foo (nop) @@ -372,9 +372,9 @@ (do (nop) ) - (catch $e-anyref + (catch $e-funcref (drop - (pop funcref) + (pop anyref) ) ) ) |