1c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu// RUN: %clang_cc1 -verify -x c++ %s
2c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu// RUN: not %clang_cc1 -fdiagnostics-parseable-fixits -x c++ %s 2>&1 | FileCheck %s
3c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu
4c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xustruct S {
5c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu  int n;
6c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu};
7c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu
8c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xustruct T {
9c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu  T();
109b663716449b618ba0390b1dbebc54fa8e971124Ted Kremenek  T(S, S);
11c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu  int n;
12c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xu};
139ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremenek
14c6238d2786cfd961b94580b3d3675a1b3ff0721cZhongxing Xustruct U {
1599ba9e3bd70671f3441fb974895f226a83ce0e66David Blaikie  ~U();
1699ba9e3bd70671f3441fb974895f226a83ce0e66David Blaikie  int n;
17d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie};
18ef3643fbbbf66247c5e205497fae0f46e240c143David Blaikie
19c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenekstruct V {
204fed22cdd8bb7d98127853ebb3f42be66bf2ce59Ted Kremenek  ~V();
214fed22cdd8bb7d98127853ebb3f42be66bf2ce59Ted Kremenek};
224fed22cdd8bb7d98127853ebb3f42be66bf2ce59Ted Kremenek
23622b6fb0a1d280c16e135c7e427b79cafffbde1fTed Kremenekstruct W : V {
24255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek};
255a1ffe98b04120846a15f7105905b5f363b08635Jordan Rose
265a1ffe98b04120846a15f7105905b5f363b08635Jordan Rosestruct X : U {
27a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek};
2802a88c3edf1aeb9580e0b6e444b30c52846a673cTed Kremenek
2902a88c3edf1aeb9580e0b6e444b30c52846a673cTed Kremenekint F1();
30255d4d4226b24036ceb11228fbb74286e58620f7Ted KremenekS F2();
31255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek
32255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremeneknamespace N {
33c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek  void test() {
344fed22cdd8bb7d98127853ebb3f42be66bf2ce59Ted Kremenek    // CHECK: fix-it:"{{.*}}":{35:9-35:11}:" = {}"
357b73e0832b20af1f43601a3d19e76d02d9f4dce5Ted Kremenek    S s1(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
36255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek
37882998923889a2fcce9b49696506c499e22cf38fTed Kremenek    // CHECK: fix-it:"{{.*}}":{39:9-39:10}:";"
384fed22cdd8bb7d98127853ebb3f42be66bf2ce59Ted Kremenek    // CHECK: fix-it:"{{.*}}":{40:7-40:9}:" = {}"
394fed22cdd8bb7d98127853ebb3f42be66bf2ce59Ted Kremenek    S s2, // expected-note {{change this ',' to a ';' to call 'F2'}}
40c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    F2(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
41c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek
42c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    // CHECK: fix-it:"{{.*}}":{44:9-44:11}:""
43c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    // CHECK: fix-it:"{{.*}}":{45:9-45:11}:""
44c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    T t1(), // expected-warning {{function declaration}} expected-note {{remove parentheses}}
45c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek      t2(); // expected-warning {{function declaration}} expected-note {{remove parentheses}}
46c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek
47c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    // Suggest parentheses only around the first argument.
48c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    // CHECK: fix-it:"{{.*}}":{50:10-50:10}:"("
49c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    // CHECK: fix-it:"{{.*}}":{50:13-50:13}:")"
50c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    T t3(S(), S()); // expected-warning {{disambiguated as a function declaration}} expected-note {{add a pair of parentheses}}
51c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek
52c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    // Check fixit position for pathological case
53c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    // CHECK: fix-it:"{{.*}}":{56:11-56:11}:"("
54c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek    // CHECK: fix-it:"{{.*}}":{56:20-56:20}:")"
55d30952838421ddfb9f7e346b2ba8213889a5f789Anna Zaks    float k[1];
56    int l(int(k[0])); // expected-warning {{disambiguated as a function declaration}} expected-note {{add a pair of parentheses}}
57
58    // Don't emit warning and fixit because this must be a function declaration due to void return type.
59    typedef void VO;
60    VO m(int (*p)[4]);
61
62    // Don't emit warning and fixit because direct initializer is not permitted here.
63    if (int n(int())){} // expected-error {{function type is not allowed here}} expected-error {{condition must have an initializer}}
64
65    // CHECK: fix-it:"{{.*}}":{66:8-66:10}:" = {}"
66    U u(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
67
68    // CHECK: fix-it:"{{.*}}":{69:8-69:10}:""
69    V v(); // expected-warning {{function declaration}} expected-note {{remove parentheses}}
70
71    // CHECK: fix-it:"{{.*}}":{72:8-72:10}:""
72    W w(); // expected-warning {{function declaration}} expected-note {{remove parentheses}}
73
74    // TODO: Removing the parens here would not initialize U::n.
75    // Maybe suggest an " = X()" initializer for this case?
76    // Maybe suggest removing the parens anyway?
77    X x(); // expected-warning {{function declaration}}
78
79    // CHECK: fix-it:"{{.*}}":{80:11-80:13}:" = 0"
80    int n1(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
81
82    // CHECK: fix-it:"{{.*}}":{84:11-84:12}:";"
83    // CHECK: fix-it:"{{.*}}":{85:7-85:9}:" = 0"
84    int n2, // expected-note {{change this ',' to a ';' to call 'F1'}}
85    F1(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
86
87    // CHECK: fix-it:"{{.*}}":{88:13-88:15}:" = 0.0"
88    double d(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
89
90    typedef void *Ptr;
91
92    // CHECK: fix-it:"{{.*}}":{93:10-93:12}:" = 0"
93    Ptr p(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
94
95#define NULL 0
96    // CHECK: fix-it:"{{.*}}":{97:10-97:12}:" = NULL"
97    Ptr p(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
98
99    // CHECK: fix-it:"{{.*}}":{100:11-100:13}:" = false"
100    bool b(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
101
102    // CHECK: fix-it:"{{.*}}":{103:11-103:13}:" = '\\0'"
103    char c(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
104
105    // CHECK: fix-it:"{{.*}}":{106:15-106:17}:" = L'\\0'"
106    wchar_t wc(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
107  }
108}
109