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