xref: /llvm-project/clang/test/OpenMP/masked_taskloop_private_messages.cpp (revision 42bb88e2aaee30372065d7704de4d99d4552cfb6)
1*42bb88e2SFazlay Rabbi // RUN: %clang_cc1 -verify -fopenmp %s -Wuninitialized
2*42bb88e2SFazlay Rabbi 
3*42bb88e2SFazlay Rabbi // RUN: %clang_cc1 -verify -fopenmp-simd %s -Wuninitialized
4*42bb88e2SFazlay Rabbi 
5*42bb88e2SFazlay Rabbi typedef void **omp_allocator_handle_t;
6*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_null_allocator;
7*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_default_mem_alloc;
8*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_large_cap_mem_alloc;
9*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_const_mem_alloc;
10*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_high_bw_mem_alloc;
11*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_low_lat_mem_alloc;
12*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_cgroup_mem_alloc;
13*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_pteam_mem_alloc;
14*42bb88e2SFazlay Rabbi extern const omp_allocator_handle_t omp_thread_mem_alloc;
15*42bb88e2SFazlay Rabbi 
foo()16*42bb88e2SFazlay Rabbi void foo() {
17*42bb88e2SFazlay Rabbi }
18*42bb88e2SFazlay Rabbi 
foobool(int argc)19*42bb88e2SFazlay Rabbi bool foobool(int argc) {
20*42bb88e2SFazlay Rabbi   return argc;
21*42bb88e2SFazlay Rabbi }
22*42bb88e2SFazlay Rabbi 
23*42bb88e2SFazlay Rabbi struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}
24*42bb88e2SFazlay Rabbi extern S1 a;
25*42bb88e2SFazlay Rabbi class S2 {
26*42bb88e2SFazlay Rabbi   mutable int a;
27*42bb88e2SFazlay Rabbi 
28*42bb88e2SFazlay Rabbi public:
S2()29*42bb88e2SFazlay Rabbi   S2() : a(0) {}
30*42bb88e2SFazlay Rabbi };
31*42bb88e2SFazlay Rabbi const S2 b;
32*42bb88e2SFazlay Rabbi const S2 ba[5];
33*42bb88e2SFazlay Rabbi class S3 {
34*42bb88e2SFazlay Rabbi   int a;
35*42bb88e2SFazlay Rabbi 
36*42bb88e2SFazlay Rabbi public:
S3()37*42bb88e2SFazlay Rabbi   S3() : a(0) {}
38*42bb88e2SFazlay Rabbi };
39*42bb88e2SFazlay Rabbi const S3 ca[5];
40*42bb88e2SFazlay Rabbi class S4 {
41*42bb88e2SFazlay Rabbi   int a;
42*42bb88e2SFazlay Rabbi   S4(); // expected-note {{implicitly declared private here}}
43*42bb88e2SFazlay Rabbi 
44*42bb88e2SFazlay Rabbi public:
S4(int v)45*42bb88e2SFazlay Rabbi   S4(int v) : a(v) {
46*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a) private(this->a)
47*42bb88e2SFazlay Rabbi     for (int k = 0; k < v; ++k)
48*42bb88e2SFazlay Rabbi       ++this->a;
49*42bb88e2SFazlay Rabbi   }
50*42bb88e2SFazlay Rabbi };
51*42bb88e2SFazlay Rabbi class S5 {
52*42bb88e2SFazlay Rabbi   int a;
S5()53*42bb88e2SFazlay Rabbi   S5() : a(0) {} // expected-note {{implicitly declared private here}}
54*42bb88e2SFazlay Rabbi 
55*42bb88e2SFazlay Rabbi public:
S5(int v)56*42bb88e2SFazlay Rabbi   S5(int v) : a(v) {}
operator =(S5 & s)57*42bb88e2SFazlay Rabbi   S5 &operator=(S5 &s) {
58*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a) private(this->a) private(s.a) // expected-error {{expected variable name or data member of current class}}
59*42bb88e2SFazlay Rabbi     for (int k = 0; k < s.a; ++k)
60*42bb88e2SFazlay Rabbi       ++s.a;
61*42bb88e2SFazlay Rabbi     return *this;
62*42bb88e2SFazlay Rabbi   }
63*42bb88e2SFazlay Rabbi };
64*42bb88e2SFazlay Rabbi 
65*42bb88e2SFazlay Rabbi template <typename T>
66*42bb88e2SFazlay Rabbi class S6 {
67*42bb88e2SFazlay Rabbi public:
68*42bb88e2SFazlay Rabbi   T a;
69*42bb88e2SFazlay Rabbi 
S6()70*42bb88e2SFazlay Rabbi   S6() : a(0) {}
S6(T v)71*42bb88e2SFazlay Rabbi   S6(T v) : a(v) {
72*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a) private(this->a) allocate(omp_thread_mem_alloc: a) // expected-warning {{allocator with the 'thread' trait access has unspecified behavior on 'masked taskloop' directive}}
73*42bb88e2SFazlay Rabbi     for (int k = 0; k < v; ++k)
74*42bb88e2SFazlay Rabbi       ++this->a;
75*42bb88e2SFazlay Rabbi   }
operator =(S6 & s)76*42bb88e2SFazlay Rabbi   S6 &operator=(S6 &s) {
77*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a) private(this->a) private(s.a) // expected-error {{expected variable name or data member of current class}}
78*42bb88e2SFazlay Rabbi     for (int k = 0; k < s.a; ++k)
79*42bb88e2SFazlay Rabbi       ++s.a;
80*42bb88e2SFazlay Rabbi     return *this;
81*42bb88e2SFazlay Rabbi   }
82*42bb88e2SFazlay Rabbi };
83*42bb88e2SFazlay Rabbi 
84*42bb88e2SFazlay Rabbi template <typename T>
85*42bb88e2SFazlay Rabbi class S7 : public T {
86*42bb88e2SFazlay Rabbi   T a;
S7()87*42bb88e2SFazlay Rabbi   S7() : a(0) {}
88*42bb88e2SFazlay Rabbi 
89*42bb88e2SFazlay Rabbi public:
S7(T v)90*42bb88e2SFazlay Rabbi   S7(T v) : a(v) {
91*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a) private(this->a) private(T::a)
92*42bb88e2SFazlay Rabbi     for (int k = 0; k < a.a; ++k)
93*42bb88e2SFazlay Rabbi       ++this->a.a;
94*42bb88e2SFazlay Rabbi   }
operator =(S7 & s)95*42bb88e2SFazlay Rabbi   S7 &operator=(S7 &s) {
96*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a) private(this->a) private(s.a) private(s.T::a) // expected-error 2 {{expected variable name or data member of current class}}
97*42bb88e2SFazlay Rabbi     for (int k = 0; k < s.a.a; ++k)
98*42bb88e2SFazlay Rabbi       ++s.a.a;
99*42bb88e2SFazlay Rabbi     return *this;
100*42bb88e2SFazlay Rabbi   }
101*42bb88e2SFazlay Rabbi };
102*42bb88e2SFazlay Rabbi 
103*42bb88e2SFazlay Rabbi S3 h;
104*42bb88e2SFazlay Rabbi #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
105*42bb88e2SFazlay Rabbi 
106*42bb88e2SFazlay Rabbi template <class I, class C>
foomain(I argc,C ** argv)107*42bb88e2SFazlay Rabbi int foomain(I argc, C **argv) {
108*42bb88e2SFazlay Rabbi   I e(4);
109*42bb88e2SFazlay Rabbi   I g(5);
110*42bb88e2SFazlay Rabbi   int i, z;
111*42bb88e2SFazlay Rabbi   int &j = i;
112*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private // expected-error {{expected '(' after 'private'}}
113*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
114*42bb88e2SFazlay Rabbi     ++k;
115*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
116*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
117*42bb88e2SFazlay Rabbi     ++k;
118*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private() // expected-error {{expected expression}}
119*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
120*42bb88e2SFazlay Rabbi     ++k;
121*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
122*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
123*42bb88e2SFazlay Rabbi     ++k;
124*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
125*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
126*42bb88e2SFazlay Rabbi     ++k;
127*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
128*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
129*42bb88e2SFazlay Rabbi     ++k;
130*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(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 '('}}
131*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
132*42bb88e2SFazlay Rabbi     ++k;
133*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(S1) // expected-error {{'S1' does not refer to a value}}
134*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
135*42bb88e2SFazlay Rabbi     ++k;
136*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a, b) // expected-error {{private variable with incomplete type 'S1'}}
137*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
138*42bb88e2SFazlay Rabbi     ++k;
139*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argv[1]) // expected-error {{expected variable name}}
140*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
141*42bb88e2SFazlay Rabbi     ++k;
142*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(e, g, z)
143*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
144*42bb88e2SFazlay Rabbi     ++k;
145*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(h) // expected-error {{threadprivate or thread local variable cannot be private}}
146*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
147*42bb88e2SFazlay Rabbi     ++k;
148*42bb88e2SFazlay Rabbi #pragma omp masked taskloop shared(i)
149*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
150*42bb88e2SFazlay Rabbi     ++k;
151*42bb88e2SFazlay Rabbi #pragma omp parallel
152*42bb88e2SFazlay Rabbi   {
153*42bb88e2SFazlay Rabbi     int v = 0;
154*42bb88e2SFazlay Rabbi     int i;
155*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(i)
156*42bb88e2SFazlay Rabbi     for (int k = 0; k < argc; ++k) {
157*42bb88e2SFazlay Rabbi       i = k;
158*42bb88e2SFazlay Rabbi       v += i;
159*42bb88e2SFazlay Rabbi     }
160*42bb88e2SFazlay Rabbi   }
161*42bb88e2SFazlay Rabbi #pragma omp parallel shared(i)
162*42bb88e2SFazlay Rabbi #pragma omp parallel private(i)
163*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(j)
164*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
165*42bb88e2SFazlay Rabbi     ++k;
166*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(i)
167*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
168*42bb88e2SFazlay Rabbi     ++k;
169*42bb88e2SFazlay Rabbi   return 0;
170*42bb88e2SFazlay Rabbi }
171*42bb88e2SFazlay Rabbi 
bar(S4 a[2])172*42bb88e2SFazlay Rabbi void bar(S4 a[2]) {
173*42bb88e2SFazlay Rabbi #pragma omp parallel
174*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a)
175*42bb88e2SFazlay Rabbi   for (int i = 0; i < 2; ++i)
176*42bb88e2SFazlay Rabbi     foo();
177*42bb88e2SFazlay Rabbi }
178*42bb88e2SFazlay Rabbi 
179*42bb88e2SFazlay Rabbi namespace A {
180*42bb88e2SFazlay Rabbi double x;
181*42bb88e2SFazlay Rabbi #pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}
182*42bb88e2SFazlay Rabbi }
183*42bb88e2SFazlay Rabbi namespace B {
184*42bb88e2SFazlay Rabbi using A::x;
185*42bb88e2SFazlay Rabbi }
186*42bb88e2SFazlay Rabbi 
main(int argc,char ** argv)187*42bb88e2SFazlay Rabbi int main(int argc, char **argv) {
188*42bb88e2SFazlay Rabbi   S4 e(4);
189*42bb88e2SFazlay Rabbi   S5 g(5);
190*42bb88e2SFazlay Rabbi   S6<float> s6(0.0) , s6_0(1.0); // expected-note {{in instantiation of member function 'S6<float>::S6' requested here}}
191*42bb88e2SFazlay Rabbi   S7<S6<float> > s7(0.0) , s7_0(1.0);
192*42bb88e2SFazlay Rabbi   int i, z;
193*42bb88e2SFazlay Rabbi   int &j = i;
194*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private // expected-error {{expected '(' after 'private'}}
195*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
196*42bb88e2SFazlay Rabbi     ++k;
197*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
198*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
199*42bb88e2SFazlay Rabbi     ++k;
200*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private() // expected-error {{expected expression}}
201*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
202*42bb88e2SFazlay Rabbi     ++k;
203*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
204*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
205*42bb88e2SFazlay Rabbi     ++k;
206*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
207*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
208*42bb88e2SFazlay Rabbi     ++k;
209*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
210*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
211*42bb88e2SFazlay Rabbi     ++k;
212*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argc)
213*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
214*42bb88e2SFazlay Rabbi     ++k;
215*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(S1) // expected-error {{'S1' does not refer to a value}}
216*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
217*42bb88e2SFazlay Rabbi     ++k;
218*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(a, b) // expected-error {{private variable with incomplete type 'S1'}}
219*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
220*42bb88e2SFazlay Rabbi     ++k;
221*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(argv[1]) // expected-error {{expected variable name}}
222*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
223*42bb88e2SFazlay Rabbi     ++k;
224*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}
225*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
226*42bb88e2SFazlay Rabbi     ++k;
227*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(h) // expected-error {{threadprivate or thread local variable cannot be private}}
228*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
229*42bb88e2SFazlay Rabbi     ++k;
230*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(B::x) // expected-error {{threadprivate or thread local variable cannot be private}}
231*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
232*42bb88e2SFazlay Rabbi     ++k;
233*42bb88e2SFazlay Rabbi #pragma omp masked taskloop shared(i)
234*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
235*42bb88e2SFazlay Rabbi     ++k;
236*42bb88e2SFazlay Rabbi #pragma omp parallel
237*42bb88e2SFazlay Rabbi   {
238*42bb88e2SFazlay Rabbi     int i;
239*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(i)
240*42bb88e2SFazlay Rabbi     for (int k = 0; k < argc; ++k)
241*42bb88e2SFazlay Rabbi       ++k;
242*42bb88e2SFazlay Rabbi   }
243*42bb88e2SFazlay Rabbi #pragma omp parallel shared(i)
244*42bb88e2SFazlay Rabbi #pragma omp parallel private(i)
245*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(j)
246*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
247*42bb88e2SFazlay Rabbi     ++k;
248*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(i, z)
249*42bb88e2SFazlay Rabbi   for (int k = 0; k < argc; ++k)
250*42bb88e2SFazlay Rabbi     ++k;
251*42bb88e2SFazlay Rabbi   static int si;
252*42bb88e2SFazlay Rabbi #pragma omp masked taskloop private(si) // OK
253*42bb88e2SFazlay Rabbi   for(int k = 0; k < argc; ++k)
254*42bb88e2SFazlay Rabbi     si = k + 1;
255*42bb88e2SFazlay Rabbi 
256*42bb88e2SFazlay Rabbi   s6 = s6_0; // expected-note {{in instantiation of member function 'S6<float>::operator=' requested here}}
257*42bb88e2SFazlay Rabbi   s7 = s7_0; // expected-note {{in instantiation of member function 'S7<S6<float>>::operator=' requested here}}
258*42bb88e2SFazlay Rabbi   return foomain(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<int, char>' requested here}}
259*42bb88e2SFazlay Rabbi }
260*42bb88e2SFazlay Rabbi 
261