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

Fix coding style

Browse Source
This commit is contained in:
Martin Blicha 2023-07-27 17:25:41 +02:00
parent ecded11833
commit 5569aaee78
1 changed files with 8 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
libsmtutil/CHCSmtLib2Interface.cpp
View File

@ -299,12 +299,11 @@ namespace
auto it = ranges::find_if(m_smtlib2Interface.sortNames(), [&](auto const& entry) { auto it = ranges::find_if(m_smtlib2Interface.sortNames(), [&](auto const& entry) {
return entry.second == name || entry.second == quotedName; return entry.second == name || entry.second == quotedName;
}); });
if (it != m_smtlib2Interface.sortNames().end()) { if (it != m_smtlib2Interface.sortNames().end() && it->first->kind == Kind::Tuple)
if (it->first->kind == Kind::Tuple) { {
auto tupleSort = std::dynamic_pointer_cast<TupleSort>(it->first); auto tupleSort = std::dynamic_pointer_cast<TupleSort>(it->first);
smtAssert(tupleSort); smtAssert(tupleSort);
return tupleSort; return tupleSort;
}
} }
return {}; return {};
} }
@ -505,9 +504,8 @@ namespace
assert(it != bindings.end()); assert(it != bindings.end());
auto & record = it->second; auto & record = it->second;
record.pop_back(); record.pop_back();
if (record.empty()) { if (record.empty())
bindings.erase(it); bindings.erase(it);
}
varNames.pop_back(); varNames.pop_back();
} }
scopeBounds.pop_back(); scopeBounds.pop_back();
@ -516,11 +514,10 @@ namespace
void addBinding(std::string name, SMTLib2Expression expression) void addBinding(std::string name, SMTLib2Expression expression)
{ {
auto it = bindings.find(name); auto it = bindings.find(name);
if (it == bindings.end()) { if (it == bindings.end())
bindings.insert({name, {std::move(expression)}}); bindings.insert({name, {std::move(expression)}});
} else { else
it->second.push_back(std::move(expression)); it->second.push_back(std::move(expression));
}
varNames.push_back(std::move(name)); varNames.push_back(std::move(name));
} }
}; };