re PR c++/44629 (ICE in unify, at cp/pt.c:15155)
authorJason Merrill <jason@redhat.com>
Wed, 9 Mar 2011 17:57:46 +0000 (12:57 -0500)
committerJason Merrill <jason@gcc.gnu.org>
Wed, 9 Mar 2011 17:57:46 +0000 (12:57 -0500)
PR c++/44629
* pt.c (unify): An unresolved overload is a nondeduced context.

From-SVN: r170824

gcc/cp/ChangeLog
gcc/cp/pt.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/template/nontype22.C [new file with mode: 0644]

index b0adb8f7af690840151d7f7edb6d16dda5f464f3..789b2cf62c87c4eaab6e31259e24714d99ed5bac 100644 (file)
@@ -1,3 +1,8 @@
+2011-03-09  Jason Merrill  <jason@redhat.com>
+
+       PR c++/44629
+       * pt.c (unify): An unresolved overload is a nondeduced context.
+
 2011-03-09  Martin Jambor  <mjambor@suse.cz>
 
        PR tree-optimization/47714
index 2ca2cd0c0c24c694f8d28020c926401b302b147d..ac91698ad72c4d300f6275e94cc9ed6ce3d534db 100644 (file)
@@ -15688,6 +15688,9 @@ unify (tree tparms, tree targs, tree parm, tree arg, int strict)
       return 1;
 
     default:
+      /* An unresolved overload is a nondeduced context.  */
+      if (type_unknown_p (parm))
+       return 0;
       gcc_assert (EXPR_P (parm));
 
       /* We must be looking at an expression.  This can happen with
index ba746dab75280d49592007cecc1b2780d3cf9ccd..0c30b083f350fafb31b3e6b1e9eba9465ac4122d 100644 (file)
@@ -1,3 +1,7 @@
+2011-03-09  Jason Merrill  <jason@redhat.com>
+
+       * g++.dg/template/nontype22.C: New.
+
 2011-03-09  Martin Jambor  <mjambor@suse.cz>
 
        PR tree-optimization/47714
diff --git a/gcc/testsuite/g++.dg/template/nontype22.C b/gcc/testsuite/g++.dg/template/nontype22.C
new file mode 100644 (file)
index 0000000..f2c8c46
--- /dev/null
@@ -0,0 +1,11 @@
+// PR c++/44629
+// The proper mangling is unclear.
+
+template<typename T> int cmp1(T a, T b);
+template<typename T, int (*cmp)(T, T) = cmp1> struct A { };
+template <typename T> void f (A<T> &); // { dg-bogus "" "" { xfail *-*-* } }
+void g()
+{
+  A<char> a;
+  f(a);
+}