mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Fix: Copy empty state.
This commit is contained in:
parent
1b1b6651cd
commit
96ea3c63f3
@ -284,7 +284,7 @@ void ControlFlowGraph::gatherKnowledge()
|
|||||||
unknownJumpEncountered = true;
|
unknownJumpEncountered = true;
|
||||||
for (auto const& it: m_blocks)
|
for (auto const& it: m_blocks)
|
||||||
if (it.second.begin < it.second.end && m_items[it.second.begin].type() == Tag)
|
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
|
else
|
||||||
|
Loading…
Reference in New Issue
Block a user