284 lines · cpp
1// RUN: %clang_cc1 -verify -fopenmp %s -Wuninitialized2 3// RUN: %clang_cc1 -verify -fopenmp-simd %s -Wuninitialized4 5#pragma omp requires dynamic_allocators6 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 25void xxx(int argc) {26 int fp; // expected-note {{initialize the variable 'fp' to silence this warning}}27#pragma omp target parallel for simd firstprivate(fp) // expected-warning {{variable 'fp' is uninitialized when used here}}28 for (int i = 0; i < 10; ++i)29 ;30}31 32struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}33extern S1 a;34class S2 {35 mutable int a;36 37public:38 S2() : a(0) {}39 S2(const S2 &s2) : a(s2.a) {}40 static float S2s;41 static const float S2sc;42};43const float S2::S2sc = 0;44const S2 b;45const S2 ba[5];46class S3 {47 int a;48 S3 &operator=(const S3 &s3);49 50public:51 S3() : a(0) {}52 S3(const S3 &s3) : a(s3.a) {}53};54const S3 c;55const S3 ca[5];56extern const int f;57class S4 {58 int a;59 S4();60 S4(const S4 &s4); // expected-note 2 {{implicitly declared private here}}61 62public:63 S4(int v) : a(v) {}64};65class S5 {66 int a;67 S5(const S5 &s5) : a(s5.a) {} // expected-note 4 {{implicitly declared private here}}68 69public:70 S5() : a(0) {}71 S5(int v) : a(v) {}72};73class S6 {74 int a;75 S6() : a(0) {}76 77public:78 S6(const S6 &s6) : a(s6.a) {}79 S6(int v) : a(v) {}80};81 82S3 h;83#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}84 85template <class I, class C>86int foomain(int argc, char **argv) {87 I e(4);88 C g(5);89 int i,z;90 int &j = i;91#pragma omp target parallel for simd firstprivate // expected-error {{expected '(' after 'firstprivate'}}92 for (int k = 0; k < argc; ++k)93 ++k;94#pragma omp target parallel for simd firstprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}95 for (int k = 0; k < argc; ++k)96 ++k;97#pragma omp target parallel for simd firstprivate() // expected-error {{expected expression}}98 for (int k = 0; k < argc; ++k)99 ++k;100#pragma omp target parallel for simd firstprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}101 for (int k = 0; k < argc; ++k)102 ++k;103#pragma omp target parallel for simd firstprivate(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 target parallel for simd firstprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}107 for (int k = 0; k < argc; ++k)108 ++k;109#pragma omp target parallel for simd firstprivate(argc) allocate(omp_thread_mem_alloc: argc) // expected-warning {{allocator with the 'thread' trait access has unspecified behavior on 'target parallel for simd' directive}}110 for (int k = 0; k < argc; ++k)111 ++k;112#pragma omp target parallel for simd firstprivate(S1) // expected-error {{'S1' does not refer to a value}}113 for (int k = 0; k < argc; ++k)114 ++k;115#pragma omp target parallel for simd firstprivate(z, a, b) // expected-error {{firstprivate variable with incomplete type 'S1'}}116 for (int k = 0; k < argc; ++k)117 ++k;118#pragma omp target parallel for simd firstprivate(argv[1]) // expected-error {{expected variable name}}119 for (int k = 0; k < argc; ++k)120 ++k;121#pragma omp target parallel for simd firstprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}122 for (int k = 0; k < argc; ++k)123 ++k;124#pragma omp target parallel for simd firstprivate(h) // expected-error {{threadprivate or thread local variable cannot be firstprivate}}125 for (int k = 0; k < argc; ++k)126 ++k;127#pragma omp parallel128 {129 int v = 0;130 int i;131#pragma omp target parallel for simd firstprivate(i)132 for (int k = 0; k < argc; ++k) {133 i = k;134 v += i;135 }136 }137#pragma omp parallel shared(i)138#pragma omp parallel private(i)139#pragma omp target parallel for simd firstprivate(j)140 for (int k = 0; k < argc; ++k)141 ++k;142#pragma omp target parallel for simd firstprivate(i)143 for (int k = 0; k < argc; ++k)144 ++k;145#pragma omp target parallel for simd lastprivate(g) firstprivate(g) // expected-error {{calling a private constructor of class 'S5'}}146 for (i = 0; i < argc; ++i)147 foo();148#pragma omp parallel private(i)149#pragma omp target parallel for simd firstprivate(i) // expected-note 2 {{defined as firstprivate}}150 for (i = 0; i < argc; ++i) // expected-error 2 {{loop iteration variable in the associated loop of 'omp target parallel for simd' directive may not be firstprivate, predetermined as linear}}151 foo();152#pragma omp parallel reduction(+ : i)153#pragma omp target parallel for simd firstprivate(i) // expected-note 2 {{defined as firstprivate}}154 for (i = 0; i < argc; ++i) // expected-error 2 {{loop iteration variable in the associated loop of 'omp target parallel for simd' directive may not be firstprivate, predetermined as linear}}155 foo();156 return 0;157}158 159namespace A {160double x;161#pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}162}163namespace B {164using A::x;165}166 167int main(int argc, char **argv) {168 const int d = 5;169 const int da[5] = {0};170 S4 e(4);171 S5 g(5);172 S3 m;173 S6 n(2);174 int i, z;175 int &j = i;176#pragma omp target parallel for simd firstprivate // expected-error {{expected '(' after 'firstprivate'}}177 for (i = 0; i < argc; ++i)178 foo();179#pragma omp target parallel for simd firstprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}180 for (i = 0; i < argc; ++i)181 foo();182#pragma omp target parallel for simd firstprivate() // expected-error {{expected expression}}183 for (i = 0; i < argc; ++i)184 foo();185#pragma omp target parallel for simd firstprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}186 for (i = 0; i < argc; ++i)187 foo();188#pragma omp target parallel for simd firstprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}189 for (i = 0; i < argc; ++i)190 foo();191#pragma omp target parallel for simd firstprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}192 for (i = 0; i < argc; ++i)193 foo();194#pragma omp target parallel for 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 '('}}195 for (i = 0; i < argc; ++i)196 foo();197#pragma omp target parallel for simd firstprivate(S1) // expected-error {{'S1' does not refer to a value}}198 for (i = 0; i < argc; ++i)199 foo();200#pragma omp target parallel for simd firstprivate(z, a, b, c, d, f) // expected-error {{firstprivate variable with incomplete type 'S1'}}201 for (i = 0; i < argc; ++i)202 foo();203#pragma omp target parallel for simd firstprivate(argv[1]) // expected-error {{expected variable name}}204 for (i = 0; i < argc; ++i)205 foo();206#pragma omp target parallel for simd firstprivate(2 * 2) // expected-error {{expected variable name}}207 for (i = 0; i < argc; ++i)208 foo();209#pragma omp target parallel for simd firstprivate(ba) // OK210 for (i = 0; i < argc; ++i)211 foo();212#pragma omp target parallel for simd firstprivate(ca) // OK213 for (i = 0; i < argc; ++i)214 foo();215#pragma omp target parallel for simd firstprivate(da) // OK216 for (i = 0; i < argc; ++i)217 foo();218 int xa;219#pragma omp target parallel for simd firstprivate(xa) // OK220 for (i = 0; i < argc; ++i)221 foo();222#pragma omp target parallel for simd firstprivate(S2::S2s) // OK223 for (i = 0; i < argc; ++i)224 foo();225#pragma omp target parallel for simd firstprivate(S2::S2sc) // OK226 for (i = 0; i < argc; ++i)227 foo();228#pragma omp target parallel for simd safelen(5) // OK229 for (i = 0; i < argc; ++i)230 foo();231#pragma omp target parallel for simd firstprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}232 for (i = 0; i < argc; ++i)233 foo();234#pragma omp target parallel for simd firstprivate(m) // OK235 for (i = 0; i < argc; ++i)236 foo();237#pragma omp target parallel for simd firstprivate(h, B::x) // expected-error 2 {{threadprivate or thread local variable cannot be firstprivate}}238 for (i = 0; i < argc; ++i)239 foo();240#pragma omp target parallel for simd private(xa), firstprivate(xa) // expected-error {{private variable cannot be firstprivate}} expected-note {{defined as private}}241 for (i = 0; i < argc; ++i)242 foo();243#pragma omp target parallel for simd firstprivate(i) // expected-note {{defined as firstprivate}}244 for (i = 0; i < argc; ++i) // expected-error {{loop iteration variable in the associated loop of 'omp target parallel for simd' directive may not be firstprivate, predetermined as linear}}245 foo();246#pragma omp parallel shared(xa)247#pragma omp target parallel for simd firstprivate(xa) // OK: may be firstprivate248 for (i = 0; i < argc; ++i)249 foo();250#pragma omp target parallel for simd firstprivate(j)251 for (i = 0; i < argc; ++i)252 foo();253#pragma omp target parallel for simd lastprivate(g) firstprivate(g) // expected-error {{calling a private constructor of class 'S5'}}254 for (i = 0; i < argc; ++i)255 foo();256#pragma omp target parallel for simd lastprivate(n) firstprivate(n) // OK257 for (i = 0; i < argc; ++i)258 foo();259#pragma omp parallel260 {261 int v = 0;262 int i;263#pragma omp target parallel for simd firstprivate(i)264 for (int k = 0; k < argc; ++k) {265 i = k;266 v += i;267 }268 }269#pragma omp parallel private(i)270#pragma omp target parallel for simd firstprivate(i) // expected-note {{defined as firstprivate}}271 for (i = 0; i < argc; ++i) // expected-error {{loop iteration variable in the associated loop of 'omp target parallel for simd' directive may not be firstprivate, predetermined as linear}}272 foo();273#pragma omp parallel reduction(+ : i)274#pragma omp target parallel for simd firstprivate(i) // expected-note {{defined as firstprivate}}275 for (i = 0; i < argc; ++i) // expected-error {{loop iteration variable in the associated loop of 'omp target parallel for simd' directive may not be firstprivate, predetermined as linear}}276 foo();277 static int si;278#pragma omp target parallel for simd firstprivate(si) // OK279 for (i = 0; i < argc; ++i)280 si = i + 1;281 282 return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}283}284