blob: ec4e0163855c3a1f6845cd5dff49deeeb2dfd275 [file] [log] [blame]
Daniel Dunbara5728872009-12-15 20:14:24 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Douglas Gregorddc29e12009-02-06 22:42:48 +00002
3template<typename T> class A;
4
5extern "C++" {
6 template<typename T> class B;
7}
8
9namespace N {
10 template<typename T> class C;
11}
12
13extern "C" {
14 template<typename T> class D; // expected-error{{templates must have C++ linkage}}
15}
16
Douglas Gregored4ec8f2009-05-03 17:18:57 +000017template<class U> class A; // expected-note{{previous template declaration is here}}
Douglas Gregorddc29e12009-02-06 22:42:48 +000018
19template<int N> class A; // expected-error{{template parameter has a different kind in template redeclaration}}
20
Douglas Gregorddc29e12009-02-06 22:42:48 +000021template<int N> class NonTypeTemplateParm;
22
23typedef int INT;
24
Chris Lattnerd0344a42009-02-19 23:45:49 +000025template<INT M> class NonTypeTemplateParm; // expected-note{{previous non-type template parameter with type 'INT' (aka 'int') is here}}
Douglas Gregorddc29e12009-02-06 22:42:48 +000026
27template<long> class NonTypeTemplateParm; // expected-error{{template non-type parameter has a different type 'long' in template redeclaration}}
28
29template<template<typename T> class X> class TemplateTemplateParm;
30
31template<template<class> class Y> class TemplateTemplateParm; // expected-note{{previous template declaration is here}} \
32 // expected-note{{previous template template parameter is here}}
33
34template<typename> class TemplateTemplateParm; // expected-error{{template parameter has a different kind in template redeclaration}}
35
36template<template<typename T, int> class X> class TemplateTemplateParm; // expected-error{{too many template parameters in template template parameter redeclaration}}
37
Douglas Gregor4c4f7cb2009-06-22 23:20:33 +000038template<typename T>
39struct test {}; // expected-note{{previous definition}}
40
41template<typename T>
42struct test : T {}; // expected-error{{redefinition}}
43
Douglas Gregorddc29e12009-02-06 22:42:48 +000044class X {
45public:
46 template<typename T> class C;
47};
48
49void f() {
Douglas Gregorc2f38822009-11-05 20:02:41 +000050 template<typename T> class X; // expected-error{{expression}}
Douglas Gregorddc29e12009-02-06 22:42:48 +000051}
Douglas Gregorc7621a62009-11-05 20:54:04 +000052
Richard Smithcf6b0a22011-07-14 21:35:26 +000053template<typename T> class X1 var; // expected-error{{declared as a template}}
Douglas Gregor57265e32010-04-12 16:00:01 +000054
55namespace M {
56}
57
58template<typename T> class M::C3 { }; // expected-error{{out-of-line definition of 'C3' does not match any declaration in namespace 'M'}}
Nick Lewycky37574f52010-11-08 23:29:42 +000059
60namespace PR8001 {
61 template<typename T1>
62 struct Foo {
63 template<typename T2> class Bar;
64 typedef Bar<T1> Baz;
65
66 template<typename T2>
67 struct Bar {
68 Bar() {}
69 };
70 };
71
72 void pr8001() {
73 Foo<int>::Baz x;
74 Foo<int>::Bar<int> y(x);
75 }
76}
Douglas Gregor95e55102011-10-21 15:47:52 +000077
Douglas Gregor2c1227c2011-11-07 17:43:18 +000078namespace rdar9676205 {
79 template <unsigned, class _Tp> class tuple_element;
80
81 template <class _T1, class _T2> class pair;
82
83 template <class _T1, class _T2>
84 class tuple_element<0, pair<_T1, _T2> >
85 {
86 template <class _Tp>
87 struct X
88 {
89 template <class _Up, bool = X<_Up>::value>
90 struct Y
91 : public X<_Up>,
92 public Y<_Up>
93 { };
94 };
95 };
96}
97