diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-04-30 22:30:41 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-05-15 20:28:08 +0800 |
| commit | 4117e859eb5780873177cf1c93eb8379e17ed247 (patch) | |
| tree | 037215fc1ac785a087ac3d9935b1c1aa37a187e1 /libsolidity/formal/SMTChecker.h | |
| parent | 2dbb35d4a8fc4321d59a670343b439232c92eaa9 (diff) | |
| download | dexon-solidity-4117e859eb5780873177cf1c93eb8379e17ed247.tar.gz dexon-solidity-4117e859eb5780873177cf1c93eb8379e17ed247.tar.zst dexon-solidity-4117e859eb5780873177cf1c93eb8379e17ed247.zip | |
[SMTChecker] Declaring all state vars before any function is visited
Diffstat (limited to 'libsolidity/formal/SMTChecker.h')
| -rw-r--r-- | libsolidity/formal/SMTChecker.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libsolidity/formal/SMTChecker.h b/libsolidity/formal/SMTChecker.h index 6e64235e..50d40ab9 100644 --- a/libsolidity/formal/SMTChecker.h +++ b/libsolidity/formal/SMTChecker.h @@ -50,6 +50,8 @@ private: // because the order of expression evaluation is undefined // TODO: or just force a certain order, but people might have a different idea about that. + virtual bool visit(ContractDefinition const& _node) override; + virtual void endVisit(ContractDefinition const& _node) override; virtual void endVisit(VariableDeclaration const& _node) override; virtual bool visit(FunctionDefinition const& _node) override; virtual void endVisit(FunctionDefinition const& _node) override; |