diff options
| author | Leonardo Alt <leonardoaltt@gmail.com> | 2018-03-01 01:00:13 +0800 |
|---|---|---|
| committer | Leonardo Alt <leonardoaltt@gmail.com> | 2018-03-01 01:05:20 +0800 |
| commit | cff0836c032ecee2710f1c17c49eec0a3b4aa9fc (patch) | |
| tree | 64349305119d23e022c6a407da2e3e146e6f40ea /libsolidity/formal/SSAVariable.cpp | |
| parent | 21c6b80fc98f6d584f240a47d4a01827768f18f3 (diff) | |
| download | dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.tar.gz dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.tar.zst dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.zip | |
Fix PR comments
Diffstat (limited to 'libsolidity/formal/SSAVariable.cpp')
| -rw-r--r-- | libsolidity/formal/SSAVariable.cpp | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/libsolidity/formal/SSAVariable.cpp b/libsolidity/formal/SSAVariable.cpp index 7f214687..4e6bcbcb 100644 --- a/libsolidity/formal/SSAVariable.cpp +++ b/libsolidity/formal/SSAVariable.cpp @@ -25,13 +25,15 @@ using namespace std; using namespace dev; using namespace dev::solidity; -SSAVariable::SSAVariable(Declaration const* _decl, - smt::SolverInterface& _interface) +SSAVariable::SSAVariable( + Declaration const* _decl, + smt::SolverInterface& _interface +) { resetIndex(); if (dynamic_cast<IntegerType const*>(_decl->type().get())) - m_symbVar = make_shared<SymbolicIntVariable>(_decl, _interface); + m_symbolicVar = make_shared<SymbolicIntVariable>(_decl, _interface); else { solAssert(false, ""); @@ -62,10 +64,10 @@ int SSAVariable::next() const void SSAVariable::setZeroValue() { - m_symbVar->setZeroValue(index()); + m_symbolicVar->setZeroValue(index()); } void SSAVariable::setUnknownValue() { - m_symbVar->setUnknownValue(index()); + m_symbolicVar->setUnknownValue(index()); } |