308 lines · cpp
1// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp %s -Wuninitialized2// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp %s -Wuninitialized3 4// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp-simd %s -Wuninitialized5// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-simd %s -Wuninitialized6 7typedef void **omp_allocator_handle_t;8extern const omp_allocator_handle_t omp_null_allocator;9extern const omp_allocator_handle_t omp_default_mem_alloc;10extern const omp_allocator_handle_t omp_large_cap_mem_alloc;11extern const omp_allocator_handle_t omp_const_mem_alloc;12extern const omp_allocator_handle_t omp_high_bw_mem_alloc;13extern const omp_allocator_handle_t omp_low_lat_mem_alloc;14extern const omp_allocator_handle_t omp_cgroup_mem_alloc;15extern const omp_allocator_handle_t omp_pteam_mem_alloc;16extern const omp_allocator_handle_t omp_thread_mem_alloc;17 18void foo() {19}20 21bool foobool(int argc) {22 return argc;23}24 25struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}26extern S1 a;27class S2 {28 mutable int a;29 30public:31 S2() : a(0) {}32 S2(S2 &s2) : a(s2.a) {}33 const S2 &operator =(const S2&) const;34 S2 &operator =(const S2&);35 static float S2s; // expected-note {{static data member is predetermined as shared}}36 static const float S2sc; // expected-note {{'S2sc' declared here}}37};38const float S2::S2sc = 0;39const S2 b;40const S2 ba[5];41class S3 {42 int a;43 S3 &operator=(const S3 &s3); // expected-note 2 {{implicitly declared private here}}44 45public:46 S3() : a(0) {}47 S3(S3 &s3) : a(s3.a) {}48};49const S3 c; // expected-note {{'c' defined here}}50const S3 ca[5]; // expected-note {{'ca' defined here}}51extern const int f; // expected-note {{'f' declared here}}52class S4 {53 int a;54 S4(); // expected-note 3 {{implicitly declared private here}}55 S4(const S4 &s4);56 57public:58 S4(int v) : a(v) {}59};60class S5 {61 int a;62 S5() : a(0) {} // expected-note {{implicitly declared private here}}63 64public:65 S5(const S5 &s5) : a(s5.a) {}66 S5(int v) : a(v) {}67};68class S6 {69 int a;70 S6() : a(0) {}71 72public:73 S6(const S6 &s6) : a(s6.a) {}74 S6(int v) : a(v) {}75};76 77S3 h;78#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}79 80template <class I, class C>81int foomain(int argc, char **argv) {82 I e(4);83 I g(5);84 int i, z;85 int &j = i;86#pragma omp parallel87#pragma omp masked taskloop simd lastprivate // expected-error {{expected '(' after 'lastprivate'}}88 for (int k = 0; k < argc; ++k)89 ++k;90#pragma omp parallel91#pragma omp masked taskloop simd lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}92 for (int k = 0; k < argc; ++k)93 ++k;94#pragma omp parallel95#pragma omp masked taskloop simd lastprivate() // expected-error {{expected expression}}96 for (int k = 0; k < argc; ++k)97 ++k;98#pragma omp parallel99#pragma omp masked taskloop simd lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}100 for (int k = 0; k < argc; ++k)101 ++k;102#pragma omp parallel103#pragma omp masked taskloop simd lastprivate(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 parallel107#pragma omp masked taskloop simd lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}108 for (int k = 0; k < argc; ++k)109 ++k;110#pragma omp parallel111#pragma omp masked taskloop simd lastprivate(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 '('}}112 for (int k = 0; k < argc; ++k)113 ++k;114#pragma omp parallel115#pragma omp masked taskloop simd lastprivate(S1) // expected-error {{'S1' does not refer to a value}}116 for (int k = 0; k < argc; ++k)117 ++k;118#pragma omp parallel119#pragma omp masked taskloop simd lastprivate(conditional: argc) lastprivate(conditional: // expected-error 2 {{use of undeclared identifier 'conditional'}} expected-error {{expected ')'}} expected-note {{to match this '('}}120 for (int k = 0; k < argc; ++k)121 ++k;122#pragma omp parallel123#pragma omp masked taskloop simd lastprivate(z, a, b) // expected-error {{lastprivate variable with incomplete type 'S1'}}124 for (int k = 0; k < argc; ++k)125 ++k;126#pragma omp parallel127#pragma omp masked taskloop simd lastprivate(argv[1]) // expected-error {{expected variable name}}128 for (int k = 0; k < argc; ++k)129 ++k;130#pragma omp parallel131#pragma omp masked taskloop simd lastprivate(e, g) // expected-error 2 {{calling a private constructor of class 'S4'}}132 for (int k = 0; k < argc; ++k)133 ++k;134#pragma omp parallel135#pragma omp masked taskloop simd lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}136 for (int k = 0; k < argc; ++k)137 ++k;138#pragma omp parallel139 {140 int v = 0;141 int i;142#pragma omp masked taskloop simd lastprivate(i) allocate(omp_thread_mem_alloc: i) // expected-warning {{allocator with the 'thread' trait access has unspecified behavior on 'masked taskloop simd' directive}}143 for (int k = 0; k < argc; ++k) {144 i = k;145 v += i;146 }147 }148#pragma omp parallel shared(i)149#pragma omp parallel private(i)150#pragma omp masked taskloop simd lastprivate(j)151 for (int k = 0; k < argc; ++k)152 ++k;153#pragma omp parallel154#pragma omp masked taskloop simd lastprivate(i)155 for (int k = 0; k < argc; ++k)156 ++k;157 return 0;158}159 160void bar(S4 a[2]) {161#pragma omp parallel162#pragma omp masked taskloop simd lastprivate(a)163 for (int i = 0; i < 2; ++i)164 foo();165}166 167namespace A {168double x;169#pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}170}171namespace B {172using A::x;173}174 175int main(int argc, char **argv) {176 const int d = 5; // expected-note {{'d' defined here}}177 const int da[5] = {0}; // expected-note {{'da' defined here}}178 S4 e(4);179 S5 g(5);180 S3 m;181 S6 n(2);182 int i, z;183 int &j = i;184 int tid = 0;185#pragma omp parallel186#pragma omp masked taskloop simd lastprivate filter(tid) // expected-error {{expected '(' after 'lastprivate'}}187 for (i = 0; i < argc; ++i)188 foo();189#pragma omp parallel190#pragma omp masked taskloop simd lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}191 for (i = 0; i < argc; ++i)192 foo();193#pragma omp parallel194#pragma omp masked taskloop simd lastprivate() // expected-error {{expected expression}}195 for (i = 0; i < argc; ++i)196 foo();197#pragma omp parallel198#pragma omp masked taskloop simd lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}199 for (i = 0; i < argc; ++i)200 foo();201#pragma omp parallel202#pragma omp masked taskloop simd lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}203 for (i = 0; i < argc; ++i)204 foo();205#pragma omp parallel206#pragma omp masked taskloop simd lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}207 for (i = 0; i < argc; ++i)208 foo();209#pragma omp parallel210#pragma omp masked taskloop simd lastprivate(argc, z)211 for (i = 0; i < argc; ++i)212 foo();213#pragma omp parallel214#pragma omp masked taskloop simd lastprivate(S1) // expected-error {{'S1' does not refer to a value}}215 for (i = 0; i < argc; ++i)216 foo();217#pragma omp parallel218#pragma omp masked taskloop simd lastprivate(a, b, c, d, f) // expected-error {{lastprivate variable with incomplete type 'S1'}} expected-error 1 {{const-qualified variable without mutable fields cannot be lastprivate}} expected-error 2 {{const-qualified variable cannot be lastprivate}}219 for (i = 0; i < argc; ++i)220 foo();221#pragma omp parallel222#pragma omp masked taskloop simd lastprivate(argv[1]) // expected-error {{expected variable name}}223 for (i = 0; i < argc; ++i)224 foo();225#pragma omp parallel226#pragma omp masked taskloop simd lastprivate(2 * 2) // expected-error {{expected variable name}}227 for (i = 0; i < argc; ++i)228 foo();229#pragma omp parallel230#pragma omp masked taskloop simd lastprivate(ba)231 for (i = 0; i < argc; ++i)232 foo();233#pragma omp parallel234#pragma omp masked taskloop simd lastprivate(ca) // expected-error {{const-qualified variable without mutable fields cannot be lastprivate}}235 for (i = 0; i < argc; ++i)236 foo();237#pragma omp parallel238#pragma omp masked taskloop simd lastprivate(da) // expected-error {{const-qualified variable cannot be lastprivate}}239 for (i = 0; i < argc; ++i)240 foo();241 int xa;242#pragma omp parallel243#pragma omp masked taskloop simd lastprivate(xa) // OK244 for (i = 0; i < argc; ++i)245 foo();246#pragma omp parallel247#pragma omp masked taskloop simd lastprivate(S2::S2s) // expected-error {{shared variable cannot be lastprivate}}248 for (i = 0; i < argc; ++i)249 foo();250#pragma omp parallel251#pragma omp masked taskloop simd lastprivate(S2::S2sc) // expected-error {{const-qualified variable cannot be lastprivate}}252 for (i = 0; i < argc; ++i)253 foo();254#pragma omp parallel255#pragma omp masked taskloop simd safelen(5)256 for (i = 0; i < argc; ++i)257 foo();258#pragma omp parallel259#pragma omp masked taskloop simd lastprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}260 for (i = 0; i < argc; ++i)261 foo();262#pragma omp parallel263#pragma omp masked taskloop simd lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}}264 for (i = 0; i < argc; ++i)265 foo();266#pragma omp parallel267#pragma omp masked taskloop simd lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}268 for (i = 0; i < argc; ++i)269 foo();270#pragma omp parallel271#pragma omp masked taskloop simd lastprivate(B::x) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}272 for (i = 0; i < argc; ++i)273 foo();274#pragma omp parallel275#pragma omp masked taskloop simd private(xa), lastprivate(xa) // expected-error {{private variable cannot be lastprivate}} expected-note {{defined as private}}276 for (i = 0; i < argc; ++i)277 foo();278#pragma omp parallel279#pragma omp masked taskloop simd lastprivate(i) // omp45-note {{defined as lastprivate}}280 for (i = 0; i < argc; ++i) // omp45-error {{loop iteration variable in the associated loop of 'omp masked taskloop simd' directive may not be lastprivate, predetermined as linear}}281 foo();282#pragma omp parallel private(xa)283#pragma omp masked taskloop simd lastprivate(xa)284 for (i = 0; i < argc; ++i)285 foo();286#pragma omp parallel reduction(+ : xa)287#pragma omp masked taskloop simd lastprivate(xa)288 for (i = 0; i < argc; ++i)289 foo();290#pragma omp parallel291#pragma omp masked taskloop simd lastprivate(j)292 for (i = 0; i < argc; ++i)293 foo();294#pragma omp parallel295#pragma omp masked taskloop simd firstprivate(m) lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}}296 for (i = 0; i < argc; ++i)297 foo();298#pragma omp parallel299#pragma omp masked taskloop simd lastprivate(n) firstprivate(n) // OK300 for (i = 0; i < argc; ++i)301 foo();302 static int si;303#pragma omp masked taskloop simd lastprivate(si) // OK304 for (i = 0; i < argc; ++i)305 si = i + 1;306 return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}307}308