1 // RUN: %clang_cc1 -verify -fopenmp -ferror-limit 100 %s
2 template <typename T, int I>
3 struct SA {
4   static int ss;
5   #pragma omp threadprivate(ss) // expected-note {{defined as threadprivate or thread local}}
6   float a;
7   int b[12];
8   float *c;
9   T d;
10   float e[I];
11   T *f;
12   void func(int arg) {
13     #pragma omp target map(arg,a,d)
14     {}
15     #pragma omp target map(arg[2:2],a,d) // expected-error {{subscripted value is not an array or pointer}}
16     {}
17     #pragma omp target map(arg,a*2) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
18     {}
19     #pragma omp target map(arg,(c+1)[2]) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
20     {}
21     #pragma omp target map(arg,a[:2],d) // expected-error {{subscripted value is not an array or pointer}}
22     {}
23     #pragma omp target map(arg,a,d[:2]) // expected-error {{subscripted value is not an array or pointer}}
24     {}
25 
26     #pragma omp target map(to:ss) // expected-error {{threadprivate variables are not allowed in map clause}}
27     {}
28 
29     #pragma omp target map(to:b,e)
30     {}
31     #pragma omp target map(to:b,e) map(to:b) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
32     {}
33     #pragma omp target map(to:b[:2],e)
34     {}
35     #pragma omp target map(to:b,e[:])
36     {}
37 
38     #pragma omp target map(always, tofrom: c,f)
39     {}
40     #pragma omp target map(always, tofrom: c[1:2],f)
41     {}
42     #pragma omp target map(always, tofrom: c,f[1:2])
43     {}
44     #pragma omp target map(always, tofrom: c[:],f)   // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
45     {}
46     #pragma omp target map(always, tofrom: c,f[:])   // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
47     {}
48     return;
49   }
50 };
51 
52 struct SB {
53   unsigned A;
54   unsigned B;
55   float Arr[100];
56   float *Ptr;
57   float *foo() {
58     return &Arr[0];
59   }
60 };
61 
62 struct SC {
63   unsigned A : 2;
64   unsigned B : 3;
65   unsigned C;
66   unsigned D;
67   float Arr[100];
68   SB S;
69   SB ArrS[100];
70   SB *PtrS;
71   SB *&RPtrS;
72   float *Ptr;
73 
74   SC(SB *&_RPtrS) : RPtrS(_RPtrS) {}
75 };
76 
77 union SD {
78   unsigned A;
79   float B;
80 };
81 
82 void SAclient(int arg) {
83   SA<int,123> s;
84   s.func(arg); // expected-note {{in instantiation of member function}}
85 
86   SB *p;
87 
88   SD u;
89   SC r(p),t(p);
90   #pragma omp target map(r)
91   {}
92   #pragma omp target map(r.ArrS[0].B)
93   {}
94   #pragma omp target map(r.ArrS[0].Arr[1:23])
95   {}
96   #pragma omp target map(r.ArrS[0].Error) // expected-error {{no member named 'Error' in 'SB'}}
97   {}
98   #pragma omp target 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}}
99   {}
100   #pragma omp target map(r.ArrS[0].A, t.ArrS[1].A)
101   {}
102   #pragma omp target map(r.PtrS[0], r.PtrS->B) // expected-error {{same pointer derreferenced in multiple different ways in map clause expressions}} expected-note {{used here}}
103   {}
104   #pragma omp target map(r.RPtrS[0], r.RPtrS->B) // expected-error {{same pointer derreferenced in multiple different ways in map clause expressions}} expected-note {{used here}}
105   {}
106   #pragma omp target map(r.S.Arr[:12])
107   {}
108   #pragma omp target map(r.S.foo()[:12]) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
109   {}
110   #pragma omp target map(r.C, r.D)
111   {}
112   #pragma omp target map(r.C, r.C) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
113   {}
114   #pragma omp target map(r.C) map(r.C) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
115   {}
116   #pragma omp target 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.
117   {}
118   #pragma omp target map(r, r.S)  // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
119   {}
120   #pragma omp target map(r.C, t.C)
121   {}
122   #pragma omp target map(r.A)   // expected-error {{bit fields cannot be used to specify storage in a map clause}}
123   {}
124   #pragma omp target map(r.Arr)
125   {}
126   #pragma omp target map(r.Arr[3:5])
127   {}
128   #pragma omp target map(r.Ptr[3:5])
129   {}
130   #pragma omp target map(r.ArrS[3:5].A)   // expected-error {{OpenMP array section is not allowed here}}
131   {}
132   #pragma omp target map(r.ArrS[3:5].Arr[6:7])   // expected-error {{OpenMP array section is not allowed here}}
133   {}
134   #pragma omp target map(r.ArrS[3].Arr[6:7])
135   {}
136   #pragma omp target map(r.S.Arr[4:5])
137   {}
138   #pragma omp target map(r.S.Ptr[4:5])
139   {}
140   #pragma omp target map(r.S.Ptr[:])  // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
141   {}
142   #pragma omp target map((p+1)->A)  // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
143   {}
144   #pragma omp target map(u.B)  // expected-error {{mapped storage cannot be derived from a union}}
145   {}
146 
147   #pragma omp target data map(to: r.C) //expected-note {{used here}}
148   {
149     #pragma omp target map(r.D)  // expected-error {{original storage of expression in data environment is shared but data environment do not fully contain mapped expression storage}}
150     {}
151   }
152 
153   #pragma omp target data map(to: t.Ptr) //expected-note {{used here}}
154   {
155     #pragma omp target map(t.Ptr[:23])  // expected-error {{pointer cannot be mapped along with a section derived from itself}}
156     {}
157   }
158 
159   #pragma omp target data map(to: t.C, t.D)
160   {
161   #pragma omp target data map(to: t.C)
162   {
163     #pragma omp target map(t.D)
164     {}
165   }
166   }
167 
168   #pragma omp target data map(to: t)
169   {
170   #pragma omp target data map(to: t.C)
171   {
172     #pragma omp target map(t.D)
173     {}
174   }
175   }
176 }
177 void foo() {
178 }
179 
180 bool foobool(int argc) {
181   return argc;
182 }
183 
184 struct S1; // expected-note 2 {{declared here}}
185 extern S1 a;
186 class S2 {
187   mutable int a;
188 public:
189   S2():a(0) { }
190   S2(S2 &s2):a(s2.a) { }
191   static float S2s; // expected-note 4 {{mappable type cannot contain static members}}
192   static const float S2sc; // expected-note 4 {{mappable type cannot contain static members}}
193 };
194 const float S2::S2sc = 0;
195 const S2 b;
196 const S2 ba[5];
197 class S3 {
198   int a;
199 public:
200   S3():a(0) { }
201   S3(S3 &s3):a(s3.a) { }
202 };
203 const S3 c;
204 const S3 ca[5];
205 extern const int f;
206 class S4 {
207   int a;
208   S4();
209   S4(const S4 &s4);
210 public:
211   S4(int v):a(v) { }
212 };
213 class S5 {
214   int a;
215   S5():a(0) {}
216   S5(const S5 &s5):a(s5.a) { }
217 public:
218   S5(int v):a(v) { }
219 };
220 
221 S3 h;
222 #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
223 
224 typedef int from;
225 
226 template <typename T, int I> // expected-note {{declared here}}
227 T tmain(T argc) {
228   const T d = 5;
229   const T da[5] = { 0 };
230   S4 e(4);
231   S5 g(5);
232   T i, t[20];
233   T &j = i;
234   T *k = &j;
235   T x;
236   T y;
237   T to, tofrom, always;
238   const T (&l)[5] = da;
239 #pragma omp target map // expected-error {{expected '(' after 'map'}}
240   {}
241 #pragma omp target map( // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected expression}}
242   {}
243 #pragma omp target map() // expected-error {{expected expression}}
244   {}
245 #pragma omp target map(alloc) // expected-error {{use of undeclared identifier 'alloc'}}
246   {}
247 #pragma omp target map(to argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected ',' or ')' in 'map' clause}}
248   {}
249 #pragma omp target map(to:) // expected-error {{expected expression}}
250   {}
251 #pragma omp target map(from: argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
252   {}
253 #pragma omp target map(x: y) // expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}}
254   {}
255 #pragma omp target map(x)
256   foo();
257 #pragma omp target map(tofrom: t[:I])
258   foo();
259 #pragma omp target 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}}
260   foo();
261 #pragma omp target map(T) // expected-error {{'T' does not refer to a value}}
262   foo();
263 #pragma omp target map(I) // expected-error 2 {{expected expression containing only member accesses and/or array sections based on named variables}}
264   foo();
265 #pragma omp target map(S2::S2s)
266   foo();
267 #pragma omp target map(S2::S2sc)
268   foo();
269 #pragma omp target map(x)
270   foo();
271 #pragma omp target map(to: x)
272   foo();
273 #pragma omp target map(to: to)
274   foo();
275 #pragma omp target map(to)
276   foo();
277 #pragma omp target map(to, x)
278   foo();
279 #pragma omp target data map(to x) // expected-error {{expected ',' or ')' in 'map' clause}}
280 #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}}
281 #pragma omp target data map(argc)
282 #pragma omp target data map(S1) // expected-error {{'S1' does not refer to a value}}
283 #pragma omp target data map(a, b, c, d, f) // expected-error {{incomplete type 'S1' where a complete type is required}} expected-error 2 {{type 'S2' is not mappable to target}}
284 #pragma omp target data map(ba) // expected-error 2 {{type 'S2' is not mappable to target}}
285 #pragma omp target data map(ca)
286 #pragma omp target data map(da)
287 #pragma omp target data map(S2::S2s)
288 #pragma omp target data map(S2::S2sc)
289 #pragma omp target data map(e, g)
290 #pragma omp target data map(h) // expected-error {{threadprivate variables are not allowed in map clause}}
291 #pragma omp target data map(k) map(k) // expected-error 2 {{variable already marked as mapped in current construct}} expected-note 2 {{used here}}
292 #pragma omp target map(k), map(k[:5]) // expected-error 2 {{pointer cannot be mapped along with a section derived from itself}} expected-note 2 {{used here}}
293   foo();
294 #pragma omp target data map(da)
295 #pragma omp target map(da[:4])
296   foo();
297 #pragma omp target data map(k, j, l) // expected-note 2 {{used here}}
298 #pragma omp target data map(k[:4]) // expected-error 2 {{pointer cannot be mapped along with a section derived from itself}}
299 #pragma omp target data map(j)
300 #pragma omp target map(l) map(l[:5]) // expected-error 2 {{variable already marked as mapped in current construct}} expected-note 2 {{used here}}
301   foo();
302 #pragma omp target data map(k[:4], j, l[:5]) // expected-note 4 {{used here}}
303 #pragma omp target data map(k) // expected-error 2 {{pointer cannot be mapped along with a section derived from itself}}
304 #pragma omp target data map(j)
305 #pragma omp target map(l) // expected-error 2 {{original storage of expression in data environment is shared but data environment do not fully contain mapped expression storage}}
306   foo();
307 
308 #pragma omp target data map(always, tofrom: x)
309 #pragma omp target data map(always: x) // expected-error {{missing map type}}
310 #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'}}
311 #pragma omp target data map(always, tofrom: always, tofrom, x)
312 #pragma omp target map(tofrom j) // expected-error {{expected ',' or ')' in 'map' clause}}
313   foo();
314   return 0;
315 }
316 
317 int main(int argc, char **argv) {
318   const int d = 5;
319   const int da[5] = { 0 };
320   S4 e(4);
321   S5 g(5);
322   int i;
323   int &j = i;
324   int *k = &j;
325   int x;
326   int y;
327   int to, tofrom, always;
328   const int (&l)[5] = da;
329 #pragma omp target data map // expected-error {{expected '(' after 'map'}} expected-error {{expected at least one map clause for '#pragma omp target data'}}
330 #pragma omp target data map( // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected expression}}
331 #pragma omp target data map() // expected-error {{expected expression}}
332 #pragma omp target data map(alloc) // expected-error {{use of undeclared identifier 'alloc'}}
333 #pragma omp target data map(to argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected ',' or ')' in 'map' clause}}
334 #pragma omp target data map(to:) // expected-error {{expected expression}}
335 #pragma omp target data map(from: argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
336 #pragma omp target data map(x: y) // expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}}
337 #pragma omp target map(x)
338   foo();
339 #pragma omp target map(to: x)
340   foo();
341 #pragma omp target map(to: to)
342   foo();
343 #pragma omp target map(to)
344   foo();
345 #pragma omp target map(to, x)
346   foo();
347 #pragma omp target data map(to x) // expected-error {{expected ',' or ')' in 'map' clause}}
348 #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}}
349 #pragma omp target data map(argc)
350 #pragma omp target data map(S1) // expected-error {{'S1' does not refer to a value}}
351 #pragma omp target data map(a, b, c, d, f) // expected-error {{incomplete type 'S1' where a complete type is required}} expected-error 2 {{type 'S2' is not mappable to target}}
352 #pragma omp target data map(argv[1])
353 #pragma omp target data map(ba) // expected-error 2 {{type 'S2' is not mappable to target}}
354 #pragma omp target data map(ca)
355 #pragma omp target data map(da)
356 #pragma omp target data map(S2::S2s)
357 #pragma omp target data map(S2::S2sc)
358 #pragma omp target data map(e, g)
359 #pragma omp target data map(h) // expected-error {{threadprivate variables are not allowed in map clause}}
360 #pragma omp target data map(k), map(k) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
361 #pragma omp target map(k), map(k[:5]) // expected-error {{pointer cannot be mapped along with a section derived from itself}} expected-note {{used here}}
362   foo();
363 #pragma omp target data map(da)
364 #pragma omp target map(da[:4])
365   foo();
366 #pragma omp target data map(k, j, l) // expected-note {{used here}}
367 #pragma omp target data map(k[:4]) // expected-error {{pointer cannot be mapped along with a section derived from itself}}
368 #pragma omp target data map(j)
369 #pragma omp target map(l) map(l[:5]) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
370   foo();
371 #pragma omp target data map(k[:4], j, l[:5]) // expected-note 2 {{used here}}
372 #pragma omp target data map(k) // expected-error {{pointer cannot be mapped along with a section derived from itself}}
373 #pragma omp target data map(j)
374 #pragma omp target map(l) // expected-error {{original storage of expression in data environment is shared but data environment do not fully contain mapped expression storage}}
375   foo();
376 
377 #pragma omp target data map(always, tofrom: x)
378 #pragma omp target data map(always: x) // expected-error {{missing map type}}
379 #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'}}
380 #pragma omp target data map(always, tofrom: always, tofrom, x)
381 #pragma omp target map(tofrom j) // expected-error {{expected ',' or ')' in 'map' clause}}
382   foo();
383   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}}
384 }
385 
386