cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

yul: Add optimizer exception to check that duplicate variable references do not occur on the LHS of a multi variable assignment statement

Browse Source
This commit is contained in:
Bhargava Shastry 2020-07-07 17:42:00 +02:00
parent c16d7d0891
commit 4e55759144
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libyul/optimiser/DataFlowAnalyzer.cpp
View File

@ -79,6 +79,7 @@ void DataFlowAnalyzer::operator()(Assignment& _assignment)
set<YulString> names; set<YulString> names;
for (auto const& var: _assignment.variableNames) for (auto const& var: _assignment.variableNames)
names.emplace(var.name); names.emplace(var.name);
assertThrow(names.size() == _assignment.variableNames.size(), OptimizerException, "");
assertThrow(_assignment.value, OptimizerException, ""); assertThrow(_assignment.value, OptimizerException, "");
clearKnowledgeIfInvalidated(*_assignment.value); clearKnowledgeIfInvalidated(*_assignment.value);
visit(*_assignment.value); visit(*_assignment.value);