clang/test/FixIt/fixit-function-call.cpp

   1 // RUN: not %clang_cc1 -fdiagnostics-parseable-fixits -x c++ %s 2> %t
   2 // RUN: FileCheck %s < %t
   3 // PR5941
   4 // END.
   5
   6 /* Test fixits for * and & mismatch in function arguments.
   7  * Since fixits are on the notes, they cannot be applied automatically. */
   8
   9 typedef int intTy;
  10 typedef int intTy2;
  11
  12 void f0(int *a);
  13 void f1(double *a);
  14 void f1(intTy &a);
  15
  16 void f2(intTy2 *a) {
  17 // CHECK: error: no matching function for call to 'f1
  18 // CHECK: dereference the argument with *
  19 // CHECK: void f1(intTy &a);
  20 // CHECK: fix-it{{.*}}*(
  21 // CHECK-NEXT: fix-it{{.*}})
  22 // CHECK: void f1(double *a);
  23   f1(a + 1);
  24
  25 // This call cannot be fixed since without resulting in null pointer dereference.
  26 // CHECK: error: no matching function for call to 'f1
  27 // CHECK-NOT: dereference the argument with *
  28 // CHECK-NOT: fix-it
  29   f1((int *)0);
  30 }
  31
  32 void f3(int &a) {
  33 // CHECK: error: no matching function for call to 'f0
  34 // CHECK: fix-it{{.*}}&
  35  f0(a);
  36 }
  37
  38
  39 void m(int *a, const int *b); // match 2
  40 void m(double *a, int *b); // no match
  41 void m(int *a, double *b); // no match
  42 void m(intTy &a, int *b); // match 1
  43
  44 void mcaller(intTy2 a, int b) {
  45 // CHECK: error: no matching function for call to 'm
  46 // CHECK: take the address of the argument with &
  47 // CHECK: fix-it{{.*}}&
  48 // CHECK: take the address of the argument with &
  49 // CHECK: fix-it{{.*}}&
  50 // CHECK: fix-it{{.*}}&
  51   m(a, b);
  52
  53 // This call cannot be fixed because (a + 1) is not an l-value.
  54 // CHECK: error: no matching function for call to 'm
  55 // CHECK-NOT: fix-it
  56   m(a + 1, b);
  57 }
  58
  59 // Test derived to base conversions.
  60 struct A {
  61   int xx;
  62 };
  63
  64 struct B : public A {
  65   double y;
  66 };
  67
  68 class C : A {};
  69
  70 bool br(A &a);
  71 bool bp(A *a);
  72 bool dv(B b);
  73
  74 void u(int x);
  75 void u(const C *x);
  76 void u(double x);
  77
  78 void dbcaller(A *ptra, B *ptrb, C &c, B &refb) {
  79   B b;
  80
  81 // CHECK: error: no matching function for call to 'br
  82 // CHECK: fix-it{{.*}}*
  83   br(ptrb); // good
  84
  85 // CHECK: error: no matching function for call to 'bp
  86 // CHECK: fix-it{{.*}}&
  87   bp(b); // good
  88
  89 // CHECK: error: no matching function for call to 'dv
  90 // CHECK-NOT: fix-it
  91   dv(ptra); // bad: base to derived
  92
  93 // CHECK: error: no matching function for call to 'dv
  94 // CHECK: remove &
  95   dv(&b);
  96
  97 // CHECK: error: no matching function for call to 'bp
  98 // CHECK: remove *
  99   bp(*ptra);
 100
 101 // CHECK: error: no viable overloaded '='
 102 // CHECK: remove &
 103   b = &refb;
 104
 105 // TODO: Test that we do not provide a fixit when inheritance is private.
 106 // CHECK: error: no matching function for call to 'bp
 107 // There should not be a fixit here:
 108 // CHECK: fix-it
 109   bp(c);
 110
 111 // CHECK: no matching function for call to 'u'
 112 // CHECK: candidate function not viable: no known conversion from 'C' to 'const C *' for 1st argument; take the address of the argument with &
 113 // CHECK: candidate function not viable
 114 // CHECK: candidate function not viable
 115   u(c);
 116 }
 117
 118 void accept_void(void*);
 119
 120 void issue58958(const char* a, volatile char * v, const volatile char * cv) {
 121 // CHECK: no matching function for call to 'accept_void'
 122 // CHECK-NOT: take the address of the argument with &
 123     accept_void(a);
 124 // CHECK: no matching function for call to 'accept_void'
 125 // CHECK-NOT: take the address of the argument with &
 126     accept_void(v);
 127 // CHECK: no matching function for call to 'accept_void'
 128 // CHECK-NOT: take the address of the argument with &
 129     accept_void(cv);
 130     char b;
 131 // CHECK: no matching function for call to 'accept_void'
 132 // CHECK: take the address of the argument with &
 133     accept_void(b);
 134 // CHECK-NOT: no matching function for call to 'accept_void'
 135 // CHECK-NOT: take the address of the argument with &
 136     accept_void(&b);
 137 }
 138
 139 // CHECK: errors generated