1 // RUN: %clang_cc1 -verify -fopenmp -ferror-limit 150 -o - %s
2 
3 void foo() {
4 }
5 
6 bool foobool(int argc) {
7   return argc;
8 }
9 
10 struct S1; // expected-note {{declared here}} expected-note 4 {{forward declaration of 'S1'}}
11 extern S1 a;
12 class S2 {
13   mutable int a;
14   S2 &operator+(const S2 &arg) { return (*this); } // expected-note 4 {{implicitly declared private here}}
15 
16 public:
17   S2() : a(0) {}
18   S2(S2 &s2) : a(s2.a) {}
19   static float S2s; // expected-note 2 {{static data member is predetermined as shared}}
20   static const float S2sc;
21 };
22 const float S2::S2sc = 0; // expected-note 2 {{'S2sc' defined here}}
23 S2 b;                     // expected-note 2 {{'b' defined here}}
24 const S2 ba[5];           // expected-note 2 {{'ba' defined here}}
25 class S3 {
26   int a;
27 
28 public:
29   S3() : a(0) {}
30   S3(const S3 &s3) : a(s3.a) {}
31   S3 operator+(const S3 &arg1) { return arg1; }
32 };
33 int operator+(const S3 &arg1, const S3 &arg2) { return 5; }
34 S3 c;               // expected-note 2 {{'c' defined here}}
35 const S3 ca[5];     // expected-note 2 {{'ca' defined here}}
36 extern const int f; // expected-note 4 {{'f' declared here}}
37 class S4 {
38   int a;
39   S4(); // expected-note {{implicitly declared private here}}
40   S4(const S4 &s4);
41   S4 &operator+(const S4 &arg) { return (*this); }
42 
43 public:
44   S4(int v) : a(v) {}
45 };
46 S4 &operator&=(S4 &arg1, S4 &arg2) { return arg1; }
47 class S5 {
48   int a;
49   S5() : a(0) {} // expected-note {{implicitly declared private here}}
50   S5(const S5 &s5) : a(s5.a) {}
51   S5 &operator+(const S5 &arg);
52 
53 public:
54   S5(int v) : a(v) {}
55 };
56 class S6 { // expected-note 2 {{candidate function (the implicit copy assignment operator) not viable: no known conversion from 'int' to 'const S6' for 1st argument}}
57   int a;
58 
59 public:
60   S6() : a(6) {}
61   operator int() { return 6; }
62 } o;
63 
64 S3 h, k;
65 #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
66 
67 template <class T>       // expected-note {{declared here}}
68 T tmain(T argc) {
69   const T d = T();       // expected-note 4 {{'d' defined here}}
70   const T da[5] = {T()}; // expected-note 2 {{'da' defined here}}
71   T qa[5] = {T()};
72   T i;
73   T &j = i;                // expected-note 4 {{'j' defined here}}
74   S3 &p = k;               // expected-note 2 {{'p' defined here}}
75   const T &r = da[(int)i]; // expected-note 2 {{'r' defined here}}
76   T &q = qa[(int)i];       // expected-note 2 {{'q' defined here}}
77   T fl;
78 #pragma omp parallel
79 #pragma omp sections reduction // expected-error {{expected '(' after 'reduction'}}
80   {
81     foo();
82   }
83 #pragma omp parallel
84 #pragma omp sections reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp sections' are ignored}}
85   {
86     foo();
87   }
88 #pragma omp parallel
89 #pragma omp sections reduction( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}
90   {
91     foo();
92   }
93 #pragma omp parallel
94 #pragma omp sections reduction(- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
95   {
96     foo();
97   }
98 #pragma omp parallel
99 #pragma omp sections reduction() // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}
100   {
101     foo();
102   }
103 #pragma omp parallel
104 #pragma omp sections reduction(*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}
105   {
106     foo();
107   }
108 #pragma omp parallel
109 #pragma omp sections reduction(\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}
110   {
111     foo();
112   }
113 #pragma omp parallel
114 #pragma omp sections reduction(& : argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{invalid operands to binary expression ('float' and 'float')}}
115   {
116     foo();
117   }
118 #pragma omp parallel
119 #pragma omp sections reduction(| : argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{invalid operands to binary expression ('float' and 'float')}}
120   {
121     foo();
122   }
123 #pragma omp parallel
124 #pragma omp sections reduction(|| : argc ? i : argc) // expected-error 2 {{expected variable name}}
125   {
126     foo();
127   }
128 #pragma omp parallel
129 #pragma omp sections reduction(foo : argc) //expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}
130   {
131     foo();
132   }
133 #pragma omp parallel
134 #pragma omp sections reduction(&& : argc)
135   {
136     foo();
137   }
138 #pragma omp parallel
139 #pragma omp sections reduction(^ : T) // expected-error {{'T' does not refer to a value}}
140   {
141     foo();
142   }
143 #pragma omp parallel
144 #pragma omp sections reduction(+ : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 3 {{const-qualified variable cannot be reduction}} expected-error 3 {{'operator+' is a private member of 'S2'}}
145   {
146     foo();
147   }
148 #pragma omp parallel
149 #pragma omp sections reduction(min : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 3 {{const-qualified variable cannot be reduction}}
150   {
151     foo();
152   }
153 #pragma omp parallel
154 #pragma omp sections reduction(max : qa[1]) // expected-error 2 {{expected variable name}}
155   {
156     foo();
157   }
158 #pragma omp parallel
159 #pragma omp sections reduction(+ : ba) // expected-error {{a reduction variable with array type 'const S2 [5]'}}
160   {
161     foo();
162   }
163 #pragma omp parallel
164 #pragma omp sections reduction(* : ca) // expected-error {{a reduction variable with array type 'const S3 [5]'}}
165   {
166     foo();
167   }
168 #pragma omp parallel
169 #pragma omp sections reduction(- : da) // expected-error {{a reduction variable with array type 'const int [5]'}} expected-error {{a reduction variable with array type 'const float [5]'}}
170   {
171     foo();
172   }
173 #pragma omp parallel
174 #pragma omp sections reduction(^ : fl) // expected-error {{invalid operands to binary expression ('float' and 'float')}}
175   {
176     foo();
177   }
178 #pragma omp parallel
179 #pragma omp sections reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}
180   {
181     foo();
182   }
183 #pragma omp parallel
184 #pragma omp sections reduction(&& : S2::S2sc) // expected-error {{const-qualified variable cannot be reduction}}
185   {
186     foo();
187   }
188 #pragma omp parallel
189 #pragma omp sections reduction(+ : h, k) // expected-error {{threadprivate or thread local variable cannot be reduction}}
190   {
191     foo();
192   }
193 #pragma omp parallel
194 #pragma omp sections reduction(+ : o) // expected-error {{no viable overloaded '='}}
195   {
196     foo();
197   }
198 #pragma omp parallel
199 #pragma omp sections private(i), reduction(+ : j), reduction(+ : q) // expected-error 4 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
200   {
201     foo();
202   }
203 #pragma omp parallel private(k)
204 #pragma omp sections reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
205   {
206     foo();
207   }
208 #pragma omp parallel
209 #pragma omp sections reduction(+ : p), reduction(+ : p) // expected-error 3 {{variable can appear only once in OpenMP 'reduction' clause}} expected-note 3 {{previously referenced here}}
210   {
211     foo();
212   }
213 #pragma omp parallel
214 #pragma omp sections reduction(+ : r) // expected-error 2 {{const-qualified variable cannot be reduction}}
215   {
216     foo();
217   }
218 #pragma omp parallel shared(i)
219 #pragma omp parallel reduction(min : i)
220 #pragma omp sections reduction(max : j) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
221   {
222     foo();
223   }
224 #pragma omp parallel private(fl)       // expected-note 2 {{defined as private}}
225 #pragma omp sections reduction(+ : fl) // expected-error 2 {{reduction variable must be shared}}
226   {
227     foo();
228   }
229 #pragma omp parallel reduction(* : fl) // expected-note 2 {{defined as reduction}}
230 #pragma omp sections reduction(+ : fl) // expected-error 2 {{reduction variable must be shared}}
231   {
232     foo();
233   }
234 
235   return T();
236 }
237 
238 namespace A {
239 double x;
240 #pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}
241 }
242 namespace B {
243 using A::x;
244 }
245 
246 int main(int argc, char **argv) {
247   const int d = 5;       // expected-note 2 {{'d' defined here}}
248   const int da[5] = {0}; // expected-note {{'da' defined here}}
249   int qa[5] = {0};
250   S4 e(4);
251   S5 g(5);
252   int i;
253   int &j = i;           // expected-note 2 {{'j' defined here}}
254   S3 &p = k;            // expected-note 2 {{'p' defined here}}
255   const int &r = da[i]; // expected-note {{'r' defined here}}
256   int &q = qa[i];       // expected-note {{'q' defined here}}
257   float fl;
258 #pragma omp parallel
259 #pragma omp sections reduction // expected-error {{expected '(' after 'reduction'}}
260   {
261     foo();
262   }
263 #pragma omp parallel
264 #pragma omp sections reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp sections' are ignored}}
265   {
266     foo();
267   }
268 #pragma omp parallel
269 #pragma omp sections reduction( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}
270   {
271     foo();
272   }
273 #pragma omp parallel
274 #pragma omp sections reduction(- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
275   {
276     foo();
277   }
278 #pragma omp parallel
279 #pragma omp sections reduction() // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}
280   {
281     foo();
282   }
283 #pragma omp parallel
284 #pragma omp sections reduction(*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}
285   {
286     foo();
287   }
288 #pragma omp parallel
289 #pragma omp sections reduction(\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}
290   {
291     foo();
292   }
293 #pragma omp parallel
294 #pragma omp sections reduction(foo : argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}
295   {
296     foo();
297   }
298 #pragma omp parallel
299 #pragma omp sections reduction(| : argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
300   {
301     foo();
302   }
303 #pragma omp parallel
304 #pragma omp sections reduction(|| : argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
305   {
306     foo();
307   }
308 #pragma omp parallel
309 #pragma omp sections reduction(~ : argc) // expected-error {{expected unqualified-id}}
310   {
311     foo();
312   }
313 #pragma omp parallel
314 #pragma omp sections reduction(&& : argc)
315   {
316     foo();
317   }
318 #pragma omp parallel
319 #pragma omp sections reduction(^ : S1) // expected-error {{'S1' does not refer to a value}}
320   {
321     foo();
322   }
323 #pragma omp parallel
324 #pragma omp sections reduction(+ : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{const-qualified variable cannot be reduction}} expected-error {{'operator+' is a private member of 'S2'}}
325   {
326     foo();
327   }
328 #pragma omp parallel
329 #pragma omp sections reduction(min : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 2 {{const-qualified variable cannot be reduction}}
330   {
331     foo();
332   }
333 #pragma omp parallel
334 #pragma omp sections reduction(max : argv[1]) // expected-error {{expected variable name}}
335   {
336     foo();
337   }
338 #pragma omp parallel
339 #pragma omp sections reduction(+ : ba) // expected-error {{a reduction variable with array type 'const S2 [5]'}}
340   {
341     foo();
342   }
343 #pragma omp parallel
344 #pragma omp sections reduction(* : ca) // expected-error {{a reduction variable with array type 'const S3 [5]'}}
345   {
346     foo();
347   }
348 #pragma omp parallel
349 #pragma omp sections reduction(- : da) // expected-error {{a reduction variable with array type 'const int [5]'}}
350   {
351     foo();
352   }
353 #pragma omp parallel
354 #pragma omp sections reduction(^ : fl) // expected-error {{invalid operands to binary expression ('float' and 'float')}}
355   {
356     foo();
357   }
358 #pragma omp parallel
359 #pragma omp sections reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}
360   {
361     foo();
362   }
363 #pragma omp parallel
364 #pragma omp sections reduction(&& : S2::S2sc) // expected-error {{const-qualified variable cannot be reduction}}
365   {
366     foo();
367   }
368 #pragma omp parallel
369 #pragma omp sections reduction(& : e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{invalid operands to binary expression ('S4' and 'S4')}} expected-error {{calling a private constructor of class 'S5'}} expected-error {{invalid operands to binary expression ('S5' and 'S5')}}
370   {
371     foo();
372   }
373 #pragma omp parallel
374 #pragma omp sections reduction(+ : h, k, B::x) // expected-error 2 {{threadprivate or thread local variable cannot be reduction}}
375   {
376     foo();
377   }
378 #pragma omp parallel
379 #pragma omp sections reduction(+ : o) // expected-error {{no viable overloaded '='}}
380   {
381     foo();
382   }
383 #pragma omp parallel
384 #pragma omp sections private(i), reduction(+ : j), reduction(+ : q) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
385   {
386     foo();
387   }
388 #pragma omp parallel private(k)
389 #pragma omp sections reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
390   {
391     foo();
392   }
393 #pragma omp parallel
394 #pragma omp sections reduction(+ : p), reduction(+ : p) // expected-error {{variable can appear only once in OpenMP 'reduction' clause}} expected-note {{previously referenced here}}
395   {
396     foo();
397   }
398 #pragma omp parallel
399 #pragma omp sections reduction(+ : r) // expected-error {{const-qualified variable cannot be reduction}}
400   {
401     foo();
402   }
403 #pragma omp parallel shared(i)
404 #pragma omp parallel reduction(min : i)
405 #pragma omp sections reduction(max : j) // expected-error {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
406   {
407     foo();
408   }
409 #pragma omp parallel private(fl)       // expected-note {{defined as private}}
410 #pragma omp sections reduction(+ : fl) // expected-error {{reduction variable must be shared}}
411   {
412     foo();
413   }
414 #pragma omp parallel reduction(* : fl) // expected-note {{defined as reduction}}
415 #pragma omp sections reduction(+ : fl) // expected-error {{reduction variable must be shared}}
416   {
417     foo();
418   }
419 
420   return tmain(argc) + tmain(fl); // expected-note {{in instantiation of function template specialization 'tmain<int>' requested here}} expected-note {{in instantiation of function template specialization 'tmain<float>' requested here}}
421 }
422