aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SymbolicVariable.h
diff options
context:
space:
mode:
authorLeonardo Alt <leo@ethereum.org>2018-10-23 00:19:11 +0800
committerLeonardo Alt <leo@ethereum.org>2018-10-23 00:19:11 +0800
commite2cf5f6ed94c571c7478b9a313f8e4fceee2aec3 (patch)
tree02beb0ee9b2db95e1e096ce7d3e7b41e94768f61 /libsolidity/formal/SymbolicVariable.h
parentb46b827c30584968c6815b456b8c0c775c35ae48 (diff)
downloaddexon-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.h6
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;