diff options
| author | chriseth <c@ethdev.com> | 2016-01-18 17:57:03 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2016-01-18 17:57:03 +0800 |
| commit | 96ea3c63f3edc6058d74cfa77828e900c9e9cb6d (patch) | |
| tree | 9ed5d590056a618fac53999008267698b81e634d /ControlFlowGraph.cpp | |
| parent | 1b1b6651cd60fcaded8043dc00e61df075fe2e4a (diff) | |
| download | dexon-solidity-96ea3c63f3edc6058d74cfa77828e900c9e9cb6d.tar dexon-solidity-96ea3c63f3edc6058d74cfa77828e900c9e9cb6d.tar.gz dexon-solidity-96ea3c63f3edc6058d74cfa77828e900c9e9cb6d.tar.bz2 dexon-solidity-96ea3c63f3edc6058d74cfa77828e900c9e9cb6d.tar.lz dexon-solidity-96ea3c63f3edc6058d74cfa77828e900c9e9cb6d.tar.xz dexon-solidity-96ea3c63f3edc6058d74cfa77828e900c9e9cb6d.tar.zst dexon-solidity-96ea3c63f3edc6058d74cfa77828e900c9e9cb6d.zip | |
Fix: Copy empty state.
Diffstat (limited to 'ControlFlowGraph.cpp')
| -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 |