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/SSAVariable.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/SSAVariable.h')
-rw-r--r-- | libsolidity/formal/SSAVariable.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/libsolidity/formal/SSAVariable.h b/libsolidity/formal/SSAVariable.h index d357740d..46935472 100644 --- a/libsolidity/formal/SSAVariable.h +++ b/libsolidity/formal/SSAVariable.h @@ -34,19 +34,19 @@ public: void resetIndex(); /// This function returns the current index of this SSA variable. - int index() const { return m_currentIndex; } - int& index() { return m_currentIndex; } + unsigned index() const { return m_currentIndex; } + unsigned& index() { return m_currentIndex; } - int operator++() + unsigned operator++() { return m_currentIndex = (*m_nextFreeIndex)++; } private: - int m_currentIndex; + unsigned m_currentIndex; /// The next free index is a shared pointer because we want /// the copy and the copied to share it. - std::shared_ptr<int> m_nextFreeIndex; + std::shared_ptr<unsigned> m_nextFreeIndex; }; } |