diff options
| author | KarlSchimpf <karlschimpf@gmail.com> | 2017-06-22 07:59:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-22 07:59:09 -0700 |
| commit | 917d3bfa6593c9a85c81b674770aec2ca404a4a2 (patch) | |
| tree | ff279590a68c00714889d1667da9739f7e7cbd9a /test/exceptions/rethrow-to-wrong-block.txt | |
| parent | c0ae2e69b53f12e57833270e1b48a01864fb5156 (diff) | |
| download | wabt-917d3bfa6593c9a85c81b674770aec2ca404a4a2.tar.gz wabt-917d3bfa6593c9a85c81b674770aec2ca404a4a2.tar.bz2 wabt-917d3bfa6593c9a85c81b674770aec2ca404a4a2.zip | |
Fix the validator to be able to validate exception handling constructs. (#514)
* Save state.
* Add exception declaration syntax.
* Extend validator to handle exception declarations.
* Fix binary writer to handle exception declarations.
* Fix code to handle external exception kind.
* Regenerate lexer.
* Fix bug with last merge.
* Add exception declarations, and add examples.
* Fix nits.
* Initial extensions for expr visitor.
* Save state.
* Fix issues with master merge.
* Reconcile issues with merge of tools wast2wasm and wast-desugar.
* Save state.
* Save work to move to mtv.
* Fix resolving names on try/throw constructs.
* Completed implementation of validation for exception handling.
* Fix nits.
* Combine Catch and CatchAll in IR.
* Remove tryblock visitors.
* Clean up to only use one visitor for each catch.
* Rework the structure of try blocks and catches.
* Remove the need for common CLI options.
* Fix issues raised by binji.
* Fix re2c generated file.
* Fix memory leak, and fix nits.
Diffstat (limited to 'test/exceptions/rethrow-to-wrong-block.txt')
| -rw-r--r-- | test/exceptions/rethrow-to-wrong-block.txt | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/exceptions/rethrow-to-wrong-block.txt b/test/exceptions/rethrow-to-wrong-block.txt new file mode 100644 index 00000000..8a1a3ca7 --- /dev/null +++ b/test/exceptions/rethrow-to-wrong-block.txt @@ -0,0 +1,20 @@ +;;; TOOL: wast2wasm +;;; FLAGS: --future-exceptions +;;; ERROR: 1 +(module + (func (result i32) + (block $b (result i32) + (try $try1 (result i32) + (i32.const 7) + (catch_all + (rethrow $b) + ) + ) + ) + ) +) +(;; STDERR ;;; +out/test/exceptions/rethrow-to-wrong-block.txt:10:12: invalid rethrow depth: 1 (max 2) + (rethrow $b) + ^^^^^^^^^^ +;;; STDERR ;;) |