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

add note

Browse Source
This commit is contained in:
chriseth 2022-04-17 18:11:21 +02:00
parent 86fde5d357
commit af1e8dba30
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libyul/optimiser/ReasoningBasedSimplifier.cpp
View File

@ -118,6 +118,9 @@ void ReasoningBasedSimplifier::operator()(ForLoop& _for)
else else
m_pathCondition = branchCondition; m_pathCondition = branchCondition;
yulAssert(_for.pre.statements.empty()); yulAssert(_for.pre.statements.empty());
//TODO clear variables assigned inside body and post
ASTModifier::operator()(_for.body); ASTModifier::operator()(_for.body);
// TODO clear modified variables! // TODO clear modified variables!
ASTModifier::operator()(_for.post); ASTModifier::operator()(_for.post);