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 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(); 66 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
