1 // RUN: not %clang_cc1 -std=c++11 %s -fsyntax-only 2>&1 | FileCheck %s
2 // RUN: %clang_cc1 -std=c++11 %s -fsyntax-only -DWARN 2>&1 | FileCheck %s --check-prefix=CHECK-WARN
3
4 #ifndef WARN
5
6 // Ensure that the diagnostics we produce for this situation appear in a
7 // deterministic order. This requires ADL to provide lookup results in a
8 // deterministic order.
9 template<typename T, typename> struct Error { typedef typename T::error error; };
10 struct X { template<typename T> friend typename Error<X, T>::error f(X, T); };
11 struct Y { template<typename T> friend typename Error<Y, T>::error f(T, Y); };
12
g()13 void g() {
14 f(X(), Y());
15 }
16
17 // We don't really care which order these two diagnostics appear (although the
18 // order below is source order, which seems best). The crucial fact is that
19 // there is one single order that is stable across multiple runs of clang.
20 //
21 // CHECK: no type named 'error' in 'X'
22 // CHECK: no type named 'error' in 'Y'
23 // CHECK: no matching function for call to 'f'
24
25
26 struct Oper {
27 template<typename T, typename U = typename Error<Oper, T>::error> operator T();
28
29 operator int*();
30 operator float*();
31 operator X*();
32 operator Y*();
33
34 operator int(*[1])();
35 operator int(*[2])();
36 operator int(*[3])();
37 operator int(*[4])();
38 operator int(*[5])();
39 operator int(*[6])();
40 operator int(*[7])();
41 operator int(*[8])();
42 operator float(*[1])();
43 operator float(*[2])();
44 operator float(*[3])();
45 operator float(*[4])();
46 operator float(*[5])();
47 operator float(*[6])();
48 operator float(*[7])();
49 operator float(*[8])();
50 };
51 int *p = Oper() + 0;
52
53 // CHECK: no type named 'error' in 'Oper'
54 // CHECK: in instantiation of template class 'Error<Oper, int *>'
55 // CHECK: no type named 'error' in 'Oper'
56 // CHECK: in instantiation of template class 'Error<Oper, float *>'
57 // CHECK: no type named 'error' in 'Oper'
58 // CHECK: in instantiation of template class 'Error<Oper, X *>'
59 // CHECK: no type named 'error' in 'Oper'
60 // CHECK: in instantiation of template class 'Error<Oper, Y *>'
61
62 #endif
63
64 template<typename T> struct UndefButUsed {
65 static inline int f();
gUndefButUsed66 static int g() { return f(); }
67 };
68 int undef_but_used = UndefButUsed<int>::g() + UndefButUsed<float>::g() + UndefButUsed<char>::g() + UndefButUsed<void>::g();
69
70 // CHECK-WARN: inline function 'UndefButUsed<int>::f' is not defined
71 // CHECK-WARN: inline function 'UndefButUsed<float>::f' is not defined
72 // CHECK-WARN: inline function 'UndefButUsed<char>::f' is not defined
73 // CHECK-WARN: inline function 'UndefButUsed<void>::f' is not defined
74