blob: f9547baeef8315f8d9d3f29e1814d2c2e49cfc1c [file] [log] [blame]
Alexey Bataev95c23e72018-02-27 21:31:11 +00001// RUN: %clang_cc1 -verify -fopenmp -ferror-limit 200 %s -Wno-openmp-target
2// RUN: %clang_cc1 -DCCODE -verify -fopenmp -ferror-limit 200 -x c %s -Wno-openmp-target
Alexey Bataeva8a9153a2017-12-29 18:07:07 +00003
Alexey Bataev95c23e72018-02-27 21:31:11 +00004// RUN: %clang_cc1 -verify -fopenmp-simd -ferror-limit 200 %s -Wno-openmp-target
5// RUN: %clang_cc1 -DCCODE -verify -fopenmp-simd -ferror-limit 200 -x c %s -Wno-openmp-target
Samuel Antaoa9f35cb2016-03-09 15:46:05 +00006#ifdef CCODE
7void foo(int arg) {
8 const int n = 0;
9
10 double marr[10][10][10];
11
12 #pragma omp target map(marr[2][0:2][0:2]) // expected-error {{array section does not specify contiguous storage}}
13 {}
14 #pragma omp target map(marr[:][0:][:])
15 {}
16 #pragma omp target map(marr[:][1:][:]) // expected-error {{array section does not specify contiguous storage}}
17 {}
18 #pragma omp target map(marr[:][n:][:])
19 {}
20}
21#else
Alexey Bataev354df2e2018-05-02 18:44:10 +000022
23struct SREF {
24 int &a;
25 int b;
26 SREF(int &a) : a(a) {}
27};
28
Samuel Antao5de996e2016-01-22 20:21:36 +000029template <typename T, int I>
30struct SA {
31 static int ss;
32 #pragma omp threadprivate(ss) // expected-note {{defined as threadprivate or thread local}}
33 float a;
34 int b[12];
35 float *c;
36 T d;
37 float e[I];
38 T *f;
Alexey Bataevb7a9b742017-12-05 19:20:09 +000039 int bf : 20;
Samuel Antao5de996e2016-01-22 20:21:36 +000040 void func(int arg) {
Alexey Bataev354df2e2018-05-02 18:44:10 +000041 SREF sref(arg);
Alexey Bataevb7a9b742017-12-05 19:20:09 +000042 #pragma omp target
43 {
44 a = 0.0;
45 func(arg);
46 bf = 20;
47 }
Alexey Bataev354df2e2018-05-02 18:44:10 +000048 #pragma omp target map(arg,a,d,sref.b)
Samuel Antao5de996e2016-01-22 20:21:36 +000049 {}
50 #pragma omp target map(arg[2:2],a,d) // expected-error {{subscripted value is not an array or pointer}}
51 {}
52 #pragma omp target map(arg,a*2) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
53 {}
54 #pragma omp target map(arg,(c+1)[2]) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
55 {}
56 #pragma omp target map(arg,a[:2],d) // expected-error {{subscripted value is not an array or pointer}}
57 {}
58 #pragma omp target map(arg,a,d[:2]) // expected-error {{subscripted value is not an array or pointer}}
59 {}
Kelvin Li7010ed62015-11-23 05:36:37 +000060
Samuel Antao661c0902016-05-26 17:39:58 +000061 #pragma omp target map(to:ss) // expected-error {{threadprivate variables are not allowed in 'map' clause}}
Samuel Antao5de996e2016-01-22 20:21:36 +000062 {}
63
64 #pragma omp target map(to:b,e)
65 {}
66 #pragma omp target map(to:b,e) map(to:b) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
67 {}
68 #pragma omp target map(to:b[:2],e)
69 {}
70 #pragma omp target map(to:b,e[:])
71 {}
Kelvin Liad9ecba2016-07-20 20:45:29 +000072 #pragma omp target map(b[-1:]) // expected-error {{array section must be a subset of the original array}}
73 {}
74 #pragma omp target map(b[:-1]) // expected-error {{section length is evaluated to a negative value -1}}
75 {}
Samuel Antao5de996e2016-01-22 20:21:36 +000076
77 #pragma omp target map(always, tofrom: c,f)
78 {}
79 #pragma omp target map(always, tofrom: c[1:2],f)
80 {}
81 #pragma omp target map(always, tofrom: c,f[1:2])
82 {}
83 #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}}
84 {}
85 #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}}
86 {}
Carlo Bertollid8844b92017-05-03 15:28:48 +000087 #pragma omp target map(always) // expected-error {{use of undeclared identifier 'always'}}
88 {}
Samuel Antao5de996e2016-01-22 20:21:36 +000089 return;
90 }
91};
92
93struct SB {
94 unsigned A;
95 unsigned B;
96 float Arr[100];
97 float *Ptr;
98 float *foo() {
99 return &Arr[0];
100 }
101};
102
103struct SC {
104 unsigned A : 2;
105 unsigned B : 3;
106 unsigned C;
107 unsigned D;
108 float Arr[100];
109 SB S;
110 SB ArrS[100];
111 SB *PtrS;
112 SB *&RPtrS;
113 float *Ptr;
114
115 SC(SB *&_RPtrS) : RPtrS(_RPtrS) {}
116};
117
118union SD {
119 unsigned A;
120 float B;
121};
122
123void SAclient(int arg) {
124 SA<int,123> s;
125 s.func(arg); // expected-note {{in instantiation of member function}}
Samuel Antaoa9f35cb2016-03-09 15:46:05 +0000126 double marr[10][10][10];
127 double marr2[5][10][1];
128 double mvla[5][arg][10];
129 double ***mptr;
130 const int n = 0;
131 const int m = 1;
132 double mvla2[5][arg][m+n+10];
Samuel Antao5de996e2016-01-22 20:21:36 +0000133
134 SB *p;
135
136 SD u;
137 SC r(p),t(p);
138 #pragma omp target map(r)
139 {}
Samuel Antaoa9f35cb2016-03-09 15:46:05 +0000140 #pragma omp target map(marr[2][0:2][0:2]) // expected-error {{array section does not specify contiguous storage}}
141 {}
142 #pragma omp target map(marr[:][0:2][0:2]) // expected-error {{array section does not specify contiguous storage}}
143 {}
144 #pragma omp target map(marr[2][3][0:2])
145 {}
146 #pragma omp target map(marr[:][:][:])
147 {}
148 #pragma omp target map(marr[:2][:][:])
149 {}
150 #pragma omp target map(marr[arg:][:][:])
151 {}
152 #pragma omp target map(marr[arg:])
153 {}
154 #pragma omp target map(marr[arg:][:arg][:]) // correct if arg is the size of dimension 2
155 {}
156 #pragma omp target map(marr[:arg][:])
157 {}
158 #pragma omp target map(marr[:arg][n:])
159 {}
160 #pragma omp target map(marr[:][:arg][n:]) // correct if arg is the size of dimension 2
161 {}
162 #pragma omp target map(marr[:][:m][n:]) // expected-error {{array section does not specify contiguous storage}}
163 {}
164 #pragma omp target map(marr[n:m][:arg][n:])
165 {}
166 #pragma omp target map(marr[:2][:1][:]) // expected-error {{array section does not specify contiguous storage}}
167 {}
168 #pragma omp target map(marr[:2][1:][:]) // expected-error {{array section does not specify contiguous storage}}
169 {}
170 #pragma omp target map(marr[:2][:][:1]) // expected-error {{array section does not specify contiguous storage}}
171 {}
172 #pragma omp target map(marr[:2][:][1:]) // expected-error {{array section does not specify contiguous storage}}
173 {}
174 #pragma omp target map(marr[:1][:2][:])
175 {}
176 #pragma omp target map(marr[:1][0][:])
177 {}
178 #pragma omp target map(marr[:arg][:2][:]) // correct if arg is 1
179 {}
180 #pragma omp target map(marr[:1][3:1][:2])
181 {}
182 #pragma omp target map(marr[:1][3:arg][:2]) // correct if arg is 1
183 {}
184 #pragma omp target map(marr[:1][3:2][:2]) // expected-error {{array section does not specify contiguous storage}}
185 {}
186 #pragma omp target map(marr[:2][:10][:])
187 {}
188 #pragma omp target map(marr[:2][:][:5+5])
189 {}
190 #pragma omp target map(marr[:2][2+2-4:][0:5+5])
191 {}
192
193 #pragma omp target map(marr[:1][:2][0]) // expected-error {{array section does not specify contiguous storage}}
194 {}
195 #pragma omp target map(marr2[:1][:2][0])
196 {}
197
198 #pragma omp target map(mvla[:1][:][0]) // correct if the size of dimension 2 is 1.
199 {}
200 #pragma omp target map(mvla[:2][:arg][:]) // correct if arg is the size of dimension 2.
201 {}
202 #pragma omp target map(mvla[:1][:2][0]) // expected-error {{array section does not specify contiguous storage}}
203 {}
204 #pragma omp target map(mvla[1][2:arg][:])
205 {}
206 #pragma omp target map(mvla[:1][:][:])
207 {}
208 #pragma omp target map(mvla2[:1][:2][:11])
209 {}
210 #pragma omp target map(mvla2[:1][:2][:10]) // expected-error {{array section does not specify contiguous storage}}
211 {}
212
213 #pragma omp target map(mptr[:2][2+2-4:1][0:5+5]) // expected-error {{array section does not specify contiguous storage}}
214 {}
215 #pragma omp target map(mptr[:1][:2-1][2:4-3])
216 {}
217 #pragma omp target map(mptr[:1][:arg][2:4-3]) // correct if arg is 1.
218 {}
219 #pragma omp target map(mptr[:1][:2-1][0:2])
220 {}
221 #pragma omp target map(mptr[:1][:2][0:2]) // expected-error {{array section does not specify contiguous storage}}
222 {}
223 #pragma omp target map(mptr[:1][:][0:2]) // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
224 {}
225 #pragma omp target map(mptr[:2][:1][0:2]) // expected-error {{array section does not specify contiguous storage}}
226 {}
227
Samuel Antao5de996e2016-01-22 20:21:36 +0000228 #pragma omp target map(r.ArrS[0].B)
229 {}
Samuel Antaoa9f35cb2016-03-09 15:46:05 +0000230 #pragma omp target map(r.ArrS[:1].B) // expected-error {{OpenMP array section is not allowed here}}
231 {}
232 #pragma omp target map(r.ArrS[:arg].B) // expected-error {{OpenMP array section is not allowed here}}
233 {}
Samuel Antao5de996e2016-01-22 20:21:36 +0000234 #pragma omp target map(r.ArrS[0].Arr[1:23])
235 {}
Samuel Antaoa9f35cb2016-03-09 15:46:05 +0000236 #pragma omp target map(r.ArrS[0].Arr[1:arg])
237 {}
238 #pragma omp target map(r.ArrS[0].Arr[arg:23])
239 {}
Samuel Antao5de996e2016-01-22 20:21:36 +0000240 #pragma omp target map(r.ArrS[0].Error) // expected-error {{no member named 'Error' in 'SB'}}
241 {}
242 #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}}
243 {}
244 #pragma omp target map(r.ArrS[0].A, t.ArrS[1].A)
245 {}
Alexey Bataev2819260b2018-02-27 17:42:00 +0000246 #pragma omp target map(r.PtrS[0], r.PtrS->B) // expected-error {{same pointer dereferenced in multiple different ways in map clause expressions}} expected-note {{used here}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000247 {}
Alexey Bataev2819260b2018-02-27 17:42:00 +0000248 #pragma omp target map(r.PtrS, r.PtrS->B) // expected-error {{pointer cannot be mapped along with a section derived from itself}} expected-note {{used here}}
249 {}
250 #pragma omp target map(r.PtrS->A, r.PtrS->B)
251 {}
252 #pragma omp target map(r.RPtrS[0], r.RPtrS->B) // expected-error {{same pointer dereferenced in multiple different ways in map clause expressions}} expected-note {{used here}}
253 {}
254 #pragma omp target map(r.RPtrS, r.RPtrS->B) // expected-error {{pointer cannot be mapped along with a section derived from itself}} expected-note {{used here}}
255 {}
256 #pragma omp target map(r.RPtrS->A, r.RPtrS->B)
Samuel Antao5de996e2016-01-22 20:21:36 +0000257 {}
258 #pragma omp target map(r.S.Arr[:12])
259 {}
260 #pragma omp target map(r.S.foo()[:12]) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
261 {}
262 #pragma omp target map(r.C, r.D)
263 {}
264 #pragma omp target map(r.C, r.C) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
265 {}
266 #pragma omp target map(r.C) map(r.C) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
267 {}
268 #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.
269 {}
270 #pragma omp target map(r, r.S) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
271 {}
272 #pragma omp target map(r.C, t.C)
273 {}
Samuel Antao661c0902016-05-26 17:39:58 +0000274 #pragma omp target map(r.A) // expected-error {{bit fields cannot be used to specify storage in a 'map' clause}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000275 {}
276 #pragma omp target map(r.Arr)
277 {}
278 #pragma omp target map(r.Arr[3:5])
279 {}
280 #pragma omp target map(r.Ptr[3:5])
281 {}
282 #pragma omp target map(r.ArrS[3:5].A) // expected-error {{OpenMP array section is not allowed here}}
283 {}
284 #pragma omp target map(r.ArrS[3:5].Arr[6:7]) // expected-error {{OpenMP array section is not allowed here}}
285 {}
286 #pragma omp target map(r.ArrS[3].Arr[6:7])
287 {}
288 #pragma omp target map(r.S.Arr[4:5])
289 {}
290 #pragma omp target map(r.S.Ptr[4:5])
291 {}
292 #pragma omp target map(r.S.Ptr[:]) // expected-error {{section length is unspecified and cannot be inferred because subscripted value is not an array}}
293 {}
294 #pragma omp target map((p+1)->A) // expected-error {{expected expression containing only member accesses and/or array sections based on named variables}}
295 {}
Alexey Bataevb7304a12017-12-06 15:04:36 +0000296 #pragma omp target map(u.B) // expected-error {{mapping of union members is not allowed}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000297 {}
Alexey Bataev27041fa2017-12-05 15:22:49 +0000298 #pragma omp target
299 {
Alexey Bataevb7a9b742017-12-05 19:20:09 +0000300 u.B = 0;
301 r.S.foo();
Alexey Bataev27041fa2017-12-05 15:22:49 +0000302 }
Samuel Antao5de996e2016-01-22 20:21:36 +0000303
304 #pragma omp target data map(to: r.C) //expected-note {{used here}}
305 {
306 #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}}
307 {}
308 }
309
310 #pragma omp target data map(to: t.Ptr) //expected-note {{used here}}
311 {
312 #pragma omp target map(t.Ptr[:23]) // expected-error {{pointer cannot be mapped along with a section derived from itself}}
313 {}
314 }
315
316 #pragma omp target data map(to: t.C, t.D)
317 {
318 #pragma omp target data map(to: t.C)
319 {
320 #pragma omp target map(t.D)
321 {}
322 }
323 }
Kelvin Li9f645ae2016-07-18 22:49:16 +0000324 #pragma omp target data map(marr[:][:][:])
325 {
326 #pragma omp target data map(marr)
327 {}
328 }
Samuel Antao5de996e2016-01-22 20:21:36 +0000329
330 #pragma omp target data map(to: t)
331 {
332 #pragma omp target data map(to: t.C)
333 {
334 #pragma omp target map(t.D)
335 {}
336 }
337 }
338}
Kelvin Li7010ed62015-11-23 05:36:37 +0000339void foo() {
340}
341
342bool foobool(int argc) {
343 return argc;
344}
345
346struct S1; // expected-note 2 {{declared here}}
347extern S1 a;
348class S2 {
349 mutable int a;
350public:
351 S2():a(0) { }
352 S2(S2 &s2):a(s2.a) { }
Alexey Bataeved94bd92017-09-13 11:12:35 +0000353 static float S2s;
354 static const float S2sc;
Kelvin Li7010ed62015-11-23 05:36:37 +0000355};
356const float S2::S2sc = 0;
357const S2 b;
358const S2 ba[5];
359class S3 {
360 int a;
361public:
362 S3():a(0) { }
363 S3(S3 &s3):a(s3.a) { }
364};
365const S3 c;
366const S3 ca[5];
367extern const int f;
368class S4 {
369 int a;
370 S4();
371 S4(const S4 &s4);
372public:
373 S4(int v):a(v) { }
374};
375class S5 {
376 int a;
377 S5():a(0) {}
378 S5(const S5 &s5):a(s5.a) { }
379public:
380 S5(int v):a(v) { }
381};
382
David Sheinkmand03c85c2016-10-06 15:47:36 +0000383template <class T>
384struct S6;
385
386template<>
Alexey Bataeved94bd92017-09-13 11:12:35 +0000387struct S6<int>
David Sheinkmand03c85c2016-10-06 15:47:36 +0000388{
389 virtual void foo();
390};
391
Kelvin Li7010ed62015-11-23 05:36:37 +0000392S3 h;
393#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
394
395typedef int from;
396
397template <typename T, int I> // expected-note {{declared here}}
398T tmain(T argc) {
399 const T d = 5;
400 const T da[5] = { 0 };
401 S4 e(4);
402 S5 g(5);
403 T i, t[20];
404 T &j = i;
405 T *k = &j;
406 T x;
407 T y;
408 T to, tofrom, always;
409 const T (&l)[5] = da;
Kelvin Li7010ed62015-11-23 05:36:37 +0000410#pragma omp target map // expected-error {{expected '(' after 'map'}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000411 {}
Kelvin Li7010ed62015-11-23 05:36:37 +0000412#pragma omp target map( // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected expression}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000413 {}
Kelvin Li7010ed62015-11-23 05:36:37 +0000414#pragma omp target map() // expected-error {{expected expression}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000415 {}
Kelvin Li7010ed62015-11-23 05:36:37 +0000416#pragma omp target map(alloc) // expected-error {{use of undeclared identifier 'alloc'}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000417 {}
Kelvin Li7010ed62015-11-23 05:36:37 +0000418#pragma omp target map(to argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected ',' or ')' in 'map' clause}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000419 {}
Kelvin Li7010ed62015-11-23 05:36:37 +0000420#pragma omp target map(to:) // expected-error {{expected expression}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000421 {}
Alexey Bataevc5970622016-04-01 08:43:42 +0000422#pragma omp target map(from: argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000423 {}
Kelvin Li7010ed62015-11-23 05:36:37 +0000424#pragma omp target map(x: y) // expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000425 {}
Kelvin Li7010ed62015-11-23 05:36:37 +0000426#pragma omp target map(x)
427 foo();
428#pragma omp target map(tofrom: t[:I])
429 foo();
Samuel Antao5de996e2016-01-22 20:21:36 +0000430#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}}
Kelvin Li7010ed62015-11-23 05:36:37 +0000431 foo();
432#pragma omp target map(T) // expected-error {{'T' does not refer to a value}}
433 foo();
Samuel Antao5de996e2016-01-22 20:21:36 +0000434#pragma omp target map(I) // expected-error 2 {{expected expression containing only member accesses and/or array sections based on named variables}}
Kelvin Li7010ed62015-11-23 05:36:37 +0000435 foo();
436#pragma omp target map(S2::S2s)
437 foo();
438#pragma omp target map(S2::S2sc)
439 foo();
440#pragma omp target map(x)
441 foo();
442#pragma omp target map(to: x)
443 foo();
444#pragma omp target map(to: to)
445 foo();
446#pragma omp target map(to)
447 foo();
448#pragma omp target map(to, x)
449 foo();
Samuel Antao5de996e2016-01-22 20:21:36 +0000450#pragma omp target data map(to x) // expected-error {{expected ',' or ')' in 'map' clause}}
451#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}}
452#pragma omp target data map(argc)
453#pragma omp target data map(S1) // expected-error {{'S1' does not refer to a value}}
Alexey Bataeved94bd92017-09-13 11:12:35 +0000454#pragma omp target data map(a, b, c, d, f) // expected-error {{incomplete type 'S1' where a complete type is required}}
455#pragma omp target data map(ba)
Samuel Antao5de996e2016-01-22 20:21:36 +0000456#pragma omp target data map(ca)
457#pragma omp target data map(da)
458#pragma omp target data map(S2::S2s)
459#pragma omp target data map(S2::S2sc)
460#pragma omp target data map(e, g)
Samuel Antao661c0902016-05-26 17:39:58 +0000461#pragma omp target data map(h) // expected-error {{threadprivate variables are not allowed in 'map' clause}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000462#pragma omp target data map(k) map(k) // expected-error 2 {{variable already marked as mapped in current construct}} expected-note 2 {{used here}}
463#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}}
Kelvin Li7010ed62015-11-23 05:36:37 +0000464 foo();
Samuel Antao5de996e2016-01-22 20:21:36 +0000465#pragma omp target data map(da)
Kelvin Li7010ed62015-11-23 05:36:37 +0000466#pragma omp target map(da[:4])
467 foo();
Samuel Antao5de996e2016-01-22 20:21:36 +0000468#pragma omp target data map(k, j, l) // expected-note 2 {{used here}}
469#pragma omp target data map(k[:4]) // expected-error 2 {{pointer cannot be mapped along with a section derived from itself}}
470#pragma omp target data map(j)
471#pragma omp target map(l) map(l[:5]) // expected-error 2 {{variable already marked as mapped in current construct}} expected-note 2 {{used here}}
Kelvin Li7010ed62015-11-23 05:36:37 +0000472 foo();
Kelvin Li9f645ae2016-07-18 22:49:16 +0000473#pragma omp target data map(k[:4], j, l[:5]) // expected-note 2 {{used here}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000474#pragma omp target data map(k) // expected-error 2 {{pointer cannot be mapped along with a section derived from itself}}
475#pragma omp target data map(j)
Kelvin Li9f645ae2016-07-18 22:49:16 +0000476#pragma omp target map(l)
Kelvin Li7010ed62015-11-23 05:36:37 +0000477 foo();
478
Samuel Antao5de996e2016-01-22 20:21:36 +0000479#pragma omp target data map(always, tofrom: x)
480#pragma omp target data map(always: x) // expected-error {{missing map type}}
481#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'}}
482#pragma omp target data map(always, tofrom: always, tofrom, x)
Kelvin Li7010ed62015-11-23 05:36:37 +0000483#pragma omp target map(tofrom j) // expected-error {{expected ',' or ')' in 'map' clause}}
484 foo();
Kelvin Li7010ed62015-11-23 05:36:37 +0000485 return 0;
486}
487
Alexey Bataevf47c4b42017-09-26 13:47:31 +0000488struct SA1{
489 int a;
490 struct SA1 *p;
491 int b[10];
492};
493struct SB1{
494 int a;
495 struct SA1 s;
496 struct SA1 sa[10];
497 struct SA1 *sp[10];
498 struct SA1 *p;
499};
500struct SC1{
501 int a;
502 struct SB1 s;
503 struct SB1 *p;
504 int b[10];
505};
506
Kelvin Li7010ed62015-11-23 05:36:37 +0000507int main(int argc, char **argv) {
508 const int d = 5;
509 const int da[5] = { 0 };
510 S4 e(4);
511 S5 g(5);
512 int i;
513 int &j = i;
514 int *k = &j;
David Sheinkmand03c85c2016-10-06 15:47:36 +0000515 S6<int> m;
Kelvin Li7010ed62015-11-23 05:36:37 +0000516 int x;
517 int y;
518 int to, tofrom, always;
519 const int (&l)[5] = da;
Alexey Bataevf47c4b42017-09-26 13:47:31 +0000520 SC1 s;
521 SC1 *p;
Alexey Bataev95b64a92017-05-30 16:00:04 +0000522#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'}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000523#pragma omp target data map( // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected expression}}
524#pragma omp target data map() // expected-error {{expected expression}}
525#pragma omp target data map(alloc) // expected-error {{use of undeclared identifier 'alloc'}}
526#pragma omp target data map(to argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{expected ',' or ')' in 'map' clause}}
527#pragma omp target data map(to:) // expected-error {{expected expression}}
Alexey Bataevc5970622016-04-01 08:43:42 +0000528#pragma omp target data map(from: argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000529#pragma omp target data map(x: y) // expected-error {{incorrect map type, expected one of 'to', 'from', 'tofrom', 'alloc', 'release', or 'delete'}}
Kelvin Li7010ed62015-11-23 05:36:37 +0000530#pragma omp target map(x)
531 foo();
532#pragma omp target map(to: x)
533 foo();
534#pragma omp target map(to: to)
535 foo();
536#pragma omp target map(to)
537 foo();
538#pragma omp target map(to, x)
539 foo();
Samuel Antao5de996e2016-01-22 20:21:36 +0000540#pragma omp target data map(to x) // expected-error {{expected ',' or ')' in 'map' clause}}
541#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}}
542#pragma omp target data map(argc)
543#pragma omp target data map(S1) // expected-error {{'S1' does not refer to a value}}
Alexey Bataeved94bd92017-09-13 11:12:35 +0000544#pragma omp target data map(a, b, c, d, f) // expected-error {{incomplete type 'S1' where a complete type is required}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000545#pragma omp target data map(argv[1])
Alexey Bataeved94bd92017-09-13 11:12:35 +0000546#pragma omp target data map(ba)
Samuel Antao5de996e2016-01-22 20:21:36 +0000547#pragma omp target data map(ca)
548#pragma omp target data map(da)
549#pragma omp target data map(S2::S2s)
550#pragma omp target data map(S2::S2sc)
551#pragma omp target data map(e, g)
Samuel Antao661c0902016-05-26 17:39:58 +0000552#pragma omp target data map(h) // expected-error {{threadprivate variables are not allowed in 'map' clause}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000553#pragma omp target data map(k), map(k) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
554#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}}
Kelvin Li7010ed62015-11-23 05:36:37 +0000555 foo();
Samuel Antao5de996e2016-01-22 20:21:36 +0000556#pragma omp target data map(da)
Kelvin Li7010ed62015-11-23 05:36:37 +0000557#pragma omp target map(da[:4])
558 foo();
Samuel Antao5de996e2016-01-22 20:21:36 +0000559#pragma omp target data map(k, j, l) // expected-note {{used here}}
560#pragma omp target data map(k[:4]) // expected-error {{pointer cannot be mapped along with a section derived from itself}}
561#pragma omp target data map(j)
562#pragma omp target map(l) map(l[:5]) // expected-error {{variable already marked as mapped in current construct}} expected-note {{used here}}
Kelvin Li7010ed62015-11-23 05:36:37 +0000563 foo();
Kelvin Li9f645ae2016-07-18 22:49:16 +0000564#pragma omp target data map(k[:4], j, l[:5]) // expected-note {{used here}}
Samuel Antao5de996e2016-01-22 20:21:36 +0000565#pragma omp target data map(k) // expected-error {{pointer cannot be mapped along with a section derived from itself}}
566#pragma omp target data map(j)
Kelvin Li9f645ae2016-07-18 22:49:16 +0000567#pragma omp target map(l)
Kelvin Li7010ed62015-11-23 05:36:37 +0000568 foo();
569
Samuel Antao5de996e2016-01-22 20:21:36 +0000570#pragma omp target data map(always, tofrom: x)
571#pragma omp target data map(always: x) // expected-error {{missing map type}}
572#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'}}
573#pragma omp target data map(always, tofrom: always, tofrom, x)
Kelvin Li7010ed62015-11-23 05:36:37 +0000574#pragma omp target map(tofrom j) // expected-error {{expected ',' or ')' in 'map' clause}}
575 foo();
Carlo Bertollib74bfc82016-03-18 21:43:32 +0000576#pragma omp target private(j) map(j) // expected-error {{private variable cannot be in a map clause in '#pragma omp target' directive}} expected-note {{defined as private}}
577 {}
578#pragma omp target firstprivate(j) map(j) // expected-error {{firstprivate variable cannot be in a map clause in '#pragma omp target' directive}} expected-note {{defined as firstprivate}}
579 {}
Alexey Bataeved94bd92017-09-13 11:12:35 +0000580#pragma omp target map(m)
David Sheinkmand03c85c2016-10-06 15:47:36 +0000581 {}
Alexey Bataevf47c4b42017-09-26 13:47:31 +0000582// expected-note@+1 {{used here}}
583#pragma omp target map(s.s.s)
584// expected-error@+1 {{variable already marked as mapped in current construct}}
585 { s.a++; }
586// expected-note@+1 {{used here}}
587#pragma omp target map(s.s.s.a)
588// expected-error@+1 {{variable already marked as mapped in current construct}}
589 { s.a++; }
590// expected-note@+1 {{used here}}
591#pragma omp target map(s.b[:5])
592// expected-error@+1 {{variable already marked as mapped in current construct}}
593 { s.a++; }
Alexey Bataevf47c4b42017-09-26 13:47:31 +0000594#pragma omp target map(s.p[:5])
Alexey Bataevf47c4b42017-09-26 13:47:31 +0000595 { s.a++; }
596// expected-note@+1 {{used here}}
597#pragma omp target map(s.s.sa[3].a)
598// expected-error@+1 {{variable already marked as mapped in current construct}}
599 { s.a++; }
600// expected-note@+1 {{used here}}
601#pragma omp target map(s.s.sp[3]->a)
602// expected-error@+1 {{variable already marked as mapped in current construct}}
603 { s.a++; }
604// expected-note@+1 {{used here}}
605#pragma omp target map(s.p->a)
606// expected-error@+1 {{variable already marked as mapped in current construct}}
607 { s.a++; }
608// expected-note@+1 {{used here}}
609#pragma omp target map(s.s.p->a)
610// expected-error@+1 {{variable already marked as mapped in current construct}}
611 { s.a++; }
612// expected-note@+1 {{used here}}
613#pragma omp target map(s.s.s.b[:2])
614// expected-error@+1 {{variable already marked as mapped in current construct}}
615 { s.a++; }
616// expected-note@+1 {{used here}}
617#pragma omp target map(s.s.p->b[:2])
618// expected-error@+1 {{variable already marked as mapped in current construct}}
619 { s.a++; }
620// expected-note@+1 {{used here}}
621#pragma omp target map(s.p->p->p->a)
622// expected-error@+1 {{variable already marked as mapped in current construct}}
623 { s.a++; }
Alexey Bataev5ec38932017-09-26 16:19:04 +0000624#pragma omp target map(s.s.s.b[:2])
625 { s.s.s.b[0]++; }
Alexey Bataevf47c4b42017-09-26 13:47:31 +0000626
Kelvin Li7010ed62015-11-23 05:36:37 +0000627 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}}
628}
Samuel Antaoa9f35cb2016-03-09 15:46:05 +0000629#endif