clang/test/SemaCXX/diagnostic-order.cpp

   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