diff options
| -rw-r--r-- | ControlFlowGraph.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ControlFlowGraph.cpp b/ControlFlowGraph.cpp index 1ad54d8c..fc2144c7 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 |