Home | History | Annotate | Download | only in FixIt 
      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 // CHECK: errors generated
    119