cerc-io/solidity
11
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 static virtual resolution

Browse Source
This commit is contained in:
Leonardo Alt
2021-01-18 16:23:38 +01:00
parent 359c70649d
commit c7ca87c012
2 changed files with 33 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/SMTEncoder.cpp
+12 -3
View File
@@ -2643,15 +2643,24 @@ pair<FunctionDefinition const*, ContractDefinition const*> SMTEncoder::functionC
auto funDef = dynamic_cast<FunctionDefinition const*>(_ref->annotation().referencedDeclaration);
if (!funDef)
return {funDef, _contract};
auto contextContract = _contract;
if (lookup == VirtualLookup::Virtual)
ContractDefinition const* contextContract = nullptr;
switch (lookup)
{
case VirtualLookup::Virtual:
funDef = &funDef->resolveVirtual(*_contract);
else if (lookup == VirtualLookup::Super)
contextContract = _contract;
break;
case VirtualLookup::Super:
{
auto super = _contract->superContract(*_contract);
solAssert(super, "Super contract not available.");
funDef = &funDef->resolveVirtual(*_contract, super);
contextContract = super;
break;
}
case VirtualLookup::Static:
contextContract = funDef->annotation().contract;
break;
}
return {funDef, contextContract};
};