diff options
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/decl.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/parse/varmod1.C | 7 |
4 files changed, 23 insertions, 2 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 960c36d..00be1dd 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2003-02-21 Mark Mitchell <mark@codesourcery.com> + + PR c++/9749 + * decl.c (grokdeclarator): Do not allow parameters with variably + modified types. + 2003-02-21 Nathan Sidwell <nathan@codesourcery.com> * search.c (bfs_walk_grow): Remove. Fold into ... diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index 3f22b74..caf3891 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -11085,11 +11085,14 @@ grokdeclarator (tree declarator, type = error_mark_node; } - if (decl_context == FIELD + if ((decl_context == FIELD || decl_context == PARM) && !processing_template_decl && variably_modified_type_p (type)) { - error ("data member may not have variably modified type `%T'", type); + if (decl_context == FIELD) + error ("data member may not have variably modified type `%T'", type); + else + error ("parameter may not have variably modified type `%T'", type); type = error_mark_node; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ed4f626..b015a6e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2003-02-21 Mark Mitchell <mark@codesourcery.com> + PR c++/9749 + * g++.dg/parse/varmod1.C: New test. + +2003-02-21 Mark Mitchell <mark@codesourcery.com> + PR c++/9727 * g++.dg/template/op1.C: New test. diff --git a/gcc/testsuite/g++.dg/parse/varmod1.C b/gcc/testsuite/g++.dg/parse/varmod1.C new file mode 100644 index 0000000..bf64507 --- /dev/null +++ b/gcc/testsuite/g++.dg/parse/varmod1.C @@ -0,0 +1,7 @@ +int main(int argc, char** argv) { + int nx = 2; + void theerror(double a[][nx+1]); // { dg-error "" } + double** a; + theerror(a); // { dg-error "" } + return 0; +} |