[Bug c++/35989] code rejected in template specialization (4.2 did accept)

2009-07-24 Thread paolo dot carlini at oracle dot com
--- Comment #6 from paolo dot carlini at oracle dot com 2009-07-24 10:42 --- Closing... -- paolo dot carlini at oracle dot com changed: What|Removed |Added S

[Bug c++/35989] code rejected in template specialization (4.2 did accept)

2009-07-24 Thread jwakely dot gcc at gmail dot com
--- Comment #5 from jwakely dot gcc at gmail dot com 2009-07-24 10:29 --- (In reply to comment #4) > I think this is invalid because K is used in a non-deduced context Which is the same problem as with the original testcase - this is not a bug in gcc. According to 14.5.4.1 [temp.class

[Bug c++/35989] code rejected in template specialization (4.2 did accept)

2009-07-24 Thread jwakely dot gcc at gmail dot com
--- Comment #4 from jwakely dot gcc at gmail dot com 2009-07-24 10:12 --- (In reply to comment #3) > Simple case : > > > template struct A {}; > template struct B { struct Inner {}; }; > > template > struct A::Inner> {}; > > > 4.1.2/VS2005 compile quietly. 4.3.2 (g++ -c test.cpp) g

[Bug c++/35989] code rejected in template specialization (4.2 did accept)

2009-07-23 Thread da_cra_hunt at yahoo dot com
--- Comment #3 from da_cra_hunt at yahoo dot com 2009-07-23 17:34 --- Simple case : template struct A {}; template struct B { struct Inner {}; }; template struct A::Inner> {}; 4.1.2/VS2005 compile quietly. 4.3.2 (g++ -c test.cpp) gives : kk.cpp:5: error: template parameters not use

[Bug c++/35989] code rejected in template specialization (4.2 did accept)

2008-04-22 Thread fang at csl dot cornell dot edu
-- fang at csl dot cornell dot edu changed: What|Removed |Added CC||fang at csl dot cornell dot |

[Bug c++/35989] code rejected in template specialization (4.2 did accept)

2008-04-20 Thread rguenth at gcc dot gnu dot org
--- Comment #2 from rguenth at gcc dot gnu dot org 2008-04-20 17:31 --- EDG agrees with gcc: /tmp/test.cpp(29): warning #885: template parameter "T" is not used in or cannot be deduced from the template argument list of class template "remote_trait::iterator>" template