1 // RUN: %clang_cc1 -verify -fopenmp -ferror-limit 200 %s
2 
3 // RUN: %clang_cc1 -verify -fopenmp-simd -ferror-limit 200 %s
4 // rUN: %clang_cc1 -DCCODE -verify -fopenmp -ferror-limit 200 -x c %s
5 #ifdef CCODE
6 void foo(int arg) {
7   const int n = 0;
8 
9   double marr[10][10][10];
10 
11   #pragma omp target teams map(marr[2][0:2][0:2]) // expected-error {{array section does not specify contiguous storage}}
12   {}
13   #pragma omp target teams map(marr[:][0:][:])
14   {}
15   #pragma omp target teams map(marr[:][1:][:]) // expected-error {{array section does not specify contiguous storage}}
16   {}
17   #pragma omp target teams map(marr[:][n:][:])
18   {}
19 }
20 #else
21 template <typename T, int I>
22 struct SA {
23   static int ss;
24   #pragma omp threadprivate(ss) // expected-note {{defined as threadprivate or thread local}}
25   float a;
26   int b[12];
27   float *c;
28   T d;
29   float e[I];
30   T *f;
31   void func(int arg) {
32     #pragma omp target teams map(arg,a,d)
33     {}
34     #pragma omp target teams map(arg[2:2],a,d) // expected-error {{subscripted value is not an array or pointer}}
35     {}
36     #pragma omp target teams map(arg,a*2) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
37     {}
38     #pragma omp target teams map(arg,(c+1)[2]) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
39     {}
40     #pragma omp target teams map(arg,a[:2],d) // expected-error {{subscripted value is not an array or pointer}}
41     {}
42     #pragma omp target teams map(arg,a,d[:2]) // expected-error {{subscripted value is not an array or pointer}}
43     {}
44 
45     #pragma omp target teams map(to:ss) // expected-error {{threadprivate variables are not allowed in 'map' clause}}
46     {}
47 
48     #pragma omp target teams map(to:b,e)
49     {}
50     #pragma omp target teams map(to:b,e) map(to:b) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
51     {}
52     #pragma omp target teams map(to:b[:2],e)
53     {}
54     #pragma omp target teams map(to:b,e[:])
55     {}
56     #pragma omp target teams map(b[-1:]) // expected-error {{array section must be a subset of the original array}}
57     {}
58     #pragma omp target teams map(b[:-1]) // expected-error {{section length is evaluated to a negative value -1}}
59     {}
60 
61     #pragma omp target teams map(always, tofrom: c,f)
62     {}
63     #pragma omp target teams map(always, tofrom: c[1:2],f)
64     {}
65     #pragma omp target teams map(always, tofrom: c,f[1:2])
66     {}
67     #pragma omp target teams map(always, tofrom: c[:],f)   // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
68     {}
69     #pragma omp target teams map(always, tofrom: c,f[:])   // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
70     {}
71     return;
72   }
73 };
74 
75 struct SB {
76   unsigned A;
77   unsigned B;
78   float Arr[100];
79   float *Ptr;
80   float *foo() {
81     return &Arr[0];
82   }
83 };
84 
85 struct SC {
86   unsigned A : 2;
87   unsigned B : 3;
88   unsigned C;
89   unsigned D;
90   float Arr[100];
91   SB S;
92   SB ArrS[100];
93   SB *PtrS;
94   SB *&RPtrS;
95   float *Ptr;
96 
97   SC(SB *&_RPtrS) : RPtrS(_RPtrS) {}
98 };
99 
100 union SD {
101   unsigned A;
102   float B;
103 };
104 
105 void SAclient(int arg) {
106   SA<int,123> s;
107   s.func(arg); // expected-note {{in instantiation of member function}}
108   double marr[10][10][10];
109   double marr2[5][10][1];
110   double mvla[5][arg][10];
111   double ***mptr;
112   const int n = 0;
113   const int m = 1;
114   double mvla2[5][arg][m+n+10];
115 
116   SB *p;
117 
118   SD u;
119   SC r(p),t(p);
120   #pragma omp target teams map(r)
121   {}
122   #pragma omp target teams map(marr[2][0:2][0:2]) // expected-error {{array section does not specify contiguous storage}}
123   {}
124   #pragma omp target teams map(marr[:][0:2][0:2]) // expected-error {{array section does not specify contiguous storage}}
125   {}
126   #pragma omp target teams map(marr[2][3][0:2])
127   {}
128   #pragma omp target teams map(marr[:][:][:])
129   {}
130   #pragma omp target teams map(marr[:2][:][:])
131   {}
132   #pragma omp target teams map(marr[arg:][:][:])
133   {}
134   #pragma omp target teams map(marr[arg:])
135   {}
136   #pragma omp target teams map(marr[arg:][:arg][:]) // correct if arg is the size of dimension 2
137   {}
138   #pragma omp target teams map(marr[:arg][:])
139   {}
140   #pragma omp target teams map(marr[:arg][n:])
141   {}
142   #pragma omp target teams map(marr[:][:arg][n:]) // correct if arg is the size of  dimension 2
143   {}
144   #pragma omp target teams map(marr[:][:m][n:]) // expected-error {{array section does not specify contiguous storage}}
145   {}
146   #pragma omp target teams map(marr[n:m][:arg][n:])
147   {}
148   #pragma omp target teams map(marr[:2][:1][:]) // expected-error {{array section does not specify contiguous storage}}
149   {}
150   #pragma omp target teams map(marr[:2][1:][:]) // expected-error {{array section does not specify contiguous storage}}
151   {}
152   #pragma omp target teams map(marr[:2][:][:1]) // expected-error {{array section does not specify contiguous storage}}
153   {}
154   #pragma omp target teams map(marr[:2][:][1:]) // expected-error {{array section does not specify contiguous storage}}
155   {}
156   #pragma omp target teams map(marr[:1][:2][:])
157   {}
158   #pragma omp target teams map(marr[:1][0][:])
159   {}
160   #pragma omp target teams map(marr[:arg][:2][:]) // correct if arg is 1
161   {}
162   #pragma omp target teams map(marr[:1][3:1][:2])
163   {}
164   #pragma omp target teams map(marr[:1][3:arg][:2]) // correct if arg is 1
165   {}
166   #pragma omp target teams map(marr[:1][3:2][:2]) // expected-error {{array section does not specify contiguous storage}}
167   {}
168   #pragma omp target teams map(marr[:2][:10][:])
169   {}
170   #pragma omp target teams map(marr[:2][:][:5+5])
171   {}
172   #pragma omp target teams map(marr[:2][2+2-4:][0:5+5])
173   {}
174 
175   #pragma omp target teams map(marr[:1][:2][0]) // expected-error {{array section does not specify contiguous storage}}
176   {}
177   #pragma omp target teams map(marr2[:1][:2][0])
178   {}
179 
180   #pragma omp target teams map(mvla[:1][:][0]) // correct if the size of dimension 2 is 1.
181   {}
182   #pragma omp target teams map(mvla[:2][:arg][:]) // correct if arg is the size of dimension 2.
183   {}
184   #pragma omp target teams map(mvla[:1][:2][0]) // expected-error {{array section does not specify contiguous storage}}
185    {}
186   #pragma omp target teams map(mvla[1][2:arg][:])
187   {}
188   #pragma omp target teams map(mvla[:1][:][:])
189   {}
190   #pragma omp target teams map(mvla2[:1][:2][:11])
191   {}
192   #pragma omp target teams map(mvla2[:1][:2][:10]) // expected-error {{array section does not specify contiguous storage}}
193   {}
194 
195   #pragma omp target teams map(mptr[:2][2+2-4:1][0:5+5]) // expected-error {{array section does not specify contiguous storage}}
196   {}
197   #pragma omp target teams map(mptr[:1][:2-1][2:4-3])
198   {}
199   #pragma omp target teams map(mptr[:1][:arg][2:4-3]) // correct if arg is 1.
200   {}
201   #pragma omp target teams map(mptr[:1][:2-1][0:2])
202   {}
203   #pragma omp target teams map(mptr[:1][:2][0:2]) // expected-error {{array section does not specify contiguous storage}}
204   {}
205   #pragma omp target teams map(mptr[:1][:][0:2]) // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
206   {}
207   #pragma omp target teams map(mptr[:2][:1][0:2]) // expected-error {{array section does not specify contiguous storage}}
208   {}
209 
210   #pragma omp target teams map(r.ArrS[0].B)
211   {}
212   #pragma omp target teams map(r.ArrS[:1].B) // expected-error {{OpenMP array section is not allowed here}}
213   {}
214   #pragma omp target teams map(r.ArrS[:arg].B) // expected-error {{OpenMP array section is not allowed here}}
215   {}
216   #pragma omp target teams map(r.ArrS[0].Arr[1:23])
217   {}
218   #pragma omp target teams map(r.ArrS[0].Arr[1:arg])
219   {}
220   #pragma omp target teams map(r.ArrS[0].Arr[arg:23])
221   {}
222   #pragma omp target teams map(r.ArrS[0].Error) // expected-error {{no member named 'Error' in 'SB'}}
223   {}
224   #pragma omp target teams map(r.ArrS[0].A, r.ArrS[1].A) // expected-error {{multiple array elements associated with the same variable are not allowed in map clauses of the same construct}} expected-note {{used here}}
225   {}
226   #pragma omp target teams map(r.ArrS[0].A, t.ArrS[1].A)
227   {}
228   #pragma omp target teams map(r.PtrS[0], r.PtrS->B) // expected-error {{same pointer derreferenced in multiple different ways in map clause expressions}} expected-note {{used here}}
229   {}
230   #pragma omp target teams map(r.RPtrS[0], r.RPtrS->B) // expected-error {{same pointer derreferenced in multiple different ways in map clause expressions}} expected-note {{used here}}
231   {}
232   #pragma omp target teams map(r.S.Arr[:12])
233   {}
234   #pragma omp target teams map(r.S.foo()[:12]) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
235   {}
236   #pragma omp target teams map(r.C, r.D)
237   {}
238   #pragma omp target teams map(r.C, r.C) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
239   {}
240   #pragma omp target teams map(r.C) map(r.C) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
241   {}
242   #pragma omp target teams map(r.C, r.S)  // this would be an error only caught at runtime - Sema would have to make sure there is not way for the missing data between fields to be mapped somewhere else.
243   {}
244   #pragma omp target teams map(r, r.S)  // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
245   {}
246   #pragma omp target teams map(r.C, t.C)
247   {}
248   #pragma omp target teams map(r.A)   // expected-error {{bit fields cannot be used to specify storage in a 'map' clause}}
249   {}
250   #pragma omp target teams map(r.Arr)
251   {}
252   #pragma omp target teams map(r.Arr[3:5])
253   {}
254   #pragma omp target teams map(r.Ptr[3:5])
255   {}
256   #pragma omp target teams map(r.ArrS[3:5].A)   // expected-error {{OpenMP array section is not allowed here}}
257   {}
258   #pragma omp target teams map(r.ArrS[3:5].Arr[6:7])   // expected-error {{OpenMP array section is not allowed here}}
259   {}
260   #pragma omp target teams map(r.ArrS[3].Arr[6:7])
261   {}
262   #pragma omp target teams map(r.S.Arr[4:5])
263   {}
264   #pragma omp target teams map(r.S.Ptr[4:5])
265   {}
266   #pragma omp target teams map(r.S.Ptr[:])  // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
267   {}
268   #pragma omp target teams map((p+1)->A)  // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
269   {}
270   #pragma omp target teams map(u.B)  // expected-error {{mapping of union members is not allowed}}
271   {}
272 
273   #pragma omp target data map(to: r.C) //expected-note {{used here}}
274   {
275     #pragma omp target teams map(r.D)  // expected-error {{original storage of expression in data environment is shared but data environment do not fully contain mapped expression storage}}
276     {}
277   }
278 
279   #pragma omp target data map(to: t.Ptr) //expected-note {{used here}}
280   {
281     #pragma omp target teams map(t.Ptr[:23])  // expected-error {{pointer cannot be mapped along with a section derived from itself}}
282     {}
283   }
284 
285   #pragma omp target data map(to: t.C, t.D)
286   {
287   #pragma omp target data map(to: t.C)
288   {
289     #pragma omp target teams map(t.D)
290     {}
291   }
292   }
293 
294   #pragma omp target data map(to: t)
295   {
296   #pragma omp target data map(to: t.C)
297   {
298     #pragma omp target teams map(t.D)
299     {}
300   }
301   }
302 }
303 void foo() {
304 }
305 
306 bool foobool(int argc) {
307   return argc;
308 }
309 
310 struct S1; // expected-note 2 {{declared here}}
311 extern S1 a;
312 class S2 {
313   mutable int a;
314 public:
315   S2():a(0) { }
316   S2(S2 &s2):a(s2.a) { }
317   static float S2s;
318   static const float S2sc;
319 };
320 const float S2::S2sc = 0;
321 const S2 b;
322 const S2 ba[5];
323 class S3 {
324   int a;
325 public:
326   S3():a(0) { }
327   S3(S3 &s3):a(s3.a) { }
328 };
329 const S3 c;
330 const S3 ca[5];
331 extern const int f;
332 class S4 {
333   int a;
334   S4();
335   S4(const S4 &s4);
336 public:
337   S4(int v):a(v) { }
338 };
339 class S5 {
340   int a;
341   S5():a(0) {}
342   S5(const S5 &s5):a(s5.a) { }
343 public:
344   S5(int v):a(v) { }
345 };
346 
347 template <class T>
348 struct S6;
349 
350 template<>
351 struct S6<int>
352 {
353    virtual void foo();
354 };
355 
356 S3 h;
357 #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
358 
359 typedef int from;
360 
361 template <typename T, int I> // expected-note {{declared here}}
362 T tmain(T argc) {
363   const T d = 5;
364   const T da[5] = { 0 };
365   S4 e(4);
366   S5 g(5);
367   T i, t[20];
368   T &j = i;
369   T *k = &j;
370   T x;
371   T y;
372   T to, tofrom, always;
373   const T (&l)[5] = da;
374 #pragma omp target teams map // expected-error {{expected '(' after 'map'}}
375   {}
376 #pragma omp target teams map( // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected expression}}
377   {}
378 #pragma omp target teams map() // expected-error {{expected expression}}
379   {}
380 #pragma omp target teams map(alloc) // expected-error {{use of undeclared identifier 'alloc'}}
381   {}
382 #pragma omp target teams map(to argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected ',' or ')' in 'map' clause}}
383   {}
384 #pragma omp target teams map(to:) // expected-error {{expected expression}}
385   {}
386 #pragma omp target teams map(from: argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
387   {}
388 #pragma omp target teams map(x: y) // expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}}
389   {}
390 #pragma omp target teams map(x)
391   foo();
392 #pragma omp target teams map(tofrom: t[:I])
393   foo();
394 #pragma omp target teams map(T: a) // expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}} expected-error {{incomplete type 'S1' where a complete type is required}}
395   foo();
396 #pragma omp target teams map(T) // expected-error {{'T' does not refer to a value}}
397   foo();
398 #pragma omp target teams map(I) // expected-error 2 {{expected expression containing only member accesses and/or array sections based on named variables}}
399   foo();
400 #pragma omp target teams map(S2::S2s)
401   foo();
402 #pragma omp target teams map(S2::S2sc)
403   foo();
404 #pragma omp target teams map(x)
405   foo();
406 #pragma omp target teams map(to: x)
407   foo();
408 #pragma omp target teams map(to: to)
409   foo();
410 #pragma omp target teams map(to)
411   foo();
412 #pragma omp target teams map(to, x)
413   foo();
414 
415 #pragma omp target data map(to x) // expected-error {{expected ',' or ')' in 'map' clause}}
416 #pragma omp target data map(tofrom: argc > 0 ? x : y) // expected-error 2 {{expected expression containing only member accesses and/or array sections based on named variables}}
417 #pragma omp target data map(argc)
418 #pragma omp target data map(S1) // expected-error {{'S1' does not refer to a value}}
419 #pragma omp target data map(a, b, c, d, f) // expected-error {{incomplete type 'S1' where a complete type is required}}
420 #pragma omp target data map(ba)
421 #pragma omp target data map(ca)
422 #pragma omp target data map(da)
423 #pragma omp target data map(S2::S2s)
424 #pragma omp target data map(S2::S2sc)
425 #pragma omp target data map(e, g)
426 #pragma omp target data map(h) // expected-error {{threadprivate variables are not allowed in 'map' clause}}
427 #pragma omp target data map(k) map(k) // expected-error 2 {{variable already marked as mapped in current construct}} expected-note 2 {{used here}}
428 #pragma omp target teams map(k), map(k[:5]) // expected-error 2 {{pointer cannot be mapped along with a section derived from itself}} expected-note 2 {{used here}}
429   foo();
430 
431 #pragma omp target data map(da)
432 #pragma omp target teams map(da[:4])
433   foo();
434 
435 #pragma omp target data map(k, j, l) // expected-note 2 {{used here}}
436 #pragma omp target data map(k[:4]) // expected-error 2 {{pointer cannot be mapped along with a section derived from itself}}
437 #pragma omp target data map(j)
438 #pragma omp target teams map(l) map(l[:5]) // expected-error 2 {{variable already marked as mapped in current construct}} expected-note 2 {{used here}}
439   foo();
440 
441 #pragma omp target data map(k[:4], j, l[:5]) // expected-note 2 {{used here}}
442 #pragma omp target data map(k) // expected-error 2 {{pointer cannot be mapped along with a section derived from itself}}
443 #pragma omp target data map(j)
444 #pragma omp target teams map(l)
445   foo();
446 
447 #pragma omp target data map(always, tofrom: x)
448 #pragma omp target data map(always: x) // expected-error {{missing map type}}
449 #pragma omp target data map(tofrom, always: x) // expected-error {{incorrect map type modifier, expected 'always'}} expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}}
450 #pragma omp target data map(always, tofrom: always, tofrom, x)
451 #pragma omp target teams map(tofrom j) // expected-error {{expected ',' or ')' in 'map' clause}}
452   foo();
453   return 0;
454 }
455 
456 int main(int argc, char **argv) {
457   const int d = 5;
458   const int da[5] = { 0 };
459   S4 e(4);
460   S5 g(5);
461   int i;
462   int &j = i;
463   int *k = &j;
464   S6<int> m;
465   int x;
466   int y;
467   int to, tofrom, always;
468   const int (&l)[5] = da;
469 #pragma omp target data map // expected-error {{expected '(' after 'map'}} expected-error {{expected at least one 'map' or 'use_device_ptr' clause for '#pragma omp target data'}}
470 #pragma omp target data map( // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected expression}}
471 #pragma omp target data map() // expected-error {{expected expression}}
472 #pragma omp target data map(alloc) // expected-error {{use of undeclared identifier 'alloc'}}
473 #pragma omp target data map(to argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected ',' or ')' in 'map' clause}}
474 #pragma omp target data map(to:) // expected-error {{expected expression}}
475 #pragma omp target data map(from: argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
476 #pragma omp target data map(x: y) // expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}}
477 #pragma omp target teams map(x)
478   foo();
479 
480 #pragma omp target teams map(to: x)
481   foo();
482 #pragma omp target teams map(to: to)
483   foo();
484 #pragma omp target teams map(to)
485   foo();
486 #pragma omp target teams map(to, x)
487   foo();
488 
489 #pragma omp target data map(to x) // expected-error {{expected ',' or ')' in 'map' clause}}
490 #pragma omp target data map(tofrom: argc > 0 ? argv[1] : argv[2]) // expected-error {{xpected expression containing only member accesses and/or array sections based on named variables}}
491 #pragma omp target data map(argc)
492 #pragma omp target data map(S1) // expected-error {{'S1' does not refer to a value}}
493 #pragma omp target data map(a, b, c, d, f) // expected-error {{incomplete type 'S1' where a complete type is required}}
494 #pragma omp target data map(argv[1])
495 #pragma omp target data map(ba)
496 #pragma omp target data map(ca)
497 #pragma omp target data map(da)
498 #pragma omp target data map(S2::S2s)
499 #pragma omp target data map(S2::S2sc)
500 #pragma omp target data map(e, g)
501 #pragma omp target data map(h) // expected-error {{threadprivate variables are not allowed in 'map' clause}}
502 #pragma omp target data map(k), map(k) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
503 #pragma omp target teams map(k), map(k[:5]) // expected-error {{pointer cannot be mapped along with a section derived from itself}} expected-note {{used here}}
504   foo();
505 
506 #pragma omp target data map(da)
507 #pragma omp target teams map(da[:4])
508   foo();
509 
510 #pragma omp target data map(k, j, l) // expected-note {{used here}}
511 #pragma omp target data map(k[:4]) // expected-error {{pointer cannot be mapped along with a section derived from itself}}
512 #pragma omp target data map(j)
513 #pragma omp target teams map(l) map(l[:5]) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
514   foo();
515 
516 #pragma omp target data map(k[:4], j, l[:5]) // expected-note {{used here}}
517 #pragma omp target data map(k) // expected-error {{pointer cannot be mapped along with a section derived from itself}}
518 #pragma omp target data map(j)
519 #pragma omp target teams map(l)
520   foo();
521 
522 #pragma omp target data map(always, tofrom: x)
523 #pragma omp target data map(always: x) // expected-error {{missing map type}}
524 #pragma omp target data map(tofrom, always: x) // expected-error {{incorrect map type modifier, expected 'always'}} expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}}
525 #pragma omp target data map(always, tofrom: always, tofrom, x)
526 #pragma omp target teams map(tofrom j) // expected-error {{expected ',' or ')' in 'map' clause}}
527   foo();
528 
529 #pragma omp target teams private(j) map(j) // expected-error {{private variable cannot be in a map clause in '#pragma omp target teams' directive}}  expected-note {{defined as private}}
530   {}
531 
532 #pragma omp target teams firstprivate(j) map(j)  // expected-error {{firstprivate variable cannot be in a map clause in '#pragma omp target teams' directive}} expected-note {{defined as firstprivate}}
533   {}
534 
535 #pragma omp target teams map(m)
536   {}
537 
538   return tmain<int, 3>(argc)+tmain<from, 4>(argc); // expected-note {{in instantiation of function template specialization 'tmain<int, 3>' requested here}} expected-note {{in instantiation of function template specialization 'tmain<int, 4>' requested here}}
539 }
540 #endif
541