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 comment

Browse Source
This commit is contained in:
chriseth 2022-04-17 19:30:03 +02:00
parent ecb90b69bd
commit 1a244e7a20
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/ReasoningBasedSimplifier.cpp
View File

@ -152,6 +152,7 @@ void ReasoningBasedSimplifier::operator()(FunctionCall& _fun)
// TODO do not forget to add path condition! // TODO do not forget to add path condition!
// TODO and(x, 0xfff) -> x if x <= 0xfff // TODO and(x, 0xfff) -> x if x <= 0xfff
// TODO if _fun is not returning, assert that the path condition is aflse // TODO if _fun is not returning, assert that the path condition is aflse
// -> This should be the job of the structural simplifier!
} }
void ReasoningBasedSimplifier::operator()(FunctionDefinition& _fun) void ReasoningBasedSimplifier::operator()(FunctionDefinition& _fun)