From a1ce66b304e7187cfae1457de91a031c0931273c Mon Sep 17 00:00:00 2001 From: Bob Summerwill Date: Fri, 18 Mar 2016 01:22:15 -0700 Subject: Fixed Windows warnings --- libsolidity/codegen/ExpressionCompiler.cpp | 3 ++- libsolidity/formal/Why3Translator.cpp | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'libsolidity') diff --git a/libsolidity/codegen/ExpressionCompiler.cpp b/libsolidity/codegen/ExpressionCompiler.cpp index e0b2b5f6..64eb6710 100644 --- a/libsolidity/codegen/ExpressionCompiler.cpp +++ b/libsolidity/codegen/ExpressionCompiler.cpp @@ -185,7 +185,8 @@ bool ExpressionCompiler::visit(Conditional const& _condition) utils().convertType(*_condition.falseExpression().annotation().type, *_condition.annotation().type); eth::AssemblyItem endTag = m_context.appendJumpToNew(); m_context << trueTag; - m_context.adjustStackOffset(-_condition.annotation().type->sizeOnStack()); + int offset = _condition.annotation().type->sizeOnStack(); + m_context.adjustStackOffset(-offset); _condition.trueExpression().accept(*this); utils().convertType(*_condition.trueExpression().annotation().type, *_condition.annotation().type); m_context << endTag; diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index 5028e2c3..24fbab13 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -36,7 +36,7 @@ bool Why3Translator::process(SourceUnit const& _source) appendPreface(); _source.accept(*this); } - catch (FatalError& _e) + catch (FatalError& /*_e*/) { solAssert(m_errorOccured, ""); } -- cgit