From 96ea3c63f3edc6058d74cfa77828e900c9e9cb6d Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Mon, 18 Jan 2016 10:57:03 +0100
Subject: [PATCH] Fix: Copy empty state.

---
 ControlFlowGraph.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ControlFlowGraph.cpp b/ControlFlowGraph.cpp
index 1ad54d8c7..fc2144c74 100644
--- a/ControlFlowGraph.cpp
+++ b/ControlFlowGraph.cpp
@@ -284,7 +284,7 @@ void ControlFlowGraph::gatherKnowledge()
 					unknownJumpEncountered = true;
 					for (auto const& it: m_blocks)
 						if (it.second.begin < it.second.end && m_items[it.second.begin].type() == Tag)
-							workQueue.push_back(WorkQueueItem{it.first, emptyState, set<BlockId>()});
+							workQueue.push_back(WorkQueueItem{it.first, emptyState->copy(), set<BlockId>()});
 				}
 			}
 			else