[Bug c++/32384] New: [4.1/4.2/4.3 regression] Pseudo-dtor in template class rejected

[Bug c++/32384] New: [4.1/4.2/4.3 regression] Pseudo-dtor in template class rejected

[reichelt at gcc dot gnu dot org]

The following valid code snippet is rejected since GCC 3.4.0:

=====================================================
template<typename> struct A
{
  typedef int T;
  T foo();

  A() { foo().~T(); }
};

A<int> a;
=====================================================

The error message is:
bug.cc: In constructor 'A< <template-parameter-1-1> >::A()':
bug.cc:6: error: expected class-name before '(' token

The code compiles if A is a non-template class, or if I remove the typedef
and call the anonymous template parameter "T" instead.


-- 
           Summary: [4.1/4.2/4.3 regression] Pseudo-dtor in template class
                    rejected
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: rejects-valid, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32384

[Bug c++/32384] [4.1/4.2/4.3 regression] Pseudo-dtor in template class rejected

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32384

[Bug c++/32384] [4.1/4.2/4.3 regression] Pseudo-dtor in template class rejected

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32384

[Bug c++/32384] [4.1/4.2/4.3 regression] Pseudo-dtor in template class rejected

[jakub at gcc dot gnu dot org]

------- Comment #1 from jakub at gcc dot gnu dot org  2007-10-31 12:31 -------
Testing a patch.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-10-31 12:31:17
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32384

[Bug c++/32384] [4.1/4.2/4.3 regression] Pseudo-dtor in template class rejected

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2007-11-01 22:54 -------
Subject: Bug 32384

Author: jakub
Date: Thu Nov  1 22:54:39 2007
New Revision: 129836

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129836
Log:
        PR c++/32384
        * parser.c (cp_parser_postfix_dot_deref_expression): If
        POSTFIX_EXPRESSION is type dependent, try to parse it as pseudo dtor
        first and if that succeeds and type is SCALAR_TYPE_P, create
        PSEUDO_DTOR_EXPR.

        * g++.dg/template/pseudodtor1.C: New test.
        * g++.dg/template/pseudodtor2.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/pseudodtor1.C
    trunk/gcc/testsuite/g++.dg/template/pseudodtor2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32384

[Bug c++/32384] [4.1/4.2 regression] Pseudo-dtor in template class rejected

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2007-11-01 23:10 -------
Fixed on the trunk so far.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2/4.3 regression]    |[4.1/4.2 regression] Pseudo-
                   |Pseudo-dtor in template     |dtor in template class
                   |class rejected              |rejected


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32384

[Bug c++/32384] [4.2 regression] Pseudo-dtor in template class rejected

[jsm28 at gcc dot gnu dot org]

------- Comment #4 from jsm28 at gcc dot gnu dot org  2008-07-04 22:13 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 regression] Pseudo-|[4.2 regression] Pseudo-dtor
                   |dtor in template class      |in template class rejected
                   |rejected                    |
   Target Milestone|4.1.3                       |4.2.5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32384

[Bug c++/32384] [4.2 regression] Pseudo-dtor in template class rejected

[jsm28 at gcc dot gnu dot org]

------- Comment #5 from jsm28 at gcc dot gnu dot org  2009-03-30 22:07 -------
Closing 4.2 branch, fixed in 4.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|                            |4.2.5
      Known to work|                            |4.3.0
         Resolution|                            |FIXED
   Target Milestone|4.2.5                       |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32384