[Bug c++/32505] Partial specialization halfway accepted after instantiation

[jason at gcc dot gnu dot org]

--- Comment #3 from jason at gcc dot gnu dot org  2010-07-16 16:22 ---
Confirmed; no diagnostic is required by the standard, but we really ought to
give one anyway.  Simpler testcase:

template class T struct A { };
Aint* a;
template class T struct AT* { }; // { dg-error Aint * }


-- 

jason at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||jason at gcc dot gnu dot org
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Keywords||accepts-invalid
   Last reconfirmed|-00-00 00:00:00 |2010-07-16 16:22:18
   date||


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

[Bug c++/32505] Partial specialization halfway accepted after instantiation

[jason at gcc dot gnu dot org]

-- 

jason at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |jason at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED
   Last reconfirmed|2010-07-16 16:22:18 |2010-07-16 16:48:35
   date||


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

[Bug c++/32505] Partial specialization halfway accepted after instantiation

[jason at gcc dot gnu dot org]

--- Comment #4 from jason at gcc dot gnu dot org  2010-07-16 21:05 ---
Subject: Bug 32505

Author: jason
Date: Fri Jul 16 21:05:16 2010
New Revision: 162269

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=162269
Log:
PR c++/32505
* pt.c (process_partial_specialization): Diagnose partial
specialization after instantiation.
(most_specialized_class): Add complain parm.

Added:
trunk/gcc/testsuite/g++.dg/template/partial8.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c
trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/32505] Partial specialization halfway accepted after instantiation

[jason at gcc dot gnu dot org]

--- Comment #5 from jason at gcc dot gnu dot org  2010-07-17 04:13 ---
Fixed for 4.6.


-- 

jason at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.6.0


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

[Bug c++/32505] Partial specialization halfway accepted after instantiation

[redi at gcc dot gnu dot org]

--- Comment #2 from redi at gcc dot gnu dot org  2009-12-08 23:54 ---
[temp.class.spec]/1
A partial specialization shall be declared before the #64257;rst use of a
class template specialization that would make use of the partial specialization
as the result of an implicit or explicit instantiation in every translation
unit in which such a use occurs; no diagnostic is required.

So this is definitely not a bug, but a warning here might be a nice
improvement.


-- 

redi at gcc dot gnu dot org changed:

   What|Removed |Added

   Severity|normal  |enhancement


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

[Bug c++/32505] Partial specialization halfway accepted after instantiation

[dascandy at gmail dot com]

--- Comment #1 from dascandy at gmail dot com  2007-06-25 20:51 ---
The problem doesn't produce a warning when compiled with -Wall -Wextra
-pedantic. One of these (I expect -Wall is the best fit) should produce a
warning.


-- 


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