cerc-io/solidity
10
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

[SMTChecker] Initialize all number types with 0

Browse Source
This commit is contained in:
Leonardo Alt 2019-07-25 15:15:18 +02:00
parent 4f7fec6911
commit cd5a5b3686
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolidity/formal/SymbolicTypes.cpp
View File

@ -258,7 +258,7 @@ void setSymbolicZeroValue(SymbolicVariable const& _variable, EncodingContext& _c
void setSymbolicZeroValue(Expression _expr, solidity::TypePointer const& _type, EncodingContext& _context) void setSymbolicZeroValue(Expression _expr, solidity::TypePointer const& _type, EncodingContext& _context)
{ {
solAssert(_type, ""); solAssert(_type, "");
if (isInteger(_type->category())) if (isNumber(_type->category()))
_context.addAssertion(_expr == 0); _context.addAssertion(_expr == 0);
else if (isBool(_type->category())) else if (isBool(_type->category()))
_context.addAssertion(_expr == Expression(false)); _context.addAssertion(_expr == Expression(false));