diff options
| author | chriseth <chris@ethereum.org> | 2018-03-05 22:55:02 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-03-05 22:55:02 +0800 |
| commit | 1ceb0b04c1ce117366cde88eb8c3bebb1a5e9598 (patch) | |
| tree | 478c9d797df9774aa48c74dfc3a00dbf7b2cf07a /libsolidity/analysis | |
| parent | fd60c1cf86e69931fda47bdd187f444550ca785f (diff) | |
| download | dexon-solidity-1ceb0b04c1ce117366cde88eb8c3bebb1a5e9598.tar dexon-solidity-1ceb0b04c1ce117366cde88eb8c3bebb1a5e9598.tar.gz dexon-solidity-1ceb0b04c1ce117366cde88eb8c3bebb1a5e9598.tar.bz2 dexon-solidity-1ceb0b04c1ce117366cde88eb8c3bebb1a5e9598.tar.lz dexon-solidity-1ceb0b04c1ce117366cde88eb8c3bebb1a5e9598.tar.xz dexon-solidity-1ceb0b04c1ce117366cde88eb8c3bebb1a5e9598.tar.zst dexon-solidity-1ceb0b04c1ce117366cde88eb8c3bebb1a5e9598.zip | |
Assert that address members are not present on contract types in 0.5.0.
Diffstat (limited to 'libsolidity/analysis')
| -rw-r--r-- | libsolidity/analysis/TypeChecker.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp index ac8b2b63..106a2c8e 100644 --- a/libsolidity/analysis/TypeChecker.cpp +++ b/libsolidity/analysis/TypeChecker.cpp @@ -1832,13 +1832,17 @@ bool TypeChecker::visit(MemberAccess const& _memberAccess) if (exprType->category() == Type::Category::Contract) { // Warn about using address members on contracts + bool v050 = m_scope->sourceUnit().annotation().experimentalFeatures.count(ExperimentalFeature::V050); for (auto const& addressMember: IntegerType(160, IntegerType::Modifier::Address).nativeMembers(nullptr)) if (addressMember.name == memberName && *annotation.type == *addressMember.type) + { + solAssert(!v050, "Address member still present on contract in v0.5.0."); m_errorReporter.warning( _memberAccess.location(), "Using contract member \"" + memberName +"\" inherited from the address type is deprecated." + " Convert the contract to \"address\" type to access the member." ); + } // Warn about using send or transfer with a non-payable fallback function. if (auto callType = dynamic_cast<FunctionType const*>(type(_memberAccess).get())) |