diff options
author | Leonardo Alt <leo@ethereum.org> | 2018-10-23 00:19:11 +0800 |
---|---|---|
committer | Leonardo Alt <leo@ethereum.org> | 2018-10-23 00:19:11 +0800 |
commit | e2cf5f6ed94c571c7478b9a313f8e4fceee2aec3 (patch) | |
tree | 02beb0ee9b2db95e1e096ce7d3e7b41e94768f61 /libsolidity/formal/SymbolicVariable.h | |
parent | b46b827c30584968c6815b456b8c0c775c35ae48 (diff) | |
download | dexon-solidity-e2cf5f6ed94c571c7478b9a313f8e4fceee2aec3.tar dexon-solidity-e2cf5f6ed94c571c7478b9a313f8e4fceee2aec3.tar.gz dexon-solidity-e2cf5f6ed94c571c7478b9a313f8e4fceee2aec3.tar.bz2 dexon-solidity-e2cf5f6ed94c571c7478b9a313f8e4fceee2aec3.tar.lz dexon-solidity-e2cf5f6ed94c571c7478b9a313f8e4fceee2aec3.tar.xz dexon-solidity-e2cf5f6ed94c571c7478b9a313f8e4fceee2aec3.tar.zst dexon-solidity-e2cf5f6ed94c571c7478b9a313f8e4fceee2aec3.zip |
Add gasleft constraint and use full member access name
Diffstat (limited to 'libsolidity/formal/SymbolicVariable.h')
-rw-r--r-- | libsolidity/formal/SymbolicVariable.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libsolidity/formal/SymbolicVariable.h b/libsolidity/formal/SymbolicVariable.h index 9beaf0e0..e554139f 100644 --- a/libsolidity/formal/SymbolicVariable.h +++ b/libsolidity/formal/SymbolicVariable.h @@ -59,8 +59,8 @@ public: return currentValue(); } - int index() const { return m_ssa->index(); } - int& index() { return m_ssa->index(); } + unsigned index() const { return m_ssa->index(); } + unsigned& index() { return m_ssa->index(); } /// Sets the var to the default value of its type. /// Inherited types must implement. @@ -70,7 +70,7 @@ public: virtual void setUnknownValue() {} protected: - std::string uniqueSymbol(int _index) const; + std::string uniqueSymbol(unsigned _index) const; TypePointer m_type = nullptr; std::string m_uniqueName; |