re PR c++/8849 (ICE in resolve_overloaded_unification for invalid code)

	PR c++/8849
	* pt.c (resolve_overloaded_unification): Handle FUNCTION_DECL.

	* g++.dg/template/ptrmem4.C: New test.

From-SVN: r62181

gcc/cp/ChangeLog

+2003-01-31  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+	PR c++/8849
+	* pt.c (resolve_overloaded_unification): Handle FUNCTION_DECL.
+
 2003-01-31  Nathan Sidwell  <nathan@codesourcery.com>
 
 	* cp-tree.h (BINFO_SUBVTT_INDEX, BINFO_VPTR_INDEX,

gcc/cp/pt.c

@@ -8910,7 +8910,8 @@ resolve_overloaded_unification (tparms, targs, parm, arg, strict,
 	    }
 	}
     }
-  else if (TREE_CODE (arg) == OVERLOAD)
+  else if (TREE_CODE (arg) == OVERLOAD
+	   || TREE_CODE (arg) == FUNCTION_DECL)
     {
       for (; arg; arg = OVL_NEXT (arg))
 	{

gcc/testsuite/ChangeLog

+2003-01-31  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+	PR c++/8849
+	* g++.dg/template/ptrmem4.C: New test.
+
 2003-01-29  Mark Mitchell  <mark@codesourcery.com>
 
 	* g++.dg/parser/constant1.C: New test.

gcc/testsuite/g++.dg/template/ptrmem4.C

+// { dg-do compile }
+
+// Origin: Scott Snyder <snyder@fnal.gov>
+
+// PR c++/8849
+// Pointer to member function template argument deduction ICE.
+
+
+template <class CONT> void queryAliases(CONT& fill_me); // { dg-error "argument" }
+
+struct SpyExample
+{
+  void ready();
+  void inputs();
+};
+
+void SpyExample::ready()
+{
+  queryAliases(inputs);	// { dg-error "convert" }
+}