re PR c/58235 (Missing diagnostic on assignment to array in c89)

	PR c/58235
c:
	* c-typeck.c (build_modify_expr): Diagnose assignment to
	expression with array type.

testsuite:
	* gcc.dg/c90-array-lval-8.c: New test.

From-SVN: r205615

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index a106e64d094a03d79b76adbb392ecf3006e86b7c..42b0bb7db8e18d67c3978c1ccf105aee73ceac72 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2013-12-02  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/58235
+       * c-typeck.c (build_modify_expr): Diagnose assignment to
+       expression with array type.
+
 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
 
        PR c/42262

diff --git a/gcc/c/c-typeck.c b/gcc/c/c-typeck.c
index 4d701045309a2e24adde0c41234a408608040e16..672a564d2ce9450096613dbd94acf494297ad24b 100644 (file)
--- a/gcc/c/c-typeck.c
+++ b/gcc/c/c-typeck.c
@@ -5205,6 +5205,14 @@ build_modify_expr (location_t location, tree lhs, tree lhs_origtype,
   if (TREE_CODE (lhs) == ERROR_MARK || TREE_CODE (rhs) == ERROR_MARK)
     return error_mark_node;
 
+  /* Ensure an error for assigning a non-lvalue array to an array in
+     C90.  */
+  if (TREE_CODE (lhstype) == ARRAY_TYPE)
+    {
+      error_at (location, "assignment to expression with array type");
+      return error_mark_node;
+    }
+
   /* For ObjC properties, defer this check.  */
   if (!objc_is_property_ref (lhs) && !lvalue_or_else (location, lhs, lv_assign))
     return error_mark_node;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c79226b34dfc9b0cc0bd55aba89041a7b95b1b01..f4443d2515ad05562243b6ba5dcd99cd42a4f1b8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-12-02  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/58235
+       * gcc.dg/c90-array-lval-8.c: New test.
+
 2013-12-02  Jakub Jelinek  <jakub@redhat.com>
 
        PR tree-optimization/59358

diff --git a/gcc/testsuite/gcc.dg/c90-array-lval-8.c b/gcc/testsuite/gcc.dg/c90-array-lval-8.c
new file mode 100644 (file)
index 0000000..bc5b7b2
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c90-array-lval-8.c
@@ -0,0 +1,20 @@
+/* Test for non-lvalue arrays: test that they cannot be assigned to
+   array variables.  PR 58235.  */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1990 -pedantic-errors" } */
+
+struct s { char c[1]; } x;
+struct s f (void) { return x; }
+
+void
+g (void)
+{
+  char c[1];
+  c = f ().c; /* { dg-error "array" } */
+}
+
+void
+h (void)
+{
+  char c[1] = f ().c; /* { dg-error "array" } */
+}