Clang Project

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