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: r121263

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 33b070fd7d6af332768c56852cde2044d2cad8d1..9670a4ea73374314bf81caeac773c659f340e105 100644 (file)
--- 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-10  Mark Mitchell  <mark@codesourcery.com>
 
        PR c++/28999

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index a28106cb16131ace4f77b93cbbb3b564222b3107..eaebdd8f4933b1e9de79767b499e90e72a80013e 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -1972,6 +1972,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 9cc19634f937db57e852b44116e280d5adf29749..70f0fa201f098c9786c8493cb76abe0109be9abd 100644 (file)
--- 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-27  Steven G. Kargl  <kargl@gcc.gnu.org>
 
        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 (file)
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 "" }
+}