OSDN Git Service

PR c++/41185
authorjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 30 Mar 2010 21:19:23 +0000 (21:19 +0000)
committerjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 30 Mar 2010 21:19:23 +0000 (21:19 +0000)
PR c++/41786
* parser.c (cp_parser_direct_declarator): Don't allow VLAs in
function parameter context.  Don't print an error if parsing
tentatively.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@157838 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/cp/ChangeLog
gcc/cp/parser.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/parse/ambig5.C [new file with mode: 0644]
gcc/testsuite/g++.dg/parse/varmod1.C

index eb42b0b..2f6ae04 100644 (file)
@@ -1,5 +1,11 @@
 2010-03-30  Jason Merrill  <jason@redhat.com>
 
+       PR c++/41185
+       PR c++/41786
+       * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
+       function parameter context.  Don't print an error if parsing
+       tentatively.
+
        PR c++/43559
        * pt.c (more_specialized_fn): Don't control cv-qualifier check
        with same_type_p.
index 693d6cd..6b119b6 100644 (file)
@@ -14106,11 +14106,13 @@ cp_parser_direct_declarator (cp_parser* parser,
                bounds = fold_non_dependent_expr (bounds);
              /* Normally, the array bound must be an integral constant
                 expression.  However, as an extension, we allow VLAs
-                in function scopes.  */
-             else if (!parser->in_function_body)
+                in function scopes as long as they aren't part of a
+                parameter declaration.  */
+             else if (!parser->in_function_body
+                      || current_binding_level->kind == sk_function_parms)
                {
-                 error_at (token->location,
-                           "array bound is not an integer constant");
+                 cp_parser_error (parser,
+                                  "array bound is not an integer constant");
                  bounds = error_mark_node;
                }
              else if (processing_template_decl && !error_operand_p (bounds))
index a7af1c6..a561219 100644 (file)
@@ -1,3 +1,8 @@
+2010-03-30  Jason Merrill  <jason@redhat.com>
+
+       PR c++/41786
+       * g++.dg/parse/ambig5.C: New.
+
 2010-03-30  Jakub Jelinek  <jakub@redhat.com>
 
        PR debug/43593
diff --git a/gcc/testsuite/g++.dg/parse/ambig5.C b/gcc/testsuite/g++.dg/parse/ambig5.C
new file mode 100644 (file)
index 0000000..e554d96
--- /dev/null
@@ -0,0 +1,7 @@
+// PR c++/41786
+
+struct A { A(int, char const*); };
+int main() {
+  int i = 0, *b = &i;
+  A a(int(b[i]), "hello");
+}
index 8f7b4eb..d64f04b 100644 (file)
@@ -2,6 +2,6 @@ int main(int argc, char** argv) {
   int nx = 2;
   void theerror(double a[][nx+1]); // { dg-message "" }
   double** a;
-  theerror(a); // { dg-error "" }
+  theerror(a);
   return 0;
 }