1 // RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp -ferror-limit 200 -std=c++11 -o - %s -Wuninitialized
2 // RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-version=50 -fopenmp -ferror-limit 200 -std=c++11 -o - %s -Wuninitialized
3 
4 // RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp-simd -ferror-limit 200 -std=c++11 -o - %s -Wuninitialized
5 // RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-version=50 -fopenmp-simd -ferror-limit 200 -std=c++11 -o - %s -Wuninitialized
6 
7 // RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-version=51 -DOMP51 -fopenmp -ferror-limit 100 -std=c++11 -o - %s -Wuninitialized
8 // RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-version=51 -DOMP51 -fopenmp-simd -ferror-limit 100 -std=c++11 -o - %s -Wuninitialized
9 
10 void xxx(int argc) {
11   int x; // expected-note {{initialize the variable 'x' to silence this warning}}
12 #pragma omp task
13   argc = x; // expected-warning {{variable 'x' is uninitialized when used here}}
14 }
15 
16 void foo() {
17 #pragma omp task detach(0) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{'omp_event_handle_t' type not found; include <omp.h>}}
18   ;
19 }
20 
21 typedef unsigned long omp_event_handle_t;
22 namespace {
23 static int y = 0;
24 }
25 static int x = 0;
26 
27 #pragma omp task // expected-error {{unexpected OpenMP directive '#pragma omp task'}}
28 
29 class S {
30   S(const S &s) { a = s.a + 12; } // expected-note 16 {{implicitly declared private here}}
31   int a;
32 
33 public:
34   S() : a(0) {}
35   S(int a) : a(a) {}
36   operator int() { return a; }
37   S &operator++() { return *this; }
38   S operator+(const S &) { return *this; }
39 };
40 
41 class S1 {
42   int a;
43 
44 public:
45   S1() : a(0) {}
46   S1 &operator++() { return *this; }
47   S1(const S1 &) = delete; // expected-note 2 {{'S1' has been explicitly marked deleted here}}
48 };
49 
50 template <class T>
51 int foo() {
52   T a;
53   T &b = a;
54   int r;
55   S1 s1;
56 // expected-error@+1 2 {{call to deleted constructor of 'S1'}}
57 #pragma omp task
58   ++s1;
59 #pragma omp task default(none) // expected-note 2 {{explicit data sharing attribute requested here}}
60 #pragma omp task default(shared)
61   ++a; // expected-error 2 {{variable 'a' must have explicitly specified data sharing attributes}}
62 #ifdef OMP51
63 #pragma omp task default(firstprivate) // expected-note 4 {{explicit data sharing attribute requested here}}
64 #pragma omp task
65   {
66     ++x; // expected-error 2 {{variable 'x' must have explicitly specified data sharing attributes}}
67     ++y; // expected-error 2 {{variable 'y' must have explicitly specified data sharing attributes}}
68   }
69 #endif
70 
71 #pragma omp task default(none) // expected-note 2 {{explicit data sharing attribute requested here}}
72 #pragma omp task
73   // expected-error@+1 {{calling a private constructor of class 'S'}}
74   ++a; // expected-error 2 {{variable 'a' must have explicitly specified data sharing attributes}}
75 #pragma omp task
76 #pragma omp task
77   // expected-error@+1 {{calling a private constructor of class 'S'}}
78   ++a; // expected-error {{calling a private constructor of class 'S'}}
79 #pragma omp task default(shared)
80 #pragma omp task
81   // expected-error@+1 {{calling a private constructor of class 'S'}}
82   ++a;
83 #pragma omp parallel shared(a)
84 #pragma omp task
85 #pragma omp task
86   ++a;
87 #pragma omp parallel shared(a)
88 #pragma omp task default(shared)
89 #pragma omp task
90   ++a;
91 #pragma omp task
92 #pragma omp parallel
93   ++a; // expected-error {{calling a private constructor of class 'S'}}
94 // expected-error@+2 {{calling a private constructor of class 'S'}}
95 #pragma omp task
96   ++b;
97 #pragma omp task
98 // expected-error@+1 2 {{calling a private constructor of class 'S'}}
99 #pragma omp parallel shared(a, b)
100   ++a, ++b;
101 // expected-note@+1 2 {{defined as reduction}}
102 #pragma omp parallel reduction(+ : r)
103 // expected-error@+1 2 {{argument of a reduction clause of a parallel construct must not appear in a firstprivate clause on a task construct}}
104 #pragma omp task firstprivate(r)
105   ++r;
106 // expected-note@+1 2 {{defined as reduction}}
107 #pragma omp parallel reduction(+ : r)
108 #pragma omp task default(shared)
109   // expected-error@+1 2 {{reduction variables may not be accessed in an explicit task}}
110   ++r;
111 // expected-note@+1 2 {{defined as reduction}}
112 #pragma omp parallel reduction(+ : r)
113 #pragma omp task
114   // expected-error@+1 2 {{reduction variables may not be accessed in an explicit task}}
115   ++r;
116 #pragma omp parallel
117 // expected-note@+1 2 {{defined as reduction}}
118 #pragma omp for reduction(+ : r)
119   for (int i = 0; i < 10; ++i)
120 // expected-error@+1 2 {{argument of a reduction clause of a for construct must not appear in a firstprivate clause on a task construct}}
121 #pragma omp task firstprivate(r)
122     ++r;
123 #pragma omp parallel
124 // expected-note@+1 2 {{defined as reduction}}
125 #pragma omp for reduction(+ : r)
126   for (int i = 0; i < 10; ++i)
127 #pragma omp task default(shared)
128     // expected-error@+1 2 {{reduction variables may not be accessed in an explicit task}}
129     ++r;
130 #pragma omp parallel
131 // expected-note@+1 2 {{defined as reduction}}
132 #pragma omp for reduction(+ : r)
133   for (int i = 0; i < 10; ++i)
134 #pragma omp task
135     // expected-error@+1 2 {{reduction variables may not be accessed in an explicit task}}
136     ++r;
137 // expected-note@+1 {{non-shared variable in a task construct is predetermined as firstprivate}}
138 #pragma omp task
139 // expected-error@+2 {{reduction variable must be shared}}
140 // expected-error@+1 {{region cannot be closely nested inside 'task' region; perhaps you forget to enclose 'omp for' directive into a parallel region?}}
141 #pragma omp for reduction(+ : r)
142   ++r;
143 // expected-error@+1 {{directive '#pragma omp task' cannot contain more than one 'untied' clause}}
144 #pragma omp task untied untied
145   ++r;
146 // expected-error@+1 {{directive '#pragma omp task' cannot contain more than one 'mergeable' clause}}
147 #pragma omp task mergeable mergeable
148   ++r;
149   volatile omp_event_handle_t evt;
150   const omp_event_handle_t cevt = 0;
151   omp_event_handle_t sevt;
152   omp_event_handle_t &revt = sevt;
153 #pragma omp task detach // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{expected '(' after 'detach'}}
154 #pragma omp task detach( // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
155 #pragma omp task detach() // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{expected expression}}
156 #pragma omp task detach(a) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{expected variable of the 'omp_event_handle_t' type, not 'int'}} omp50-error {{expected variable of the 'omp_event_handle_t' type, not 'S'}}
157   ;
158 #pragma omp task detach(evt) detach(evt) // omp45-error 2 {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{directive '#pragma omp task' cannot contain more than one 'detach' clause}}
159 #pragma omp task detach(cevt) detach(revt) // omp45-error 2 {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{directive '#pragma omp task' cannot contain more than one 'detach' clause}} omp50-error {{expected variable of the 'omp_event_handle_t' type, not 'const omp_event_handle_t' (aka 'const unsigned long')}} omp50-error {{expected variable of the 'omp_event_handle_t' type, not 'omp_event_handle_t &' (aka 'unsigned long &')}}
160 #pragma omp task detach(evt) mergeable // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{'mergeable' and 'detach' clause are mutually exclusive and may not appear on the same directive}} omp50-note {{'detach' clause is specified here}}
161   ;
162 #pragma omp task mergeable detach(evt) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{'detach' and 'mergeable' clause are mutually exclusive and may not appear on the same directive}} omp50-note {{'mergeable' clause is specified here}}
163 #pragma omp task detach(-evt) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{expected variable of the 'omp_event_handle_t' type}}
164   ;
165 #pragma omp task detach(evt) shared(evt) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}}
166 #pragma omp task detach(evt) firstprivate(evt) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}}
167   ;
168   return a + b;
169 }
170 
171 int main(int argc, char **argv) {
172   int a;
173   int &b = a;
174   S sa;
175   S &sb = sa;
176   int r; // expected-note {{declared here}}
177 #pragma omp task { // expected-warning {{extra tokens at the end of '#pragma omp task' are ignored}}
178   foo();
179 #pragma omp task( // expected-warning {{extra tokens at the end of '#pragma omp task' are ignored}}
180   foo();
181 #pragma omp task[ // expected-warning {{extra tokens at the end of '#pragma omp task' are ignored}}
182   foo();
183 #pragma omp task] // expected-warning {{extra tokens at the end of '#pragma omp task' are ignored}}
184   foo();
185 #pragma omp task) // expected-warning {{extra tokens at the end of '#pragma omp task' are ignored}}
186   foo();
187 #pragma omp task } // expected-warning {{extra tokens at the end of '#pragma omp task' are ignored}}
188   foo();
189 #pragma omp task
190 // expected-warning@+1 {{extra tokens at the end of '#pragma omp task' are ignored}}
191 #pragma omp task unknown()
192   foo();
193 L1:
194   foo();
195 #pragma omp task
196   ;
197 #pragma omp task
198   {
199     goto L1; // expected-error {{use of undeclared label 'L1'}}
200     argc++;
201   }
202 
203   for (int i = 0; i < 10; ++i) {
204     switch (argc) {
205     case (0):
206 #pragma omp task
207     {
208       foo();
209       break;    // expected-error {{'break' statement not in loop or switch statement}}
210       continue; // expected-error {{'continue' statement not in loop statement}}
211     }
212     default:
213       break;
214     }
215   }
216 #pragma omp task default(none) // expected-note {{explicit data sharing attribute requested here}}
217   ++argc; // expected-error {{variable 'argc' must have explicitly specified data sharing attributes}}
218 
219   goto L2; // expected-error {{use of undeclared label 'L2'}}
220 #pragma omp task
221 L2:
222   foo();
223 #pragma omp task
224   {
225     return 1; // expected-error {{cannot return from OpenMP region}}
226   }
227 
228   [[]] // expected-error {{an attribute list cannot appear here}}
229 #pragma omp task
230       for (int n = 0; n < 100; ++n) {
231   }
232 
233 #pragma omp task default(none) // expected-note {{explicit data sharing attribute requested here}}
234 #pragma omp task default(shared)
235   ++a; // expected-error {{variable 'a' must have explicitly specified data sharing attributes}}
236 #pragma omp task default(none) // expected-note {{explicit data sharing attribute requested here}}
237 #pragma omp task
238   ++a; // expected-error {{variable 'a' must have explicitly specified data sharing attributes}}
239 #pragma omp task default(shared)
240 #pragma omp task
241   ++a;
242 #pragma omp task
243 #pragma omp parallel
244   ++a;
245 #pragma omp task
246   ++b;
247 #pragma omp task
248 #pragma omp parallel shared(a, b)
249   ++a, ++b;
250 #pragma omp task default(none) // expected-note {{explicit data sharing attribute requested here}}
251 #pragma omp task default(shared)
252   ++sa; // expected-error {{variable 'sa' must have explicitly specified data sharing attributes}}
253 #pragma omp task default(none) // expected-note {{explicit data sharing attribute requested here}}
254 #pragma omp task
255   // expected-error@+1 {{calling a private constructor of class 'S'}}
256   ++sa; // expected-error {{variable 'sa' must have explicitly specified data sharing attributes}}
257 #pragma omp task
258 #pragma omp task
259   // expected-error@+1 {{calling a private constructor of class 'S'}}
260   ++sa; // expected-error {{calling a private constructor of class 'S'}}
261 #pragma omp task default(shared)
262 #pragma omp task
263   // expected-error@+1 {{calling a private constructor of class 'S'}}
264   ++sa;
265 #pragma omp parallel shared(sa)
266 #pragma omp task
267 #pragma omp task
268   ++sa;
269 #pragma omp parallel shared(sa)
270 #pragma omp task default(shared)
271 #pragma omp task
272   ++sa;
273 #pragma omp task
274 #pragma omp parallel
275   ++sa; // expected-error {{calling a private constructor of class 'S'}}
276 // expected-error@+2 {{calling a private constructor of class 'S'}}
277 #pragma omp task
278   ++sb;
279 // expected-error@+2 2 {{calling a private constructor of class 'S'}}
280 #pragma omp task
281 #pragma omp parallel shared(sa, sb)
282   ++sa, ++sb;
283 // expected-note@+1 2 {{defined as reduction}}
284 #pragma omp parallel reduction(+ : r)
285 // expected-error@+1 {{argument of a reduction clause of a parallel construct must not appear in a firstprivate clause on a task construct}}
286 #pragma omp task firstprivate(r)
287   // expected-error@+1 {{reduction variables may not be accessed in an explicit task}}
288   ++r;
289 // expected-note@+1 {{defined as reduction}}
290 #pragma omp parallel reduction(+ : r)
291 #pragma omp task default(shared)
292   // expected-error@+1 {{reduction variables may not be accessed in an explicit task}}
293   ++r;
294 // expected-note@+1 {{defined as reduction}}
295 #pragma omp parallel reduction(+ : r)
296 #pragma omp task
297   // expected-error@+1 {{reduction variables may not be accessed in an explicit task}}
298   ++r;
299 #pragma omp parallel
300 // expected-note@+1 2 {{defined as reduction}}
301 #pragma omp for reduction(+ : r)
302   for (int i = 0; i < 10; ++i)
303 // expected-error@+1 {{argument of a reduction clause of a for construct must not appear in a firstprivate clause on a task construct}}
304 #pragma omp task firstprivate(r)
305     // expected-error@+1 {{reduction variables may not be accessed in an explicit task}}
306     ++r;
307 #pragma omp parallel
308 // expected-note@+1 {{defined as reduction}}
309 #pragma omp for reduction(+ : r)
310   for (int i = 0; i < 10; ++i)
311 #pragma omp task default(shared)
312     // expected-error@+1 {{reduction variables may not be accessed in an explicit task}}
313     ++r;
314 #pragma omp parallel
315 // expected-note@+1 {{defined as reduction}}
316 #pragma omp for reduction(+ : r)
317   for (int i = 0; i < 10; ++i)
318 #pragma omp task
319     // expected-error@+1 {{reduction variables may not be accessed in an explicit task}}
320     ++r;
321 // expected-note@+1 {{non-shared variable in a task construct is predetermined as firstprivate}}
322 #pragma omp task
323 // expected-error@+2 {{reduction variable must be shared}}
324 // expected-error@+1 {{region cannot be closely nested inside 'task' region; perhaps you forget to enclose 'omp for' directive into a parallel region?}}
325 #pragma omp for reduction(+ : r)
326   ++r;
327 // expected-error@+1 {{directive '#pragma omp task' cannot contain more than one 'untied' clause}}
328 #pragma omp task untied untied
329   ++r;
330 // expected-error@+1 {{directive '#pragma omp task' cannot contain more than one 'mergeable' clause}}
331 #pragma omp task mergeable mergeable
332   ++r;
333 // expected-error@+4 {{variable length arrays are not supported in OpenMP tasking regions with 'untied' clause}}
334 // expected-note@+3 {{read of non-const variable 'r' is not allowed in a constant expression}}
335 #pragma omp task untied
336   {
337     int array[r];
338   }
339   volatile omp_event_handle_t evt;
340   omp_event_handle_t sevt;
341   const omp_event_handle_t cevt = evt;
342   omp_event_handle_t &revt = sevt;
343 #pragma omp task detach // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{expected '(' after 'detach'}}
344 #pragma omp task detach( // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
345 #pragma omp task detach() // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{expected expression}}
346 #pragma omp task detach(a) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{expected variable of the 'omp_event_handle_t' type, not 'int'}}
347 #pragma omp task detach(evt) detach(evt) // omp45-error 2 {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{directive '#pragma omp task' cannot contain more than one 'detach' clause}}
348 #pragma omp task detach(cevt) detach(revt) // omp45-error 2 {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} expected-error {{directive '#pragma omp task' cannot contain more than one 'detach' clause}} omp50-error {{expected variable of the 'omp_event_handle_t' type, not 'const omp_event_handle_t' (aka 'const unsigned long')}} omp50-error {{expected variable of the 'omp_event_handle_t' type, not 'omp_event_handle_t &' (aka 'unsigned long &')}}
349 #pragma omp task detach(evt) mergeable // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{'mergeable' and 'detach' clause are mutually exclusive and may not appear on the same directive}} omp50-note {{'detach' clause is specified here}}
350   ;
351 #pragma omp task mergeable detach(evt) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{'detach' and 'mergeable' clause are mutually exclusive and may not appear on the same directive}} omp50-note {{'mergeable' clause is specified here}}
352 #pragma omp task detach(-evt) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}} omp50-error {{expected variable of the 'omp_event_handle_t' type}}
353   ;
354 #pragma omp task detach(evt) shared(evt) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}}
355 #pragma omp task detach(evt) firstprivate(evt) // omp45-error {{unexpected OpenMP clause 'detach' in directive '#pragma omp task'}}
356   ;
357   // expected-note@+2 {{in instantiation of function template specialization 'foo<int>' requested here}}
358   // expected-note@+1 {{in instantiation of function template specialization 'foo<S>' requested here}}
359   return foo<int>() + foo<S>();
360 }
361 
362