diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2020-03-27 21:51:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-27 21:51:40 -0700 |
| commit | 2b758fbdc46fc8fe5241bcf1ba5bbd81e6d556ed (patch) | |
| tree | ad75a0205850e7c3fa7e1a561eb378267aa7e798 /src/passes/ReReloop.cpp | |
| parent | d595a45b66cbb4d59472d2954131ee1f4cf6ad8e (diff) | |
| download | binaryen-2b758fbdc46fc8fe5241bcf1ba5bbd81e6d556ed.tar.gz binaryen-2b758fbdc46fc8fe5241bcf1ba5bbd81e6d556ed.tar.bz2 binaryen-2b758fbdc46fc8fe5241bcf1ba5bbd81e6d556ed.zip | |
Error out when EH is used in unsupported code (#2713)
This calls `Fatal()` when EH instructions are used in unsupported code.
Currently EH instructions are unsupported in Flatten, ReReloop, and
DataFlow-using passes.
Diffstat (limited to 'src/passes/ReReloop.cpp')
| -rw-r--r-- | src/passes/ReReloop.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/passes/ReReloop.cpp b/src/passes/ReReloop.cpp index 8f83f8a8f..004e922ed 100644 --- a/src/passes/ReReloop.cpp +++ b/src/passes/ReReloop.cpp @@ -284,6 +284,9 @@ struct ReReloop final : public Pass { ReturnTask::handle(*this, ret); } else if (auto* un = curr->dynCast<Unreachable>()) { UnreachableTask::handle(*this, un); + } else if (curr->is<Try>() || curr->is<Throw>() || curr->is<Rethrow>() || + curr->is<BrOnExn>()) { + Fatal() << "ReReloop does not support EH instructions yet"; } else { // not control flow, so just a simple element getCurrBlock()->list.push_back(curr); |