diff options
| author | chriseth <chris@ethereum.org> | 2018-02-01 23:55:59 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-02-06 19:31:43 +0800 |
| commit | e100af592b7f78166ba867bf4f9b151d3adece08 (patch) | |
| tree | 550f9a71e86845ebe371690fa2c1149d2dbf6cbf /libjulia/optimiser | |
| parent | 22c4d282aae4279b37bd3d031b3baade2a3e508b (diff) | |
| download | dexon-solidity-e100af592b7f78166ba867bf4f9b151d3adece08.tar.gz dexon-solidity-e100af592b7f78166ba867bf4f9b151d3adece08.tar.zst dexon-solidity-e100af592b7f78166ba867bf4f9b151d3adece08.zip | |
Fix for rematerializer.
Diffstat (limited to 'libjulia/optimiser')
| -rw-r--r-- | libjulia/optimiser/Rematerialiser.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libjulia/optimiser/Rematerialiser.cpp b/libjulia/optimiser/Rematerialiser.cpp index 09a9bb90..bf7d7d16 100644 --- a/libjulia/optimiser/Rematerialiser.cpp +++ b/libjulia/optimiser/Rematerialiser.cpp @@ -136,6 +136,10 @@ void Rematerialiser::handleAssignment(set<string> const& _variables, Expression* else m_substitutions.erase(name); } + else + for (auto const& name: _variables) + m_substitutions.erase(name); + // Disallow substitutions that use a variable that will be reassigned by this assignment. for (auto const& name: _variables) for (auto const& ref: m_referencedBy[name]) |