[Bug c++/24139] [4.0/4.1 Regression] Rejects definition of member of specialized inner class

[Bug c++/24139] [4.0/4.1 Regression] Rejects definition of member of specialized inner class

[bangerth at dealii dot org]

------- Comment #6 from bangerth at dealii dot org  2005-10-04 02:03 -------
Confirmed. A redux is here:
----------------------
template<typename T>
struct O {
  struct I;
};

template<>
struct O<int>::I
{
    I();
};

O<int>::I::I() {}
------------------------------
g/x> /home/bangerth/bin/gcc-3.4.5-pre/bin/c++ -c x.cc
g/x> /home/bangerth/bin/gcc-4.0*/bin/c++ -c x.cc
x.cc:12: error: explicit specialization of &#8216;O<int>::I<int>::I()&#8217;
must be introduced by &#8216;template <>&#8217;
x.cc:12: error: template-id &#8216;I<>&#8217; for
&#8216;O<int>::I<int>::I()&#8217; does not match any template declaration
x.cc:12: error: invalid function declaration

Not only is gcc wrong to reject the code, but to use O<int>::I<int> when I
is in fact not a template at all also reveals that something is going wrong.

This is a 4.0/4.1 regression.

W.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |rejects-valid
   Last reconfirmed|0000-00-00 00:00:00         |2005-10-04 02:03:46
               date|                            |
            Summary|Forward declaration of class|[4.0/4.1 Regression] Rejects
                   |in template class           |definition of member of
                   |                            |specialized inner class
   Target Milestone|---                         |4.0.3


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

[Bug c++/24139] [4.0/4.1 Regression] Rejects definition of member of specialized inner class

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2005-10-04 02:11 -------
: Search converges between 2004-07-20-trunk (#491) and 2004-07-21-trunk (#492).


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.0.0 4.1.0
      Known to work|                            |3.4.0


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

[Bug c++/24139] [4.0/4.1 Regression] Rejects definition of member of specialized inner class

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2005-10-04 02:17 -------
This looks like it was introduced by the fix for PR 14497.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |giovannibajo at libero dot
                   |                            |it


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

[Bug c++/24139] [4.0/4.1 Regression] Rejects definition of member of specialized inner class

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/24139] [4.0/4.1 Regression] Rejects definition of member of specialized inner class

[cvs-commit at gcc dot gnu dot org]

------- Comment #9 from cvs-commit at gcc dot gnu dot org  2005-10-10 14:41 -------
Subject: Bug 24139

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     mmitchel@gcc.gnu.org    2005-10-10 14:41:53

Modified files:
        gcc/cp         : decl.c error.c ChangeLog 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/template: spec27.C 

Log message:
        PR c++/24139
        * decl.c (grokdeclarator): Do not require template parameter lists
        for explicitly specialized class.
        * error.c (dump_aggr_type): Do not dump template arguments for
        non-primary specializations.
        (dump_function_name): Likewise.
        PR c++/24139
        * g++.dg/template/spec27.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1430&r2=1.1431
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/error.c.diff?cvsroot=gcc&r1=1.293&r2=1.294
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4915&r2=1.4916
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec27.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6155&r2=1.6156


-- 


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

[Bug c++/24139] [4.0/4.1 Regression] Rejects definition of member of specialized inner class

[cvs-commit at gcc dot gnu dot org]

------- Comment #10 from cvs-commit at gcc dot gnu dot org  2005-10-10 14:43 -------
Subject: Bug 24139

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     mmitchel@gcc.gnu.org    2005-10-10 14:43:13

Modified files:
        gcc/cp         : decl.c error.c ChangeLog 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/template: spec27.C 

Log message:
        PR c++/24139
        * decl.c (grokdeclarator): Do not require template parameter lists
        for explicitly specialized class.
        * error.c (dump_aggr_type): Do not dump template arguments for
        non-primary specializations.
        (dump_function_name): Likewise.
        PR c++/24139
        * g++.dg/template/spec27.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1371.2.23&r2=1.1371.2.24
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/error.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.279.2.3&r2=1.279.2.4
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.119&r2=1.4648.2.120
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec27.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.435&r2=1.5084.2.436


-- 


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

[Bug c++/24139] [4.0/4.1 Regression] Rejects definition of member of specialized inner class

[pinskia at gcc dot gnu dot org]

------- Comment #11 from pinskia at gcc dot gnu dot org  2005-10-10 17:20 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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