From d823627d7f3454bb0990c1ee294e0cea3e488a20 Mon Sep 17 00:00:00 2001
From: jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 16 Mar 2011 20:03:46 +0000
Subject: [PATCH] 	PR c++/48115 	* call.c (convert_arg_to_ellipsis):
 Handle incomplete type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@171066 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/cp/ChangeLog                            |  5 +++++
 gcc/cp/call.c                               |  4 ++++
 gcc/testsuite/ChangeLog                     |  4 ++++
 gcc/testsuite/g++.dg/template/incomplete6.C | 22 ++++++++++++++++++++++
 4 files changed, 35 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/incomplete6.C

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 8a40829..336c22e 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,10 @@
 2011-03-16  Jason Merrill  <jason@redhat.com>
 
+	PR c++/48115
+	* call.c (convert_arg_to_ellipsis): Handle incomplete type.
+
+2011-03-16  Jason Merrill  <jason@redhat.com>
+
 	* parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
 	committed to this tentative parse.
 
diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index 388f46c..f75c248 100644
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -5671,6 +5671,10 @@ convert_arg_to_ellipsis (tree arg)
   arg_type = TREE_TYPE (arg);
 
   if (arg != error_mark_node
+      /* In a template (or ill-formed code), we can have an incomplete type
+	 even after require_complete_type, in which case we don't know
+	 whether it has trivial copy or not.  */
+      && COMPLETE_TYPE_P (arg_type)
       && (type_has_nontrivial_copy_init (arg_type)
 	  || TYPE_HAS_NONTRIVIAL_DESTRUCTOR (arg_type)))
     {
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 72f30d8..ca82c74 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-16  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/template/incomplete6.C: New.
+
 2011-03-16  Jeff Law <law@redhat.com>
 
 	* gcc.dg/tree-ssa/vrp55.c: New test.
diff --git a/gcc/testsuite/g++.dg/template/incomplete6.C b/gcc/testsuite/g++.dg/template/incomplete6.C
new file mode 100644
index 0000000..7138b6a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/incomplete6.C
@@ -0,0 +1,22 @@
+// PR c++/48115
+
+template<typename> struct templ { };
+
+template<typename T> T declval();
+
+typedef int (*F2)(...);
+
+template<int> struct Int { };
+
+template<typename F, typename T>
+struct S
+{
+    template<typename A>
+        Int<sizeof( declval<F>()(T()) )>
+        f(A);
+};
+
+int main()
+{
+    S<F2, templ<int> >().f(0);
+}
-- 
2.7.4