diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-05-09 20:43:09 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-09 20:43:09 +0800 |
| commit | c80c422bfe8e9e518365495f9811ae61a5c0ecc2 (patch) | |
| tree | a448d572df111ba938bbca43098864852507236a /libjulia/optimiser/DataFlowAnalyzer.cpp | |
| parent | 87826a7d87991f9c054d27def6fb9a79eb18e3ae (diff) | |
| parent | 591c591af05f29bf42b8b162a4fcda5a9a8fae9f (diff) | |
| download | dexon-solidity-c80c422bfe8e9e518365495f9811ae61a5c0ecc2.tar dexon-solidity-c80c422bfe8e9e518365495f9811ae61a5c0ecc2.tar.gz dexon-solidity-c80c422bfe8e9e518365495f9811ae61a5c0ecc2.tar.bz2 dexon-solidity-c80c422bfe8e9e518365495f9811ae61a5c0ecc2.tar.lz dexon-solidity-c80c422bfe8e9e518365495f9811ae61a5c0ecc2.tar.xz dexon-solidity-c80c422bfe8e9e518365495f9811ae61a5c0ecc2.tar.zst dexon-solidity-c80c422bfe8e9e518365495f9811ae61a5c0ecc2.zip | |
Merge pull request #4100 from ethereum/julia-exceptions
Avoid using solAssert in libjulia
Diffstat (limited to 'libjulia/optimiser/DataFlowAnalyzer.cpp')
| -rw-r--r-- | libjulia/optimiser/DataFlowAnalyzer.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libjulia/optimiser/DataFlowAnalyzer.cpp b/libjulia/optimiser/DataFlowAnalyzer.cpp index 56653393..25f0ffb4 100644 --- a/libjulia/optimiser/DataFlowAnalyzer.cpp +++ b/libjulia/optimiser/DataFlowAnalyzer.cpp @@ -23,11 +23,11 @@ #include <libjulia/optimiser/DataFlowAnalyzer.h> #include <libjulia/optimiser/NameCollector.h> +#include <libjulia/optimiser/Semantics.h> +#include <libjulia/Exceptions.h> #include <libsolidity/inlineasm/AsmData.h> -#include <libjulia/optimiser/Semantics.h> - #include <libdevcore/CommonData.h> #include <boost/range/adaptor/reversed.hpp> @@ -41,7 +41,7 @@ void DataFlowAnalyzer::operator()(Assignment& _assignment) set<string> names; for (auto const& var: _assignment.variableNames) names.insert(var.name); - solAssert(_assignment.value, ""); + assertThrow(_assignment.value, OptimizerException, ""); visit(*_assignment.value); handleAssignment(names, _assignment.value.get()); } @@ -120,7 +120,7 @@ void DataFlowAnalyzer::operator()(Block& _block) m_variableScopes.emplace_back(false); ASTModifier::operator()(_block); m_variableScopes.pop_back(); - solAssert(numScopes == m_variableScopes.size(), ""); + assertThrow(numScopes == m_variableScopes.size(), OptimizerException, ""); } void DataFlowAnalyzer::handleAssignment(set<string> const& _variables, Expression* _value) |