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

Check for scopes in LoadResolver.

Browse Source
This commit is contained in:
Daniel Kirchner 2021-01-06 10:39:19 +01:00
parent eb035147d2
commit 75bed10be5
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
libyul/optimiser/LoadResolver.cpp
View File

@ -68,9 +68,11 @@ void LoadResolver::tryResolve(
if (_location == StoreLoadLocation::Storage)
{
if (auto value = util::valueOrNullptr(m_storage, key))
_e = Identifier{locationOf(_e), *value};
if (inScope(*value))
_e = Identifier{locationOf(_e), *value};
}
else if (m_optimizeMLoad && _location == StoreLoadLocation::Memory)
if (auto value = util::valueOrNullptr(m_memory, key))
_e = Identifier{locationOf(_e), *value};
if (inScope(*value))
_e = Identifier{locationOf(_e), *value};
}