diff options
| author | chriseth <chris@ethereum.org> | 2017-10-06 01:31:17 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-11-22 10:35:34 +0800 |
| commit | 8538a25f8d97f8416d20ace7dcd1bd760a425db9 (patch) | |
| tree | e4a05c73c3dc1b4487b60a2db4bb070186ab0b09 /libsolidity/formal/SMTChecker.h | |
| parent | 19d5c424295df9638b32a657b31463abac9eb000 (diff) | |
| download | dexon-solidity-8538a25f8d97f8416d20ace7dcd1bd760a425db9.tar.gz dexon-solidity-8538a25f8d97f8416d20ace7dcd1bd760a425db9.tar.zst dexon-solidity-8538a25f8d97f8416d20ace7dcd1bd760a425db9.zip | |
Fix problem with non-value-typed variables.
Diffstat (limited to 'libsolidity/formal/SMTChecker.h')
| -rw-r--r-- | libsolidity/formal/SMTChecker.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libsolidity/formal/SMTChecker.h b/libsolidity/formal/SMTChecker.h index 54e3b22a..8e07d74d 100644 --- a/libsolidity/formal/SMTChecker.h +++ b/libsolidity/formal/SMTChecker.h @@ -96,7 +96,9 @@ private: void initializeLocalVariables(FunctionDefinition const& _function); void resetVariables(std::vector<Declaration const*> _variables); - void createVariable(VariableDeclaration const& _varDecl); + /// Tries to create an uninitialized variable and returns true on success. + /// This fails if the type is not supported. + bool createVariable(VariableDeclaration const& _varDecl); static std::string uniqueSymbol(Declaration const& _decl); static std::string uniqueSymbol(Expression const& _expr); |