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

Tests for deriving types for empty string.

Browse Source
This commit is contained in:
chriseth 2018-08-06 16:57:10 +02:00
parent eccc603291
commit 3b5eee4998
1 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
test/libsolidity/SolidityEndToEndTest.cpp
View File

@ -12489,6 +12489,44 @@ BOOST_AUTO_TEST_CASE(abi_encode_with_signaturev2)
ABI_CHECK(callContractFunction("f4()"), expectation); ABI_CHECK(callContractFunction("f4()"), expectation);
} }
BOOST_AUTO_TEST_CASE(abi_encode_empty_string)
{
char const* sourceCode = R"(
// Tests that this will not end up using a "bytes0" type
// (which would assert)
contract C {
function f() public pure returns (bytes memory, bytes memory) {
return (abi.encode(""), abi.encodePacked(""));
}
}
)";
compileAndRun(sourceCode, 0, "C");
ABI_CHECK(callContractFunction("f()"), encodeArgs(
0x40, 0xc0,
0x60, 0x20, 0x00, 0x00,
0x00
));
}
BOOST_AUTO_TEST_CASE(abi_encode_empty_string_v2)
{
char const* sourceCode = R"(
// Tests that this will not end up using a "bytes0" type
// (which would assert)
pragma experimental ABIEncoderV2;
contract C {
function f() public pure returns (bytes memory, bytes memory) {
return (abi.encode(""), abi.encodePacked(""));
}
}
)";
compileAndRun(sourceCode, 0, "C");
ABI_CHECK(callContractFunction("f()"), encodeArgs(
0x40, 0xa0,
0x40, 0x20, 0x00,
0x00
));
}
BOOST_AUTO_TEST_CASE(abi_encode_call) BOOST_AUTO_TEST_CASE(abi_encode_call)
{ {
char const* sourceCode = R"T( char const* sourceCode = R"T(