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

Disallow inline arrays of mapping type.

Browse Source
This commit is contained in:
chriseth 2018-11-29 19:44:33 +01:00
parent 124a8def84
commit c445e7dfa4
3 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Changelog.md
View File

@ -23,6 +23,7 @@ Bugfixes:
* Type Checker: Disallow struct return types for getters of public state variables unless the new ABI encoder is active. * Type Checker: Disallow struct return types for getters of public state variables unless the new ABI encoder is active.
* Type Checker: Fix internal compiler error when a field of a struct used as a parameter in a function type has a non-existent type. * Type Checker: Fix internal compiler error when a field of a struct used as a parameter in a function type has a non-existent type.
* Type Checker: Disallow functions ``sha3`` and ``suicide`` also without a function call. * Type Checker: Disallow functions ``sha3`` and ``suicide`` also without a function call.
* Type Checker: Disallow inline arrays of mapping type.
Build System: Build System:
* Emscripten: Upgrade to Emscripten SDK 1.37.21 and boost 1.67. * Emscripten: Upgrade to Emscripten SDK 1.37.21 and boost 1.67.

3
libsolidity/analysis/TypeChecker.cpp
View File

@ -1608,6 +1608,9 @@ bool TypeChecker::visit(TupleExpression const& _tuple)
{ {
if (!inlineArrayType) if (!inlineArrayType)
m_errorReporter.fatalTypeError(_tuple.location(), "Unable to deduce common type for array elements."); m_errorReporter.fatalTypeError(_tuple.location(), "Unable to deduce common type for array elements.");
else if (!inlineArrayType->canLiveOutsideStorage())
m_errorReporter.fatalTypeError(_tuple.location(), "Type " + inlineArrayType->toString() + " is only valid in storage.");
_tuple.annotation().type = make_shared<ArrayType>(DataLocation::Memory, inlineArrayType, types.size()); _tuple.annotation().type = make_shared<ArrayType>(DataLocation::Memory, inlineArrayType, types.size());
} }
else else

8
test/libsolidity/syntaxTests/inline_arrays/inline_array_of_mapping_type.sol Normal file
View File

@ -0,0 +1,8 @@
contract C {
mapping(int => int) a;
function f() public {
[a];
}
}
// ----
// TypeError: (66-69): Type mapping(int256 => int256) is only valid in storage.