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

Fix internal compiler error for unimplemented base contract function.

Browse Source
This commit is contained in:
Anurag Dashputre 2018-12-01 22:50:56 +05:30 committed by chriseth
parent 4b98946e5a
commit 82f5763e7a
4 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Changelog.md
View File

@ -25,6 +25,7 @@ Bugfixes:
* Type Checker: Disallow struct return types for getters of public state variables unless the new ABI encoder is active.
* Type Checker: Fix internal compiler error when a field of a struct used as a parameter in a function type has a non-existent type.
* Type Checker: Disallow functions ``sha3`` and ``suicide`` also without a function call.
* Type Checker: Fix internal compiler error with ``super`` when base contract function is not implemented.
* Type Checker: Fixed internal error when trying to create abstract contract in some cases.
* Type Checker: Fixed internal error related to double declaration of events.
* Type Checker: Disallow inline arrays of mapping type.

3
libsolidity/ast/Types.cpp
View File

@ -1943,8 +1943,9 @@ MemberList::MemberMap ContractType::nativeMembers(ContractDefinition const* _con
for (ContractDefinition const* base: bases | boost::adaptors::sliced(1, bases.size()))
for (FunctionDefinition const* function: base->definedFunctions())
{
if (!function->isVisibleInDerivedContracts())
if (!function->isVisibleInDerivedContracts() || !function->isImplemented())
continue;
auto functionType = make_shared<FunctionType>(*function, true);
bool functionWithEqualArgumentsFound = false;
for (auto const& member: members)

8
test/libsolidity/syntaxTests/unimplemented_super_function.sol Normal file
View File

@ -0,0 +1,8 @@
contract a {
function f() public;
}
contract b is a {
function f() public { super.f(); }
}
// ----
// TypeError: (84-91): Member "f" not found or not visible after argument-dependent lookup in contract super b.

12
test/libsolidity/syntaxTests/unimplemented_super_function_derived.sol Normal file
View File

@ -0,0 +1,12 @@
contract a {
function f() public;
}
contract b is a {
function f() public { super.f(); }
}
contract c is a,b {
// No error here.
function f() public { super.f(); }
}
// ----
// TypeError: (84-91): Member "f" not found or not visible after argument-dependent lookup in contract super b.