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

Consider fixed size array members when checking for recursive structs.

Browse Source
This commit is contained in:
Daniel Kirchner 2018-07-12 15:09:34 +02:00
parent 5d8a8f7265
commit d4dfd28694
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
libsolidity/analysis/TypeChecker.cpp
View File

@ -607,6 +607,12 @@ bool TypeChecker::visit(StructDefinition const& _struct)
auto const& typeName = dynamic_cast<UserDefinedTypeName const&>(*member->typeName()); auto const& typeName = dynamic_cast<UserDefinedTypeName const&>(*member->typeName());
check(&dynamic_cast<StructDefinition const&>(*typeName.annotation().referencedDeclaration), parents); check(&dynamic_cast<StructDefinition const&>(*typeName.annotation().referencedDeclaration), parents);
} }
else if (auto arrayType = dynamic_cast<ArrayType const*>(type(*member).get()))
{
if (!arrayType->isDynamicallySized())
if (auto structType = dynamic_cast<StructType const*>(arrayType->baseType().get()))
check(&structType->structDefinition(), parents);
}
}; };
check(&_struct, StructPointersSet{}); check(&_struct, StructPointersSet{});