[Bug c++/14494] Rejected valid specialization of member template

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14494

Martin Sebor  changed:

   What|Removed |Added

   Priority|P2  |P3
 CC||msebor at gcc dot gnu.org

--- Comment #7 from Martin Sebor  ---
Of the compilers I've tried (Clang, the EDG front end, IBM XLC++, Microsoft
Visual Studio, and Oracle Solaris Studio) only EDG accepts the code, all others
reject it for the same or similar looking reason as GCC.  I recall running into
this error myself years ago but I'm also not sure if it's meant to be valid. 
Given that it's rejected by most implementations it doesn't seem important
enough to be P2.

[Bug c++/14494] Rejected valid specialization of member template

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14494

Paolo Carlini paolo.carlini at oracle dot com changed:

   What|Removed |Added

 CC|bkoz at redhat dot com,|jason at gcc dot 
gnu.org,
   |gcc-bugs at gcc dot gnu.org|paolo.carlini at oracle 
dot com
  Known to fail||

--- Comment #6 from Paolo Carlini paolo.carlini at oracle dot com ---
I'm not at all sure that there is something to fix here. But in practice the
implementations differ, current clang rejects the test exactly like gcc. Icc
doesn't, it even accepts things like:

template int N  
struct A { 
  void C(void);
  templatetypename void B () ; 
}; 

template 
void A0::C()
{
}

template 
template typename T
void A0::BT*()
{
}

Jason?

[Bug c++/14494] Rejected valid specialization of member template

[reichelt at gcc dot gnu dot org]

--- Comment #4 from reichelt at gcc dot gnu dot org  2006-05-24 09:51 
---
The case with A0::B() instead of A0::BM() which was also
rejected was fixed with Mark's patch for PR20173.

The original testcase with A0::BM() still fails, though.

Mark, would you mind having a look at this one, too, as you
were just working in that area?


-- 

reichelt at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||mark at codesourcery dot com


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

[Bug c++/14494] Rejected valid specialization of member template

[mark at codesourcery dot com]

--- Comment #5 from mark at codesourcery dot com  2006-05-24 15:09 ---
Subject: Re:  Rejected valid specialization of member template

reichelt at gcc dot gnu dot org wrote:
 --- Comment #4 from reichelt at gcc dot gnu dot org  2006-05-24 09:51 
 ---
 The case with A0::B() instead of A0::BM() which was also
 rejected was fixed with Mark's patch for PR20173.
 
 The original testcase with A0::BM() still fails, though.
 
 Mark, would you mind having a look at this one, too, as you
 were just working in that area?

I probably won't get there any time soon, sadly; too many regressions to
which I'm already assigned.


-- 


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

[Bug c++/14494] Rejected valid specialization of member template

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-23 
18:36 ---
*** Bug 20174 has been marked as a duplicate of this bug. ***

-- 
   What|Removed |Added

 CC||sstrasser at systemhaus-
   ||gruppe dot de


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