diff options
| author | Bob Summerwill <bob@summerwill.net> | 2016-03-18 16:22:15 +0800 |
|---|---|---|
| committer | Bob Summerwill <bob@summerwill.net> | 2016-03-18 16:22:15 +0800 |
| commit | a1ce66b304e7187cfae1457de91a031c0931273c (patch) | |
| tree | 90393a24a3ae9cbad81ae48e9fa7b2db11c671ec /libsolidity | |
| parent | 11d67369bd0faee2b84c94522355ac963d726f16 (diff) | |
| download | dexon-solidity-a1ce66b304e7187cfae1457de91a031c0931273c.tar.gz dexon-solidity-a1ce66b304e7187cfae1457de91a031c0931273c.tar.zst dexon-solidity-a1ce66b304e7187cfae1457de91a031c0931273c.zip | |
Fixed Windows warnings
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, ""); } |