PR c++/37563

        * parser.c (cp_parser_pseudo_destructor_name): A pseudo-destructor
        name is not a declaration.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@142015 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 8ce3cfe..12a826d 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2008-11-19  Jason Merrill  <jason@redhat.com>
 
+       PR c++/37563
+       * parser.c (cp_parser_pseudo_destructor_name): A pseudo-destructor
+       name is not a declaration.
+
        PR c++/37256
        * pt.c (instantiate_decl): Don't require a definition of
        a template that is explicitly instantiated 'extern'.

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 5c1f849..2bf0e66 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -5264,7 +5264,7 @@ cp_parser_pseudo_destructor_name (cp_parser* parser,
                                            /*typename_keyword_p=*/false,
                                            /*check_dependency_p=*/true,
                                            /*type_p=*/false,
-                                           /*is_declaration=*/true)
+                                           /*is_declaration=*/false)
        != NULL_TREE);
   /* Now, if we saw a nested-name-specifier, we might be doing the
      second production.  */

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 53a99de..f1f6c28 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2008-11-19  Jason Merrill  <jason@redhat.com>
 
+       PR c++/37563
+       * g++.dg/template/pseudodtor5.C: New test.
+
        PR c++/37256
        * g++.dg/cpp0x/extern_template-3.C: New test.
 

diff --git a/gcc/testsuite/g++.dg/template/pseudodtor5.C b/gcc/testsuite/g++.dg/template/pseudodtor5.C
new file mode 100644 (file)
index 0000000..751e662
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/pseudodtor5.C
@@ -0,0 +1,23 @@
+// PR c++/37563
+
+struct A {};
+
+template<int> struct Traits
+{
+  typedef void X;
+};
+
+template<> struct Traits<0>
+{
+  typedef A X;
+};
+
+template<int N> struct B
+{
+  typedef typename Traits<N>::X Y;
+
+  void foo(Y y)
+  {
+    y.Y::A::~A();
+  }
+};