Bug 858351

Created attachment 614091 [details]
source code to reproduce the problem

Description of problem:
some kind of C++ template partial specialization code causes segfault
(see attachment file bug.cpp)


Version-Release number of selected component (if applicable):
Using built-in specs.
Target: x86_64-redhat-linux
コンフィグオプション: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-bootstrap --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-gnu-unique-object --enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk --disable-dssi --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 --disable-libjava-multilib --with-ppl --with-cloog --with-tune=generic --with-arch_32=i686 --build=x86_64-redhat-linux
スレッドモデル: posix
gcc version 4.4.6 20120305 (Red Hat 4.4.6-4) (GCC) 


How reproducible:
always


Steps to Reproduce:
1. try to build attachment file bug.cpp with gcc (eg. gcc bug.cpp)
  

Actual results:
[iyatomi@localhost test]$ gcc bug.cpp -lstdc++
bug.cpp: In member function ‘void functional<R(), REFER>::set(FUNCTOR&) [with FUNCTOR = test, R = int, REFER = referer::nop]’:
bug.cpp:43:   instantiated from ‘functional<R(), REFER>::functional(FUNCTOR&) [with FUNCTOR = test, R = int, REFER = referer::nop]’
bug.cpp:75:   instantiated from here
bug.cpp:57: internal compiler error: セグメンテーション違反です


Expected results:
gcc should not cause segfault :P
at least it should print correct compile error message


Additional info:
if I move partial specialization code (functional<R (), REFER>::callee<R (*)(), REFER>) inside of the definition of class functional, this problem seems not to happen.

[iyatomi@localhost test]$ diff bug.cpp bug2.cpp                                              
39a40,47
>       template <typename _R, template <class T> class REF>
>       struct callee<_R (*)(), REF> {
>               typedef _R (*type)();
>               static inline void set(anyptr &p, type f) { p.fn = reinterpret_cast<void (*)()>(f); }
>               static inline type get(anyptr &p) { return reinterpret_cast<type>(p.fn); }
>               static inline R invoke(anyptr &p) { return get(p)(); }
>               static inline void destroy(anyptr &a) {}
>       };
57,64d64
< template <typename R, template <class T> class REFER>
< struct functional<R (), REFER>::callee<R (*)(), REFER> {
<       typedef R (*type)();
<       static inline void set(anyptr &p, type f) { p.fn = reinterpret_cast<void (*)()>(f); }
<       static inline type get(anyptr &p) { return reinterpret_cast<type>(p.fn); }
<       static inline R invoke(anyptr &p) { return get(p)(); }
<       static inline void destroy(anyptr &a) {}
< };
[iyatomi@localhost test]$ gcc bug2.cpp -lstdc++                                              
[iyatomi@localhost test]$ ./a.out 
result:1