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

SMTSolverChoice: Rewrite operator & not to modify its argument

Browse Source
This commit is contained in:
Kamil Śliwak 2021-09-17 19:41:34 +02:00
parent 588ec39eef
commit b3a513d3b6
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
libsmtutil/SolverInterface.h
View File

@ -65,7 +65,7 @@ struct SMTSolverChoice
return solvers;
}
SMTSolverChoice& operator&(SMTSolverChoice const& _other)
SMTSolverChoice& operator&=(SMTSolverChoice const& _other)
{
cvc4 &= _other.cvc4;
smtlib2 &= _other.smtlib2;
@ -73,9 +73,10 @@ struct SMTSolverChoice
return *this;
}
SMTSolverChoice& operator&=(SMTSolverChoice const& _other)
SMTSolverChoice operator&(SMTSolverChoice _other) const noexcept
{
return *this & _other;
_other &= *this;
return _other;
}
bool operator!=(SMTSolverChoice const& _other) const noexcept { return !(*this == _other); }