cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #8254 from ethereum/librariesAsMappingKeys

Browse Source 
Disallow libraries as mapping keys.
This commit is contained in:
chriseth 2020-02-06 09:45:51 +01:00 committed by GitHub
commit 93191cebee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
6 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
libsolidity/analysis/TypeChecker.cpp
View File

@ -2880,10 +2880,15 @@ bool TypeChecker::visit(Mapping const& _mapping)
{
if (auto const* keyType = dynamic_cast<UserDefinedTypeName const*>(&_mapping.keyType()))
{
if (
keyType->annotation().type->category() != Type::Category::Contract &&
keyType->annotation().type->category() != Type::Category::Enum
)
if (auto const* contractType = dynamic_cast<ContractType const*>(keyType->annotation().type))
{
if (contractType->contractDefinition().isLibrary())
m_errorReporter.typeError(
keyType->location(),
"Library types cannot be used as mapping keys."
);
}
else if (keyType->annotation().type->category() != Type::Category::Enum)
m_errorReporter.typeError(
keyType->location(),
"Only elementary types, contract types or enums are allowed as mapping keys."

0
test/libsolidity/syntaxTests/mappings/contract_mapping.sol → test/libsolidity/syntaxTests/types/mapping/contract_mapping.sol
View File

0
test/libsolidity/syntaxTests/mappings/contract_mapping_invalid.sol → test/libsolidity/syntaxTests/types/mapping/contract_mapping_invalid.sol
View File

0
test/libsolidity/syntaxTests/mappings/enum_mapping.sol → test/libsolidity/syntaxTests/types/mapping/enum_mapping.sol
View File

0
test/libsolidity/syntaxTests/mappings/enum_mapping_invalid.sol → test/libsolidity/syntaxTests/types/mapping/enum_mapping_invalid.sol
View File

4
test/libsolidity/syntaxTests/types/mapping/library_mapping.sol Normal file
View File

@ -0,0 +1,4 @@
library L {}
contract C { mapping(L => bool) i; }
// ----
// TypeError: (34-35): Library types cannot be used as mapping keys.