diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 73a22ad8b568..876708dc81e8 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2007-01-28 Andrew Pinski + + PR C++/28988 + * semantics.c (finish_pseudo_destructor_expr): Check the + destrutor name by calling check_dtor_name. + 2007-01-10 Mark Mitchell PR c++/28999 diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c index 91d200a588e8..aff54e41e627 100644 --- a/gcc/cp/semantics.c +++ b/gcc/cp/semantics.c @@ -1931,6 +1931,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 c1f866a24ead..89447f7044c0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-01-28 Andrew Pinski + + PR C++/28988 + * g++.dg/expr/dtor4.C: New test. + 2007-01-26 Steven G. Kargl PR fortran/30278 diff --git a/gcc/testsuite/g++.dg/expr/dtor4.C b/gcc/testsuite/g++.dg/expr/dtor4.C new file mode 100644 index 000000000000..7aed80a69bdd --- /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 "" } +}