diff options
Diffstat (limited to 'libsolidity/analysis')
| -rw-r--r-- | libsolidity/analysis/TypeChecker.cpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp index a9f5b931..fbdac1c7 100644 --- a/libsolidity/analysis/TypeChecker.cpp +++ b/libsolidity/analysis/TypeChecker.cpp @@ -1403,6 +1403,21 @@ bool TypeChecker::visit(FunctionCall const& _functionCall) else _functionCall.annotation().type = make_shared<TupleType>(functionType->returnParameterTypes()); + // Internal library functions must be implemented, because of inlining rules. + if ( + functionType->kind() == FunctionType::Kind::Internal && + functionType->hasDeclaration() && + dynamic_cast<FunctionDefinition const*>(&functionType->declaration()) + ) + { + FunctionDefinition const* function = dynamic_cast<FunctionDefinition const*>(&functionType->declaration()); + bool isLibraryFunction = + dynamic_cast<ContractDefinition const*>(function->scope()) && + dynamic_cast<ContractDefinition const*>(function->scope())->isLibrary(); + if (!function->isImplemented() && isLibraryFunction) + m_errorReporter.typeError(_functionCall.location(), "Inlined library function is lacking implementation."); + } + TypePointers parameterTypes = functionType->parameterTypes(); if (!functionType->takesArbitraryParameters() && parameterTypes.size() != arguments.size()) { |