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
9typedef int intTy;
10typedef int intTy2;
11
12void f0(int *a);
13void f1(double *a);
14void f1(intTy &a);
15
16void 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
32void f3(int &a) {
33// CHECK: error: no matching function for call to 'f0
34// CHECK: fix-it{{.*}}&
35 f0(a);
36}
37
38
39void m(int *a, const int *b); // match 2
40void m(double *a, int *b); // no match
41void m(int *a, double *b); // no match
42void m(intTy &a, int *b); // match 1
43
44void 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.
60struct A {
61  int xx;
62};
63
64struct B : public A {
65  double y;
66};
67
68class C : A {};
69
70bool br(A &a);
71bool bp(A *a);
72bool dv(B b);
73
74void u(int x);
75void u(const C *x);
76void u(double x);
77
78void 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