Some fixes for the type system, should be quite usable now.

libsolidity/AST.cpp

@@ -354,7 +354,7 @@ ptr<Type> BinaryOperation::checkTypeRequirements()
 	} else {
 		BOOST_ASSERT(Token::IsBinaryOp(m_operator));
 		m_type = m_commonType;
-		if (!m_commonType->acceptsBinaryOperator(Token::AssignmentToBinaryOp(m_operator)))
+		if (!m_commonType->acceptsBinaryOperator(m_operator))
 			BOOST_THROW_EXCEPTION(TypeError() << errinfo_comment("Operator not compatible with type."));
 	}
 	return m_type;

libsolidity/NameAndTypeResolver.cpp

@@ -30,24 +30,6 @@ namespace dev {
 namespace solidity {
 
 
-class NameAndTypeResolver::ScopeHelper {
-public:
-	ScopeHelper(NameAndTypeResolver& _resolver, Declaration& _declaration)
-		: m_resolver(_resolver)
-	{
-		m_resolver.registerDeclaration(_declaration);
-		m_resolver.enterNewSubScope(_declaration);
-	}
-	~ScopeHelper()
-	{
-		m_resolver.closeCurrentScope();
-	}
-
-private:
-	NameAndTypeResolver& m_resolver;
-};
-
-
 NameAndTypeResolver::NameAndTypeResolver()
 {
 }
@@ -55,130 +37,33 @@ NameAndTypeResolver::NameAndTypeResolver()
 void NameAndTypeResolver::resolveNamesAndTypes(ContractDefinition& _contract)
 {
 	reset();
+	DeclarationRegistrationHelper registrar(m_scopes, _contract);
 
-	handleContract(_contract);
-}
-
-void NameAndTypeResolver::handleContract(ContractDefinition& _contract)
-{
-	ScopeHelper scopeHelper(*this, _contract);
+	m_currentScope = &m_scopes[&_contract];
 
-	// @todo structs (definition and usage)
+	//@todo structs
 
 	for (ptr<VariableDeclaration> const& variable : _contract.getStateVariables())
-		registerVariableDeclarationAndResolveType(*variable);
+		ReferencesResolver resolver(*variable, *this, nullptr);
 
-	for (ptr<FunctionDefinition> const& function : _contract.getDefinedFunctions())
-		handleFunction(*function);
+	for (ptr<FunctionDefinition> const& function : _contract.getDefinedFunctions()) {
+		m_currentScope = &m_scopes[function.get()];
+		ReferencesResolver referencesResolver(*function, *this,
+											  function->getReturnParameterList().get());
+	}
+	// First, all function parameter types need to be resolved before we can check
+	// the types, since it is possible to call functions that are only defined later
+	// in the source.
+	for (ptr<FunctionDefinition> const& function : _contract.getDefinedFunctions()) {
+		m_currentScope = &m_scopes[function.get()];
+		function->getBody().checkTypeRequirements();
+	}
 }
 
 void NameAndTypeResolver::reset()
 {
 	m_scopes.clear();
-	m_globalScope = Scope();
-	m_currentScope = &m_globalScope;
-}
-
-void NameAndTypeResolver::handleFunction(FunctionDefinition& _function)
-{
-	ScopeHelper scopeHelper(*this, _function);
-
-	registerVariablesInFunction(_function);
-	resolveReferencesInFunction(*_function.getReturnParameterList(), _function.getBody());
-	_function.getBody().checkTypeRequirements();
-}
-
-void NameAndTypeResolver::registerVariablesInFunction(FunctionDefinition& _function)
-{
-	class VariableDeclarationFinder : public ASTVisitor {
-	public:
-		VariableDeclarationFinder(NameAndTypeResolver& _resolver) : m_resolver(_resolver) {}
-		virtual bool visit(VariableDeclaration& _variable) override {
-			m_resolver.registerVariableDeclarationAndResolveType(_variable);
-			return false;
-		}
-	private:
-		NameAndTypeResolver& m_resolver;
-	};
-
-	VariableDeclarationFinder declarationFinder(*this);
-	_function.accept(declarationFinder);
-}
-
-void NameAndTypeResolver::resolveReferencesInFunction(ParameterList& _returnParameters,
-													  Block& _functionBody)
-{
-	class ReferencesResolver : public ASTVisitor {
-	public:
-		ReferencesResolver(NameAndTypeResolver& _resolver,
-						   ParameterList& _returnParameters)
-			: m_resolver(_resolver), m_returnParameters(_returnParameters) {}
-		virtual bool visit(Identifier& _identifier) override {
-			Declaration* declaration = m_resolver.getNameFromCurrentScope(_identifier.getName());
-			if (declaration == nullptr)
-				BOOST_THROW_EXCEPTION(DeclarationError() << errinfo_comment("Undeclared identifier."));
-			_identifier.setReferencedDeclaration(*declaration);
-			return false;
-		}
-		virtual bool visit(Return& _return) override {
-			_return.setFunctionReturnParameters(m_returnParameters);
-			return true;
-		}
-	private:
-		NameAndTypeResolver& m_resolver;
-		ParameterList& m_returnParameters;
-	};
-
-	ReferencesResolver referencesResolver(*this, _returnParameters);
-	_functionBody.accept(referencesResolver);
-}
-
-void NameAndTypeResolver::registerVariableDeclarationAndResolveType(VariableDeclaration& _variable)
-{
-	registerDeclaration(_variable);
-	TypeName* typeName = _variable.getTypeName();
-	if (typeName == nullptr) // unknown type, to be resolved by first assignment
-		return;
-
-	// walk the AST to resolve user defined type references
-	// (walking is necessory because of mappings)
-	// @todo this could probably also be done at an earlier stage where we anyway
-	// walk the AST
-
-	class UserDefinedTypeNameResolver : public ASTVisitor {
-	public:
-		UserDefinedTypeNameResolver(NameAndTypeResolver& _resolver)
-			: m_resolver(_resolver) {}
-		virtual bool visit(UserDefinedTypeName& _typeName) override {
-			Declaration* declaration = m_resolver.getNameFromCurrentScope(_typeName.getName());
-			if (declaration == nullptr)
-				BOOST_THROW_EXCEPTION(DeclarationError() << errinfo_comment("Undeclared identifier."));
-			StructDefinition* referencedStruct = dynamic_cast<StructDefinition*>(declaration);
-			//@todo later, contracts are also valid types
-			if (referencedStruct == nullptr)
-				BOOST_THROW_EXCEPTION(TypeError() << errinfo_comment("Identifier does not name a type name."));
-			_typeName.setReferencedStruct(*referencedStruct);
-			return false;
-		}
-		virtual bool visit(Mapping&) override {
-			// @todo
-			return true;
-		}
-	private:
-		NameAndTypeResolver& m_resolver;
-	};
-
-	UserDefinedTypeNameResolver resolver(*this);
-	_variable.accept(resolver);
-
-	_variable.setType(typeName->toType());
-}
-
-
-void NameAndTypeResolver::registerDeclaration(Declaration& _declaration)
-{
-	if (!m_currentScope->registerDeclaration(_declaration))
-		BOOST_THROW_EXCEPTION(DeclarationError() << errinfo_comment("Identifier already declared."));
+	m_currentScope = nullptr;
 }
 
 Declaration* NameAndTypeResolver::getNameFromCurrentScope(ASTString const& _name, bool _recursive)
@@ -186,18 +71,131 @@ Declaration* NameAndTypeResolver::getNameFromCurrentScope(ASTString const& _name
 	return m_currentScope->resolveName(_name, _recursive);
 }
 
-void NameAndTypeResolver::enterNewSubScope(ASTNode& _node)
+
+DeclarationRegistrationHelper::DeclarationRegistrationHelper(std::map<ASTNode*, Scope>& _scopes, ASTNode& _astRoot)
+	: m_scopes(_scopes), m_currentScope(&m_scopes[nullptr])
+{
+	_astRoot.accept(*this);
+}
+
+bool DeclarationRegistrationHelper::visit(ContractDefinition& _contract)
+{
+	registerDeclaration(_contract, true);
+	return true;
+}
+
+void DeclarationRegistrationHelper::endVisit(ContractDefinition&)
+{
+	closeCurrentScope();
+}
+
+bool DeclarationRegistrationHelper::visit(StructDefinition& _struct)
+{
+	registerDeclaration(_struct, true);
+	return true;
+}
+
+void DeclarationRegistrationHelper::endVisit(StructDefinition&)
+{
+	closeCurrentScope();
+}
+
+bool DeclarationRegistrationHelper::visit(FunctionDefinition& _function)
+{
+	registerDeclaration(_function, true);
+	return true;
+}
+
+void DeclarationRegistrationHelper::endVisit(FunctionDefinition&)
+{
+	closeCurrentScope();
+}
+
+bool DeclarationRegistrationHelper::visit(VariableDeclaration& _declaration)
+{
+	registerDeclaration(_declaration, false);
+	return true;
+}
+
+void DeclarationRegistrationHelper::endVisit(VariableDeclaration&)
 {
-	decltype(m_scopes)::iterator iter;
+}
+
+void DeclarationRegistrationHelper::enterNewSubScope(ASTNode& _node)
+{
+	std::map<ASTNode*, Scope>::iterator iter;
 	bool newlyAdded;
 	std::tie(iter, newlyAdded) = m_scopes.emplace(&_node, Scope(m_currentScope));
 	BOOST_ASSERT(newlyAdded);
 	m_currentScope = &iter->second;
 }
 
-void NameAndTypeResolver::closeCurrentScope()
+void DeclarationRegistrationHelper::closeCurrentScope()
 {
+	BOOST_ASSERT(m_currentScope != nullptr);
 	m_currentScope = m_currentScope->getOuterScope();
 }
 
+void DeclarationRegistrationHelper::registerDeclaration(Declaration& _declaration, bool _opensScope)
+{
+	BOOST_ASSERT(m_currentScope != nullptr);
+	if (!m_currentScope->registerDeclaration(_declaration))
+		BOOST_THROW_EXCEPTION(DeclarationError() << errinfo_comment("Identifier already declared."));
+
+	if (_opensScope)
+		enterNewSubScope(_declaration);
+}
+
+ReferencesResolver::ReferencesResolver(ASTNode& _root, NameAndTypeResolver& _resolver,
+									   ParameterList* _returnParameters)
+	: m_resolver(_resolver), m_returnParameters(_returnParameters)
+{
+	_root.accept(*this);
+}
+
+void ReferencesResolver::endVisit(VariableDeclaration& _variable)
+{
+	// endVisit because the internal type needs resolving if it is a user defined type
+	// or mapping
+	if (_variable.getTypeName() != nullptr)
+		_variable.setType(_variable.getTypeName()->toType());
+	// otherwise we have a "var"-declaration whose type is resolved by the first assignment
+}
+
+bool ReferencesResolver::visit(Return& _return)
+{
+	BOOST_ASSERT(m_returnParameters != nullptr);
+	_return.setFunctionReturnParameters(*m_returnParameters);
+	return true;
+}
+
+bool ReferencesResolver::visit(Mapping&)
+{
+	// @todo
+	return true;
+}
+
+bool ReferencesResolver::visit(UserDefinedTypeName& _typeName)
+{
+	Declaration* declaration = m_resolver.getNameFromCurrentScope(_typeName.getName());
+	if (declaration == nullptr)
+		BOOST_THROW_EXCEPTION(DeclarationError() << errinfo_comment("Undeclared identifier."));
+	StructDefinition* referencedStruct = dynamic_cast<StructDefinition*>(declaration);
+	//@todo later, contracts are also valid types
+	if (referencedStruct == nullptr)
+		BOOST_THROW_EXCEPTION(TypeError() << errinfo_comment("Identifier does not name a type name."));
+	_typeName.setReferencedStruct(*referencedStruct);
+	return false;
+}
+
+bool ReferencesResolver::visit(Identifier& _identifier)
+{
+	Declaration* declaration = m_resolver.getNameFromCurrentScope(_identifier.getName());
+	if (declaration == nullptr)
+		BOOST_THROW_EXCEPTION(DeclarationError() << errinfo_comment("Undeclared identifier."));
+	_identifier.setReferencedDeclaration(*declaration);
+	return false;
+}
+
+
 } }

libsolidity/NameAndTypeResolver.h

@@ -32,34 +32,64 @@
 namespace dev {
 namespace solidity {
 
+
 class NameAndTypeResolver : private boost::noncopyable
 {
 public:
 	NameAndTypeResolver();
 
 	void resolveNamesAndTypes(ContractDefinition& _contract);
+	Declaration* getNameFromCurrentScope(ASTString const& _name, bool _recursive = true);
 private:
-	class ScopeHelper; //< RIIA helper to open and close scopes
-
 	void reset();
 
-	void handleContract(ContractDefinition& _contract);
-	void handleFunction(FunctionDefinition& _function);
-	void registerVariablesInFunction(FunctionDefinition& _function);
-	void resolveReferencesInFunction(ParameterList& _returnParameters,
-									 Block& _functionBody);
+	//! Maps nodes declaring a scope to scopes, i.e. ContractDefinition, FunctionDeclaration and
+	//! StructDefinition (@todo not yet implemented), where nullptr denotes the global scope.
+	std::map<ASTNode*, Scope> m_scopes;
 
-	void registerVariableDeclarationAndResolveType(VariableDeclaration& _variable);
-	void registerDeclaration(Declaration& _declaration);
-	Declaration* getNameFromCurrentScope(ASTString const& _name, bool _recursive = true);
+	Scope* m_currentScope;
+};
+
+//! Traverses the given AST upon construction and fills _scopes with all declarations inside the
+//! AST.
+class DeclarationRegistrationHelper : private ASTVisitor
+{
+public:
+	DeclarationRegistrationHelper(std::map<ASTNode*, Scope>& _scopes, ASTNode& _astRoot);
+
+private:
+	bool visit(ContractDefinition& _contract);
+	void endVisit(ContractDefinition& _contract);
+	bool visit(StructDefinition& _struct);
+	void endVisit(StructDefinition& _struct);
+	bool visit(FunctionDefinition& _function);
+	void endVisit(FunctionDefinition& _function);
+	bool visit(VariableDeclaration& _declaration);
+	void endVisit(VariableDeclaration& _declaration);
 
 	void enterNewSubScope(ASTNode& _node);
 	void closeCurrentScope();
+	void registerDeclaration(Declaration& _declaration, bool _opensScope);
 
-	Scope m_globalScope; // not part of the map
-	std::map<ASTNode*, Scope> m_scopes;
-
+	std::map<ASTNode*, Scope>& m_scopes;
 	Scope* m_currentScope;
 };
 
+//! Resolves references to declarations (of variables and types) and also establishes the link
+//! between a return statement and the return parameter list.
+class ReferencesResolver : private ASTVisitor
+{
+public:
+	ReferencesResolver(ASTNode& _root, NameAndTypeResolver& _resolver, ParameterList* _returnParameters);
+private:
+	virtual void endVisit(VariableDeclaration& _variable) override;
+	virtual bool visit(Identifier& _identifier) override;
+	virtual bool visit(UserDefinedTypeName& _typeName) override;
+	virtual bool visit(Mapping&) override;
+	virtual bool visit(Return& _return) override;
+private:
+	NameAndTypeResolver& m_resolver;
+	ParameterList* m_returnParameters;
+};
+
 } }

libsolidity/Types.cpp

@@ -37,8 +37,8 @@ ptr<Type> Type::fromElementaryTypeName(Token::Value _typeToken)
 			bits = (1 << (bits - 1)) * 32;
 		int modifier = offset / 5;
 		return std::make_shared<IntegerType>(bits,
-											 modifier == 0 ? IntegerType::Modifier::UNSIGNED :
-											 modifier == 1 ? IntegerType::Modifier::SIGNED :
+											 modifier == 0 ? IntegerType::Modifier::SIGNED :
+											 modifier == 1 ? IntegerType::Modifier::UNSIGNED :
 															 IntegerType::Modifier::HASH);
 	} else if (_typeToken == Token::ADDRESS) {
 		return std::make_shared<IntegerType>(0, IntegerType::Modifier::ADDRESS);
@@ -109,26 +109,34 @@ bool IntegerType::isImplicitlyConvertibleTo(Type const& _convertTo) const
 
 bool IntegerType::isExplicitlyConvertibleTo(const Type& _convertTo) const
 {
-	// @todo
-	return false;
+	return _convertTo.getCategory() == Category::INTEGER;
 }
 
 bool IntegerType::acceptsBinaryOperator(Token::Value _operator) const
 {
-	//@todo
-	return true;
+	if (isAddress()) {
+		return Token::IsCompareOp(_operator);
+	} else if (isHash()) {
+		return Token::IsCompareOp(_operator) || Token::IsBitOp(_operator);
+	} else {
+		return true;
+	}
 }
 
 bool IntegerType::acceptsUnaryOperator(Token::Value _operator) const
 {
-	//@todo
-	return true;
+	return _operator == Token::DELETE || (!isAddress() && _operator == Token::BIT_NOT);
 }
 
 bool BoolType::isExplicitlyConvertibleTo(const Type& _convertTo) const
 {
-	//@todo conversion to integer is fine, but not to address
-	//@todo this is an example of explicit conversions being not transitive (though implicit should)
+	// conversion to integer is fine, but not to address
+	// this is an example of explicit conversions being not transitive (though implicit should be)
+	if (_convertTo.getCategory() == Category::INTEGER) {
+		IntegerType const& convertTo = dynamic_cast<IntegerType const&>(_convertTo);
+		if (!convertTo.isAddress())
+			return true;
+	}
 	return isImplicitlyConvertibleTo(_convertTo);
 }
 

test/solidityNameAndTypeResolution.cpp

@@ -108,6 +108,64 @@ BOOST_AUTO_TEST_CASE(undeclared_name)
 	BOOST_CHECK_THROW(parseTextAndResolveNames(text), DeclarationError);
 }
 
+BOOST_AUTO_TEST_CASE(reference_to_later_declaration)
+{
+	char const* text = "contract test {\n"
+					   "  function g() { f(); }"
+					   "  function f() {  }"
+					   "}\n";
+	BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text));
+}
+
+BOOST_AUTO_TEST_CASE(type_inference_smoke_test)
+{
+	char const* text = "contract test {\n"
+					   "  function f(uint256 arg1, uint32 arg2) returns (bool ret) { var x = arg1 + arg2 == 8; ret = x; }"
+					   "}\n";
+	BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text));
+}
+
+BOOST_AUTO_TEST_CASE(type_checking_return)
+{
+	char const* text = "contract test {\n"
+					   "  function f() returns (bool r) { return 1 >= 2; }"
+					   "}\n";
+	BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text));
+}
+
+BOOST_AUTO_TEST_CASE(type_checking_return_wrong_number)
+{
+	char const* text = "contract test {\n"
+					   "  function f() returns (bool r1, bool r2) { return 1 >= 2; }"
+					   "}\n";
+	BOOST_CHECK_THROW(parseTextAndResolveNames(text), TypeError);
+}
+
+BOOST_AUTO_TEST_CASE(type_checking_return_wrong_type)
+{
+	char const* text = "contract test {\n"
+					   "  function f() returns (uint256 r) { return 1 >= 2; }"
+					   "}\n";
+	BOOST_CHECK_THROW(parseTextAndResolveNames(text), TypeError);
+}
+
+BOOST_AUTO_TEST_CASE(type_checking_function_call)
+{
+	char const* text = "contract test {\n"
+					   "  function f() returns (bool r) { return g(12, true) == 3; }\n"
+					   "  function g(uint256 a, bool b) returns (uint256 r) { }\n"
+					   "}\n";
+	BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text));
+}
+
+BOOST_AUTO_TEST_CASE(type_inference_explicit_conversion)
+{
+	char const* text = "contract test {\n"
+					   "  function f() returns (int256 r) { var x = int256(uint32(2)); return x; }"
+					   "}\n";
+	BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text));
+}
+
 BOOST_AUTO_TEST_SUITE_END()
 
 } } } // end namespaces