diff options
author | chriseth <chris@ethereum.org> | 2018-11-03 23:04:42 +0800 |
---|---|---|
committer | chriseth <chris@ethereum.org> | 2018-11-13 06:00:37 +0800 |
commit | b1454433b27124badece507b3f3aae822de8d83d (patch) | |
tree | ae6e54ba7734db5fea4e7c1c2cdf0ed277a0efec /libyul/optimiser/RedundantAssignEliminator.h | |
parent | faa7b61d763824f482b513b20bf6a2c38807480e (diff) | |
download | dexon-solidity-b1454433b27124badece507b3f3aae822de8d83d.tar dexon-solidity-b1454433b27124badece507b3f3aae822de8d83d.tar.gz dexon-solidity-b1454433b27124badece507b3f3aae822de8d83d.tar.bz2 dexon-solidity-b1454433b27124badece507b3f3aae822de8d83d.tar.lz dexon-solidity-b1454433b27124badece507b3f3aae822de8d83d.tar.xz dexon-solidity-b1454433b27124badece507b3f3aae822de8d83d.tar.zst dexon-solidity-b1454433b27124badece507b3f3aae822de8d83d.zip |
Remove variables that go out of scope from data structure.
Diffstat (limited to 'libyul/optimiser/RedundantAssignEliminator.h')
-rw-r--r-- | libyul/optimiser/RedundantAssignEliminator.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/libyul/optimiser/RedundantAssignEliminator.h b/libyul/optimiser/RedundantAssignEliminator.h index a9c6a8f7..76106aae 100644 --- a/libyul/optimiser/RedundantAssignEliminator.h +++ b/libyul/optimiser/RedundantAssignEliminator.h @@ -149,8 +149,12 @@ private: } ~BlockScope() { + // This should actually store all declared variables + // into a different mapping for (auto const& var: m_rae.m_declaredVariables) m_rae.changeUndecidedTo(var, State::Unused); + for (auto const& var: m_rae.m_declaredVariables) + m_rae.finalize(var); swap(m_rae.m_declaredVariables, m_outerDeclaredVariables); } @@ -164,10 +168,13 @@ private: /// Will destroy @a _other. void join(RedundantAssignEliminator& _other); void changeUndecidedTo(YulString _variable, State _newState); + void finalize(YulString _variable); std::set<YulString> m_declaredVariables; // TODO check that this does not cause nondeterminism! + // This could also be a pseudo-map from state to assignment. std::map<YulString, std::map<Assignment const*, State>> m_assignments; + std::set<Assignment const*> m_assignmentsToRemove; }; class AssignmentRemover: public ASTModifier |