1 files changed, 16 insertions, 6 deletions
diff --git a/src/wasm/wasm-binary.cpp b/src/wasm/wasm-binary.cpp
index f70f74c56..e0c75badc 100644
--- a/src/wasm/wasm-binary.cpp
+++ b/src/wasm/wasm-binary.cpp
@@ -1753,6 +1753,7 @@ void WasmBinaryBuilder::readFunctions() {
       if (debug) std::cerr << "processing function: " << i << std::endl;
       nextLabel = 0;
       useDebugLocation = false;
+      willBeIgnored = false;
       // process body
       assert(breakTargetNames.size() == 0);
       assert(breakStack.empty());
@@ -1957,7 +1958,7 @@ void WasmBinaryBuilder::readGlobals() {
 
 void WasmBinaryBuilder::processExpressions() {
   if (debug) std::cerr << "== processExpressions" << std::endl;
-  definitelyUnreachable = false;
+  unreachableInTheWasmSense = false;
   while (1) {
     Expression* curr;
     auto ret = readExpression(curr);
@@ -1996,19 +1997,24 @@ void WasmBinaryBuilder::skipUnreachableCode() {
   // unreachable, and we can ignore anything after it. things after it may pop,
   // we want to undo that
   auto savedStack = expressionStack;
+  // note we are entering unreachable code, and note what the state as before so
+  // we can restore it
+  auto before = willBeIgnored;
+  willBeIgnored = true;
   // clear the stack. nothing should be popped from there anyhow, just stuff
   // can be pushed and then popped. Popping past the top of the stack will
   // result in uneachables being returned
   expressionStack.clear();
   while (1) {
-    // set the definitelyUnreachable flag each time, as sub-blocks may set and unset it
-    definitelyUnreachable = true;
+    // set the unreachableInTheWasmSense flag each time, as sub-blocks may set and unset it
+    unreachableInTheWasmSense = true;
     Expression* curr;
     auto ret = readExpression(curr);
     if (!curr) {
       if (debug) std::cerr << "== skipUnreachableCode finished" << std::endl;
       lastSeparator = ret;
-      definitelyUnreachable = false;
+      unreachableInTheWasmSense = false;
+      willBeIgnored = before;
       expressionStack = savedStack;
       return;
     }
@@ -2019,7 +2025,7 @@ void WasmBinaryBuilder::skipUnreachableCode() {
 Expression* WasmBinaryBuilder::popExpression() {
   if (debug) std::cerr << "== popExpression" << std::endl;
   if (expressionStack.empty()) {
-    if (definitelyUnreachable) {
+    if (unreachableInTheWasmSense) {
       // in unreachable code, trying to pop past the polymorphic stack
       // area results in receiving unreachables
       if (debug) std::cerr << "== popping unreachable from polymorphic stack" << std::endl;
@@ -2460,7 +2466,11 @@ WasmBinaryBuilder::BreakTarget WasmBinaryBuilder::getBreakTarget(int32_t offset)
   }
   if (debug) std::cerr << "breaktarget "<< breakStack[index].name << " arity " << breakStack[index].arity <<  std::endl;
   auto& ret = breakStack[index];
-  breakTargetNames.insert(ret.name);
+  // if the break is in literally unreachable code, then we will not emit it anyhow,
+  // so do not note that the target has breaks to it
+  if (!willBeIgnored) {
+    breakTargetNames.insert(ret.name);
+  }
   return ret;
 }