307 lines · cpp
1// RUN: %clang_cc1 -verify -fopenmp-version=45 -fopenmp %s -Wuninitialized2// RUN: %clang_cc1 -verify -fopenmp %s -Wuninitialized3 4// RUN: %clang_cc1 -verify -fopenmp-version=45 -fopenmp-simd %s -Wuninitialized5// RUN: %clang_cc1 -verify -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 taskloop lastprivate // expected-error {{expected '(' after 'lastprivate'}}88 for (int k = 0; k < argc; ++k)89 ++k;90#pragma omp parallel91#pragma omp taskloop 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 taskloop lastprivate() // expected-error {{expected expression}}96 for (int k = 0; k < argc; ++k)97 ++k;98#pragma omp parallel99#pragma omp taskloop 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 taskloop 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 taskloop 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 taskloop 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 taskloop lastprivate(conditional: argc) lastprivate(conditional: // expected-error 2 {{use of undeclared identifier 'conditional'}} expected-error {{expected ')'}} expected-note {{to match this '('}}116 for (int k = 0; k < argc; ++k)117 ++k;118#pragma omp parallel119#pragma omp taskloop lastprivate(S1) // expected-error {{'S1' does not refer to a value}}120 for (int k = 0; k < argc; ++k)121 ++k;122#pragma omp parallel123#pragma omp taskloop lastprivate(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 taskloop lastprivate(argv[1]) // expected-error {{expected variable name}}128 for (int k = 0; k < argc; ++k)129 ++k;130#pragma omp parallel131#pragma omp taskloop lastprivate(z, 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 taskloop 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 taskloop allocate(omp_thread_mem_alloc: i) lastprivate(i) // expected-warning {{allocator with the 'thread' trait access has unspecified behavior on 'taskloop' 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 taskloop lastprivate(j)151 for (int k = 0; k < argc; ++k)152 ++k;153#pragma omp parallel154#pragma omp taskloop 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 taskloop 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#pragma omp parallel185#pragma omp taskloop lastprivate // expected-error {{expected '(' after 'lastprivate'}}186 for (i = 0; i < argc; ++i)187 foo();188#pragma omp parallel189#pragma omp taskloop lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}190 for (i = 0; i < argc; ++i)191 foo();192#pragma omp parallel193#pragma omp taskloop lastprivate() // expected-error {{expected expression}}194 for (i = 0; i < argc; ++i)195 foo();196#pragma omp parallel197#pragma omp taskloop lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}198 for (i = 0; i < argc; ++i)199 foo();200#pragma omp parallel201#pragma omp taskloop lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}202 for (i = 0; i < argc; ++i)203 foo();204#pragma omp parallel205#pragma omp taskloop lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}206 for (i = 0; i < argc; ++i)207 foo();208#pragma omp parallel209#pragma omp taskloop lastprivate(argc, z)210 for (i = 0; i < argc; ++i)211 foo();212#pragma omp parallel213#pragma omp taskloop lastprivate(S1) // expected-error {{'S1' does not refer to a value}}214 for (i = 0; i < argc; ++i)215 foo();216#pragma omp parallel217#pragma omp taskloop 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}}218 for (i = 0; i < argc; ++i)219 foo();220#pragma omp parallel221#pragma omp taskloop lastprivate(argv[1]) // expected-error {{expected variable name}}222 for (i = 0; i < argc; ++i)223 foo();224#pragma omp parallel225#pragma omp taskloop lastprivate(2 * 2) // expected-error {{expected variable name}}226 for (i = 0; i < argc; ++i)227 foo();228#pragma omp parallel229#pragma omp taskloop lastprivate(ba)230 for (i = 0; i < argc; ++i)231 foo();232#pragma omp parallel233#pragma omp taskloop lastprivate(ca) // expected-error {{const-qualified variable without mutable fields cannot be lastprivate}}234 for (i = 0; i < argc; ++i)235 foo();236#pragma omp parallel237#pragma omp taskloop lastprivate(da) // expected-error {{const-qualified variable cannot be lastprivate}}238 for (i = 0; i < argc; ++i)239 foo();240 int xa;241#pragma omp parallel242#pragma omp taskloop lastprivate(xa) // OK243 for (i = 0; i < argc; ++i)244 foo();245#pragma omp parallel246#pragma omp taskloop lastprivate(S2::S2s) // expected-error {{shared variable cannot be lastprivate}}247 for (i = 0; i < argc; ++i)248 foo();249#pragma omp parallel250#pragma omp taskloop lastprivate(S2::S2sc) // expected-error {{const-qualified variable cannot be lastprivate}}251 for (i = 0; i < argc; ++i)252 foo();253#pragma omp parallel254#pragma omp taskloop safelen(5) // expected-error {{unexpected OpenMP clause 'safelen' in directive '#pragma omp taskloop'}}255 for (i = 0; i < argc; ++i)256 foo();257#pragma omp parallel258#pragma omp taskloop lastprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}259 for (i = 0; i < argc; ++i)260 foo();261#pragma omp parallel262#pragma omp taskloop lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}}263 for (i = 0; i < argc; ++i)264 foo();265#pragma omp parallel266#pragma omp taskloop lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}267 for (i = 0; i < argc; ++i)268 foo();269#pragma omp parallel270#pragma omp taskloop lastprivate(B::x) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}271 for (i = 0; i < argc; ++i)272 foo();273#pragma omp parallel274#pragma omp taskloop private(xa), lastprivate(xa) // expected-error {{private variable cannot be lastprivate}} expected-note {{defined as private}}275 for (i = 0; i < argc; ++i)276 foo();277#pragma omp parallel278#pragma omp taskloop lastprivate(i)279 for (i = 0; i < argc; ++i)280 foo();281#pragma omp parallel private(xa)282#pragma omp taskloop lastprivate(xa)283 for (i = 0; i < argc; ++i)284 foo();285#pragma omp parallel reduction(+ : xa)286#pragma omp taskloop lastprivate(xa)287 for (i = 0; i < argc; ++i)288 foo();289#pragma omp parallel290#pragma omp taskloop lastprivate(j)291 for (i = 0; i < argc; ++i)292 foo();293#pragma omp parallel294#pragma omp taskloop firstprivate(m) lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}}295 for (i = 0; i < argc; ++i)296 foo();297#pragma omp parallel298#pragma omp taskloop lastprivate(n) firstprivate(n) // OK299 for (i = 0; i < argc; ++i)300 foo();301 static int si;302#pragma omp taskloop lastprivate(si) // OK303 for (i = 0; i < argc; ++i)304 si = i + 1;305 return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}306}307