diff options
| author | Erik Kundt <bitshift@posteo.org> | 2018-04-23 23:11:41 +0800 |
|---|---|---|
| committer | Erik Kundt <bitshift@posteo.org> | 2018-04-23 23:11:41 +0800 |
| commit | 896018c8a33f92e9dd507b462c858dbcf13d6385 (patch) | |
| tree | 213d6b6aa043ea3f00c18f7a5b55cfd4728407d0 | |
| parent | b2ff9bc88d50e89419317d54b00e80b4c18a92c7 (diff) | |
| download | dexon-solidity-896018c8a33f92e9dd507b462c858dbcf13d6385.tar.gz dexon-solidity-896018c8a33f92e9dd507b462c858dbcf13d6385.tar.zst dexon-solidity-896018c8a33f92e9dd507b462c858dbcf13d6385.zip | |
Treats inline array as an error.
| -rw-r--r-- | libsolidity/analysis/TypeChecker.cpp | 2 | ||||
| -rw-r--r-- | test/libsolidity/syntaxTests/types/empty_tuple_lvalue_array.sol | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp index 53409e6c..02f2f833 100644 --- a/libsolidity/analysis/TypeChecker.cpp +++ b/libsolidity/analysis/TypeChecker.cpp @@ -1423,6 +1423,8 @@ bool TypeChecker::visit(TupleExpression const& _tuple) if (types[i]->category() == Type::Category::Tuple) if (dynamic_cast<TupleType const&>(*types[i]).components().empty()) { + if (_tuple.isInlineArray()) + m_errorReporter.fatalTypeError(components[i]->location(), "Array component cannot be empty."); if (v050) m_errorReporter.fatalTypeError(components[i]->location(), "Tuple component cannot be empty."); else diff --git a/test/libsolidity/syntaxTests/types/empty_tuple_lvalue_array.sol b/test/libsolidity/syntaxTests/types/empty_tuple_lvalue_array.sol index 8d77df47..f8b2ae7e 100644 --- a/test/libsolidity/syntaxTests/types/empty_tuple_lvalue_array.sol +++ b/test/libsolidity/syntaxTests/types/empty_tuple_lvalue_array.sol @@ -8,6 +8,4 @@ contract C { } } // ---- -// Warning: (146-149): Tuple component cannot be empty. -// Warning: (151-154): Tuple component cannot be empty. -// TypeError: (145-155): Type tuple()[2] memory is not implicitly convertible to expected type tuple(uint256,uint256). +// TypeError: (146-149): Array component cannot be empty. |