summaryrefslogtreecommitdiff
path: root/src/ir/flat.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/ir/flat.h')
-rw-r--r--src/ir/flat.h7
1 files changed, 1 insertions, 6 deletions
diff --git a/src/ir/flat.h b/src/ir/flat.h
index 01a94a759..d54d4771f 100644
--- a/src/ir/flat.h
+++ b/src/ir/flat.h
@@ -64,17 +64,12 @@ namespace wasm {
namespace Flat {
-inline bool isControlFlowStructure(Expression* curr) {
- return curr->is<Block>() || curr->is<If>() || curr->is<Loop>() ||
- curr->is<Try>();
-}
-
inline void verifyFlatness(Function* func) {
struct VerifyFlatness
: public PostWalker<VerifyFlatness,
UnifiedExpressionVisitor<VerifyFlatness>> {
void visitExpression(Expression* curr) {
- if (isControlFlowStructure(curr)) {
+ if (Properties::isControlFlowStructure(curr)) {
verify(!curr->type.isConcrete(),
"control flow structures must not flow values");
} else if (curr->is<LocalSet>()) {