From: Marek Polacek <polacek@redhat.com>
Date: Thu, 4 Jun 2015 08:17:45 +0000 (+0000)
Subject: re PR c/66341 (Some casts wrongly produce a lvalue)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9482b620d208237366e9d052918757cc5c17f519;p=gcc.git

re PR c/66341 (Some casts wrongly produce a lvalue)

	PR c/66341
	* c-typeck.c (build_c_cast): Wrap VALUE into NON_LVALUE_EXPR if
	it is a lvalue.

	* gcc.dg/lvalue-8.c: New test.

From-SVN: r224115
---

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 69344bb7bb1..d6be87f0742 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2015-06-04  Marek Polacek  <polacek@redhat.com>
+
+	PR c/66341
+	* c-typeck.c (build_c_cast): Wrap VALUE into NON_LVALUE_EXPR if
+	it is a lvalue.
+
 2015-06-03  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
 
 	* c-decl.c (warn_cxx_compat_finish_struct): New parameters code, record_loc.
diff --git a/gcc/c/c-typeck.c b/gcc/c/c-typeck.c
index f55d4c60bfc..6b313f30b08 100644
--- a/gcc/c/c-typeck.c
+++ b/gcc/c/c-typeck.c
@@ -5195,7 +5195,7 @@ build_c_cast (location_t loc, tree type, tree expr)
     }
 
   /* Don't let a cast be an lvalue.  */
-  if (value == expr)
+  if (lvalue_p (value))
     value = non_lvalue_loc (loc, value);
 
   /* Don't allow the results of casting to floating-point or complex
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a74be77df88..3092acf1fa6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-06-04  Marek Polacek  <polacek@redhat.com>
+
+	PR c/66341
+	* gcc.dg/lvalue-8.c: New test.
+
 2015-06-03  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 	    Paolo Carlini  <paolo.carlini@oracle.com>
 
diff --git a/gcc/testsuite/gcc.dg/lvalue-8.c b/gcc/testsuite/gcc.dg/lvalue-8.c
new file mode 100644
index 00000000000..04eeb71b6bc
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/lvalue-8.c
@@ -0,0 +1,19 @@
+/* PR c/66341 */
+/* { dg-do compile } */
+
+void
+foo (int *p)
+{
+  p = 0;
+  /* A cast does not yield an lvalue.  */
+  (int *) p = 0; /* { dg-error "lvalue required as left operand of assignment" } */
+  /* A cast to a qualified type has the same effect as a cast
+     to the unqualified version of the type.  */
+  (int *const) p = 0; /* { dg-error "lvalue required as left operand of assignment" } */
+  (int *) (char *) p = 0; /* { dg-error "lvalue required as left operand of assignment" } */
+  (int *) (char *) (int *) p = 0; /* { dg-error "lvalue required as left operand of assignment" } */
+  (int *) (char *) (int *) (char *) p = 0; /* { dg-error "lvalue required as left operand of assignment" } */
+  (int *) (double *) p = 0; /* { dg-error "lvalue required as left operand of assignment" } */
+  (int *) (int *) p = 0; /* { dg-error "lvalue required as left operand of assignment" } */
+  (int *) (int *const) p = 0; /* { dg-error "lvalue required as left operand of assignment" } */
+}