re PR c++/13106 (Wrong warning "no return statement ..." for void template function)

	PR c++/13106
	* decl.c (finish_function): Check if return type is dependent before
	issuing no return statement warning.

	* g++.dg/warn/noreturn-3.C: New test.

From-SVN: r74616

gcc/cp/ChangeLog

+2003-12-14  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+	PR c++/13106
+	* decl.c (finish_function): Check if return type is dependent before
+	issuing no return statement warning.
+
 2003-12-12  Nathan Sidwell  <nathan@codesourcery.com>
 
 	PR c++/13118

gcc/cp/decl.c

@@ -10819,6 +10819,7 @@ finish_function (int flags)
   /* Complain if there's just no return statement.  */
   if (warn_return_type
       && TREE_CODE (TREE_TYPE (fntype)) != VOID_TYPE
+      && !dependent_type_p (TREE_TYPE (fntype))
       && !current_function_returns_value && !current_function_returns_null
       /* Don't complain if we abort or throw.  */
       && !current_function_returns_abnormally

gcc/testsuite/ChangeLog

+2003-12-14  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+	PR c++/13106
+	* g++.dg/warn/noreturn-3.C: New test.
+
 2003-12-12  Nathan Sidwell  <nathan@codesourcery.com>
 
 	PR c++/13118

gcc/testsuite/g++.dg/warn/noreturn-3.C

+// { dg-do compile }
+// { dg-options "-Wall" }
+
+// Origin: stip@mathematik.uni-ulm.de
+//	   Andrew Pinski <pinskia@gcc.gnu.org>
+
+// PR c++/13106: No return warning when return type is a dependent type.
+
+template <typename T> T dummy() { }