diff options
| author | chriseth <chris@ethereum.org> | 2018-11-30 16:25:10 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-30 16:25:10 +0800 |
| commit | a7ca4991df9fce4a27a402e9ab02bfb0c9b25910 (patch) | |
| tree | cb31e5cbef59fd230403e7a53ed7c5740a610efe /libsolidity | |
| parent | 124a8def845186ba55ee8566b05cc617554dbcbc (diff) | |
| parent | c445e7dfa4505ba5d914f2d4b29b18107b7e6e97 (diff) | |
| download | dexon-solidity-a7ca4991df9fce4a27a402e9ab02bfb0c9b25910.tar dexon-solidity-a7ca4991df9fce4a27a402e9ab02bfb0c9b25910.tar.gz dexon-solidity-a7ca4991df9fce4a27a402e9ab02bfb0c9b25910.tar.bz2 dexon-solidity-a7ca4991df9fce4a27a402e9ab02bfb0c9b25910.tar.lz dexon-solidity-a7ca4991df9fce4a27a402e9ab02bfb0c9b25910.tar.xz dexon-solidity-a7ca4991df9fce4a27a402e9ab02bfb0c9b25910.tar.zst dexon-solidity-a7ca4991df9fce4a27a402e9ab02bfb0c9b25910.zip | |
Merge pull request #5549 from ethereum/disallowInlineArraysOfMappingType
Disallow inline arrays of mapping type.
Diffstat (limited to 'libsolidity')
| -rw-r--r-- | libsolidity/analysis/TypeChecker.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp index 16b6a55e..a80ca7d6 100644 --- a/libsolidity/analysis/TypeChecker.cpp +++ b/libsolidity/analysis/TypeChecker.cpp @@ -1608,6 +1608,9 @@ bool TypeChecker::visit(TupleExpression const& _tuple) { if (!inlineArrayType) 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()); } else |