PR c++/71576 - bitfield and rvalue reference

	* call.c (convert_like_real): Use lvalue_kind.

From-SVN: r238683

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 75d9108..34ebcb8 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,8 @@
 2016-07-22  Jason Merrill  <jason@redhat.com>
 
+       PR c++/71576
+       * call.c (convert_like_real): Use lvalue_kind.
+
        PR c++/71748
        PR c++/52746
        * pt.c (tsubst_baselink): Call

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index 061e708..2f373a3 100644 (file)
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -6737,7 +6737,7 @@ convert_like_real (conversion *convs, tree expr, tree fn, int argnum,
               for a non-reference copy-initialization (8.5).  */
 
            tree type = TREE_TYPE (ref_type);
-           cp_lvalue_kind lvalue = real_lvalue_p (expr);
+           cp_lvalue_kind lvalue = lvalue_kind (expr);
 
            gcc_assert (same_type_ignoring_top_level_qualifiers_p
                        (type, next_conversion (convs)->type));

diff --git a/gcc/testsuite/g++.dg/cpp0x/rv-bitfield3.C b/gcc/testsuite/g++.dg/cpp0x/rv-bitfield3.C
new file mode 100644 (file)
index 0000000..9d2d872
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/rv-bitfield3.C
@@ -0,0 +1,14 @@
+// PR c++/71576
+// { dg-do compile { target c++11 } }
+
+template < typename T > T && foo ();
+
+struct A 
+{
+  int i:5;
+};
+
+void foo ()
+{
+  int &&j = foo < A > ().i;
+}