1 // RUN: %clang_cc1 -fsyntax-only -fopenmp -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify=expected,omp4 %s -Wno-openmp-mapping -Wuninitialized
2 // RUN: %clang_cc1 -fsyntax-only -fopenmp -fopenmp-version=50 -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify=expected,omp5 %s -Wno-openmp-mapping -Wuninitialized
3
4 // RUN: %clang_cc1 -fsyntax-only -fopenmp-simd -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify=expected,omp4 %s -Wno-openmp-mapping -Wuninitialized
5 // RUN: %clang_cc1 -fsyntax-only -fopenmp-simd -fopenmp-version=50 -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify=expected,omp5 %s -Wno-openmp-mapping -Wuninitialized
6
7 class S {
8 int a;
S()9 S() : a(0) {} // expected-note {{implicitly declared private here}}
10
11 public:
S(int v)12 S(int v) : a(v) {}
S(const S & s)13 S(const S &s) : a(s.a) {}
14 };
15
16 static int sii;
17 // expected-note@+1 {{defined as threadprivate or thread local}}
18 #pragma omp threadprivate(sii)
19 static int globalii;
20
test_iteration_spaces()21 int test_iteration_spaces() {
22 const int N = 100;
23 float a[N], b[N], c[N];
24 int ii, jj, kk;
25 float fii;
26 double dii;
27 #pragma omp target teams distribute parallel for
28 for (int i = 0; i < 10; i += 1) {
29 c[i] = a[i] + b[i];
30 }
31 #pragma omp target teams distribute parallel for
32 for (char i = 0; i < 10; i++) {
33 c[i] = a[i] + b[i];
34 }
35 #pragma omp target teams distribute parallel for
36 for (char i = 0; i < 10; i += '\1') {
37 c[i] = a[i] + b[i];
38 }
39 #pragma omp target teams distribute parallel for
40 for (long long i = 0; i < 10; i++) {
41 c[i] = a[i] + b[i];
42 }
43 #pragma omp target teams distribute parallel for
44 // expected-error@+1 {{expression must have integral or unscoped enumeration type, not 'double'}}
45 for (long long i = 0; i < 10; i += 1.5) {
46 c[i] = a[i] + b[i];
47 }
48 #pragma omp target teams distribute parallel for
49 for (long long i = 0; i < 'z'; i += 1u) {
50 c[i] = a[i] + b[i];
51 }
52 #pragma omp target teams distribute parallel for
53 // expected-error@+1 {{variable must be of integer or random access iterator type}}
54 for (float fi = 0; fi < 10.0; fi++) {
55 c[(int)fi] = a[(int)fi] + b[(int)fi];
56 }
57 #pragma omp target teams distribute parallel for
58 // expected-error@+1 {{variable must be of integer or random access iterator type}}
59 for (double fi = 0; fi < 10.0; fi++) {
60 c[(int)fi] = a[(int)fi] + b[(int)fi];
61 }
62 #pragma omp target teams distribute parallel for
63 // expected-error@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
64 for (int &ref = ii; ref < 10; ref++) {
65 }
66 #pragma omp target teams distribute parallel for
67 // expected-error@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
68 for (int i; i < 10; i++)
69 c[i] = a[i];
70
71 #pragma omp target teams distribute parallel for
72 // expected-error@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
73 for (int i = 0, j = 0; i < 10; ++i)
74 c[i] = a[i];
75
76 #pragma omp target teams distribute parallel for
77 // expected-error@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
78 for (; ii < 10; ++ii)
79 c[ii] = a[ii];
80
81 #pragma omp target teams distribute parallel for
82 // expected-warning@+2 {{expression result unused}}
83 // expected-error@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
84 for (ii + 1; ii < 10; ++ii)
85 c[ii] = a[ii];
86
87 #pragma omp target teams distribute parallel for
88 // expected-error@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
89 for (c[ii] = 0; ii < 10; ++ii)
90 c[ii] = a[ii];
91
92 #pragma omp target teams distribute parallel for
93 // Ok to skip parenthesises.
94 for (((ii)) = 0; ii < 10; ++ii)
95 c[ii] = a[ii];
96
97 #pragma omp target teams distribute parallel for
98 // omp4-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} omp5-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'i'}}
99 for (int i = 0; i; i++)
100 c[i] = a[i];
101
102 #pragma omp target teams distribute parallel for
103 // omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} omp5-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'i'}}
104 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'i'}}
105 for (int i = 0; jj < kk; ii++)
106 c[i] = a[i];
107
108 #pragma omp target teams distribute parallel for
109 // omp4-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} omp5-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'i'}}
110 for (int i = 0; !!i; i++)
111 c[i] = a[i];
112
113 // omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}}
114 #pragma omp target teams distribute parallel for
115 for (int i = 0; i != 1; i++)
116 c[i] = a[i];
117
118 #pragma omp target teams distribute parallel for
119 // omp4-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} omp5-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'i'}}
120 for (int i = 0;; i++)
121 c[i] = a[i];
122
123 // Ok.
124 #pragma omp target teams distribute parallel for
125 for (int i = 11; i > 10; i--)
126 c[i] = a[i];
127
128 // Ok.
129 #pragma omp target teams distribute parallel for
130 for (int i = 0; i < 10; ++i)
131 c[i] = a[i];
132
133 // Ok.
134 #pragma omp target teams distribute parallel for
135 for (ii = 0; ii < 10; ++ii)
136 c[ii] = a[ii];
137
138 #pragma omp target teams distribute parallel for
139 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}
140 for (ii = 0; ii < 10; ++jj)
141 c[ii] = a[jj];
142
143 #pragma omp target teams distribute parallel for
144 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}
145 for (ii = 0; ii < 10; ++++ii)
146 c[ii] = a[ii];
147
148 // Ok but undefined behavior (in general, cannot check that incr
149 // is really loop-invariant).
150 #pragma omp target teams distribute parallel for
151 for (ii = 0; ii < 10; ii = ii + ii)
152 c[ii] = a[ii];
153
154 #pragma omp target teams distribute parallel for
155 // expected-error@+1 {{expression must have integral or unscoped enumeration type, not 'float'}}
156 for (ii = 0; ii < 10; ii = ii + 1.0f)
157 c[ii] = a[ii];
158
159 // Ok - step was converted to integer type.
160 #pragma omp target teams distribute parallel for
161 for (ii = 0; ii < 10; ii = ii + (int)1.1f)
162 c[ii] = a[ii];
163
164 #pragma omp target teams distribute parallel for
165 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}
166 for (ii = 0; ii < 10; jj = ii + 2)
167 c[ii] = a[ii];
168
169 #pragma omp target teams distribute parallel for
170 // expected-warning@+2 {{relational comparison result unused}}
171 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}
172 for (ii = 0; ii<10; jj> kk + 2)
173 c[ii] = a[ii];
174
175 #pragma omp target teams distribute parallel for
176 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}
177 for (ii = 0; ii < 10;)
178 c[ii] = a[ii];
179
180 #pragma omp target teams distribute parallel for
181 // expected-warning@+2 {{expression result unused}}
182 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}
183 for (ii = 0; ii < 10; !ii)
184 c[ii] = a[ii];
185
186 #pragma omp target teams distribute parallel for
187 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}
188 for (ii = 0; ii < 10; ii ? ++ii : ++jj)
189 c[ii] = a[ii];
190
191 #pragma omp target teams distribute parallel for
192 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}
193 for (ii = 0; ii < 10; ii = ii < 10)
194 c[ii] = a[ii];
195
196 #pragma omp target teams distribute parallel for
197 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
198 // expected-error@+1 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}
199 for (ii = 0; ii < 10; ii = ii + 0)
200 c[ii] = a[ii];
201
202 #pragma omp target teams distribute parallel for
203 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
204 // expected-error@+1 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}
205 for (ii = 0; ii < 10; ii = ii + (int)(0.8 - 0.45))
206 c[ii] = a[ii];
207
208 #pragma omp target teams distribute parallel for
209 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
210 // expected-error@+1 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}
211 for (ii = 0; (ii) < 10; ii -= 25)
212 c[ii] = a[ii];
213
214 #pragma omp target teams distribute parallel for
215 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
216 // expected-error@+1 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}
217 for (ii = 0; (ii < 10); ii -= 0)
218 c[ii] = a[ii];
219
220 #pragma omp target teams distribute parallel for
221 // expected-note@+2 {{loop step is expected to be negative due to this condition}}
222 // expected-error@+1 {{increment expression must cause 'ii' to decrease on each iteration of OpenMP for loop}}
223 for (ii = 0; ii > 10; (ii += 0))
224 c[ii] = a[ii];
225
226 #pragma omp target teams distribute parallel for
227 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
228 // expected-error@+1 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}
229 for (ii = 0; ii < 10; (ii) = (1 - 1) + (ii))
230 c[ii] = a[ii];
231
232 #pragma omp target teams distribute parallel for
233 // expected-note@+2 {{loop step is expected to be negative due to this condition}}
234 // expected-error@+1 {{increment expression must cause 'ii' to decrease on each iteration of OpenMP for loop}}
235 for ((ii = 0); ii > 10; (ii -= 0))
236 c[ii] = a[ii];
237
238 #pragma omp target teams distribute parallel for
239 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
240 // expected-error@+1 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}
241 for (ii = 0; (ii < 10); (ii -= 0))
242 c[ii] = a[ii];
243
244 #pragma omp target teams distribute parallel for firstprivate(ii) // expected-note {{defined as firstprivate}}
245 // expected-error@+1 {{loop iteration variable in the associated loop of 'omp target teams distribute parallel for' directive may not be firstprivate, predetermined as private}}
246 for (ii = 0; ii < 10; ii++)
247 c[ii] = a[ii];
248
249 #pragma omp target teams distribute parallel for private(ii) // OK
250 for (ii = 0; ii < 10; ii++)
251 c[ii] = a[ii];
252
253 #pragma omp target teams distribute parallel for lastprivate(ii) // OK
254 for (ii = 0; ii < 10; ii++)
255 c[ii] = a[ii];
256
257 #pragma omp target teams distribute parallel for
258 // expected-error@+1 {{loop iteration variable in the associated loop of 'omp target teams distribute parallel for' directive may not be threadprivate or thread local, predetermined as private}}
259 for (sii = 0; sii < 10; sii++)
260 c[sii] = a[sii];
261
262 {
263 #pragma omp target teams distribute parallel for collapse(2)
264 for (ii = 0; ii < 10; ii += 1)
265 for (globalii = 0; globalii < 10; globalii += 1)
266 c[globalii] += a[globalii] + ii;
267 }
268
269 #pragma omp target teams distribute parallel for
270 // omp4-error@+1 {{statement after '#pragma omp target teams distribute parallel for' must be a for loop}}
271 for (auto &item : a) {
272 item = item + 1;
273 }
274
275 #pragma omp target teams distribute parallel for
276 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
277 // expected-error@+1 {{increment expression must cause 'i' to increase on each iteration of OpenMP for loop}}
278 for (unsigned i = 9; i < 10; i--) {
279 c[i] = a[i] + b[i];
280 }
281
282 int(*lb)[4] = nullptr;
283 #pragma omp target teams distribute parallel for
284 for (int(*p)[4] = lb; p < lb + 8; ++p) {
285 }
286
287 #pragma omp target teams distribute parallel for
288 // expected-warning@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
289 for (int a{0}; a < 10; ++a) {
290 }
291
292 return 0;
293 }
294
295 // Iterators allowed in openmp for-loops.
296 namespace std {
297 struct random_access_iterator_tag {};
298 template <class Iter>
299 struct iterator_traits {
300 typedef typename Iter::difference_type difference_type;
301 typedef typename Iter::iterator_category iterator_category;
302 };
303 template <class Iter>
304 typename iterator_traits<Iter>::difference_type
distance(Iter first,Iter last)305 distance(Iter first, Iter last) { return first - last; }
306 }
307 class Iter0 {
308 public:
Iter0()309 Iter0() {}
Iter0(const Iter0 &)310 Iter0(const Iter0 &) {}
operator ++()311 Iter0 operator++() { return *this; }
operator --()312 Iter0 operator--() { return *this; }
operator <(Iter0 a)313 bool operator<(Iter0 a) { return true; }
314 };
315 // expected-note@+2 {{candidate function not viable: no known conversion from 'GoodIter' to 'Iter0' for 1st argument}}
316 // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'Iter0' for 1st argument}}
operator -(Iter0 a,Iter0 b)317 int operator-(Iter0 a, Iter0 b) { return 0; }
318 class Iter1 {
319 public:
Iter1(float f=0.0f,double d=0.0)320 Iter1(float f = 0.0f, double d = 0.0) {}
Iter1(const Iter1 &)321 Iter1(const Iter1 &) {}
operator ++()322 Iter1 operator++() { return *this; }
operator --()323 Iter1 operator--() { return *this; }
operator <(Iter1 a)324 bool operator<(Iter1 a) { return true; }
operator >=(Iter1 a)325 bool operator>=(Iter1 a) { return false; }
326 };
327 class GoodIter {
328 public:
GoodIter()329 GoodIter() {}
GoodIter(const GoodIter &)330 GoodIter(const GoodIter &) {}
GoodIter(int fst,int snd)331 GoodIter(int fst, int snd) {}
operator =(const GoodIter & that)332 GoodIter &operator=(const GoodIter &that) { return *this; }
operator =(const Iter0 & that)333 GoodIter &operator=(const Iter0 &that) { return *this; }
operator +=(int x)334 GoodIter &operator+=(int x) { return *this; }
GoodIter(void *)335 explicit GoodIter(void *) {}
operator ++()336 GoodIter operator++() { return *this; }
operator --()337 GoodIter operator--() { return *this; }
operator !()338 bool operator!() { return true; }
operator <(GoodIter a)339 bool operator<(GoodIter a) { return true; }
operator <=(GoodIter a)340 bool operator<=(GoodIter a) { return true; }
operator >=(GoodIter a)341 bool operator>=(GoodIter a) { return false; }
342 typedef int difference_type;
343 typedef std::random_access_iterator_tag iterator_category;
344 };
345 // expected-note@+2 {{candidate function not viable: no known conversion from 'const Iter0' to 'GoodIter' for 2nd argument}}
346 // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'GoodIter' for 1st argument}}
operator -(GoodIter a,GoodIter b)347 int operator-(GoodIter a, GoodIter b) { return 0; }
348 // expected-note@+1 3 {{candidate function not viable: requires single argument 'a', but 2 arguments were provided}}
operator -(GoodIter a)349 GoodIter operator-(GoodIter a) { return a; }
350 // expected-note@+2 {{candidate function not viable: no known conversion from 'const Iter0' to 'int' for 2nd argument}}
351 // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'GoodIter' for 1st argument}}
operator -(GoodIter a,int v)352 GoodIter operator-(GoodIter a, int v) { return GoodIter(); }
353 // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter0' to 'GoodIter' for 1st argument}}
operator +(GoodIter a,int v)354 GoodIter operator+(GoodIter a, int v) { return GoodIter(); }
355 // expected-note@+2 {{candidate function not viable: no known conversion from 'GoodIter' to 'int' for 1st argument}}
356 // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'int' for 1st argument}}
operator -(int v,GoodIter a)357 GoodIter operator-(int v, GoodIter a) { return GoodIter(); }
358 // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter0' to 'int' for 1st argument}}
operator +(int v,GoodIter a)359 GoodIter operator+(int v, GoodIter a) { return GoodIter(); }
360
test_with_random_access_iterator()361 int test_with_random_access_iterator() {
362 GoodIter begin, end;
363 Iter0 begin0, end0;
364 #pragma omp target teams distribute parallel for
365 for (GoodIter I = begin; I < end; ++I)
366 ++I;
367 #pragma omp target teams distribute parallel for
368 // expected-error@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
369 for (GoodIter &I = begin; I < end; ++I)
370 ++I;
371 #pragma omp target teams distribute parallel for
372 for (GoodIter I = begin; I >= end; --I)
373 ++I;
374 #pragma omp target teams distribute parallel for
375 // expected-warning@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
376 for (GoodIter I(begin); I < end; ++I)
377 ++I;
378 #pragma omp target teams distribute parallel for
379 // expected-warning@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
380 for (GoodIter I(nullptr); I < end; ++I)
381 ++I;
382 #pragma omp target teams distribute parallel for
383 // expected-warning@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
384 for (GoodIter I(0); I < end; ++I)
385 ++I;
386 #pragma omp target teams distribute parallel for
387 // expected-warning@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
388 for (GoodIter I(1, 2); I < end; ++I)
389 ++I;
390 #pragma omp target teams distribute parallel for
391 for (begin = GoodIter(0); begin < end; ++begin)
392 ++begin;
393 #pragma omp target teams distribute parallel for
394 // expected-error@+2 {{invalid operands to binary expression ('GoodIter' and 'const Iter0')}}
395 // expected-error@+1 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}
396 for (begin = begin0; begin < end; ++begin)
397 ++begin;
398 #pragma omp target teams distribute parallel for
399 // expected-error@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
400 for (++begin; begin < end; ++begin)
401 ++begin;
402 #pragma omp target teams distribute parallel for
403 for (begin = end; begin < end; ++begin)
404 ++begin;
405 #pragma omp target teams distribute parallel for
406 // omp4-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} omp5-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'I'}}
407 for (GoodIter I = begin; I - I; ++I)
408 ++I;
409 #pragma omp target teams distribute parallel for
410 // omp4-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} omp5-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'I'}}
411 for (GoodIter I = begin; begin < end; ++I)
412 ++I;
413 #pragma omp target teams distribute parallel for
414 // omp4-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} omp5-error@+1 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'I'}}
415 for (GoodIter I = begin; !I; ++I)
416 ++I;
417 #pragma omp target teams distribute parallel for
418 // expected-note@+2 {{loop step is expected to be negative due to this condition}}
419 // expected-error@+1 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
420 for (GoodIter I = begin; I >= end; I = I + 1)
421 ++I;
422 #pragma omp target teams distribute parallel for
423 for (GoodIter I = begin; I >= end; I = I - 1)
424 ++I;
425 #pragma omp target teams distribute parallel for
426 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}}
427 for (GoodIter I = begin; I >= end; I = -I)
428 ++I;
429 #pragma omp target teams distribute parallel for
430 // expected-note@+2 {{loop step is expected to be negative due to this condition}}
431 // expected-error@+1 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
432 for (GoodIter I = begin; I >= end; I = 2 + I)
433 ++I;
434 #pragma omp target teams distribute parallel for
435 // expected-error@+1 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}}
436 for (GoodIter I = begin; I >= end; I = 2 - I)
437 ++I;
438 #pragma omp target teams distribute parallel for
439 // expected-error@+1 {{invalid operands to binary expression ('Iter0' and 'int')}}
440 for (Iter0 I = begin0; I < end0; ++I)
441 ++I;
442 #pragma omp target teams distribute parallel for
443 // Initializer is constructor without params.
444 // expected-error@+2 {{invalid operands to binary expression ('Iter0' and 'int')}}
445 // expected-warning@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
446 for (Iter0 I; I < end0; ++I)
447 ++I;
448 Iter1 begin1, end1;
449 #pragma omp target teams distribute parallel for
450 // expected-error@+2 {{invalid operands to binary expression ('Iter1' and 'Iter1')}}
451 // expected-error@+1 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}
452 for (Iter1 I = begin1; I < end1; ++I)
453 ++I;
454 #pragma omp target teams distribute parallel for
455 // expected-note@+2 {{loop step is expected to be negative due to this condition}}
456 // expected-error@+1 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
457 for (Iter1 I = begin1; I >= end1; ++I)
458 ++I;
459 #pragma omp target teams distribute parallel for
460 // expected-error@+4 {{invalid operands to binary expression ('Iter1' and 'float')}}
461 // expected-error@+3 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}
462 // Initializer is constructor with all default params.
463 // expected-warning@+1 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
464 for (Iter1 I; I < end1; ++I) {
465 }
466 return 0;
467 }
468
469 template <typename IT, int ST>
470 class TC {
471 public:
dotest_lt(IT begin,IT end)472 int dotest_lt(IT begin, IT end) {
473 #pragma omp target teams distribute parallel for
474 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
475 // expected-error@+1 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}}
476 for (IT I = begin; I < end; I = I + ST) {
477 ++I;
478 }
479 #pragma omp target teams distribute parallel for
480 // expected-note@+2 {{loop step is expected to be positive due to this condition}}
481 // expected-error@+1 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}}
482 for (IT I = begin; I <= end; I += ST) {
483 ++I;
484 }
485 #pragma omp target teams distribute parallel for
486 for (IT I = begin; I < end; ++I) {
487 ++I;
488 }
489 }
490
step()491 static IT step() {
492 return IT(ST);
493 }
494 };
495 template <typename IT, int ST = 0>
dotest_gt(IT begin,IT end)496 int dotest_gt(IT begin, IT end) {
497 #pragma omp target teams distribute parallel for
498 // expected-note@+2 2 {{loop step is expected to be negative due to this condition}}
499 // expected-error@+1 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
500 for (IT I = begin; I >= end; I = I + ST) {
501 ++I;
502 }
503 #pragma omp target teams distribute parallel for
504 // expected-note@+2 2 {{loop step is expected to be negative due to this condition}}
505 // expected-error@+1 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
506 for (IT I = begin; I >= end; I += ST) {
507 ++I;
508 }
509
510 #pragma omp target teams distribute parallel for
511 // expected-note@+2 {{loop step is expected to be negative due to this condition}}
512 // expected-error@+1 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
513 for (IT I = begin; I >= end; ++I) {
514 ++I;
515 }
516
517 #pragma omp target teams distribute parallel for
518 for (IT I = begin; I < end; I += TC<int, ST>::step()) {
519 ++I;
520 }
521 }
522
test_with_template()523 void test_with_template() {
524 GoodIter begin, end;
525 TC<GoodIter, 100> t1;
526 TC<GoodIter, -100> t2;
527 t1.dotest_lt(begin, end);
528 t2.dotest_lt(begin, end); // expected-note {{in instantiation of member function 'TC<GoodIter, -100>::dotest_lt' requested here}}
529 dotest_gt(begin, end); // expected-note {{in instantiation of function template specialization 'dotest_gt<GoodIter, 0>' requested here}}
530 dotest_gt<unsigned, 10>(0, 100); // expected-note {{in instantiation of function template specialization 'dotest_gt<unsigned int, 10>' requested here}}
531 }
532
test_loop_break()533 void test_loop_break() {
534 const int N = 100;
535 float a[N], b[N], c[N];
536 #pragma omp target teams distribute parallel for
537 for (int i = 0; i < 10; i++) {
538 c[i] = a[i] + b[i];
539 for (int j = 0; j < 10; ++j) {
540 if (a[i] > b[j])
541 break; // OK in nested loop
542 }
543 switch (i) {
544 case 1:
545 b[i]++;
546 break;
547 default:
548 break;
549 }
550 if (c[i] > 10)
551 break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}
552
553 if (c[i] > 11)
554 break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}
555 }
556
557 #pragma omp target teams distribute parallel for
558 for (int i = 0; i < 10; i++) {
559 for (int j = 0; j < 10; j++) {
560 c[i] = a[i] + b[i];
561 if (c[i] > 10) {
562 if (c[i] < 20) {
563 break; // OK
564 }
565 }
566 }
567 }
568 }
569
test_loop_eh()570 void test_loop_eh() {
571 const int N = 100;
572 float a[N], b[N], c[N];
573 #pragma omp target teams distribute parallel for
574 for (int i = 0; i < 10; i++) {
575 c[i] = a[i] + b[i];
576 try { // OK
577 for (int j = 0; j < 10; ++j) {
578 if (a[i] > b[j])
579 throw a[i]; // OK
580 }
581 throw a[i]; // OK
582 } catch (float f) {
583 if (f > 0.1)
584 throw a[i]; // OK
585 return; // expected-error {{cannot return from OpenMP region}}
586 }
587 switch (i) {
588 case 1:
589 b[i]++;
590 break;
591 default:
592 break;
593 }
594 for (int j = 0; j < 10; j++) {
595 if (c[i] > 10)
596 throw c[i]; // OK
597 }
598 }
599 if (c[9] > 10)
600 throw c[9]; // OK
601
602 #pragma omp target teams distribute parallel for
603 for (int i = 0; i < 10; ++i) {
604 struct S {
605 void g() { throw 0; }
606 };
607 }
608 }
609
test_loop_firstprivate_lastprivate()610 void test_loop_firstprivate_lastprivate() {
611 S s(4);
612 // expected-error@+1 {{lastprivate variable cannot be firstprivate}} expected-note@+1 {{defined as lastprivate}}
613 #pragma omp target teams distribute parallel for lastprivate(s) firstprivate(s) // expected-error {{calling a private constructor of class 'S'}}
614 for (int i = 0; i < 16; ++i)
615 ;
616 }
617
test_ordered()618 void test_ordered() {
619 #pragma omp target teams distribute parallel for ordered // expected-error {{unexpected OpenMP clause 'ordered' in directive '#pragma omp target teams distribute parallel for'}}
620 for (int i = 0; i < 16; ++i)
621 ;
622 }
623
test_nowait()624 void test_nowait() {
625 #pragma omp target teams distribute parallel for nowait nowait // expected-error {{directive '#pragma omp target teams distribute parallel for' cannot contain more than one 'nowait' clause}}
626 for (int i = 0; i < 16; ++i)
627 ;
628 }
629
630