diff options
author | chriseth <chris@ethereum.org> | 2017-06-22 01:32:56 +0800 |
---|---|---|
committer | chriseth <chris@ethereum.org> | 2017-06-26 22:31:36 +0800 |
commit | d0b6de0b346b319c85747fdbee76c1d204d6ced6 (patch) | |
tree | c1c58441ee94e082c753ce5727d79fd61d28e504 /libsolidity/analysis/TypeChecker.h | |
parent | 751ba701bca0fbcae6d74cfdc23a4ac4a1c3dfab (diff) | |
download | dexon-solidity-d0b6de0b346b319c85747fdbee76c1d204d6ced6.tar dexon-solidity-d0b6de0b346b319c85747fdbee76c1d204d6ced6.tar.gz dexon-solidity-d0b6de0b346b319c85747fdbee76c1d204d6ced6.tar.bz2 dexon-solidity-d0b6de0b346b319c85747fdbee76c1d204d6ced6.tar.lz dexon-solidity-d0b6de0b346b319c85747fdbee76c1d204d6ced6.tar.xz dexon-solidity-d0b6de0b346b319c85747fdbee76c1d204d6ced6.tar.zst dexon-solidity-d0b6de0b346b319c85747fdbee76c1d204d6ced6.zip |
Warn about copies in storage that might overwrite unexpectedly.
Diffstat (limited to 'libsolidity/analysis/TypeChecker.h')
-rw-r--r-- | libsolidity/analysis/TypeChecker.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libsolidity/analysis/TypeChecker.h b/libsolidity/analysis/TypeChecker.h index 2fa66f97..ee43d13a 100644 --- a/libsolidity/analysis/TypeChecker.h +++ b/libsolidity/analysis/TypeChecker.h @@ -69,6 +69,9 @@ private: void checkContractExternalTypeClashes(ContractDefinition const& _contract); /// Checks that all requirements for a library are fulfilled if this is a library. void checkLibraryRequirements(ContractDefinition const& _contract); + /// Checks (and warns) if a tuple assignment might cause unexpected overwrites in storage. + /// Should only be called if the left hand side is tuple-typed. + void checkDoubleStorageAssignment(Assignment const& _assignment); virtual void endVisit(InheritanceSpecifier const& _inheritance) override; virtual void endVisit(UsingForDirective const& _usingFor) override; |