Clang Project

clang_source_code/test/Preprocessor/macro_with_initializer_list.cpp
1// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
2// RUN: not %clang_cc1 -std=c++11 -fsyntax-only -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
3namespace std {
4  template <class X>
5  class initializer_list {
6    public:
7    initializer_list();
8  };
9}
10
11class Foo {
12public:
13  Foo();
14  Foo(std::initializer_list<int>);
15  bool operator==(const Foo);
16  Foo operator+(const Foo);
17};
18
19#define EQ(x,y) (void)(x == y)  // expected-note 6{{defined here}}
20void test_EQ() {
21  Foo F;
22  F = Foo{1,2};
23
24  EQ(F,F);
25  EQ(F,Foo());
26  EQ(F,Foo({1,2,3}));
27  EQ(Foo({1,2,3}),F);
28  EQ((Foo{1,2,3}),(Foo{1,2,3}));
29  EQ(F, F + F);
30  EQ(F, Foo({1,2,3}) + Foo({1,2,3}));
31  EQ(F, (Foo{1,2,3} + Foo{1,2,3}));
32
33  EQ(F,Foo{1,2,3});
34  // expected-error@-1 {{too many arguments provided}}
35  // expected-note@-2 {{parentheses are required}}
36  EQ(Foo{1,2,3},F);
37  // expected-error@-1 {{too many arguments provided}}
38  // expected-note@-2 {{parentheses are required}}
39  EQ(Foo{1,2,3},Foo{1,2,3});
40  // expected-error@-1 {{too many arguments provided}}
41  // expected-note@-2 {{parentheses are required}}
42
43  EQ(Foo{1,2,3} + Foo{1,2,3}, F);
44  // expected-error@-1 {{too many arguments provided}}
45  // expected-note@-2 {{parentheses are required}}
46  EQ(F, Foo({1,2,3}) + Foo{1,2,3});
47  // expected-error@-1 {{too many arguments provided}}
48  // expected-note@-2 {{parentheses are required}}
49  EQ(F, Foo{1,2,3} + Foo{1,2,3});
50  // expected-error@-1 {{too many arguments provided}}
51  // expected-note@-2 {{parentheses are required}}
52}
53
54// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{33:8-33:8}:"("
55// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{33:18-33:18}:")"
56
57// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{36:6-36:6}:"("
58// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{36:16-36:16}:")"
59
60// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{39:6-39:6}:"("
61// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{39:16-39:16}:")"
62// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{39:17-39:17}:"("
63// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{39:27-39:27}:")"
64
65// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{43:6-43:6}:"("
66// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{43:29-43:29}:")"
67
68// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{46:9-46:9}:"("
69// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{46:34-46:34}:")"
70
71// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{49:9-49:9}:"("
72// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{49:32-49:32}:")"
73
74#define NE(x,y) (void)(x != y)  // expected-note 6{{defined here}}
75// Operator != isn't defined.  This tests that the corrected macro arguments
76// are used in the macro expansion.
77void test_NE() {
78  Foo F;
79
80  NE(F,F);
81  // expected-error@-1 {{invalid operands}}
82  NE(F,Foo());
83  // expected-error@-1 {{invalid operands}}
84  NE(F,Foo({1,2,3}));
85  // expected-error@-1 {{invalid operands}}
86  NE((Foo{1,2,3}),(Foo{1,2,3}));
87  // expected-error@-1 {{invalid operands}}
88
89  NE(F,Foo{1,2,3});
90  // expected-error@-1 {{too many arguments provided}}
91  // expected-note@-2 {{parentheses are required}}
92  // expected-error@-3 {{invalid operands}}
93  NE(Foo{1,2,3},F);
94  // expected-error@-1 {{too many arguments provided}}
95  // expected-note@-2 {{parentheses are required}}
96  // expected-error@-3 {{invalid operands}}
97  NE(Foo{1,2,3},Foo{1,2,3});
98  // expected-error@-1 {{too many arguments provided}}
99  // expected-note@-2 {{parentheses are required}}
100  // expected-error@-3 {{invalid operands}}
101
102  NE(Foo{1,2,3} + Foo{1,2,3}, F);
103  // expected-error@-1 {{too many arguments provided}}
104  // expected-note@-2 {{parentheses are required}}
105  // expected-error@-3 {{invalid operands}}
106  NE(F, Foo({1,2,3}) + Foo{1,2,3});
107  // expected-error@-1 {{too many arguments provided}}
108  // expected-note@-2 {{parentheses are required}}
109  // expected-error@-3 {{invalid operands}}
110  NE(F, Foo{1,2,3} + Foo{1,2,3});
111  // expected-error@-1 {{too many arguments provided}}
112  // expected-note@-2 {{parentheses are required}}
113  // expected-error@-3 {{invalid operands}}
114}
115
116// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{89:8-89:8}:"("
117// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{89:18-89:18}:")"
118
119// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{93:6-93:6}:"("
120// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{93:16-93:16}:")"
121
122// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{97:6-97:6}:"("
123// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{97:16-97:16}:")"
124// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{97:17-97:17}:"("
125// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{97:27-97:27}:")"
126
127// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{102:6-102:6}:"("
128// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{102:29-102:29}:")"
129
130// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{106:9-106:9}:"("
131// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{106:34-106:34}:")"
132
133// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{110:9-110:9}:"("
134// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{110:32-110:32}:")"
135
136#define INIT(var, init) Foo var = init; // expected-note 3{{defined here}}
137// Can't use an initializer list as a macro argument.  The commas in the list
138// will be interpretted as argument separaters and adding parenthesis will
139// make it no longer an initializer list.
140void test() {
141  INIT(a, Foo());
142  INIT(b, Foo({1, 2, 3}));
143  INIT(c, Foo());
144
145  INIT(d, Foo{1, 2, 3});
146  // expected-error@-1 {{too many arguments provided}}
147  // expected-note@-2 {{parentheses are required}}
148
149  // Can't be fixed by parentheses.
150  INIT(e, {1, 2, 3});
151  // expected-error@-1 {{too many arguments provided}}
152  // expected-error@-2 {{use of undeclared identifier}}
153  // expected-note@-3 {{cannot use initializer list at the beginning of a macro argument}}
154
155  // Can't be fixed by parentheses.
156  INIT(e, {1, 2, 3} + {1, 2, 3});
157  // expected-error@-1 {{too many arguments provided}}
158  // expected-error@-2 {{use of undeclared identifier}}
159  // expected-note@-3 {{cannot use initializer list at the beginning of a macro argument}}
160}
161
162// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{145:11-145:11}:"("
163// CHECK: fix-it:"{{.*}}macro_with_initializer_list.cpp":{145:23-145:23}:")"
164
165#define M(name,a,b,c,d,e,f,g,h,i,j,k,l) \
166  Foo name = a + b + c + d + e + f + g + h + i + j + k + l;
167// expected-note@-2 2{{defined here}}
168void test2() {
169  M(F1, Foo(), Foo(), Foo(), Foo(), Foo(), Foo(),
170        Foo(), Foo(), Foo(), Foo(), Foo(), Foo());
171
172  M(F2, Foo{1,2,3}, Foo{1,2,3}, Foo{1,2,3}, Foo{1,2,3}, Foo{1,2,3}, Foo{1,2,3},
173        Foo{1,2,3}, Foo{1,2,3}, Foo{1,2,3}, Foo{1,2,3}, Foo{1,2,3}, Foo{1,2,3});
174  // expected-error@-2 {{too many arguments provided}}
175  // expected-note@-3 {{parentheses are required}}
176
177  M(F3, {1,2,3}, {1,2,3}, {1,2,3}, {1,2,3}, {1,2,3}, {1,2,3},
178        {1,2,3}, {1,2,3}, {1,2,3}, {1,2,3}, {1,2,3}, {1,2,3});
179  // expected-error@-2 {{too many arguments provided}}
180  // expected-error@-3 {{use of undeclared identifier}}
181  // expected-note@-4 {{cannot use initializer list at the beginning of a macro argument}}
182}
183
CodeThinker, Enjoy your reading code