* decl.c (grokdeclarator): Reject VLAs as members.

From-SVN: r33399

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 295be198d2c966080fca833ec65e766825e3c4eb..bf5b8a90ed3a54f0ca3419c4f27d16bec477bfd6 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,7 @@
+2000-04-25  Martin v. Löwis  <loewis@informatik.hu-berlin.de>
+
+       * decl.c (grokdeclarator): Reject VLAs as members.
+
 2000-04-24  Gabriel Dos Reis  <gdr@codesourcery.com>
 
        * call.c (standard_conversion): Accept conversion between

diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index 8a618b5662ca55e9712368f497b073b11b1fe4b7..5b9592052587f63d2d9b62abf02f05f2f7667bae 100644 (file)
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -10352,6 +10352,20 @@ grokdeclarator (declarator, declspecs, decl_context, initialized, attrlist)
            declarator = TREE_OPERAND (declarator, 0);
 
            type = create_array_type_for_decl (dname, type, size);
+
+           /* VLAs never work as fields. */
+           if (decl_context == FIELD && !processing_template_decl 
+               && TREE_CODE (type) == ARRAY_TYPE
+               && TYPE_DOMAIN (type) != NULL_TREE
+               && !TREE_CONSTANT (TYPE_MAX_VALUE (TYPE_DOMAIN (type))))
+             {
+               cp_error ("size of member `%D' is not constant", dname);
+               /* Proceed with arbitrary constant size, so that offset
+                  computations don't get confused. */
+               type = create_array_type_for_decl (dname, TREE_TYPE (type),
+                                                  integer_one_node);
+             }
+
            ctype = NULL_TREE;
          }
          break;