[Bug c++/35405] [4.2/4.3/4.4 Regression] Internal compiler error

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-02-29 12:48 -------
t.C(13): error #501: argument of type "int" is incompatible with template
parameter of type "C<X> *"
      template <template <typename> class C, typename X, C<X>* = 0>
                                                                 ^

2.95.4 rejects this with

t.C: In instantiation of `check<int,Saveable>':
t.C:39:   instantiated from here
t.C:39: `C' is not a template
t.C:15: `C' is not a template
t.C:23: no method `check<int,Saveable>::test<int>'


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
      Known to fail|                            |3.3.6
      Known to work|                            |2.95.4
           Priority|P3                          |P2
   Last reconfirmed|0000-00-00 00:00:00         |2008-02-29 12:48:25
               date|                            |
            Summary|Internal compiler error     |[4.2/4.3/4.4 Regression]
                   |                            |Internal compiler error
   Target Milestone|---                         |4.2.4
            Version|unknown                     |4.3.0


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