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