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

Check for address-like strings being treated as addresses.

Browse Source
This commit is contained in:
chriseth 2017-06-22 16:42:35 +02:00
parent f90a514f80
commit 9eaf26a359
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
test/libsolidity/SolidityNameAndTypeResolution.cpp
View File

@ -5415,6 +5415,25 @@ BOOST_AUTO_TEST_CASE(invalid_address_length)
CHECK_WARNING(text, "checksum"); CHECK_WARNING(text, "checksum");
} }
BOOST_AUTO_TEST_CASE(address_test_for_bug_in_implementation)
{
// A previous implementation claimed the string would be an address
char const* text = R"(
contract AddrString {
address public test = "0xCA35b7d915458EF540aDe6068dFe2F44E8fa733c";
}
)";
CHECK_ERROR(text, TypeError, "is not implicitly convertible to expected type address");
text = R"(
contract AddrString {
function f() returns (address) {
return "0xCA35b7d915458EF540aDe6068dFe2F44E8fa733c";
}
}
)";
CHECK_ERROR(text, TypeError, "is not implicitly convertible to expected type");
}
BOOST_AUTO_TEST_CASE(early_exit_on_fatal_errors) BOOST_AUTO_TEST_CASE(early_exit_on_fatal_errors)
{ {
// This tests a crash that occured because we did not stop for fatal errors. // This tests a crash that occured because we did not stop for fatal errors.