diff options
Diffstat (limited to 'libsolidity')
| -rw-r--r-- | libsolidity/codegen/ExpressionCompiler.cpp | 3 | ||||
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 2 |
2 files changed, 3 insertions, 2 deletions
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, ""); } |