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 for uninitialized mapping.

Browse Source
This commit is contained in:
chriseth 2017-03-03 18:44:15 +01:00
parent 5069c58a4b
commit c89a579809
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
test/libsolidity/SolidityNameAndTypeResolution.cpp
View File

@ -2501,6 +2501,30 @@ BOOST_AUTO_TEST_CASE(storage_assign_to_different_local_variable)
CHECK_ERROR(sourceCode, TypeError, ""); CHECK_ERROR(sourceCode, TypeError, "");
} }
BOOST_AUTO_TEST_CASE(uninitialized_mapping_variable)
{
char const* sourceCode = R"(
contract C {
function f() {
mapping(uint => uint) x;
}
}
)";
CHECK_ERROR(sourceCode, TypeError, "Uninitialized mapping. Mappings cannot be created dynamically, you have to assign them from a state variable");
}
BOOST_AUTO_TEST_CASE(uninitialized_mapping_array_variable)
{
char const* sourceCode = R"(
contract C {
function f() {
mapping(uint => uint)[] x;
}
}
)";
CHECK_WARNING(sourceCode, "Uninitialized storage pointer");
}
BOOST_AUTO_TEST_CASE(no_delete_on_storage_pointers) BOOST_AUTO_TEST_CASE(no_delete_on_storage_pointers)
{ {
char const* sourceCode = R"( char const* sourceCode = R"(