X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fvalidate.cpp;h=8805d41fadf01655f7328b60e501ce8c3a8b73d4;hb=1476e64621ecbd7b17b00ae2c958322fd39918de;hp=f8ecc5eeefd34aaad243accf7034d9cee8513ca0;hpb=a1ba04add302e7712d127b46d8d11386987a0aea;p=libs%2Fgl.git

diff --git a/source/glsl/validate.cpp b/source/glsl/validate.cpp
index f8ecc5ee..8805d41f 100644
--- a/source/glsl/validate.cpp
+++ b/source/glsl/validate.cpp
@@ -2,6 +2,7 @@
 #include <cstring>
 #include <msp/core/raii.h>
 #include <msp/strings/format.h>
+#include <msp/strings/utils.h>
 #include "validate.h"
 
 using namespace std;
@@ -173,6 +174,17 @@ void DeclarationValidator::visit(InterfaceBlock &iface)
 
 void DeclarationValidator::visit(FunctionDeclaration &func)
 {
+	string key = func.name+func.signature;
+	map<string, FunctionDeclaration *>::const_iterator i = overloaded_functions.find(key);
+	if(i==overloaded_functions.end())
+		overloaded_functions.insert(make_pair(key, &func));
+	else if(func.return_type_declaration && i->second->return_type_declaration!=func.return_type_declaration)
+	{
+		error(func, format("Conflicting return type '%s' for function '%s'", func.return_type_declaration->name, func.name));
+		if(i->second->return_type_declaration)
+			add_info(*i->second, format("Previously declared as returning '%s'", i->second->return_type_declaration->name));
+	}
+
 	if(Statement *previous = find_definition(func.name))
 	{
 		if(!dynamic_cast<FunctionDeclaration *>(previous))
@@ -225,6 +237,32 @@ void ReferenceValidator::visit(InterfaceBlockReference &iface)
 		error(iface, format("Use of unlinked input block '%s'", iface.name));
 }
 
+void ReferenceValidator::visit(FunctionCall &call)
+{
+	if(!call.declaration && !call.constructor)
+	{
+		map<string, FunctionDeclaration *>::iterator i = stage->functions.lower_bound(call.name);
+		if(i!=stage->functions.end() && i->second->name==call.name)
+		{
+			bool valid_types = true;
+			string signature;
+			for(NodeArray<Expression>::const_iterator j=call.arguments.begin(); (valid_types && j!=call.arguments.end()); ++j)
+			{
+				if((*j)->type)
+					append(signature, ", ", (*j)->type->name);
+				else
+					valid_types = false;
+			}
+
+			if(valid_types)
+				error(call, format("No matching overload found for call to '%s(%s)'", call.name, signature));
+		}
+		else
+			error(call, format("Call to undeclared function '%s'", call.name));
+	}
+	TraversingVisitor::visit(call);
+}
+
 void ReferenceValidator::visit(VariableDeclaration &var)
 {
 	if(!var.type_declaration)