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

Comment

Browse Source
This commit is contained in:
chriseth 2022-03-21 12:36:35 +01:00
parent 9ae32ed395
commit 3996d5bad3
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libyul/optimiser/ReasoningBasedSimplifier.cpp
View File

@ -106,6 +106,10 @@ void ReasoningBasedSimplifier::operator()(If& _if)
ASTModifier::operator()(_if.body); ASTModifier::operator()(_if.body);
m_solver->pop(); m_solver->pop();
// TODO if the body is non-continuing, we could assert that the condition is false
// but this might not be true anymore once we join with another control-flow.
// maybe it is best to let the conditional simplifier and the data flow analyzer do this for us.
} }
void ReasoningBasedSimplifier::operator()(ForLoop& _for) void ReasoningBasedSimplifier::operator()(ForLoop& _for)