diff options
| author | chriseth <chris@ethereum.org> | 2018-06-12 22:11:05 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-12 22:11:05 +0800 |
| commit | cc62d7ce6a94a53684b60b846287782734324082 (patch) | |
| tree | 3d8ffebe18ae7fcec9c2430108714185e9512583 /libsolidity/formal/VariableUsage.cpp | |
| parent | 1f1ec180fb15431e5d398ad9346d206e284a35df (diff) | |
| parent | 207d5859d1edc7ed5c41fbdf62fd7fb929531103 (diff) | |
| download | dexon-solidity-cc62d7ce6a94a53684b60b846287782734324082.tar dexon-solidity-cc62d7ce6a94a53684b60b846287782734324082.tar.gz dexon-solidity-cc62d7ce6a94a53684b60b846287782734324082.tar.bz2 dexon-solidity-cc62d7ce6a94a53684b60b846287782734324082.tar.lz dexon-solidity-cc62d7ce6a94a53684b60b846287782734324082.tar.xz dexon-solidity-cc62d7ce6a94a53684b60b846287782734324082.tar.zst dexon-solidity-cc62d7ce6a94a53684b60b846287782734324082.zip | |
Merge pull request #4229 from ethereum/smt_storage_vars_refactor
Refactoring how storage and local variables are managed.
Diffstat (limited to 'libsolidity/formal/VariableUsage.cpp')
| -rw-r--r-- | libsolidity/formal/VariableUsage.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libsolidity/formal/VariableUsage.cpp b/libsolidity/formal/VariableUsage.cpp index c2dea844..9282a560 100644 --- a/libsolidity/formal/VariableUsage.cpp +++ b/libsolidity/formal/VariableUsage.cpp @@ -50,12 +50,12 @@ VariableUsage::VariableUsage(ASTNode const& _node) _node.accept(reducer); } -vector<Declaration const*> VariableUsage::touchedVariables(ASTNode const& _node) const +vector<VariableDeclaration const*> VariableUsage::touchedVariables(ASTNode const& _node) const { if (!m_children.count(&_node) && !m_touchedVariable.count(&_node)) return {}; - set<Declaration const*> touched; + set<VariableDeclaration const*> touched; vector<ASTNode const*> toVisit; toVisit.push_back(&_node); |