diff options
| author | Andrew Pinski <pinskia@gmail.com> | 2007-01-28 10:09:25 -0800 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2007-01-28 10:09:25 -0800 |
| commit | 5cf10afb0b7887fdd9e0c187be8a39fb65aa2f38 (patch) | |
| tree | 5785664bcf93e5715d9cb56151994c2c3c6d66f5 | |
| parent | 7f9bc51b091441d6f9484c62d210d4fc724b376b (diff) | |
| download | gcc-5cf10afb0b7887fdd9e0c187be8a39fb65aa2f38.zip gcc-5cf10afb0b7887fdd9e0c187be8a39fb65aa2f38.tar.gz gcc-5cf10afb0b7887fdd9e0c187be8a39fb65aa2f38.tar.bz2 | |
re PR c++/28988 (g++ does not check first type name in pseudo-destructor-name)
2007-01-28 Andrew Pinski <pinskia@gmail.com>
PR C++/28988
* semantics.c (finish_pseudo_destructor_expr): Check the
destrutor name by calling check_dtor_name.
2007-01-28 Andrew Pinski <pinskia@gmail.com>
PR C++/28988
* g++.dg/expr/dtor4.C: New test.
From-SVN: r121261
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/semantics.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/expr/dtor4.C | 10 |
4 files changed, 28 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index e04ee5a..2d8264e 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2007-01-28 Andrew Pinski <pinskia@gmail.com> + + PR C++/28988 + * semantics.c (finish_pseudo_destructor_expr): Check the + destrutor name by calling check_dtor_name. + 2007-01-24 Douglas Gregor <dgregor@osl.iu.edu> * lex.c (D_CPP0X): Rename. diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c index 538f7b4..fea3341 100644 --- a/gcc/cp/semantics.c +++ b/gcc/cp/semantics.c @@ -1956,6 +1956,13 @@ finish_pseudo_destructor_expr (tree object, tree scope, tree destructor) error ("invalid qualifying scope in pseudo-destructor name"); return error_mark_node; } + if (scope && TYPE_P (scope) && !check_dtor_name (scope, destructor)) + { + error ("qualified type %qT does not match destructor name ~%qT", + scope, destructor); + return error_mark_node; + } + /* [expr.pseudo] says both: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6263465..6282034 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-01-28 Andrew Pinski <pinskia@gmail.com> + + PR C++/28988 + * g++.dg/expr/dtor4.C: New test. + 2007-01-28 Zdenek Dvorak <dvorakz@suse.cz> * gcc.dg/tree-ssa/loop-23.c: New test. diff --git a/gcc/testsuite/g++.dg/expr/dtor4.C b/gcc/testsuite/g++.dg/expr/dtor4.C new file mode 100644 index 0000000..7aed80a --- /dev/null +++ b/gcc/testsuite/g++.dg/expr/dtor4.C @@ -0,0 +1,10 @@ +typedef int C; +typedef double D; + +void +f () +{ + C o; + + o.D::~C (); // { dg-error "" } +} |