diff options
| author | chriseth <chris@ethereum.org> | 2017-03-06 22:05:58 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-06 22:05:58 +0800 |
| commit | 2fcccb97d393cfc6eb5120029d1ec2d6526c0bd0 (patch) | |
| tree | c90805051b690b04c36bb0db87f86998f55c0aa3 /libsolidity/analysis | |
| parent | 573b885337aca75a025c08eea80bb109041e669e (diff) | |
| parent | c126edc6ea1c7af4d0a43e9d36a958f157d9b35c (diff) | |
| download | dexon-solidity-2fcccb97d393cfc6eb5120029d1ec2d6526c0bd0.tar.gz dexon-solidity-2fcccb97d393cfc6eb5120029d1ec2d6526c0bd0.tar.zst dexon-solidity-2fcccb97d393cfc6eb5120029d1ec2d6526c0bd0.zip | |
Merge pull request #1737 from ethereum/localmappings
Disallow uninitialized mapping variables.
Diffstat (limited to 'libsolidity/analysis')
| -rw-r--r-- | libsolidity/analysis/TypeChecker.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp index 5426cd17..ee970e5d 100644 --- a/libsolidity/analysis/TypeChecker.cpp +++ b/libsolidity/analysis/TypeChecker.cpp @@ -730,13 +730,16 @@ bool TypeChecker::visit(VariableDeclarationStatement const& _statement) if (auto ref = dynamic_cast<ReferenceType const*>(type(varDecl).get())) { if (ref->dataStoredIn(DataLocation::Storage)) - { warning( varDecl.location(), "Uninitialized storage pointer. Did you mean '<type> memory " + varDecl.name() + "'?" ); - } } + else if (dynamic_cast<MappingType const*>(type(varDecl).get())) + typeError( + varDecl.location(), + "Uninitialized mapping. Mappings cannot be created dynamically, you have to assign them from a state variable." + ); varDecl.accept(*this); return false; } |