Use the type system to check if something is flowed out of (#1224)

now that the type system has a proper unreachable, we don't need obviouslyDoesNotFlowOut

1 files changed, 0 insertions, 12 deletions

diff --git a/src/ast_utils.h b/src/ast_utils.h
index dfa233f26..6e5251860 100644
--- a/src/ast_utils.h
+++ b/src/ast_utils.h
@@ -55,18 +55,6 @@ struct ExpressionAnalyzer {
     return !curr->condition && !curr->value;
   }
 
-  // Checks if an expression does not flow out in an obvious way.
-  // We return true if it cannot flow out. If it can flow out, we
-  // might still return true, as the analysis here is simple and fast.
-  static bool obviouslyDoesNotFlowOut(Expression* curr) {
-    if (auto* br = curr->dynCast<Break>()) {
-      if (!br->condition) return true;
-    } else if (auto* block = curr->dynCast<Block>()) {
-      if (block->list.size() > 0 && obviouslyDoesNotFlowOut(block->list.back()) && !BranchUtils::BranchSeeker::hasReachable(block, block->name)) return true;
-    }
-    return false;
-  }
-
   using ExprComparer = std::function<bool(Expression*, Expression*)>;
   static bool flexibleEqual(Expression* left, Expression* right, ExprComparer comparer);