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

Merge pull request #4749 from elopio/test/yul-simplifier-not-applied

Browse Source 
tests: add yul simplifier not applied
This commit is contained in:
chriseth 2018-08-08 12:49:14 +02:00 committed by GitHub
commit 3b2bd2c1df
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/libjulia/Simplifier.cpp
View File

@ -139,4 +139,14 @@ BOOST_AUTO_TEST_CASE(mod_and)
); );
} }
BOOST_AUTO_TEST_CASE(not_applied)
{
CHECK(
// The first argument of div is not constant.
// keccak256 is not movable.
"{ let a := div(keccak256(0, 0), 0) }",
"{ let a := div(keccak256(0, 0), 0) }"
);
}
BOOST_AUTO_TEST_SUITE_END() BOOST_AUTO_TEST_SUITE_END()