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