74 lines · cpp
1// RUN: not %clang_cc1 -std=c++11 %s -fsyntax-only 2>&1 | FileCheck %s2// RUN: %clang_cc1 -std=c++11 %s -fsyntax-only -DWARN 2>&1 | FileCheck %s --check-prefix=CHECK-WARN3 4#ifndef WARN5 6// Ensure that the diagnostics we produce for this situation appear in a7// deterministic order. This requires ADL to provide lookup results in a8// deterministic order.9template<typename T, typename> struct Error { typedef typename T::error error; };10struct X { template<typename T> friend typename Error<X, T>::error f(X, T); };11struct Y { template<typename T> friend typename Error<Y, T>::error f(T, Y); };12 13void g() {14 f(X(), Y());15}16 17// We don't really care which order these two diagnostics appear (although the18// order below is source order, which seems best). The crucial fact is that19// 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 26struct 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};51int *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#endif63 64template<typename T> struct UndefButUsed {65 static inline int f();66 static int g() { return f(); }67};68int 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 defined71// CHECK-WARN: inline function 'UndefButUsed<float>::f' is not defined72// CHECK-WARN: inline function 'UndefButUsed<char>::f' is not defined73// CHECK-WARN: inline function 'UndefButUsed<void>::f' is not defined74