From 2b758fbdc46fc8fe5241bcf1ba5bbd81e6d556ed Mon Sep 17 00:00:00 2001
From: Heejin Ahn <aheejin@gmail.com>
Date: Fri, 27 Mar 2020 21:51:40 -0700
Subject: 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.
---
 src/passes/ReReloop.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/passes/ReReloop.cpp')

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);
-- 
cgit v1.2.3