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