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

Test for side-effect free condition.

Browse Source
This commit is contained in:
chriseth 2017-04-21 20:09:37 +02:00
parent 937695bfdc
commit aad64d818a
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
test/libsolidity/SolidityNameAndTypeResolution.cpp
View File

@ -5505,6 +5505,19 @@ BOOST_AUTO_TEST_CASE(pure_statement_in_for_loop)
CHECK_WARNING(text, "Statement has no effect."); CHECK_WARNING(text, "Statement has no effect.");
} }
BOOST_AUTO_TEST_CASE(pure_statement_check_for_regular_for_loop)
{
char const* text = R"(
contract C {
function f() {
for (uint x = 0; true; x++)
{}
}
}
)";
success(text);
}
BOOST_AUTO_TEST_SUITE_END() BOOST_AUTO_TEST_SUITE_END()
} }