dr7xx.cpp source code [clang_source_code/test/CXX/drs/dr7xx.cpp]

1	// RUN: %clang_cc1 -std=c++98 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
2	// RUN: %clang_cc1 -std=c++11 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
3	// RUN: %clang_cc1 -std=c++14 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
4	// RUN: %clang_cc1 -std=c++1z %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
5
6	namespace dr727 { // dr727: partial
7	struct A {
8	template<typename T> struct C; // expected-note 6{{here}}
9	template<typename T> void f(); // expected-note {{here}}
10	template<typename T> static int N; // expected-error 0-1{{C++14}} expected-note 6{{here}}
11
12	template<> struct C<int>;
13	template<> void f<int>();
14	template<> static int N<int>;
15
16	template<typename T> struct C<T*>;
17	template<typename T> static int N<T*>;
18
19	struct B {
20	template<> struct C<float>; // expected-error {{not in class 'A' or an enclosing namespace}}
21	template<> void f<float>(); // expected-error {{no function template matches}}
22	template<> static int N<float>; // expected-error {{not in class 'A' or an enclosing namespace}}
23
24	template<typename T> struct C<T**>; // expected-error {{not in class 'A' or an enclosing namespace}}
25	template<typename T> static int N<T**>; // expected-error {{not in class 'A' or an enclosing namespace}}
26
27	template<> struct A::C<double>; // expected-error {{not in class 'A' or an enclosing namespace}}
28	template<> void A::f<double>(); // expected-error {{no function template matches}} expected-error {{cannot have a qualified name}}
29	template<> static int A::N<double>; // expected-error {{not in class 'A' or an enclosing namespace}} expected-error {{cannot have a qualified name}}
30
31	template<typename T> struct A::C<T***>; // expected-error {{not in class 'A' or an enclosing namespace}}
32	template<typename T> static int A::N<T***>; // expected-error {{not in class 'A' or an enclosing namespace}} expected-error {{cannot have a qualified name}}
33	};
34	};
35
36	template<> struct A::C<char>;
37	template<> void A::f<char>();
38	template<> int A::N<char>;
39
40	template<typename T> struct A::C<T****>;
41	template<typename T> int A::N<T****>;
42
43	namespace C {
44	template<> struct A::C<long>; // expected-error {{not in class 'A' or an enclosing namespace}}
45	template<> void A::f<long>(); // expected-error {{not in class 'A' or an enclosing namespace}}
46	template<> int A::N<long>; // expected-error {{not in class 'A' or an enclosing namespace}}
47
48	template<typename T> struct A::C<T*****>; // expected-error {{not in class 'A' or an enclosing namespace}}
49	template<typename T> int A::N<T*****>; // expected-error {{not in class 'A' or an enclosing namespace}}
50	}
51
52	template<typename>
53	struct D {
54	template<typename T> struct C { typename T::error e; }; // expected-error {{no members}}
55	template<typename T> void f() { T::error; } // expected-error {{no members}}
56	template<typename T> static const int N = T::error; // expected-error 2{{no members}} expected-error 0-1{{C++14}}
57
58	template<> struct C<int> {};
59	template<> void f<int>() {}
60	template<> static const int N<int>;
61
62	template<typename T> struct C<T*> {};
63	template<typename T> static const int N<T*>;
64	};
65
66	void d(D<int> di) {
67	D<int>::C<int>();
68	di.f<int>();
69	int a = D<int>::N<int>; // FIXME: expected-note {{instantiation of}}
70
71	D<int>::C<int*>();
72	int b = D<int>::N<int*>;
73
74	D<int>::C<float>(); // expected-note {{instantiation of}}
75	di.f<float>(); // expected-note {{instantiation of}}
76	int c = D<int>::N<float>; // expected-note {{instantiation of}}
77	}
78	}
79
80	namespace dr777 { // dr777: 3.7
81	#if __cplusplus >= 201103L
82	template <typename... T>
83	void f(int i = 0, T ...args) {}
84	void ff() { f(); }
85
86	template <typename... T>
87	void g(int i = 0, T ...args, T ...args2) {}
88
89	template <typename... T>
90	void h(int i = 0, T ...args, int j = 1) {}
91	#endif
92	}
93

Clang Project