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: add tests about returning invalid enum values from interface functions

Browse Source
This commit is contained in:
Yoichi Hirai 2016-11-14 16:44:04 +01:00
parent 68e7763387
commit 454e7618c8
No known key found for this signature in database
GPG Key ID: E7B75D080FCF7992
1 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
test/libsolidity/SolidityEndToEndTest.cpp
View File

@ -4499,6 +4499,40 @@ 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_as_external_ret)
{
char const* sourceCode = R"(
contract C {
enum X { A, B }
function test_return() returns (X) {
X garbled;
assembly {
garbled := 5
}
return garbled;
}
function test_inline_assignment() returns (X _ret) {
assembly {
_ret := 5
}
}
function test_assignment() returns (X _ret) {
X tmp;
assembly {
tmp := 5
}
_ret = tmp;
}
}
)";
compileAndRun(sourceCode, 0, "C");
// both should throw
BOOST_CHECK(callContractFunction("test_return()") == encodeArgs());
BOOST_CHECK(callContractFunction("test_inline_assignment()") == encodeArgs());
BOOST_CHECK(callContractFunction("test_assignment()") == encodeArgs());
}
BOOST_AUTO_TEST_CASE(proper_order_of_overwriting_of_attributes) BOOST_AUTO_TEST_CASE(proper_order_of_overwriting_of_attributes)
{ {
// bug #1798 // bug #1798