clang/test/Misc/diag-template-diffing-color.cpp

   1 // RUN: not %clang_cc1 -fsyntax-only -std=c++11 -fcolor-diagnostics %s 2>&1 | FileCheck %s
   2 // RUN: not %clang_cc1 -fsyntax-only -std=c++11 -fcolor-diagnostics -fdiagnostics-show-template-tree %s 2>&1 | FileCheck %s -check-prefix=TREE
   3 // REQUIRES: ansi-escape-sequences
   4 template<typename> struct foo {};
   5 void func(foo<int>);
   6 int main() {
   7   func(foo<double>());
   8 }
   9 // CHECK: {{.*}}candidate function not viable: no known conversion from 'foo<[[CYAN:.\[0;1;36m]]double[[RESET:.\[0m]]>' to 'foo<[[CYAN]]int[[RESET]]>' for 1st argument[[RESET]]
  10 // TREE: candidate function not viable: no known conversion from argument type to parameter type for 1st argument
  11 // TREE:  foo<
  12 // TREE:    {{\[}}[[CYAN:.\[0;1;36m]]double[[RESET:.\[0m]] != [[CYAN]]int[[RESET]]]>[[RESET]]
  13
  14 foo<int> A;
  15 foo<double> &B = A;
  16 // CHECK: {{.*}}non-const lvalue reference to type 'foo<[[CYAN]]double[[RESET]][[BOLD:.\[1m]]>' cannot bind to a value of unrelated type 'foo<[[CYAN]]int[[RESET]][[BOLD]]>'[[RESET]]
  17 // TREE: non-const lvalue reference cannot bind to a value of unrelated type
  18 // TREE:   foo<
  19 // TREE:     {{\[}}[[CYAN]]double[[RESET]][[BOLD:.\[1m]] != [[CYAN]]int[[RESET]][[BOLD]]]>[[RESET]]
  20
  21 template<typename> class vector {};
  22
  23 void set15(vector<const vector<int> >) {}
  24 void test15() {
  25   set15(vector<const vector<const int> >());
  26 }
  27 // CHECK: {{.*}}candidate function not viable: no known conversion from 'vector<const vector<[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}int>>' to 'vector<const vector<int>>' for 1st argument
  28 // TREE: {{.*}}candidate function not viable: no known conversion from argument type to parameter type for 1st argument
  29 // TREE:   vector<
  30 // TREE:     const vector<
  31 // TREE:       {{\[}}[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}!= [[CYAN]](no qualifiers)[[RESET]]] int>>
  32
  33 void set16(vector<vector<int> >) {}
  34 void test16() {
  35   set16(vector<const vector<int> >());
  36 }
  37 // CHECK: {{.*}}candidate function not viable: no known conversion from 'vector<[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}vector<...>>' to 'vector<vector<...>>' for 1st argument
  38 // TREE: {{.*}}candidate function not viable: no known conversion from argument type to parameter type for 1st argument
  39 // TREE:   vector<
  40 // TREE:     {{\[}}[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}!= [[CYAN]](no qualifiers){{ ?}}[[RESET]]]{{ ?}}vector<...>>
  41
  42 void set17(vector<const vector<int> >) {}
  43 void test17() {
  44   set17(vector<vector<int> >());
  45 }
  46 // CHECK: candidate function not viable: no known conversion from 'vector<vector<...>>' to 'vector<[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}vector<...>>' for 1st argument
  47 // TREE: candidate function not viable: no known conversion from argument type to parameter type for 1st argument
  48 // TREE:   vector<
  49 // TREE:     {{\[}}[[CYAN]](no qualifiers){{ ?}}[[RESET]]{{ ?}}!= [[CYAN]]const[[RESET]]] vector<...>>
  50
  51 void set18(vector<volatile vector<int> >) {}
  52 void test18() {
  53   set18(vector<const vector<int> >());
  54 }
  55 // CHECK: candidate function not viable: no known conversion from 'vector<[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}vector<...>>' to 'vector<[[CYAN]]volatile{{ ?}}[[RESET]]{{ ?}}vector<...>>' for 1st argument
  56 // TREE: no matching function for call to 'set18'
  57 // TREE: candidate function not viable: no known conversion from argument type to parameter type for 1st argument
  58 // TREE:   vector<
  59 // TREE:     {{\[}}[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}!= [[CYAN]]volatile[[RESET]]] vector<...>>
  60
  61 void set19(vector<const volatile vector<int> >) {}
  62 void test19() {
  63   set19(vector<const vector<int> >());
  64 }
  65 // CHECK: candidate function not viable: no known conversion from 'vector<const vector<...>>' to 'vector<const [[CYAN]]volatile{{ ?}}[[RESET]]{{ ?}}vector<...>>' for 1st argument
  66 // TREE: candidate function not viable: no known conversion from argument type to parameter type for 1st argument
  67 // TREE:   vector<
  68 // TREE:     [const != const [[CYAN]]volatile[[RESET]]] vector<...>>
  69
  70 namespace default_args {
  71   template <int x, int y = 1+1, int z = 2>
  72   class A {};
  73
  74   void foo(A<0> &M) {
  75     // CHECK: no viable conversion from 'A<[...], (default) [[CYAN]]1 + 1[[RESET]][[BOLD]] aka [[CYAN]]2[[RESET]][[BOLD]], (default) [[CYAN]]2[[RESET]][[BOLD]]>' to 'A<[...], [[CYAN]]0[[RESET]][[BOLD]], [[CYAN]]0[[RESET]][[BOLD]]>'
  76     A<0, 0, 0> N = M;
  77
  78     // CHECK: no viable conversion from 'A<[2 * ...], (default) [[CYAN]]2[[RESET]][[BOLD]]>' to 'A<[2 * ...], [[CYAN]]0[[RESET]][[BOLD]]>'
  79     A<0, 2, 0> N2 = M;
  80   }
  81 }
  82
  83 namespace MixedDeclarationIntegerArgument {
  84   template<typename T, T n = 5> class A{};
  85   int x;
  86   int y[5];
  87   A<int> a1 = A<int&, x>();
  88   // CHECK: no viable conversion from 'A<[[CYAN]]int &[[RESET]][[BOLD]], [[CYAN]]x[[RESET]][[BOLD]]>' to 'A<[[CYAN]]int[[RESET]][[BOLD]], (default) [[CYAN]]5[[RESET]][[BOLD]]>'
  89   // TREE: no viable conversion
  90   // TREE:   A<
  91   // TREE:     {{\[}}[[CYAN]]int &[[RESET]][[BOLD]] != [[CYAN]]int[[RESET]][[BOLD]]],
  92   // TREE:     {{\[}}[[CYAN]]x[[RESET]][[BOLD]] != (default) [[CYAN]]5[[RESET]][[BOLD]]]>
  93
  94   A<int**, nullptr> a2 = A<int, 3 + 1>();
  95   // CHECK-ELIDE-NOTREE: error: no viable conversion from 'A<[[CYAN]]int[[RESET]][[BOLD]], [[CYAN]]3 + 1[[RESET]][[BOLD]] aka [[CYAN]]4[[RESET]][[BOLD]]>' to 'A<[[CYAN]]int **[[RESET]][[BOLD]], [[CYAN]]nullptr[[RESET]][[BOLD]]>'
  96   // TREE: no viable conversion
  97   // TREE:   A<
  98   // TREE:     {{\[}}[[CYAN]]int[[RESET]][[BOLD]] != [[CYAN]]int **[[RESET]][[BOLD]]],
  99   // TREE:     {{\[}}[[CYAN]]3 + 1[[RESET]][[BOLD]] aka [[CYAN]]4[[RESET]][[BOLD]] != [[CYAN]]nullptr[[RESET]][[BOLD]]]>
 100 }