From f0006dc2ee31cbcb3c9ea541a851c3f0ee4b9c1e Mon Sep 17 00:00:00 2001
From: jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 13 Feb 2015 16:02:31 +0000
Subject: [PATCH] 	PR c++/65051 	* call.c (reference_binding): Don't
 look for bad conversion 	if TO is incomplete.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220685 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/cp/ChangeLog                           |  6 ++++++
 gcc/cp/call.c                              | 13 +++++++++++++
 gcc/testsuite/g++.dg/template/overload14.C | 18 ++++++++++++++++++
 3 files changed, 37 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/overload14.C

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index a39acaab759..84687715921 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2015-02-13  Jason Merrill  <jason@redhat.com>
+
+	PR c++/65051
+	* call.c (reference_binding): Don't look for bad conversion
+	if TO is incomplete.
+
 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	PR c++/64970
diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index f2076c67aee..2b15185a895 100644
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -1694,6 +1694,19 @@ reference_binding (tree rto, tree rfrom, tree expr, bool c_cast_p, int flags,
      difference in top-level cv-qualification is subsumed by the
      initialization itself and does not constitute a conversion.  */
 
+  /* [dcl.init.ref]
+
+     Otherwise, the reference shall be an lvalue reference to a
+     non-volatile const type, or the reference shall be an rvalue
+     reference.
+
+     We try below to treat this as a bad conversion to improve diagnostics,
+     but if TO is an incomplete class, we need to reject this conversion
+     now to avoid unnecessary instantiation.  */
+  if (!CP_TYPE_CONST_NON_VOLATILE_P (to) && !TYPE_REF_IS_RVALUE (rto)
+      && !COMPLETE_TYPE_P (to))
+    return NULL;
+
   /* We're generating a temporary now, but don't bind any more in the
      conversion (specifically, don't slice the temporary returned by a
      conversion operator).  */
diff --git a/gcc/testsuite/g++.dg/template/overload14.C b/gcc/testsuite/g++.dg/template/overload14.C
new file mode 100644
index 00000000000..ec2c3815100
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/overload14.C
@@ -0,0 +1,18 @@
+// PR c++/65051
+
+template<typename T> struct wrap { typedef T type; };
+template <class T> class rv: public wrap <T>::type {};
+
+template <class value_type>
+struct circular_buffer
+{
+    typedef const value_type& param_value_type;
+    typedef rv< value_type >& rvalue_type;
+
+    void push_back(param_value_type item) {}
+    void push_back(rvalue_type item) {}
+};
+
+union U { int i; char c; };
+
+void f(circular_buffer<U> b, const U& u) { b.push_back(u); }
-- 
2.11.4.GIT