1 // RUN: %clang_cc1 -verify -fopenmp -fopenmp-version=50 %s -Wuninitialized
2 
3 // RUN: %clang_cc1 -verify -fopenmp-simd -fopenmp-version=50 %s -Wuninitialized
4 
5 typedef void **omp_allocator_handle_t;
6 extern const omp_allocator_handle_t omp_null_allocator;
7 extern const omp_allocator_handle_t omp_default_mem_alloc;
8 extern const omp_allocator_handle_t omp_large_cap_mem_alloc;
9 extern const omp_allocator_handle_t omp_const_mem_alloc;
10 extern const omp_allocator_handle_t omp_high_bw_mem_alloc;
11 extern const omp_allocator_handle_t omp_low_lat_mem_alloc;
12 extern const omp_allocator_handle_t omp_cgroup_mem_alloc;
13 extern const omp_allocator_handle_t omp_pteam_mem_alloc;
14 extern const omp_allocator_handle_t omp_thread_mem_alloc;
15 
foo()16 void foo() {
17 }
18 
foobool(int argc)19 bool foobool(int argc) {
20   return argc;
21 }
22 
xxx(int argc)23 void xxx(int argc) {
24   int fp; // expected-note {{initialize the variable 'fp' to silence this warning}}
25 #pragma omp target teams distribute parallel for firstprivate(fp) // expected-warning {{variable 'fp' is uninitialized when used here}}
26   for (int i = 0; i < 10; ++i)
27     ;
28 }
29 
30 struct S1; // expected-note {{declared here}} expected-note{{forward declaration of 'S1'}}
31 extern S1 a;
32 class S2 {
33   mutable int a;
34 
35 public:
S2()36   S2() : a(0) {}
S2(const S2 & s2)37   S2(const S2 &s2) : a(s2.a) {}
38   static float S2s;
39   static const float S2sc;
40 };
41 const float S2::S2sc = 0;
42 const S2 b;
43 const S2 ba[5];
44 class S3 {
45   int a;
46   S3 &operator=(const S3 &s3);
47 
48 public:
S3()49   S3() : a(0) {} // expected-note 2 {{candidate constructor not viable: requires 0 arguments, but 1 was provided}}
S3(S3 & s3)50   S3(S3 &s3) : a(s3.a) {} // expected-note 2 {{candidate constructor not viable: 1st argument ('const S3') would lose const qualifier}}
51 };
52 const S3 c;
53 const S3 ca[5];
54 extern const int f;
55 class S4 {
56   int a;
57   S4();
58   S4(const S4 &s4);
59 public:
S4(int v)60   S4(int v):a(v) { }
61 };
62 class S5 {
63   int a;
S5()64   S5():a(0) {}
S5(const S5 & s5)65   S5(const S5 &s5):a(s5.a) { }
66 public:
S5(int v)67   S5(int v):a(v) { }
68 };
69 class S6 {
70   int a;
71 public:
S6()72   S6() : a(0) { }
73 };
74 
75 S3 h;
76 #pragma omp threadprivate(h) // expected-note {{defined as threadprivate or thread local}}
77 
main(int argc,char ** argv)78 int main(int argc, char **argv) {
79   const int d = 5;
80   const int da[5] = { 0 };
81   S4 e(4);
82   S5 g(5);
83   S6 p;
84   int i, z;
85   int &j = i;
86 
87 #pragma omp target teams distribute parallel for firstprivate // expected-error {{expected '(' after 'firstprivate'}}
88   for (i = 0; i < argc; ++i) foo();
89 
90 #pragma omp target teams distribute parallel for firstprivate ( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
91   for (i = 0; i < argc; ++i) foo();
92 
93 #pragma omp target teams distribute parallel for firstprivate () // expected-error {{expected expression}}
94   for (i = 0; i < argc; ++i) foo();
95 
96 #pragma omp target teams distribute parallel for firstprivate (argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
97   for (i = 0; i < argc; ++i) foo();
98 
99 #pragma omp target teams distribute parallel for firstprivate (argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
100   for (i = 0; i < argc; ++i) foo();
101 
102 #pragma omp target teams distribute parallel for firstprivate (argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
103   for (i = 0; i < argc; ++i) foo();
104 
105 #pragma omp target teams distribute parallel for 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   for (i = 0; i < argc; ++i) foo();
107 
108 #pragma omp target teams distribute parallel for firstprivate (S1) // expected-error {{'S1' does not refer to a value}}
109   for (i = 0; i < argc; ++i) foo();
110 
111 #pragma omp target teams distribute parallel for firstprivate (a, b, c, d, f) // expected-error {{firstprivate variable with incomplete type 'S1'}} expected-error {{no matching constructor for initialization of 'S3'}}
112   for (i = 0; i < argc; ++i) foo();
113 
114 #pragma omp target teams distribute parallel for firstprivate (argv[1]) // expected-error {{expected variable name}}
115   for (i = 0; i < argc; ++i) foo();
116 
117 #pragma omp target teams distribute parallel for firstprivate(ba) uses_allocators(omp_thread_mem_alloc) allocate(omp_thread_mem_alloc: ba) // expected-warning {{allocator with the 'thread' trait access has unspecified behavior on 'target teams distribute parallel for' directive}}
118   for (i = 0; i < argc; ++i) foo();
119 
120 #pragma omp target teams distribute parallel for firstprivate(ca) // expected-error {{no matching constructor for initialization of 'S3'}}
121   for (i = 0; i < argc; ++i) foo();
122 
123 #pragma omp target teams distribute parallel for firstprivate(da, z)
124   for (i = 0; i < argc; ++i) foo();
125 
126 #pragma omp target teams distribute parallel for firstprivate(S2::S2s)
127   for (i = 0; i < argc; ++i) foo();
128 
129 #pragma omp target teams distribute parallel for firstprivate(S2::S2sc)
130   for (i = 0; i < argc; ++i) foo();
131 
132 #pragma omp target teams distribute parallel for firstprivate(h) // expected-error {{threadprivate or thread local variable cannot be firstprivate}}
133   for (i = 0; i < argc; ++i) foo();
134 
135 #pragma omp target teams distribute parallel for private(i), firstprivate(i) // expected-error {{private variable cannot be firstprivate}} expected-note {{defined as private}}
136   for (i = 0; i < argc; ++i) foo();
137 
138 #pragma omp target teams distribute parallel for firstprivate(i)
139   for (j = 0; j < argc; ++j) foo();
140 
141 #pragma omp target teams distribute parallel for firstprivate(i) // expected-note {{defined as firstprivate}}
142   for (i = 0; i < argc; ++i) foo(); // expected-error {{loop iteration variable in the associated loop of 'omp target teams distribute parallel for' directive may not be firstprivate, predetermined as private}}
143 
144 #pragma omp target teams distribute parallel for firstprivate(j)
145   for (i = 0; i < argc; ++i) foo();
146 
147 // expected-error@+1 {{lastprivate variable cannot be firstprivate}} expected-note@+1 {{defined as lastprivate}}
148 #pragma omp target teams distribute parallel for lastprivate(argc), firstprivate(argc)
149   for (i = 0; i < argc; ++i) foo();
150 
151   return 0;
152 }
153