aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
diff options
context:
space:
mode:
authorBob Summerwill <bob@summerwill.net>2016-03-18 16:22:15 +0800
committerBob Summerwill <bob@summerwill.net>2016-03-18 16:22:15 +0800
commita1ce66b304e7187cfae1457de91a031c0931273c (patch)
tree90393a24a3ae9cbad81ae48e9fa7b2db11c671ec /libsolidity
parent11d67369bd0faee2b84c94522355ac963d726f16 (diff)
downloaddexon-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.cpp3
-rw-r--r--libsolidity/formal/Why3Translator.cpp2
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, "");
}