diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2021-03-01 10:30:00 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-01 10:30:00 +0900 |
| commit | 7d453930f1b211baf324b1c010924d3709ff12ba (patch) | |
| tree | 43773af4e683faecd10273b78a853b46bb6376a6 /test/exception-handling.wast | |
| parent | 0eb513d730b122f38bd6c66280c8acfe183b9b35 (diff) | |
| download | binaryen-7d453930f1b211baf324b1c010924d3709ff12ba.tar.gz binaryen-7d453930f1b211baf324b1c010924d3709ff12ba.tar.bz2 binaryen-7d453930f1b211baf324b1c010924d3709ff12ba.zip | |
Allow empty body within catch block (#3630)
Previously we assumed catch body's size should be at least 3: `catch`
keyword, event name, and body. But catch's body can be empty when the
event's type is none. This PR fixes the bug and allows empty catch
bodies to be parsed correctly.
Fixes #3629.
Diffstat (limited to 'test/exception-handling.wast')
| -rw-r--r-- | test/exception-handling.wast | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/exception-handling.wast b/test/exception-handling.wast index 45cb21910..833010e73 100644 --- a/test/exception-handling.wast +++ b/test/exception-handling.wast @@ -2,6 +2,7 @@ (event $e-i32 (attr 0) (param i32)) (event $e-i64 (attr 0) (param i64)) (event $e-i32-i64 (attr 0) (param i32 i64)) + (event $e-empty (attr 0)) (func $foo) (func $bar) @@ -188,6 +189,12 @@ ) (delegate 0) ) + + ;; 'catch' body can be empty when the event's type is none. + (try + (do) + (catch $e-empty) + ) ) (func $rethrow-test |