re PR c/36432 (“incompatible pointer type” with pointer to array as a struct member)

	PR c/36432
	* c-decl.c (grokdeclarator): Don't treat [] declarators in fields
	as indicating flexible array members unless the field itself is
	being declarared as the incomplete array.

testsuite:
	* gcc.dg/c90-flex-array-2.c, gcc.dg/c99-flex-array-6.c: New tests.

From-SVN: r144018

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 84af05a3cc524baff525b0c70d726c056f755d95..f00b0185336ef133973cc4d94cf06200cb8d15a3 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2009-02-08  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/36432
+       * c-decl.c (grokdeclarator): Don't treat [] declarators in fields
+       as indicating flexible array members unless the field itself is
+       being declarared as the incomplete array.
+
 2009-02-07  Kaz Kojima  <kkojima@gcc.gnu.org>
 
        Backport from mainline:

diff --git a/gcc/c-decl.c b/gcc/c-decl.c
index 3400ebcb32f5e9a2e8459a3438235c8534a47b22..170ecf652c44134d8f651cc88b16909dbc147806 100644 (file)
--- a/gcc/c-decl.c
+++ b/gcc/c-decl.c
@@ -4386,12 +4386,20 @@ grokdeclarator (const struct c_declarator *declarator,
              }
            else if (decl_context == FIELD)
              {
-               if (pedantic && !flag_isoc99 && !in_system_header)
+               bool flexible_array_member = false;
+               const struct c_declarator *t = declarator;
+               while (t->kind == cdk_attrs)
+                 t = t->declarator;
+               flexible_array_member = (t->kind == cdk_id);
+               if (flexible_array_member
+                   && pedantic && !flag_isoc99 && !in_system_header)
                  pedwarn ("ISO C90 does not support flexible array members");
 
                /* ISO C99 Flexible array members are effectively
                   identical to GCC's zero-length array extension.  */
-               itype = build_range_type (sizetype, size_zero_node, NULL_TREE);
+               if (flexible_array_member || array_parm_vla_unspec_p)
+                 itype = build_range_type (sizetype, size_zero_node,
+                                           NULL_TREE);
              }
            else if (decl_context == PARM)
              {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 01d425f0ce022ddbdfc47a46cc75f28fda6139fb..386d75a9e8703c4609cfd9cdbab4bfbedc1b6aa6 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-02-08  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/36432
+       * gcc.dg/c90-flex-array-2.c, gcc.dg/c99-flex-array-6.c: New tests.
+
 2009-02-05  Joseph Myers  <joseph@codesourcery.com>
 
        PR c/35435

diff --git a/gcc/testsuite/gcc.dg/c90-flex-array-2.c b/gcc/testsuite/gcc.dg/c90-flex-array-2.c
new file mode 100644 (file)
index 0000000..425ce84
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c90-flex-array-2.c
@@ -0,0 +1,15 @@
+/* [] does not indicate a flexible array member unless it is the field
+   itself being declared as an incomplete array type rather than a
+   pointer or other type derived from such a type.  PR 36432.  */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1990 -pedantic-errors" } */
+
+void
+f (void)
+{
+  int a[3];
+  int (*p)[];
+  struct { int (*p)[]; } s;
+  p = &a;
+  s.p = &a;
+}

diff --git a/gcc/testsuite/gcc.dg/c99-flex-array-6.c b/gcc/testsuite/gcc.dg/c99-flex-array-6.c
new file mode 100644 (file)
index 0000000..468c4b3
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c99-flex-array-6.c
@@ -0,0 +1,15 @@
+/* [] does not indicate a flexible array member unless it is the field
+   itself being declared as an incomplete array type rather than a
+   pointer or other type derived from such a type.  PR 36432.  */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
+
+void
+f (void)
+{
+  int a[3];
+  int (*p)[];
+  struct { int (*p)[]; } s;
+  p = &a;
+  s.p = &a;
+}