------- 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
