diff options
| author | mmitchel <mmitchel@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-02-21 22:56:06 +0000 |
|---|---|---|
| committer | mmitchel <mmitchel@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-02-21 22:56:06 +0000 |
| commit | c015cd2f4a3d28dc82b6fb537340178116575fa2 (patch) | |
| tree | 6b58d042074da45c56a409264d627829afcce86b | |
| parent | c96040c6139d202a494e3f88ab903dca4e8f3432 (diff) | |
| download | ppe42-gcc-c015cd2f4a3d28dc82b6fb537340178116575fa2.tar.gz ppe42-gcc-c015cd2f4a3d28dc82b6fb537340178116575fa2.zip | |
PR c++/9749
* decl.c (grokdeclarator): Do not allow parameters with variably
modified types.
PR c++/9749
* g++.dg/parse/varmod1.C: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@63250 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 960c36dada6..00be1dd8f30 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 3f22b748618..caf389150d6 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 ed4f626fb2d..b015a6e9bef 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 00000000000..bf64507ae9b --- /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; +} |
