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

Review suggestions; to be squashed.

Browse Source
This commit is contained in:
Daniel Kirchner 2018-08-03 17:38:06 +02:00
parent 1e4b5886d6
commit f9b90feea0
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
libsolidity/analysis/TypeChecker.cpp
View File

@ -1322,14 +1322,16 @@ void TypeChecker::checkExpressionAssignment(Type const& _type, Expression const&
{
if (auto const* tupleExpression = dynamic_cast<TupleExpression const*>(&_expression))
{
if (auto const* tupleType = dynamic_cast<TupleType const*>(&_type))
{
for (size_t i = 0; i < min(tupleExpression->components().size(), tupleType->components().size()); i++)
if (tupleType->components()[i] && tupleExpression->components()[i])
checkExpressionAssignment(*tupleType->components()[i], *tupleExpression->components()[i]);
}
else if (!tupleExpression->components().empty())
checkExpressionAssignment(_type, *tupleExpression->components().front());
auto const* tupleType = dynamic_cast<TupleType const*>(&_type);
auto const& types = tupleType ? tupleType->components() : vector<TypePointer> { _type.shared_from_this() };
solAssert(tupleExpression->components().size() == types.size(), "");
for (size_t i = 0; i < types.size(); i++)
if (types[i])
{
solAssert(!!tupleExpression->components()[i], "");
checkExpressionAssignment(*types[i], *tupleExpression->components()[i]);
}
}
else if (_type.category() == Type::Category::Mapping)
{