From 591c591af05f29bf42b8b162a4fcda5a9a8fae9f Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Wed, 9 May 2018 11:43:14 +0200
Subject: Do not use solAssert within libjulia

---
 libjulia/optimiser/DataFlowAnalyzer.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'libjulia/optimiser/DataFlowAnalyzer.cpp')

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)
-- 
cgit v1.2.3