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

Use tuple sort name plus index for field name

Browse Source
This commit is contained in:
Leonardo Alt 2020-04-09 12:57:54 +02:00
parent 5d9dd654cf
commit 4fc9920112
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
libsolidity/formal/SymbolicTypes.cpp
View File

@ -80,14 +80,12 @@ SortPointer smtSort(frontend::Type const& _type)
auto tupleType = dynamic_cast<frontend::TupleType const*>(&_type);
solAssert(tupleType, "");
vector<string> members;
static unsigned tupleTypeId = 0;
for (auto const& component: tupleType->components())
if (component)
members.emplace_back(component->identifier() + "_" + to_string(tupleTypeId++));
else
members.emplace_back("null_type_" + to_string(tupleTypeId++));
auto const& tupleName = _type.identifier();
auto const& components = tupleType->components();
for (unsigned i = 0; i < components.size(); ++i)
members.emplace_back(tupleName + "_accessor_" + to_string(i));
return make_shared<TupleSort>(
_type.identifier() + "_" + to_string(tupleTypeId++),
tupleName,
members,
smtSortAbstractFunction(tupleType->components())
);