1*60e51c48SAlexey Bataev // RUN: %clang_cc1 -verify -fopenmp %s -Wuninitialized 2*60e51c48SAlexey Bataev 3*60e51c48SAlexey Bataev // RUN: %clang_cc1 -verify -fopenmp-simd %s -Wuninitialized 4*60e51c48SAlexey Bataev 5*60e51c48SAlexey Bataev typedef void **omp_allocator_handle_t; 6*60e51c48SAlexey Bataev extern const omp_allocator_handle_t omp_default_mem_alloc; 7*60e51c48SAlexey Bataev extern const omp_allocator_handle_t omp_large_cap_mem_alloc; 8*60e51c48SAlexey Bataev extern const omp_allocator_handle_t omp_const_mem_alloc; 9*60e51c48SAlexey Bataev extern const omp_allocator_handle_t omp_high_bw_mem_alloc; 10*60e51c48SAlexey Bataev extern const omp_allocator_handle_t omp_low_lat_mem_alloc; 11*60e51c48SAlexey Bataev extern const omp_allocator_handle_t omp_cgroup_mem_alloc; 12*60e51c48SAlexey Bataev extern const omp_allocator_handle_t omp_pteam_mem_alloc; 13*60e51c48SAlexey Bataev extern const omp_allocator_handle_t omp_thread_mem_alloc; 14*60e51c48SAlexey Bataev 15*60e51c48SAlexey Bataev void foo() { 16*60e51c48SAlexey Bataev } 17*60e51c48SAlexey Bataev 18*60e51c48SAlexey Bataev bool foobool(int argc) { 19*60e51c48SAlexey Bataev return argc; 20*60e51c48SAlexey Bataev } 21*60e51c48SAlexey Bataev 22*60e51c48SAlexey Bataev struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}} 23*60e51c48SAlexey Bataev extern S1 a; 24*60e51c48SAlexey Bataev class S2 { 25*60e51c48SAlexey Bataev mutable int a; 26*60e51c48SAlexey Bataev 27*60e51c48SAlexey Bataev public: 28*60e51c48SAlexey Bataev S2() : a(0) {} 29*60e51c48SAlexey Bataev }; 30*60e51c48SAlexey Bataev const S2 b; 31*60e51c48SAlexey Bataev const S2 ba[5]; 32*60e51c48SAlexey Bataev class S3 { 33*60e51c48SAlexey Bataev int a; 34*60e51c48SAlexey Bataev 35*60e51c48SAlexey Bataev public: 36*60e51c48SAlexey Bataev S3() : a(0) {} 37*60e51c48SAlexey Bataev }; 38*60e51c48SAlexey Bataev const S3 ca[5]; 39*60e51c48SAlexey Bataev class S4 { 40*60e51c48SAlexey Bataev int a; 41*60e51c48SAlexey Bataev S4(); // expected-note {{implicitly declared private here}} 42*60e51c48SAlexey Bataev 43*60e51c48SAlexey Bataev public: 44*60e51c48SAlexey Bataev S4(int v) : a(v) { 45*60e51c48SAlexey Bataev #pragma omp master taskloop private(a) private(this->a) 46*60e51c48SAlexey Bataev for (int k = 0; k < v; ++k) 47*60e51c48SAlexey Bataev ++this->a; 48*60e51c48SAlexey Bataev } 49*60e51c48SAlexey Bataev }; 50*60e51c48SAlexey Bataev class S5 { 51*60e51c48SAlexey Bataev int a; 52*60e51c48SAlexey Bataev S5() : a(0) {} // expected-note {{implicitly declared private here}} 53*60e51c48SAlexey Bataev 54*60e51c48SAlexey Bataev public: 55*60e51c48SAlexey Bataev S5(int v) : a(v) {} 56*60e51c48SAlexey Bataev S5 &operator=(S5 &s) { 57*60e51c48SAlexey Bataev #pragma omp master taskloop private(a) private(this->a) private(s.a) // expected-error {{expected variable name or data member of current class}} 58*60e51c48SAlexey Bataev for (int k = 0; k < s.a; ++k) 59*60e51c48SAlexey Bataev ++s.a; 60*60e51c48SAlexey Bataev return *this; 61*60e51c48SAlexey Bataev } 62*60e51c48SAlexey Bataev }; 63*60e51c48SAlexey Bataev 64*60e51c48SAlexey Bataev template <typename T> 65*60e51c48SAlexey Bataev class S6 { 66*60e51c48SAlexey Bataev public: 67*60e51c48SAlexey Bataev T a; 68*60e51c48SAlexey Bataev 69*60e51c48SAlexey Bataev S6() : a(0) {} 70*60e51c48SAlexey Bataev S6(T v) : a(v) { 71*60e51c48SAlexey Bataev #pragma omp master taskloop private(a) private(this->a) allocate(omp_thread_mem_alloc: a) // expected-warning {{allocator with the 'thread' trait access has unspecified behavior on 'master taskloop' directive}} 72*60e51c48SAlexey Bataev for (int k = 0; k < v; ++k) 73*60e51c48SAlexey Bataev ++this->a; 74*60e51c48SAlexey Bataev } 75*60e51c48SAlexey Bataev S6 &operator=(S6 &s) { 76*60e51c48SAlexey Bataev #pragma omp master taskloop private(a) private(this->a) private(s.a) // expected-error {{expected variable name or data member of current class}} 77*60e51c48SAlexey Bataev for (int k = 0; k < s.a; ++k) 78*60e51c48SAlexey Bataev ++s.a; 79*60e51c48SAlexey Bataev return *this; 80*60e51c48SAlexey Bataev } 81*60e51c48SAlexey Bataev }; 82*60e51c48SAlexey Bataev 83*60e51c48SAlexey Bataev template <typename T> 84*60e51c48SAlexey Bataev class S7 : public T { 85*60e51c48SAlexey Bataev T a; 86*60e51c48SAlexey Bataev S7() : a(0) {} 87*60e51c48SAlexey Bataev 88*60e51c48SAlexey Bataev public: 89*60e51c48SAlexey Bataev S7(T v) : a(v) { 90*60e51c48SAlexey Bataev #pragma omp master taskloop private(a) private(this->a) private(T::a) 91*60e51c48SAlexey Bataev for (int k = 0; k < a.a; ++k) 92*60e51c48SAlexey Bataev ++this->a.a; 93*60e51c48SAlexey Bataev } 94*60e51c48SAlexey Bataev S7 &operator=(S7 &s) { 95*60e51c48SAlexey Bataev #pragma omp master taskloop private(a) private(this->a) private(s.a) private(s.T::a) // expected-error 2 {{expected variable name or data member of current class}} 96*60e51c48SAlexey Bataev for (int k = 0; k < s.a.a; ++k) 97*60e51c48SAlexey Bataev ++s.a.a; 98*60e51c48SAlexey Bataev return *this; 99*60e51c48SAlexey Bataev } 100*60e51c48SAlexey Bataev }; 101*60e51c48SAlexey Bataev 102*60e51c48SAlexey Bataev S3 h; 103*60e51c48SAlexey Bataev #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}} 104*60e51c48SAlexey Bataev 105*60e51c48SAlexey Bataev template <class I, class C> 106*60e51c48SAlexey Bataev int foomain(I argc, C **argv) { 107*60e51c48SAlexey Bataev I e(4); 108*60e51c48SAlexey Bataev I g(5); 109*60e51c48SAlexey Bataev int i, z; 110*60e51c48SAlexey Bataev int &j = i; 111*60e51c48SAlexey Bataev #pragma omp master taskloop private // expected-error {{expected '(' after 'private'}} 112*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 113*60e51c48SAlexey Bataev ++k; 114*60e51c48SAlexey Bataev #pragma omp master taskloop private( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} 115*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 116*60e51c48SAlexey Bataev ++k; 117*60e51c48SAlexey Bataev #pragma omp master taskloop private() // expected-error {{expected expression}} 118*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 119*60e51c48SAlexey Bataev ++k; 120*60e51c48SAlexey Bataev #pragma omp master taskloop private(argc // expected-error {{expected ')'}} expected-note {{to match this '('}} 121*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 122*60e51c48SAlexey Bataev ++k; 123*60e51c48SAlexey Bataev #pragma omp master taskloop private(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} 124*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 125*60e51c48SAlexey Bataev ++k; 126*60e51c48SAlexey Bataev #pragma omp master taskloop private(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}} 127*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 128*60e51c48SAlexey Bataev ++k; 129*60e51c48SAlexey Bataev #pragma omp master taskloop private(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 '('}} 130*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 131*60e51c48SAlexey Bataev ++k; 132*60e51c48SAlexey Bataev #pragma omp master taskloop private(S1) // expected-error {{'S1' does not refer to a value}} 133*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 134*60e51c48SAlexey Bataev ++k; 135*60e51c48SAlexey Bataev #pragma omp master taskloop private(a, b) // expected-error {{private variable with incomplete type 'S1'}} 136*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 137*60e51c48SAlexey Bataev ++k; 138*60e51c48SAlexey Bataev #pragma omp master taskloop private(argv[1]) // expected-error {{expected variable name}} 139*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 140*60e51c48SAlexey Bataev ++k; 141*60e51c48SAlexey Bataev #pragma omp master taskloop private(e, g, z) 142*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 143*60e51c48SAlexey Bataev ++k; 144*60e51c48SAlexey Bataev #pragma omp master taskloop private(h) // expected-error {{threadprivate or thread local variable cannot be private}} 145*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 146*60e51c48SAlexey Bataev ++k; 147*60e51c48SAlexey Bataev #pragma omp master taskloop shared(i) 148*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 149*60e51c48SAlexey Bataev ++k; 150*60e51c48SAlexey Bataev #pragma omp parallel 151*60e51c48SAlexey Bataev { 152*60e51c48SAlexey Bataev int v = 0; 153*60e51c48SAlexey Bataev int i; 154*60e51c48SAlexey Bataev #pragma omp master taskloop private(i) 155*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) { 156*60e51c48SAlexey Bataev i = k; 157*60e51c48SAlexey Bataev v += i; 158*60e51c48SAlexey Bataev } 159*60e51c48SAlexey Bataev } 160*60e51c48SAlexey Bataev #pragma omp parallel shared(i) 161*60e51c48SAlexey Bataev #pragma omp parallel private(i) 162*60e51c48SAlexey Bataev #pragma omp master taskloop private(j) 163*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 164*60e51c48SAlexey Bataev ++k; 165*60e51c48SAlexey Bataev #pragma omp master taskloop private(i) 166*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 167*60e51c48SAlexey Bataev ++k; 168*60e51c48SAlexey Bataev return 0; 169*60e51c48SAlexey Bataev } 170*60e51c48SAlexey Bataev 171*60e51c48SAlexey Bataev void bar(S4 a[2]) { 172*60e51c48SAlexey Bataev #pragma omp parallel 173*60e51c48SAlexey Bataev #pragma omp master taskloop private(a) 174*60e51c48SAlexey Bataev for (int i = 0; i < 2; ++i) 175*60e51c48SAlexey Bataev foo(); 176*60e51c48SAlexey Bataev } 177*60e51c48SAlexey Bataev 178*60e51c48SAlexey Bataev namespace A { 179*60e51c48SAlexey Bataev double x; 180*60e51c48SAlexey Bataev #pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}} 181*60e51c48SAlexey Bataev } 182*60e51c48SAlexey Bataev namespace B { 183*60e51c48SAlexey Bataev using A::x; 184*60e51c48SAlexey Bataev } 185*60e51c48SAlexey Bataev 186*60e51c48SAlexey Bataev int main(int argc, char **argv) { 187*60e51c48SAlexey Bataev S4 e(4); 188*60e51c48SAlexey Bataev S5 g(5); 189*60e51c48SAlexey Bataev S6<float> s6(0.0) , s6_0(1.0); // expected-note {{in instantiation of member function 'S6<float>::S6' requested here}} 190*60e51c48SAlexey Bataev S7<S6<float> > s7(0.0) , s7_0(1.0); 191*60e51c48SAlexey Bataev int i, z; 192*60e51c48SAlexey Bataev int &j = i; 193*60e51c48SAlexey Bataev #pragma omp master taskloop private // expected-error {{expected '(' after 'private'}} 194*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 195*60e51c48SAlexey Bataev ++k; 196*60e51c48SAlexey Bataev #pragma omp master taskloop private( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} 197*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 198*60e51c48SAlexey Bataev ++k; 199*60e51c48SAlexey Bataev #pragma omp master taskloop private() // expected-error {{expected expression}} 200*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 201*60e51c48SAlexey Bataev ++k; 202*60e51c48SAlexey Bataev #pragma omp master taskloop private(argc // expected-error {{expected ')'}} expected-note {{to match this '('}} 203*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 204*60e51c48SAlexey Bataev ++k; 205*60e51c48SAlexey Bataev #pragma omp master taskloop private(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} 206*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 207*60e51c48SAlexey Bataev ++k; 208*60e51c48SAlexey Bataev #pragma omp master taskloop private(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}} 209*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 210*60e51c48SAlexey Bataev ++k; 211*60e51c48SAlexey Bataev #pragma omp master taskloop private(argc) 212*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 213*60e51c48SAlexey Bataev ++k; 214*60e51c48SAlexey Bataev #pragma omp master taskloop private(S1) // expected-error {{'S1' does not refer to a value}} 215*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 216*60e51c48SAlexey Bataev ++k; 217*60e51c48SAlexey Bataev #pragma omp master taskloop private(a, b) // expected-error {{private variable with incomplete type 'S1'}} 218*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 219*60e51c48SAlexey Bataev ++k; 220*60e51c48SAlexey Bataev #pragma omp master taskloop private(argv[1]) // expected-error {{expected variable name}} 221*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 222*60e51c48SAlexey Bataev ++k; 223*60e51c48SAlexey Bataev #pragma omp master taskloop private(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}} 224*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 225*60e51c48SAlexey Bataev ++k; 226*60e51c48SAlexey Bataev #pragma omp master taskloop private(h) // expected-error {{threadprivate or thread local variable cannot be private}} 227*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 228*60e51c48SAlexey Bataev ++k; 229*60e51c48SAlexey Bataev #pragma omp master taskloop private(B::x) // expected-error {{threadprivate or thread local variable cannot be private}} 230*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 231*60e51c48SAlexey Bataev ++k; 232*60e51c48SAlexey Bataev #pragma omp master taskloop shared(i) 233*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 234*60e51c48SAlexey Bataev ++k; 235*60e51c48SAlexey Bataev #pragma omp parallel 236*60e51c48SAlexey Bataev { 237*60e51c48SAlexey Bataev int i; 238*60e51c48SAlexey Bataev #pragma omp master taskloop private(i) 239*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 240*60e51c48SAlexey Bataev ++k; 241*60e51c48SAlexey Bataev } 242*60e51c48SAlexey Bataev #pragma omp parallel shared(i) 243*60e51c48SAlexey Bataev #pragma omp parallel private(i) 244*60e51c48SAlexey Bataev #pragma omp master taskloop private(j) 245*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 246*60e51c48SAlexey Bataev ++k; 247*60e51c48SAlexey Bataev #pragma omp master taskloop private(i, z) 248*60e51c48SAlexey Bataev for (int k = 0; k < argc; ++k) 249*60e51c48SAlexey Bataev ++k; 250*60e51c48SAlexey Bataev static int si; 251*60e51c48SAlexey Bataev #pragma omp master taskloop private(si) // OK 252*60e51c48SAlexey Bataev for(int k = 0; k < argc; ++k) 253*60e51c48SAlexey Bataev si = k + 1; 254*60e51c48SAlexey Bataev 255*60e51c48SAlexey Bataev s6 = s6_0; // expected-note {{in instantiation of member function 'S6<float>::operator=' requested here}} 256*60e51c48SAlexey Bataev s7 = s7_0; // expected-note {{in instantiation of member function 'S7<S6<float> >::operator=' requested here}} 257*60e51c48SAlexey Bataev return foomain(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<int, char>' requested here}} 258*60e51c48SAlexey Bataev } 259*60e51c48SAlexey Bataev 260