Rename lvalue_p to obvalue_p.

	* tree.c (obvalue_p): Rename from lvalue_p.
	(lvalue_p): Define for c-common.
	* call.c, cp-tree.h, cvt.c, init.c: Adjust.
	* typeck.c: Adjust.
	(cp_build_addr_expr_1): Remove obsolete code.

From-SVN: r238182

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 98fb41a5d9ad1cc3fa1b4cab28f40ce5374cb38c..8d8535d792107dff2c9af23d7cb03f0b7917b086 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,11 @@
 2016-07-08  Jason Merrill  <jason@redhat.com>
 
+       * tree.c (obvalue_p): Rename from lvalue_p.
+       (lvalue_p): Define for c-common.
+       * call.c, cp-tree.h, cvt.c, init.c: Adjust.
+       * typeck.c: Adjust.
+       (cp_build_addr_expr_1): Remove obsolete code.
+
        * tree.c (glvalue_p): Rename from lvalue_or_rvalue_with_address_p.
        * call.c, cp-tree.h, typeck.c: Adjust.
 

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index 850956647a6d24b1524bcd560ee9786d1d61af72..c90b8af115f6a4f80c4994d0cae131663dd5e20e 100644 (file)
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -1126,7 +1126,10 @@ standard_conversion (tree to, tree from, tree expr, bool c_cast_p,
       fcode = TREE_CODE (from);
       conv = build_conv (ck_lvalue, from, conv);
     }
-  else if (fromref || (expr && lvalue_p (expr)))
+  /* Wrapping a ck_rvalue around a class prvalue (as a result of using
+     obvalue_p) seems odd, since it's already a prvalue, but that's how we
+     express the copy constructor call required by copy-initialization.  */
+  else if (fromref || (expr && obvalue_p (expr)))
     {
       if (expr)
        {

diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h
index 81f4a05d3491ddbe9fb5df1721d72e7f8ffc0d26..a3e53a9c109795f5ad64262b4dfbd852375288d6 100644 (file)
--- a/gcc/cp/cp-tree.h
+++ b/gcc/cp/cp-tree.h
@@ -6516,6 +6516,11 @@ extern int member_p                              (const_tree);
 extern cp_lvalue_kind real_lvalue_p            (const_tree);
 extern cp_lvalue_kind lvalue_kind              (const_tree);
 extern bool glvalue_p                          (const_tree);
+/* obvalue_p used to be named lvalue_p, but that didn't match the C++
+   definition of lvalue.  For now, let's not use the name lvalue_p in the front
+   end; later we can rename real_lvalue_p to lvalue_p.  */
+#define lvalue_p(T) syntax error, use real_lvalue_p
+extern bool obvalue_p                          (const_tree);
 extern bool xvalue_p                           (const_tree);
 extern tree cp_stabilize_reference             (tree);
 extern bool builtin_valid_in_constant_expr_p    (const_tree);

diff --git a/gcc/cp/cvt.c b/gcc/cp/cvt.c
index 2e2bac74307e98ffa17b48d1748688b4f9ead4e0..9dd383e068142b16411a3a99599d656f4319e856 100644 (file)
--- a/gcc/cp/cvt.c
+++ b/gcc/cp/cvt.c
@@ -330,7 +330,7 @@ build_up_reference (tree type, tree arg, int flags, tree decl,
       cp_finish_decl (arg, targ, /*init_const_expr_p=*/false, NULL_TREE,
                      LOOKUP_ONLYCONVERTING|DIRECT_BIND);
     }
-  else if (!(flags & DIRECT_BIND) && ! lvalue_p (arg))
+  else if (!(flags & DIRECT_BIND) && ! obvalue_p (arg))
     return get_target_expr_sfinae (arg, complain);
 
   /* If we had a way to wrap this up, and say, if we ever needed its
@@ -473,7 +473,7 @@ convert_to_reference (tree reftype, tree expr, int convtype,
 
       return build_up_reference (reftype, expr, flags, decl, complain);
     }
-  else if ((convtype & CONV_REINTERPRET) && lvalue_p (expr))
+  else if ((convtype & CONV_REINTERPRET) && obvalue_p (expr))
     {
       /* When casting an lvalue to a reference type, just convert into
         a pointer to the new type and deference it.  This is allowed

diff --git a/gcc/cp/init.c b/gcc/cp/init.c
index a71c21aed908bb6f936f6fff3d0ea801aa40ce6c..69ff61d72adb4b6ae91b365eea30079cfb8d9a67 100644 (file)
--- a/gcc/cp/init.c
+++ b/gcc/cp/init.c
@@ -3332,7 +3332,7 @@ build_new_1 (vec<tree, va_gc> **placement, tree type, tree nelts,
     rval = build2 (COMPOUND_EXPR, TREE_TYPE (rval), init_preeval_expr, rval);
 
   /* A new-expression is never an lvalue.  */
-  gcc_assert (!lvalue_p (rval));
+  gcc_assert (!obvalue_p (rval));
 
   return convert (pointer_type, rval);
 }

diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index 57da88f6d54a9d50cd2ee52210a8a6cdb2bb8642..9fda74db2dacbb688365d4cd3184bd032039d531 100644 (file)
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -266,6 +266,14 @@ real_lvalue_p (const_tree ref)
     return kind;
 }
 
+/* Defined for c-common; the front end should use real_lvalue_p.  */
+
+bool
+(lvalue_p) (const_tree t)
+{
+  return real_lvalue_p (t);
+}
+
 /* This differs from real_lvalue_p in that xvalues are included.  */
 
 bool
@@ -281,7 +289,7 @@ glvalue_p (const_tree ref)
 /* This differs from glvalue_p in that class prvalues are included.  */
 
 bool
-lvalue_p (const_tree ref)
+obvalue_p (const_tree ref)
 {
   return (lvalue_kind (ref) != clk_none);
 }

diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index 005fc040540acf95a78553f18d8a7c03706946d5..a0e6c519a961a588286e9ece80210fa37b44fb8d 100644 (file)
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -1987,7 +1987,7 @@ decay_conversion (tree exp,
                         TREE_OPERAND (exp, 0), op1);
        }
 
-      if (!lvalue_p (exp)
+      if (!obvalue_p (exp)
          && ! (TREE_CODE (exp) == CONSTRUCTOR && TREE_STATIC (exp)))
        {
          if (complain & tf_error)
@@ -5678,16 +5678,8 @@ cp_build_addr_expr_1 (tree arg, bool strict_lvalue, tsubst_flags_t complain)
     CASE_CONVERT:
     case FLOAT_EXPR:
     case FIX_TRUNC_EXPR:
-      /* Even if we're not being pedantic, we cannot allow this
-        extension when we're instantiating in a SFINAE
-        context.  */
-      if (! lvalue_p (arg) && complain == tf_none)
-       {
-         if (complain & tf_error)
-           permerror (input_location, "ISO C++ forbids taking the address of a cast to a non-lvalue expression");
-         else
-           return error_mark_node;
-       }
+      /* We should have handled this above in the lvalue_kind check.  */
+      gcc_unreachable ();
       break;
 
     case BASELINK:
@@ -7240,9 +7232,7 @@ build_const_cast_1 (tree dst_type, tree expr, tsubst_flags_t complain,
       reference_type = dst_type;
       if (!TYPE_REF_IS_RVALUE (dst_type)
          ? real_lvalue_p (expr)
-         : (CLASS_TYPE_P (TREE_TYPE (dst_type))
-            ? lvalue_p (expr)
-            : glvalue_p (expr)))
+         : obvalue_p (expr))
        /* OK.  */;
       else
        {