blob: 387d1213af5cd392f0d72306ec2215378ed1741f [file] [log] [blame]
Alexey Bataev93dc40d2019-12-20 11:04:57 -05001// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp %s -Wuninitialized
Saiyedul Islamff260ad2020-08-27 19:35:36 +00002// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp %s -Wuninitialized
Alexey Bataev4acb8592014-07-07 13:01:15 +00003
Alexey Bataev93dc40d2019-12-20 11:04:57 -05004// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp-simd %s -Wuninitialized
Saiyedul Islamff260ad2020-08-27 19:35:36 +00005// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-simd %s -Wuninitialized
Alexey Bataeva8a9153a2017-12-29 18:07:07 +00006
Alexey Bataeve04483e2019-03-27 14:14:31 +00007extern int omp_default_mem_alloc;
Alexey Bataev4acb8592014-07-07 13:01:15 +00008void foo() {
9}
10
11bool foobool(int argc) {
12 return argc;
13}
14
15struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}
16extern S1 a;
17class S2 {
18 mutable int a;
19
20public:
21 S2() : a(0) {}
22 S2(S2 &s2) : a(s2.a) {}
Alexey Bataev38e89532015-04-16 04:54:05 +000023 S2 &operator=(const S2 &);
24 const S2 &operator=(const S2 &) const;
Alexey Bataevdffa93a2015-12-10 08:20:58 +000025 static float S2s; // expected-note {{static data member is predetermined as shared}}
Joel E. Dennye6234d1422019-01-04 22:11:31 +000026 static const float S2sc; // expected-note {{'S2sc' declared here}}
Alexey Bataev4acb8592014-07-07 13:01:15 +000027};
Alexey Bataev4d4624c2017-07-20 16:47:47 +000028const float S2::S2sc = 0;
Alexey Bataev4acb8592014-07-07 13:01:15 +000029const S2 b;
30const S2 ba[5];
Alexey Bataev38e89532015-04-16 04:54:05 +000031class S3 {
Alexey Bataev4acb8592014-07-07 13:01:15 +000032 int a;
Alexey Bataev38e89532015-04-16 04:54:05 +000033 S3 &operator=(const S3 &s3); // expected-note 2 {{implicitly declared private here}}
Alexey Bataev4acb8592014-07-07 13:01:15 +000034
35public:
36 S3() : a(0) {}
37 S3(S3 &s3) : a(s3.a) {}
38};
Joel E. Dennye6234d1422019-01-04 22:11:31 +000039const S3 c; // expected-note {{'c' defined here}}
40const S3 ca[5]; // expected-note {{'ca' defined here}}
41extern const int f; // expected-note {{'f' declared here}}
Alexey Bataev38e89532015-04-16 04:54:05 +000042class S4 {
Alexey Bataev4acb8592014-07-07 13:01:15 +000043 int a;
Alexey Bataev38e89532015-04-16 04:54:05 +000044 S4(); // expected-note 3 {{implicitly declared private here}}
Alexey Bataev4acb8592014-07-07 13:01:15 +000045 S4(const S4 &s4);
46
47public:
48 S4(int v) : a(v) {}
49};
Alexey Bataev38e89532015-04-16 04:54:05 +000050class S5 {
Alexey Bataev4acb8592014-07-07 13:01:15 +000051 int a;
Alexey Bataev38e89532015-04-16 04:54:05 +000052 S5() : a(0) {} // expected-note {{implicitly declared private here}}
Alexey Bataev4acb8592014-07-07 13:01:15 +000053
54public:
55 S5(const S5 &s5) : a(s5.a) {}
56 S5(int v) : a(v) {}
57};
58class S6 {
59 int a;
Alexey Bataev93dc40d2019-12-20 11:04:57 -050060 S6() : a(0) {} // omp45-note 2 {{implicitly declared private here}}
Alexey Bataev4acb8592014-07-07 13:01:15 +000061
62public:
63 S6(const S6 &s6) : a(s6.a) {}
64 S6(int v) : a(v) {}
65};
66
67S3 h;
68#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
69
70template <class I, class C>
71int foomain(int argc, char **argv) {
Alexey Bataev38e89532015-04-16 04:54:05 +000072 I e(4);
73 I g(5);
Alexey Bataeva9148882019-07-08 15:45:24 +000074 int i, z;
Alexey Bataevbd9fec12015-08-18 06:47:21 +000075 int &j = i;
Alexey Bataev93dc40d2019-12-20 11:04:57 -050076 S6 s(0); // omp50-note {{'s' defined here}}
Alexey Bataev4acb8592014-07-07 13:01:15 +000077#pragma omp parallel for lastprivate // expected-error {{expected '(' after 'lastprivate'}}
78 for (int k = 0; k < argc; ++k)
79 ++k;
80#pragma omp parallel for lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
81 for (int k = 0; k < argc; ++k)
82 ++k;
83#pragma omp parallel for lastprivate() // expected-error {{expected expression}}
84 for (int k = 0; k < argc; ++k)
85 ++k;
86#pragma omp parallel for lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
87 for (int k = 0; k < argc; ++k)
88 ++k;
Alexey Bataevc5970622016-04-01 08:43:42 +000089#pragma omp parallel for lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
Alexey Bataev4acb8592014-07-07 13:01:15 +000090 for (int k = 0; k < argc; ++k)
91 ++k;
92#pragma omp parallel for lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
93 for (int k = 0; k < argc; ++k)
94 ++k;
Alexey Bataeve04483e2019-03-27 14:14:31 +000095#pragma omp parallel for lastprivate(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 '('}}
Alexey Bataev4acb8592014-07-07 13:01:15 +000096 for (int k = 0; k < argc; ++k)
97 ++k;
Alexey Bataev93dc40d2019-12-20 11:04:57 -050098#pragma omp parallel for lastprivate(conditional: argc,s) lastprivate(conditional: // omp50-error {{expected expression}} omp45-error 2 {{use of undeclared identifier 'conditional'}} expected-error {{expected ')'}} expected-note {{to match this '('}} omp45-error 2 {{calling a private constructor of class 'S6'}} omp50-error {{expected list item of scalar type in 'lastprivate' clause with 'conditional' modifier}}
99 for (int k = 0; k < argc; ++k)
100 ++k;
Alexey Bataev87a004d2020-01-02 09:26:32 -0500101#pragma omp parallel for lastprivate(foo:argc) // omp50-error {{expected 'conditional' in OpenMP clause 'lastprivate'}} omp45-error {{expected ',' or ')' in 'lastprivate' clause}} omp45-error {{expected ')'}} omp45-error {{expected variable name}} omp45-note {{to match this '('}}
102 for (int k = 0; k < argc; ++k)
103 ++k;
Alexey Bataev4acb8592014-07-07 13:01:15 +0000104#pragma omp parallel for lastprivate(S1) // expected-error {{'S1' does not refer to a value}}
105 for (int k = 0; k < argc; ++k)
106 ++k;
Alexey Bataeva9148882019-07-08 15:45:24 +0000107#pragma omp parallel for lastprivate(z, a, b) // expected-error {{lastprivate variable with incomplete type 'S1'}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000108 for (int k = 0; k < argc; ++k)
109 ++k;
110#pragma omp parallel for lastprivate(argv[1]) // expected-error {{expected variable name}}
111 for (int k = 0; k < argc; ++k)
112 ++k;
Alexey Bataev38e89532015-04-16 04:54:05 +0000113#pragma omp parallel for lastprivate(e, g) // expected-error 2 {{calling a private constructor of class 'S4'}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000114 for (int k = 0; k < argc; ++k)
115 ++k;
116#pragma omp parallel for lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}
117 for (int k = 0; k < argc; ++k)
118 ++k;
Alexey Bataev4acb8592014-07-07 13:01:15 +0000119#pragma omp parallel
120 {
121 int v = 0;
122 int i;
123#pragma omp parallel for lastprivate(i)
124 for (int k = 0; k < argc; ++k) {
125 i = k;
126 v += i;
127 }
128 }
129#pragma omp parallel shared(i)
130#pragma omp parallel private(i)
Alexey Bataevbd9fec12015-08-18 06:47:21 +0000131#pragma omp parallel for lastprivate(j)
Alexey Bataev4acb8592014-07-07 13:01:15 +0000132 for (int k = 0; k < argc; ++k)
133 ++k;
134#pragma omp parallel for lastprivate(i)
135 for (int k = 0; k < argc; ++k)
136 ++k;
137 return 0;
138}
139
Alexey Bataev6ddfe1a2015-04-16 13:49:42 +0000140namespace A {
141double x;
142#pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}
143}
144namespace B {
145using A::x;
146}
147
Alexey Bataev4acb8592014-07-07 13:01:15 +0000148int main(int argc, char **argv) {
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000149 const int d = 5; // expected-note {{'d' defined here}}
150 const int da[5] = {0}; // expected-note {{'da' defined here}}
Alexey Bataev38e89532015-04-16 04:54:05 +0000151 S4 e(4);
152 S5 g(5);
153 S3 m;
Alexey Bataev4acb8592014-07-07 13:01:15 +0000154 S6 n(2);
Alexey Bataeva9148882019-07-08 15:45:24 +0000155 int i, z;
Alexey Bataevbd9fec12015-08-18 06:47:21 +0000156 int &j = i;
Alexey Bataev4acb8592014-07-07 13:01:15 +0000157#pragma omp parallel for lastprivate // expected-error {{expected '(' after 'lastprivate'}}
158 for (i = 0; i < argc; ++i)
159 foo();
160#pragma omp parallel for lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
161 for (i = 0; i < argc; ++i)
162 foo();
163#pragma omp parallel for lastprivate() // expected-error {{expected expression}}
164 for (i = 0; i < argc; ++i)
165 foo();
166#pragma omp parallel for lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
167 for (i = 0; i < argc; ++i)
168 foo();
Alexey Bataevc5970622016-04-01 08:43:42 +0000169#pragma omp parallel for lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000170 for (i = 0; i < argc; ++i)
171 foo();
172#pragma omp parallel for lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
173 for (i = 0; i < argc; ++i)
174 foo();
Alexey Bataeva9148882019-07-08 15:45:24 +0000175#pragma omp parallel for lastprivate(argc, z)
Alexey Bataev4acb8592014-07-07 13:01:15 +0000176 for (i = 0; i < argc; ++i)
177 foo();
178#pragma omp parallel for lastprivate(S1) // expected-error {{'S1' does not refer to a value}}
179 for (i = 0; i < argc; ++i)
180 foo();
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000181#pragma omp parallel for lastprivate(a, b, c, d, f) // expected-error {{lastprivate variable with incomplete type 'S1'}} expected-error 1 {{const-qualified variable without mutable fields cannot be lastprivate}} expected-error 2 {{const-qualified variable cannot be lastprivate}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000182 for (i = 0; i < argc; ++i)
183 foo();
184#pragma omp parallel for lastprivate(argv[1]) // expected-error {{expected variable name}}
185 for (i = 0; i < argc; ++i)
186 foo();
187#pragma omp parallel for lastprivate(2 * 2) // expected-error {{expected variable name}}
188 for (i = 0; i < argc; ++i)
189 foo();
190#pragma omp parallel for lastprivate(ba)
191 for (i = 0; i < argc; ++i)
192 foo();
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000193#pragma omp parallel for lastprivate(ca) // expected-error {{const-qualified variable without mutable fields cannot be lastprivate}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000194 for (i = 0; i < argc; ++i)
195 foo();
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000196#pragma omp parallel for lastprivate(da) // expected-error {{const-qualified variable cannot be lastprivate}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000197 for (i = 0; i < argc; ++i)
198 foo();
199 int xa;
200#pragma omp parallel for lastprivate(xa) // OK
201 for (i = 0; i < argc; ++i)
202 foo();
Alexey Bataevdffa93a2015-12-10 08:20:58 +0000203#pragma omp parallel for lastprivate(S2::S2s) // expected-error {{shared variable cannot be lastprivate}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000204 for (i = 0; i < argc; ++i)
205 foo();
Joel E. Dennye6234d1422019-01-04 22:11:31 +0000206#pragma omp parallel for lastprivate(S2::S2sc) // expected-error {{const-qualified variable cannot be lastprivate}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000207 for (i = 0; i < argc; ++i)
208 foo();
209#pragma omp parallel for safelen(5) // expected-error {{unexpected OpenMP clause 'safelen' in directive '#pragma omp parallel for'}}
210 for (i = 0; i < argc; ++i)
211 foo();
Alexey Bataev38e89532015-04-16 04:54:05 +0000212#pragma omp parallel for lastprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000213 for (i = 0; i < argc; ++i)
214 foo();
Alexey Bataev38e89532015-04-16 04:54:05 +0000215#pragma omp parallel for lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000216 for (i = 0; i < argc; ++i)
217 foo();
Alexey Bataev6ddfe1a2015-04-16 13:49:42 +0000218#pragma omp parallel for lastprivate(h, B::x) // expected-error 2 {{threadprivate or thread local variable cannot be lastprivate}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000219 for (i = 0; i < argc; ++i)
220 foo();
221#pragma omp parallel for private(xa), lastprivate(xa) // expected-error {{private variable cannot be lastprivate}} expected-note {{defined as private}}
222 for (i = 0; i < argc; ++i)
223 foo();
224#pragma omp parallel for lastprivate(i)
225 for (i = 0; i < argc; ++i)
226 foo();
227#pragma omp parallel private(xa)
228#pragma omp parallel for lastprivate(xa)
229 for (i = 0; i < argc; ++i)
230 foo();
231#pragma omp parallel reduction(+ : xa)
232#pragma omp parallel for lastprivate(xa)
233 for (i = 0; i < argc; ++i)
234 foo();
Alexey Bataevbd9fec12015-08-18 06:47:21 +0000235#pragma omp parallel for lastprivate(j)
Alexey Bataev4acb8592014-07-07 13:01:15 +0000236 for (i = 0; i < argc; ++i)
237 foo();
Alexey Bataev38e89532015-04-16 04:54:05 +0000238#pragma omp parallel for firstprivate(m) lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}}
Alexey Bataev4acb8592014-07-07 13:01:15 +0000239 for (i = 0; i < argc; ++i)
240 foo();
241#pragma omp parallel for lastprivate(n) firstprivate(n) // OK
242 for (i = 0; i < argc; ++i)
243 foo();
Kelvin Li4eea8c62015-09-15 18:56:58 +0000244 static int si;
245#pragma omp parallel for lastprivate(si) // OK
246 for (i = 0; i < argc; ++i)
247 si = i + 2;
248
Alexey Bataev4acb8592014-07-07 13:01:15 +0000249 return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}
250}