From 13fd569f761154a4e4b4fe2c6431b056f04a9119 Mon Sep 17 00:00:00 2001 From: chriseth Date: Fri, 24 Feb 2017 17:42:41 +0100 Subject: First reset stack height, then register variables. --- libsolidity/inlineasm/AsmCodeGen.cpp | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) (limited to 'libsolidity') diff --git a/libsolidity/inlineasm/AsmCodeGen.cpp b/libsolidity/inlineasm/AsmCodeGen.cpp index bfa48c0e..69ce9507 100644 --- a/libsolidity/inlineasm/AsmCodeGen.cpp +++ b/libsolidity/inlineasm/AsmCodeGen.cpp @@ -194,19 +194,20 @@ public: m_scope.identifiers | boost::adaptors::map_values, [](Scope::Identifier const& var) { return var.type() == typeid(Scope::Variable) && boost::get(var).active; } ); - for (auto const& identifier: _label.stackInfo) - if (!identifier.empty()) - { - solAssert(m_scope.identifiers.count(identifier), ""); - Scope::Variable& var = boost::get(m_scope.identifiers[identifier]); - var.active = true; - var.stackHeight = m_initialDeposit + numVariables; - numVariables++; - } + numVariables += boost::count_if(_label.stackInfo, [](string const& s) { return !s.empty(); }); m_state.assembly.setDeposit(m_initialDeposit + numVariables); } else if (label.stackAdjustment != 0) m_state.assembly.adjustDeposit(label.stackAdjustment); + int height = m_state.assembly.deposit(); + for (auto const& identifier: _label.stackInfo | boost::adaptors::reversed) + if (!identifier.empty()) + { + solAssert(m_scope.identifiers.count(identifier), ""); + Scope::Variable& var = boost::get(m_scope.identifiers[identifier]); + var.active = true; + var.stackHeight = --height; + } m_state.assembly.append(eth::AssemblyItem(eth::Tag, label.id)); } void operator()(assembly::Assignment const& _assignment) -- cgit