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