diff options
author | Heejin Ahn <aheejin@gmail.com> | 2021-12-06 14:09:35 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-06 14:09:35 -0800 |
commit | 9659f9b07c1196447edee68fe04c8d7dd2480652 (patch) | |
tree | 8e29497d0d4820abc6707044b9ec709f40867989 /src/shell-interface.h | |
parent | 80ba2559f08422e60281ebf15856676b81f22a76 (diff) | |
download | binaryen-9659f9b07c1196447edee68fe04c8d7dd2480652.tar.gz binaryen-9659f9b07c1196447edee68fe04c8d7dd2480652.tar.bz2 binaryen-9659f9b07c1196447edee68fe04c8d7dd2480652.zip |
[EH] Support try-delegate in EffectAnalyzer (#4368)
This adds support for try-delegate in `EffectAnalyzer`. Without this
support, the expresion below has been incorrectly classified as "cannot
throw", because the previous code considered everything inside
`try`-`catch_all` as "cannot throw". This is not the case when there is
a `delegate` that can bypass the `catch_all`.
```wasm
try $l0
try
try
throw $e
delegate $l0
catch_all
end
end
Diffstat (limited to 'src/shell-interface.h')
0 files changed, 0 insertions, 0 deletions