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

Solver::constantValue can now take bigint instead of size_t

Browse Source
This commit is contained in:
hrkrshnn 2021-03-30 11:49:31 +02:00
parent a1941e6f0c
commit 76dd9dcc8a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libyul/optimiser/Solver.cpp
View File

@ -102,7 +102,7 @@ smtutil::Expression Solver::booleanValue(smtutil::Expression _value) const
return smtutil::Expression::ite(_value, constantValue(1), constantValue(0));
}
smtutil::Expression Solver::constantValue(size_t _value) const
smtutil::Expression Solver::constantValue(bigint _value) const
{
return _value;
}

2
libyul/optimiser/Solver.h
View File

@ -72,7 +72,7 @@ protected:
virtual std::shared_ptr<smtutil::Sort> defaultSort() const;
virtual smtutil::Expression booleanValue(smtutil::Expression _value) const;
virtual smtutil::Expression constantValue(size_t _value) const;
virtual smtutil::Expression constantValue(bigint _value) const;
virtual smtutil::Expression literalValue(Literal const& _literal) const;
virtual smtutil::Expression unsignedToSigned(smtutil::Expression _value);
virtual smtutil::Expression signedToUnsigned(smtutil::Expression _value);