1*bb83f8e7SJennifer Yu // RUN: %clang_cc1 -verify -fopenmp %s -Wuninitialized
2*bb83f8e7SJennifer Yu 
3*bb83f8e7SJennifer Yu // RUN: %clang_cc1 -verify -fopenmp-simd %s -Wuninitialized
4*bb83f8e7SJennifer Yu 
5*bb83f8e7SJennifer Yu extern int omp_default_mem_alloc;
foo()6*bb83f8e7SJennifer Yu void foo() {
7*bb83f8e7SJennifer Yu }
8*bb83f8e7SJennifer Yu 
foobool(int argc)9*bb83f8e7SJennifer Yu bool foobool(int argc) {
10*bb83f8e7SJennifer Yu   return argc;
11*bb83f8e7SJennifer Yu }
12*bb83f8e7SJennifer Yu 
xxx(int argc)13*bb83f8e7SJennifer Yu void xxx(int argc) {
14*bb83f8e7SJennifer Yu   int fp; // expected-note {{initialize the variable 'fp' to silence this warning}}
15*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(fp) // expected-warning {{variable 'fp' is uninitialized when used here}}
16*bb83f8e7SJennifer Yu   {
17*bb83f8e7SJennifer Yu     for (int i = 0; i < 10; ++i)
18*bb83f8e7SJennifer Yu       ;
19*bb83f8e7SJennifer Yu   }
20*bb83f8e7SJennifer Yu }
21*bb83f8e7SJennifer Yu 
22*bb83f8e7SJennifer Yu struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}
23*bb83f8e7SJennifer Yu extern S1 a;
24*bb83f8e7SJennifer Yu class S2 {
25*bb83f8e7SJennifer Yu   mutable int a;
26*bb83f8e7SJennifer Yu 
27*bb83f8e7SJennifer Yu public:
S2()28*bb83f8e7SJennifer Yu   S2() : a(0) {}
S2(const S2 & s2)29*bb83f8e7SJennifer Yu   S2(const S2 &s2) : a(s2.a) {}
30*bb83f8e7SJennifer Yu   static float S2s;
31*bb83f8e7SJennifer Yu   static const float S2sc;
32*bb83f8e7SJennifer Yu };
33*bb83f8e7SJennifer Yu const float S2::S2sc = 0;
34*bb83f8e7SJennifer Yu const S2 b;
35*bb83f8e7SJennifer Yu const S2 ba[5];
36*bb83f8e7SJennifer Yu class S3 {
37*bb83f8e7SJennifer Yu   int a;
38*bb83f8e7SJennifer Yu   S3 &operator=(const S3 &s3);
39*bb83f8e7SJennifer Yu 
40*bb83f8e7SJennifer Yu public:
S3()41*bb83f8e7SJennifer Yu   S3() : a(0) {}
S3(const S3 & s3)42*bb83f8e7SJennifer Yu   S3(const S3 &s3) : a(s3.a) {}
43*bb83f8e7SJennifer Yu };
44*bb83f8e7SJennifer Yu const S3 c;
45*bb83f8e7SJennifer Yu const S3 ca[5];
46*bb83f8e7SJennifer Yu extern const int f;
47*bb83f8e7SJennifer Yu class S4 {
48*bb83f8e7SJennifer Yu   int a;
49*bb83f8e7SJennifer Yu   S4();
50*bb83f8e7SJennifer Yu   S4(const S4 &s4); // expected-note 2 {{implicitly declared private here}}
51*bb83f8e7SJennifer Yu 
52*bb83f8e7SJennifer Yu public:
S4(int v)53*bb83f8e7SJennifer Yu   S4(int v) : a(v) {}
54*bb83f8e7SJennifer Yu };
55*bb83f8e7SJennifer Yu class S5 {
56*bb83f8e7SJennifer Yu   int a;
S5(const S5 & s5)57*bb83f8e7SJennifer Yu   S5(const S5 &s5) : a(s5.a) {} // expected-note 4 {{implicitly declared private here}}
58*bb83f8e7SJennifer Yu 
59*bb83f8e7SJennifer Yu public:
S5()60*bb83f8e7SJennifer Yu   S5() : a(0) {}
S5(int v)61*bb83f8e7SJennifer Yu   S5(int v) : a(v) {}
62*bb83f8e7SJennifer Yu };
63*bb83f8e7SJennifer Yu class S6 {
64*bb83f8e7SJennifer Yu   int a;
S6()65*bb83f8e7SJennifer Yu   S6() : a(0) {}
66*bb83f8e7SJennifer Yu 
67*bb83f8e7SJennifer Yu public:
S6(const S6 & s6)68*bb83f8e7SJennifer Yu   S6(const S6 &s6) : a(s6.a) {}
S6(int v)69*bb83f8e7SJennifer Yu   S6(int v) : a(v) {}
70*bb83f8e7SJennifer Yu };
71*bb83f8e7SJennifer Yu 
72*bb83f8e7SJennifer Yu S3 h;
73*bb83f8e7SJennifer Yu #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
74*bb83f8e7SJennifer Yu 
75*bb83f8e7SJennifer Yu template <class I, class C>
foomain(int argc,char ** argv)76*bb83f8e7SJennifer Yu int foomain(int argc, char **argv) {
77*bb83f8e7SJennifer Yu   I e(4);
78*bb83f8e7SJennifer Yu   C g(5);
79*bb83f8e7SJennifer Yu   int i, z;
80*bb83f8e7SJennifer Yu   int &j = i;
81*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate // expected-error {{expected '(' after 'firstprivate'}}
82*bb83f8e7SJennifer Yu   {
83*bb83f8e7SJennifer Yu     foo();
84*bb83f8e7SJennifer Yu   }
85*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
86*bb83f8e7SJennifer Yu   {
87*bb83f8e7SJennifer Yu     foo();
88*bb83f8e7SJennifer Yu   }
89*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate() // expected-error {{expected expression}}
90*bb83f8e7SJennifer Yu   {
91*bb83f8e7SJennifer Yu     foo();
92*bb83f8e7SJennifer Yu   }
93*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
94*bb83f8e7SJennifer Yu   {
95*bb83f8e7SJennifer Yu     foo();
96*bb83f8e7SJennifer Yu   }
97*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
98*bb83f8e7SJennifer Yu   {
99*bb83f8e7SJennifer Yu     foo();
100*bb83f8e7SJennifer Yu   }
101*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
102*bb83f8e7SJennifer Yu   {
103*bb83f8e7SJennifer Yu     foo();
104*bb83f8e7SJennifer Yu   }
105*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(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 '('}}
106*bb83f8e7SJennifer Yu   {
107*bb83f8e7SJennifer Yu     foo();
108*bb83f8e7SJennifer Yu   }
109*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(S1) // expected-error {{'S1' does not refer to a value}}
110*bb83f8e7SJennifer Yu   {
111*bb83f8e7SJennifer Yu     foo();
112*bb83f8e7SJennifer Yu   }
113*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(z, a, b) // expected-error {{firstprivate variable with incomplete type 'S1'}}
114*bb83f8e7SJennifer Yu   {
115*bb83f8e7SJennifer Yu     foo();
116*bb83f8e7SJennifer Yu   }
117*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argv[1]) // expected-error {{expected variable name}}
118*bb83f8e7SJennifer Yu   {
119*bb83f8e7SJennifer Yu     foo();
120*bb83f8e7SJennifer Yu   }
121*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}
122*bb83f8e7SJennifer Yu   {
123*bb83f8e7SJennifer Yu     foo();
124*bb83f8e7SJennifer Yu   }
125*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(h) // expected-error {{threadprivate or thread local variable cannot be firstprivate}}
126*bb83f8e7SJennifer Yu   {
127*bb83f8e7SJennifer Yu     foo();
128*bb83f8e7SJennifer Yu   }
129*bb83f8e7SJennifer Yu #pragma omp parallel masked linear(i) // expected-error {{unexpected OpenMP clause 'linear' in directive '#pragma omp parallel masked'}}
130*bb83f8e7SJennifer Yu   {
131*bb83f8e7SJennifer Yu     foo();
132*bb83f8e7SJennifer Yu   }
133*bb83f8e7SJennifer Yu #pragma omp parallel
134*bb83f8e7SJennifer Yu   {
135*bb83f8e7SJennifer Yu     int v = 0;
136*bb83f8e7SJennifer Yu     int i;
137*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(i)
138*bb83f8e7SJennifer Yu     {
139*bb83f8e7SJennifer Yu       foo();
140*bb83f8e7SJennifer Yu     }
141*bb83f8e7SJennifer Yu     v += i;
142*bb83f8e7SJennifer Yu   }
143*bb83f8e7SJennifer Yu #pragma omp parallel shared(i)
144*bb83f8e7SJennifer Yu #pragma omp parallel private(i)
145*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(j)
146*bb83f8e7SJennifer Yu   {
147*bb83f8e7SJennifer Yu     foo();
148*bb83f8e7SJennifer Yu   }
149*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(i)
150*bb83f8e7SJennifer Yu   {
151*bb83f8e7SJennifer Yu     foo();
152*bb83f8e7SJennifer Yu   }
153*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(g) // expected-error {{calling a private constructor of class 'S5'}}
154*bb83f8e7SJennifer Yu   {
155*bb83f8e7SJennifer Yu     foo();
156*bb83f8e7SJennifer Yu   }
157*bb83f8e7SJennifer Yu #pragma omp parallel private(i)
158*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(i)
159*bb83f8e7SJennifer Yu   {
160*bb83f8e7SJennifer Yu     foo();
161*bb83f8e7SJennifer Yu   }
162*bb83f8e7SJennifer Yu #pragma omp parallel reduction(+ : i)
163*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(i)
164*bb83f8e7SJennifer Yu   {
165*bb83f8e7SJennifer Yu     foo();
166*bb83f8e7SJennifer Yu   }
167*bb83f8e7SJennifer Yu   return 0;
168*bb83f8e7SJennifer Yu }
169*bb83f8e7SJennifer Yu 
170*bb83f8e7SJennifer Yu namespace A {
171*bb83f8e7SJennifer Yu double x;
172*bb83f8e7SJennifer Yu #pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}
173*bb83f8e7SJennifer Yu }
174*bb83f8e7SJennifer Yu namespace B {
175*bb83f8e7SJennifer Yu using A::x;
176*bb83f8e7SJennifer Yu }
177*bb83f8e7SJennifer Yu 
main(int argc,char ** argv)178*bb83f8e7SJennifer Yu int main(int argc, char **argv) {
179*bb83f8e7SJennifer Yu   const int d = 5;
180*bb83f8e7SJennifer Yu   const int da[5] = {0};
181*bb83f8e7SJennifer Yu   S4 e(4);
182*bb83f8e7SJennifer Yu   S5 g(5);
183*bb83f8e7SJennifer Yu   S3 m;
184*bb83f8e7SJennifer Yu   S6 n(2);
185*bb83f8e7SJennifer Yu   int i, z;
186*bb83f8e7SJennifer Yu   int &j = i;
187*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate // expected-error {{expected '(' after 'firstprivate'}}
188*bb83f8e7SJennifer Yu   {
189*bb83f8e7SJennifer Yu     foo();
190*bb83f8e7SJennifer Yu   }
191*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
192*bb83f8e7SJennifer Yu   {
193*bb83f8e7SJennifer Yu     foo();
194*bb83f8e7SJennifer Yu   }
195*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate() // expected-error {{expected expression}}
196*bb83f8e7SJennifer Yu   {
197*bb83f8e7SJennifer Yu     foo();
198*bb83f8e7SJennifer Yu   }
199*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
200*bb83f8e7SJennifer Yu   {
201*bb83f8e7SJennifer Yu     foo();
202*bb83f8e7SJennifer Yu   }
203*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
204*bb83f8e7SJennifer Yu   {
205*bb83f8e7SJennifer Yu     foo();
206*bb83f8e7SJennifer Yu   }
207*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
208*bb83f8e7SJennifer Yu   {
209*bb83f8e7SJennifer Yu     foo();
210*bb83f8e7SJennifer Yu   }
211*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argc, z)
212*bb83f8e7SJennifer Yu   {
213*bb83f8e7SJennifer Yu     foo();
214*bb83f8e7SJennifer Yu   }
215*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(S1) // expected-error {{'S1' does not refer to a value}}
216*bb83f8e7SJennifer Yu   {
217*bb83f8e7SJennifer Yu     foo();
218*bb83f8e7SJennifer Yu   }
219*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(a, b, c, d, f) // expected-error {{firstprivate variable with incomplete type 'S1'}}
220*bb83f8e7SJennifer Yu   {
221*bb83f8e7SJennifer Yu     foo();
222*bb83f8e7SJennifer Yu   }
223*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(argv[1]) // expected-error {{expected variable name}}
224*bb83f8e7SJennifer Yu   {
225*bb83f8e7SJennifer Yu     foo();
226*bb83f8e7SJennifer Yu   }
227*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(2 * 2) // expected-error {{expected variable name}}
228*bb83f8e7SJennifer Yu   {
229*bb83f8e7SJennifer Yu     foo();
230*bb83f8e7SJennifer Yu   }
231*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(ba) // OK
232*bb83f8e7SJennifer Yu   {
233*bb83f8e7SJennifer Yu     foo();
234*bb83f8e7SJennifer Yu   }
235*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(ca) // OK
236*bb83f8e7SJennifer Yu   {
237*bb83f8e7SJennifer Yu     foo();
238*bb83f8e7SJennifer Yu   }
239*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(da) // OK
240*bb83f8e7SJennifer Yu   {
241*bb83f8e7SJennifer Yu     foo();
242*bb83f8e7SJennifer Yu   }
243*bb83f8e7SJennifer Yu   int xa;
244*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(xa) // OK
245*bb83f8e7SJennifer Yu   {
246*bb83f8e7SJennifer Yu     foo();
247*bb83f8e7SJennifer Yu   }
248*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(S2::S2s) // OK
249*bb83f8e7SJennifer Yu   {
250*bb83f8e7SJennifer Yu     foo();
251*bb83f8e7SJennifer Yu   }
252*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(S2::S2sc) // OK
253*bb83f8e7SJennifer Yu   {
254*bb83f8e7SJennifer Yu     foo();
255*bb83f8e7SJennifer Yu   }
256*bb83f8e7SJennifer Yu #pragma omp parallel masked safelen(5) // expected-error {{unexpected OpenMP clause 'safelen' in directive '#pragma omp parallel masked'}}
257*bb83f8e7SJennifer Yu   {
258*bb83f8e7SJennifer Yu     foo();
259*bb83f8e7SJennifer Yu   }
260*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}
261*bb83f8e7SJennifer Yu   {
262*bb83f8e7SJennifer Yu     foo();
263*bb83f8e7SJennifer Yu   }
264*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(m) // OK
265*bb83f8e7SJennifer Yu   {
266*bb83f8e7SJennifer Yu     foo();
267*bb83f8e7SJennifer Yu   }
268*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(h, B::x) // expected-error 2 {{threadprivate or thread local variable cannot be firstprivate}}
269*bb83f8e7SJennifer Yu   {
270*bb83f8e7SJennifer Yu     foo();
271*bb83f8e7SJennifer Yu   }
272*bb83f8e7SJennifer Yu #pragma omp parallel masked private(xa), firstprivate(xa) // expected-error {{private variable cannot be firstprivate}} expected-note {{defined as private}}
273*bb83f8e7SJennifer Yu   {
274*bb83f8e7SJennifer Yu     foo();
275*bb83f8e7SJennifer Yu   }
276*bb83f8e7SJennifer Yu #pragma omp parallel shared(xa)
277*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(xa) // OK: may be firstprivate
278*bb83f8e7SJennifer Yu   {
279*bb83f8e7SJennifer Yu     foo();
280*bb83f8e7SJennifer Yu   }
281*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(j)
282*bb83f8e7SJennifer Yu   {
283*bb83f8e7SJennifer Yu     foo();
284*bb83f8e7SJennifer Yu   }
285*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(g) // expected-error {{calling a private constructor of class 'S5'}}
286*bb83f8e7SJennifer Yu   {
287*bb83f8e7SJennifer Yu     foo();
288*bb83f8e7SJennifer Yu   }
289*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(n) // OK
290*bb83f8e7SJennifer Yu   {
291*bb83f8e7SJennifer Yu     foo();
292*bb83f8e7SJennifer Yu   }
293*bb83f8e7SJennifer Yu #pragma omp parallel
294*bb83f8e7SJennifer Yu   {
295*bb83f8e7SJennifer Yu     int v = 0;
296*bb83f8e7SJennifer Yu     int i;
297*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(i)
298*bb83f8e7SJennifer Yu     {
299*bb83f8e7SJennifer Yu       foo();
300*bb83f8e7SJennifer Yu     }
301*bb83f8e7SJennifer Yu     v += i;
302*bb83f8e7SJennifer Yu   }
303*bb83f8e7SJennifer Yu #pragma omp parallel private(i)
304*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(i)
305*bb83f8e7SJennifer Yu   {
306*bb83f8e7SJennifer Yu     foo();
307*bb83f8e7SJennifer Yu   }
308*bb83f8e7SJennifer Yu #pragma omp parallel reduction(+ : i)
309*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(i)
310*bb83f8e7SJennifer Yu   {
311*bb83f8e7SJennifer Yu     foo();
312*bb83f8e7SJennifer Yu   }
313*bb83f8e7SJennifer Yu   static int r;
314*bb83f8e7SJennifer Yu #pragma omp parallel masked firstprivate(r) // OK
315*bb83f8e7SJennifer Yu   {
316*bb83f8e7SJennifer Yu     foo();
317*bb83f8e7SJennifer Yu   }
318*bb83f8e7SJennifer Yu 
319*bb83f8e7SJennifer Yu   return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}
320*bb83f8e7SJennifer Yu }
321