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

Disallow arrays with negative length

Browse Source
This commit is contained in:
Alex Beregszaszi 2017-02-02 00:24:45 +00:00
parent c01f5699e6
commit 697db80b48
3 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Changelog.md
View File

@ -3,6 +3,9 @@
Features: Features:
* Type system: Support explicit conversion of external function to address. * Type system: Support explicit conversion of external function to address.
Bugfixes:
* Type system: Disallow arrays with negative length.
### 0.4.9 (2017-01-31) ### 0.4.9 (2017-01-31)
Features: Features:

2
libsolidity/analysis/ReferencesResolver.cpp
View File

@ -130,6 +130,8 @@ void ReferencesResolver::endVisit(ArrayTypeName const& _typeName)
auto const* lengthType = dynamic_cast<RationalNumberType const*>(length->annotation().type.get()); auto const* lengthType = dynamic_cast<RationalNumberType const*>(length->annotation().type.get());
if (!lengthType || lengthType->isFractional()) if (!lengthType || lengthType->isFractional())
fatalTypeError(length->location(), "Invalid array length, expected integer literal."); fatalTypeError(length->location(), "Invalid array length, expected integer literal.");
else if (lengthType->isNegative())
fatalTypeError(length->location(), "Array with negative length specified.");
else else
_typeName.annotation().type = make_shared<ArrayType>(DataLocation::Storage, baseType, lengthType->literalValue(nullptr)); _typeName.annotation().type = make_shared<ArrayType>(DataLocation::Storage, baseType, lengthType->literalValue(nullptr));
} }

10
test/libsolidity/SolidityNameAndTypeResolution.cpp
View File

@ -1919,6 +1919,16 @@ BOOST_AUTO_TEST_CASE(array_with_nonconstant_length)
CHECK_ERROR(text, TypeError, ""); CHECK_ERROR(text, TypeError, "");
} }
BOOST_AUTO_TEST_CASE(array_with_negative_length)
{
char const* text = R"(
contract c {
function f(uint a) { uint8[-1] x; }
}
)";
CHECK_ERROR(text, TypeError, "Array with negative length specified");
}
BOOST_AUTO_TEST_CASE(array_copy_with_different_types1) BOOST_AUTO_TEST_CASE(array_copy_with_different_types1)
{ {
char const* text = R"( char const* text = R"(