cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Use solAssert and not assert

Browse Source
This commit is contained in:
Alex Beregszaszi 2017-10-04 13:05:55 +01:00
parent 30908415bf
commit a9847c9551
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolidity/ast/Types.cpp
View File

@ -89,7 +89,7 @@ pair<u256, unsigned> const* StorageOffsets::offset(size_t _index) const
MemberList& MemberList::operator=(MemberList&& _other) MemberList& MemberList::operator=(MemberList&& _other)
{ {
assert(&_other != this); solAssert(&_other != this, "");
m_memberTypes = move(_other.m_memberTypes); m_memberTypes = move(_other.m_memberTypes);
m_storageOffsets = move(_other.m_storageOffsets); m_storageOffsets = move(_other.m_storageOffsets);

2
libsolidity/formal/Z3Interface.cpp
View File

@ -142,7 +142,7 @@ z3::expr Z3Interface::toZ3Expr(Expression const& _expr)
return m_context.int_val(n.c_str()); return m_context.int_val(n.c_str());
} }
assert(arity.count(n) && arity.at(n) == arguments.size()); solAssert(arity.count(n) && arity.at(n) == arguments.size(), "");
if (n == "ite") if (n == "ite")
return z3::ite(arguments[0], arguments[1], arguments[2]); return z3::ite(arguments[0], arguments[1], arguments[2]);
else if (n == "not") else if (n == "not")

2
libsolidity/interface/GasEstimator.cpp
View File

@ -48,7 +48,7 @@ GasEstimator::ASTGasConsumptionSelfAccumulated GasEstimator::structuralEstimatio
ControlFlowGraph cfg(_items); ControlFlowGraph cfg(_items);
for (BasicBlock const& block: cfg.optimisedBlocks()) for (BasicBlock const& block: cfg.optimisedBlocks())
{ {
assertThrow(!!block.startState, OptimizerException, ""); solAssert(!!block.startState, "");
GasMeter meter(block.startState->copy()); GasMeter meter(block.startState->copy());
auto const end = _items.begin() + block.end; auto const end = _items.begin() + block.end;
for (auto iter = _items.begin() + block.begin; iter != end; ++iter) for (auto iter = _items.begin() + block.begin; iter != end; ++iter)