Fixed Windows warnings

This commit is contained in:
Bob Summerwill
2016-03-18 01:22:15 -07:00
parent 11d67369bd
commit a1ce66b304
6 changed files with 23 additions and 4 deletions
+2 -1
View File
@@ -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;
+1 -1
View File
@@ -36,7 +36,7 @@ bool Why3Translator::process(SourceUnit const& _source)
appendPreface();
_source.accept(*this);
}
catch (FatalError& _e)
catch (FatalError& /*_e*/)
{
solAssert(m_errorOccured, "");
}