fix liveness-traversal: an action can be either a get, a set, or an other, and we assumed a non-get is a set (caught by valgrind) (#1472)

1 files changed, 4 insertions, 2 deletions

diff --git a/src/cfg/liveness-traversal.h b/src/cfg/liveness-traversal.h
index f27c43f8e..8ba80e015 100644
--- a/src/cfg/liveness-traversal.h
+++ b/src/cfg/liveness-traversal.h
@@ -67,13 +67,15 @@ struct Liveness {
   LocalSet start, end; // live locals at the start and end
   std::vector<LivenessAction> actions; // actions occurring in this block
 
+#if LIVENESS_DEBUG
   void dump(Function* func) {
     if (actions.empty()) return;
     std::cout << "    actions:\n";
     for (auto& action : actions) {
-      std::cout << "      " << (action.isGet() ? "get" : "set") << " " << func->getLocalName(action.index) << "\n";
+      std::cout << "      " << (action.isGet() ? "get" : (action.isSet() ? "set" : "other")) << " " << func->getLocalName(action.index) << "\n";
     }
   }
+#endif // LIVENESS_DEBUG
 };
 
 template<typename SubType, typename VisitorType>
@@ -201,7 +203,7 @@ struct LivenessWalker : public CFGWalker<SubType, VisitorType, Liveness> {
       auto& action = actions[i];
       if (action.isGet()) {
         live.insert(action.index);
-      } else {
+      } else if (action.isSet()) {
         live.erase(action.index);
       }
     }