cerc-io/solidity
16
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: add a test that compares overflown enums

Browse Source
This commit is contained in:
Yoichi Hirai 2016-11-15 11:23:43 +01:00
parent a7c2509adf
commit d49904c92a
No known key found for this signature in database
GPG Key ID: E7B75D080FCF7992
1 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
test/libsolidity/SolidityEndToEndTest.cpp
View File

@ -4506,6 +4506,39 @@ BOOST_AUTO_TEST_CASE(external_types_in_calls)
BOOST_CHECK(callContractFunction("t2()") == encodeArgs(u256(9))); BOOST_CHECK(callContractFunction("t2()") == encodeArgs(u256(9)));
} }
BOOST_AUTO_TEST_CASE(invalid_enum_compared)
{
char const* sourceCode = R"(
contract C {
enum X { A, B }
function test_eq() returns (bool) {
X garbled;
assembly {
garbled := 5
}
return garbled == garbled;
}
function test_eq_ok() returns (bool) {
X garbled = X.A;
return garbled == garbled;
}
function test_neq() returns (bool) {
X garbled;
assembly {
garbled := 5
}
return garbled != garbled;
}
}
)";
compileAndRun(sourceCode, 0, "C");
BOOST_CHECK(callContractFunction("test_eq_ok()") == encodeArgs(u256(1)));
// both should throw
BOOST_CHECK(callContractFunction("test_eq()") == encodeArgs());
BOOST_CHECK(callContractFunction("test_neq()") == encodeArgs());
}
BOOST_AUTO_TEST_CASE(invalid_enum_as_external_ret) BOOST_AUTO_TEST_CASE(invalid_enum_as_external_ret)
{ {
char const* sourceCode = R"( char const* sourceCode = R"(