From 5f4b68e211a10af513d53cd2b9586191e174423d Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Fri, 21 Apr 2017 18:01:41 +0200
Subject: Another stack check.

---
 libsolidity/inlineasm/AsmAnalysis.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'libsolidity/inlineasm/AsmAnalysis.cpp')

diff --git a/libsolidity/inlineasm/AsmAnalysis.cpp b/libsolidity/inlineasm/AsmAnalysis.cpp
index 9ff15fd0..80cabe2e 100644
--- a/libsolidity/inlineasm/AsmAnalysis.cpp
+++ b/libsolidity/inlineasm/AsmAnalysis.cpp
@@ -164,7 +164,9 @@ bool AsmAnalyzer::operator()(FunctionalAssignment const& _assignment)
 
 bool AsmAnalyzer::operator()(assembly::VariableDeclaration const& _varDecl)
 {
+	int const stackHeight = m_stackHeight;
 	bool success = boost::apply_visitor(*this, *_varDecl.value);
+	solAssert(m_stackHeight - stackHeight == 1, "Invalid value size.");
 	boost::get<Scope::Variable>(m_currentScope->identifiers.at(_varDecl.name)).active = true;
 	return success;
 }
-- 
cgit v1.2.3