public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/39906] New: Accepted invalid member template specialization in derived class
@ 2009-04-26 7:30 sutambe at yahoo dot com
2009-04-26 16:52 ` [Bug c++/39906] " rguenth at gcc dot gnu dot org
0 siblings, 1 reply; 2+ messages in thread
From: sutambe at yahoo dot com @ 2009-04-26 7:30 UTC (permalink / raw)
To: gcc-bugs
struct Base
{
template <class T>
struct Kind
{
typedef T type;
};
};
struct Derived : public Base { };
template <>
struct Derived::Kind<char> // Should fail to compile here
{
typedef int type;
};
int main(void) { }
I believe the above code should be rejected but gcc 4.1.2 accepted it. Global
scope explicit member template specialization of the inner struct Kind is shown
to be in the Derived class. (It is rejected by Comeau). gcc correctly rejects
in the case of member template functions but not in case of structs/classes.
Compiler information:
Using built-in specs.
Target: i386-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --enable-shared --enable-threads=posix
--enable-checking=release --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions
--enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk
--disable-dssi --enable-plugin
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-1.5.0.0/jre
--enable-libgcj-multifile --enable-java-maintainer-mode
--with-ecj-jar=/usr/share/java/eclipse-ecj.jar --with-cpu=generic
--host=i386-redhat-linux
Thread model: posix
gcc version 4.1.2 20070925 (Red Hat 4.1.2-33)
--
Summary: Accepted invalid member template specialization in
derived class
Product: gcc
Version: 4.1.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: sutambe at yahoo dot com
GCC build triplet: i386-redhat-linux
GCC host triplet: i386-redhat-linux
GCC target triplet: i386-redhat-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39906
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-08-28 2:22 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-39906-4@http.gcc.gnu.org/bugzilla/>
2021-08-28 2:22 ` [Bug c++/39906] Accepted invalid member template specialization in derived class pinskia at gcc dot gnu.org
2009-04-26 7:30 [Bug c++/39906] New: " sutambe at yahoo dot com
2009-04-26 16:52 ` [Bug c++/39906] " rguenth at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).