blob: 9276b61bbcb4c8932159f7ff5ad190ea1558bb9b [file] [log] [blame]
Alexey Bataev93dc40d2019-12-20 11:04:57 -05001// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp %s -Wuninitialized
2// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-version=50 -fopenmp %s -Wuninitialized
Alexey Bataev0a6ed842015-12-03 09:40:15 +00003
Alexey Bataev93dc40d2019-12-20 11:04:57 -05004// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp-simd %s -Wuninitialized
5// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-version=50 -fopenmp-simd %s -Wuninitialized
Alexey Bataeva8a9153a2017-12-29 18:07:07 +00006
Alexey Bataev471171c2019-03-28 19:15:36 +00007typedef void **omp_allocator_handle_t;
Alexey Bataev80263942020-04-30 13:32:22 -04008extern const omp_allocator_handle_t omp_null_allocator;
Alexey Bataev471171c2019-03-28 19:15:36 +00009extern const omp_allocator_handle_t omp_default_mem_alloc;
10extern const omp_allocator_handle_t omp_large_cap_mem_alloc;
11extern const omp_allocator_handle_t omp_const_mem_alloc;
12extern const omp_allocator_handle_t omp_high_bw_mem_alloc;
13extern const omp_allocator_handle_t omp_low_lat_mem_alloc;
14extern const omp_allocator_handle_t omp_cgroup_mem_alloc;
15extern const omp_allocator_handle_t omp_pteam_mem_alloc;
16extern const omp_allocator_handle_t omp_thread_mem_alloc;
17
Alexey Bataev0a6ed842015-12-03 09:40:15 +000018void foo() {
19}
20
21bool foobool(int argc) {
22 return argc;
23}
24
25struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}
26extern S1 a;
27class S2 {
28 mutable int a;
29
30public:
31 S2() : a(0) {}
32 S2(S2 &s2) : a(s2.a) {}
33 const S2 &operator =(const S2&) const;
34 S2 &operator =(const S2&);
Alexey Bataevdffa93a2015-12-10 08:20:58 +000035 static float S2s; // expected-note {{static data member is predetermined as shared}}
Joel E. Dennye6234d1422019-01-04 22:11:31 +000036 static const float S2sc; // expected-note {{'S2sc' declared here}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +000037};
Alexey Bataev4d4624c2017-07-20 16:47:47 +000038const float S2::S2sc = 0;
Alexey Bataev0a6ed842015-12-03 09:40:15 +000039const S2 b;
40const S2 ba[5];
41class S3 {
42 int a;
43 S3 &operator=(const S3 &s3); // expected-note 2 {{implicitly declared private here}}
44
45public:
46 S3() : a(0) {}
47 S3(S3 &s3) : a(s3.a) {}
48};
Joel E. Dennye6234d1422019-01-04 22:11:31 +000049const S3 c; // expected-note {{'c' defined here}}
50const S3 ca[5]; // expected-note {{'ca' defined here}}
51extern const int f; // expected-note {{'f' declared here}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +000052class S4 {
53 int a;
54 S4(); // expected-note 3 {{implicitly declared private here}}
55 S4(const S4 &s4);
56
57public:
58 S4(int v) : a(v) {}
59};
60class S5 {
61 int a;
62 S5() : a(0) {} // expected-note {{implicitly declared private here}}
63
64public:
65 S5(const S5 &s5) : a(s5.a) {}
66 S5(int v) : a(v) {}
67};
68class S6 {
69 int a;
70 S6() : a(0) {}
71
72public:
73 S6(const S6 &s6) : a(s6.a) {}
74 S6(int v) : a(v) {}
75};
76
77S3 h;
78#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
79
80template <class I, class C>
81int foomain(int argc, char **argv) {
82 I e(4);
83 I g(5);
Alexey Bataeva9148882019-07-08 15:45:24 +000084 int i, z;
Alexey Bataev0a6ed842015-12-03 09:40:15 +000085 int &j = i;
86#pragma omp parallel
87#pragma omp taskloop simd lastprivate // expected-error {{expected '(' after 'lastprivate'}}
88 for (int k = 0; k < argc; ++k)
89 ++k;
90#pragma omp parallel
91#pragma omp taskloop simd lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
92 for (int k = 0; k < argc; ++k)
93 ++k;
94#pragma omp parallel
95#pragma omp taskloop simd lastprivate() // expected-error {{expected expression}}
96 for (int k = 0; k < argc; ++k)
97 ++k;
98#pragma omp parallel
99#pragma omp taskloop simd lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
100 for (int k = 0; k < argc; ++k)
101 ++k;
102#pragma omp parallel
Alexey Bataevc5970622016-04-01 08:43:42 +0000103#pragma omp taskloop simd lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000104 for (int k = 0; k < argc; ++k)
105 ++k;
106#pragma omp parallel
107#pragma omp taskloop simd lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
108 for (int k = 0; k < argc; ++k)
109 ++k;
110#pragma omp parallel
Alexey Bataeve04483e2019-03-27 14:14:31 +0000111#pragma omp taskloop simd lastprivate(argc) allocate , allocate(, allocate(omp_default , allocate(omp_default_mem_alloc, allocate(omp_default_mem_alloc:, allocate(omp_default_mem_alloc: argc, allocate(omp_default_mem_alloc: argv), allocate(argv) // expected-error {{expected '(' after 'allocate'}} expected-error 2 {{expected expression}} expected-error 2 {{expected ')'}} expected-error {{use of undeclared identifier 'omp_default'}} expected-note 2 {{to match this '('}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000112 for (int k = 0; k < argc; ++k)
113 ++k;
114#pragma omp parallel
Alexey Bataev93dc40d2019-12-20 11:04:57 -0500115#pragma omp taskloop simd lastprivate(conditional: argc) lastprivate(conditional: // expected-error 2 {{use of undeclared identifier 'conditional'}} expected-error {{expected ')'}} expected-note {{to match this '('}}
116 for (int k = 0; k < argc; ++k)
117 ++k;
118#pragma omp parallel
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000119#pragma omp taskloop simd lastprivate(S1) // expected-error {{'S1' does not refer to a value}}
120 for (int k = 0; k < argc; ++k)
121 ++k;
122#pragma omp parallel
Alexey Bataeva9148882019-07-08 15:45:24 +0000123#pragma omp taskloop simd lastprivate(z, a, b) // expected-error {{lastprivate variable with incomplete type 'S1'}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000124 for (int k = 0; k < argc; ++k)
125 ++k;
126#pragma omp parallel
127#pragma omp taskloop simd lastprivate(argv[1]) // expected-error {{expected variable name}}
128 for (int k = 0; k < argc; ++k)
129 ++k;
130#pragma omp parallel
131#pragma omp taskloop simd lastprivate(e, g) // expected-error 2 {{calling a private constructor of class 'S4'}}
132 for (int k = 0; k < argc; ++k)
133 ++k;
134#pragma omp parallel
135#pragma omp taskloop simd lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}
136 for (int k = 0; k < argc; ++k)
137 ++k;
138#pragma omp parallel
139 {
140 int v = 0;
141 int i;
Alexey Bataev471171c2019-03-28 19:15:36 +0000142#pragma omp taskloop simd lastprivate(i) allocate(omp_thread_mem_alloc: i) // expected-warning {{allocator with the 'thread' trait access has unspecified behavior on 'taskloop simd' directive}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000143 for (int k = 0; k < argc; ++k) {
144 i = k;
145 v += i;
146 }
147 }
148#pragma omp parallel shared(i)
149#pragma omp parallel private(i)
150#pragma omp taskloop simd lastprivate(j)
151 for (int k = 0; k < argc; ++k)
152 ++k;
153#pragma omp parallel
154#pragma omp taskloop simd lastprivate(i)
155 for (int k = 0; k < argc; ++k)
156 ++k;
157 return 0;
158}
159
160void bar(S4 a[2]) {
161#pragma omp parallel
162#pragma omp taskloop simd lastprivate(a)
163 for (int i = 0; i < 2; ++i)
164 foo();
165}
166
167namespace A {
168double x;
169#pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}
170}
171namespace B {
172using A::x;
173}
174
175int main(int argc, char **argv) {
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000176 const int d = 5; // expected-note {{'d' defined here}}
177 const int da[5] = {0}; // expected-note {{'da' defined here}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000178 S4 e(4);
179 S5 g(5);
180 S3 m;
181 S6 n(2);
Alexey Bataeva9148882019-07-08 15:45:24 +0000182 int i, z;
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000183 int &j = i;
184#pragma omp parallel
185#pragma omp taskloop simd lastprivate // expected-error {{expected '(' after 'lastprivate'}}
186 for (i = 0; i < argc; ++i)
187 foo();
188#pragma omp parallel
189#pragma omp taskloop simd lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
190 for (i = 0; i < argc; ++i)
191 foo();
192#pragma omp parallel
193#pragma omp taskloop simd lastprivate() // expected-error {{expected expression}}
194 for (i = 0; i < argc; ++i)
195 foo();
196#pragma omp parallel
197#pragma omp taskloop simd lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
198 for (i = 0; i < argc; ++i)
199 foo();
200#pragma omp parallel
Alexey Bataevc5970622016-04-01 08:43:42 +0000201#pragma omp taskloop simd lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000202 for (i = 0; i < argc; ++i)
203 foo();
204#pragma omp parallel
205#pragma omp taskloop simd lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
206 for (i = 0; i < argc; ++i)
207 foo();
208#pragma omp parallel
Alexey Bataeva9148882019-07-08 15:45:24 +0000209#pragma omp taskloop simd lastprivate(argc, z)
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000210 for (i = 0; i < argc; ++i)
211 foo();
212#pragma omp parallel
213#pragma omp taskloop simd lastprivate(S1) // expected-error {{'S1' does not refer to a value}}
214 for (i = 0; i < argc; ++i)
215 foo();
216#pragma omp parallel
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000217#pragma omp taskloop simd lastprivate(a, b, c, d, f) // expected-error {{lastprivate variable with incomplete type 'S1'}} expected-error 1 {{const-qualified variable without mutable fields cannot be lastprivate}} expected-error 2 {{const-qualified variable cannot be lastprivate}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000218 for (i = 0; i < argc; ++i)
219 foo();
220#pragma omp parallel
221#pragma omp taskloop simd lastprivate(argv[1]) // expected-error {{expected variable name}}
222 for (i = 0; i < argc; ++i)
223 foo();
224#pragma omp parallel
225#pragma omp taskloop simd lastprivate(2 * 2) // expected-error {{expected variable name}}
226 for (i = 0; i < argc; ++i)
227 foo();
228#pragma omp parallel
229#pragma omp taskloop simd lastprivate(ba)
230 for (i = 0; i < argc; ++i)
231 foo();
232#pragma omp parallel
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000233#pragma omp taskloop simd lastprivate(ca) // expected-error {{const-qualified variable without mutable fields cannot be lastprivate}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000234 for (i = 0; i < argc; ++i)
235 foo();
236#pragma omp parallel
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000237#pragma omp taskloop simd lastprivate(da) // expected-error {{const-qualified variable cannot be lastprivate}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000238 for (i = 0; i < argc; ++i)
239 foo();
240 int xa;
241#pragma omp parallel
242#pragma omp taskloop simd lastprivate(xa) // OK
243 for (i = 0; i < argc; ++i)
244 foo();
245#pragma omp parallel
Alexey Bataevdffa93a2015-12-10 08:20:58 +0000246#pragma omp taskloop simd lastprivate(S2::S2s) // expected-error {{shared variable cannot be lastprivate}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000247 for (i = 0; i < argc; ++i)
248 foo();
249#pragma omp parallel
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000250#pragma omp taskloop simd lastprivate(S2::S2sc) // expected-error {{const-qualified variable cannot be lastprivate}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000251 for (i = 0; i < argc; ++i)
252 foo();
253#pragma omp parallel
254#pragma omp taskloop simd safelen(5)
255 for (i = 0; i < argc; ++i)
256 foo();
257#pragma omp parallel
258#pragma omp taskloop simd lastprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}
259 for (i = 0; i < argc; ++i)
260 foo();
261#pragma omp parallel
262#pragma omp taskloop simd lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}}
263 for (i = 0; i < argc; ++i)
264 foo();
265#pragma omp parallel
266#pragma omp taskloop simd lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}
267 for (i = 0; i < argc; ++i)
268 foo();
269#pragma omp parallel
270#pragma omp taskloop simd lastprivate(B::x) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}
271 for (i = 0; i < argc; ++i)
272 foo();
273#pragma omp parallel
274#pragma omp taskloop simd private(xa), lastprivate(xa) // expected-error {{private variable cannot be lastprivate}} expected-note {{defined as private}}
275 for (i = 0; i < argc; ++i)
276 foo();
277#pragma omp parallel
Alexey Bataev93dc40d2019-12-20 11:04:57 -0500278#pragma omp taskloop simd lastprivate(i) // omp45-note {{defined as lastprivate}}
279 for (i = 0; i < argc; ++i) // omp45-error {{loop iteration variable in the associated loop of 'omp taskloop simd' directive may not be lastprivate, predetermined as linear}}
Alexey Bataev0a6ed842015-12-03 09:40:15 +0000280 foo();
281#pragma omp parallel private(xa)
282#pragma omp taskloop simd lastprivate(xa)
283 for (i = 0; i < argc; ++i)
284 foo();
285#pragma omp parallel reduction(+ : xa)
286#pragma omp taskloop simd lastprivate(xa)
287 for (i = 0; i < argc; ++i)
288 foo();
289#pragma omp parallel
290#pragma omp taskloop simd lastprivate(j)
291 for (i = 0; i < argc; ++i)
292 foo();
293#pragma omp parallel
294#pragma omp taskloop simd firstprivate(m) lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}}
295 for (i = 0; i < argc; ++i)
296 foo();
297#pragma omp parallel
298#pragma omp taskloop simd lastprivate(n) firstprivate(n) // OK
299 for (i = 0; i < argc; ++i)
300 foo();
301 static int si;
302#pragma omp taskloop simd lastprivate(si) // OK
303 for (i = 0; i < argc; ++i)
304 si = i + 1;
305 return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}
306}