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.fromBinary.noDebugInfo | |
| 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.fromBinary.noDebugInfo')
| -rw-r--r-- | test/exception-handling.wast.fromBinary.noDebugInfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/exception-handling.wast.fromBinary.noDebugInfo b/test/exception-handling.wast.fromBinary.noDebugInfo index c65a216c3..08d31f361 100644 --- a/test/exception-handling.wast.fromBinary.noDebugInfo +++ b/test/exception-handling.wast.fromBinary.noDebugInfo @@ -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 $tag$0 (param i32)) (tag $tag$1 (param i64)) (tag $tag$2 (param i32 i64)) - (tag $tag$3 (param anyref)) + (tag $tag$3 (param funcref)) (tag $tag$4 (param)) (func $0 (nop) @@ -403,7 +403,7 @@ ) (catch $tag$3 (drop - (pop anyref) + (pop funcref) ) ) ) |