[Bug c++/13611] New: Internal compiler error

[Bug c++/13611] New: Internal compiler error

[jpbarrette at savoirfairelinux dot net]

g++ -g test.cpp -lcurlpp -lutilspp 
In file included from OptionSetter.hpp:46, 
                 from Option.inl:28, 
                 from Option.hpp:167, 
                 from test.cpp:3: 
OptionSetter.inl:42: internal compiler error: in tsubst, at cp/pt.c:6739 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:https://qa.mandrakesoft.com/> for instructions.

-- 
           Summary: Internal compiler error
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jpbarrette at savoirfairelinux dot net
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: Mandrake 9.2, Linux 2.4.22, i386
  GCC host triplet: Mandrake 9.2, Linux 2.4.22, i386
GCC target triplet: Mandrake 9.2, Linux 2.4.22, i386


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

[Bug c++/13611] Internal compiler error

[jpbarrette at savoirfairelinux dot net]

------- Additional Comments From jpbarrette at savoirfairelinux dot net  2004-01-08 14:15 -------
Created an attachment (id=5431)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5431&action=view)
preprocessor file


-- 


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

[Bug c++/13611] Internal compiler error

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-01-08 16:02 -------
The code is actually illegal: you need to write  
  template <> class OptionContainerType<std::string> {...} 
for the explicit specialization. That doesn't make much 
difference here, though, as this snippet still ICEs the compiler: 
 
-------------------- 
template<typename T> struct O; 
 
template <> struct O<int> { 
    typedef int I; 
}; 
 
template<typename T, int i> struct A { 
    typedef typename O<T>::I P; 
    void foo(P); 
}; 
 
template <int i> 
void A<int, i>::foo(P) {}; 
--------------------------- 
 
g/x> /home/bangerth/bin/gcc-3.3.3-pre/bin/c++ -c x.cc 
x.cc:13: internal compiler error: in tsubst, at cp/pt.c:6740 
Please submit a full bug report, 
 
This behavior is the same as with all compilers since 2.95, so it 
is not a regression. With mainline, we get this: 
 
g/x> /home/bangerth/bin/gcc-3.4-pre/bin/c++ -c x.cc 
x.cc:13: error: invalid use of undefined type `struct A<int, i>' 
x.cc:7: error: declaration of `struct A<int, i>' 
x.cc:13: error: `P' was not declared in this scope 
x.cc:13: error: expected `;' 
 
I believe this is correct, as the partial specialization has not been 
declared and one can't only partially specialize a member function of 
a template. In other words, the ICE has been fixed, and we have 
a progression. 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.4.0


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