1a914888bSAlexey Bataev // RUN: %clang_cc1 -verify -fopenmp %s -Wuninitialized
24acb859fSAlexey Bataev 
3a914888bSAlexey Bataev // RUN: %clang_cc1 -verify -fopenmp-simd %s -Wuninitialized
4a8a9153aSAlexey Bataev 
5e04483eeSAlexey Bataev extern int omp_default_mem_alloc;
foo()64acb859fSAlexey Bataev void foo() {
74acb859fSAlexey Bataev }
84acb859fSAlexey Bataev 
foobool(int argc)94acb859fSAlexey Bataev bool foobool(int argc) {
104acb859fSAlexey Bataev   return argc;
114acb859fSAlexey Bataev }
124acb859fSAlexey Bataev 
xxx(int argc)13*25569296SAlexey Bataev void xxx(int argc) {
14*25569296SAlexey Bataev   int fp; // expected-note {{initialize the variable 'fp' to silence this warning}}
15*25569296SAlexey Bataev #pragma omp parallel for firstprivate(fp) // expected-warning {{variable 'fp' is uninitialized when used here}}
16*25569296SAlexey Bataev   for (int i = 0; i < 10; ++i)
17*25569296SAlexey Bataev     ;
18*25569296SAlexey Bataev }
19*25569296SAlexey Bataev 
204acb859fSAlexey Bataev struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}
214acb859fSAlexey Bataev extern S1 a;
224acb859fSAlexey Bataev class S2 {
234acb859fSAlexey Bataev   mutable int a;
244acb859fSAlexey Bataev 
254acb859fSAlexey Bataev public:
S2()264acb859fSAlexey Bataev   S2() : a(0) {}
S2(const S2 & s2)274a5bb772SAlexey Bataev   S2(const S2 &s2) : a(s2.a) {}
284acb859fSAlexey Bataev   static float S2s;
294acb859fSAlexey Bataev   static const float S2sc;
304acb859fSAlexey Bataev };
314acb859fSAlexey Bataev const float S2::S2sc = 0;
324acb859fSAlexey Bataev const S2 b;
334acb859fSAlexey Bataev const S2 ba[5];
344acb859fSAlexey Bataev class S3 {
354acb859fSAlexey Bataev   int a;
364acb859fSAlexey Bataev   S3 &operator=(const S3 &s3);
374acb859fSAlexey Bataev 
384acb859fSAlexey Bataev public:
S3()394acb859fSAlexey Bataev   S3() : a(0) {}
S3(const S3 & s3)404a5bb772SAlexey Bataev   S3(const S3 &s3) : a(s3.a) {}
414acb859fSAlexey Bataev };
424acb859fSAlexey Bataev const S3 c;
434acb859fSAlexey Bataev const S3 ca[5];
444acb859fSAlexey Bataev extern const int f;
454a5bb772SAlexey Bataev class S4 {
464acb859fSAlexey Bataev   int a;
474acb859fSAlexey Bataev   S4();
484a5bb772SAlexey Bataev   S4(const S4 &s4); // expected-note 2 {{implicitly declared private here}}
494acb859fSAlexey Bataev 
504acb859fSAlexey Bataev public:
S4(int v)514acb859fSAlexey Bataev   S4(int v) : a(v) {}
524acb859fSAlexey Bataev };
534a5bb772SAlexey Bataev class S5 {
544acb859fSAlexey Bataev   int a;
S5(const S5 & s5)554a5bb772SAlexey Bataev   S5(const S5 &s5) : a(s5.a) {} // expected-note 4 {{implicitly declared private here}}
564acb859fSAlexey Bataev 
574acb859fSAlexey Bataev public:
S5()584acb859fSAlexey Bataev   S5() : a(0) {}
S5(int v)594acb859fSAlexey Bataev   S5(int v) : a(v) {}
604acb859fSAlexey Bataev };
614acb859fSAlexey Bataev class S6 {
624acb859fSAlexey Bataev   int a;
S6()634acb859fSAlexey Bataev   S6() : a(0) {}
644acb859fSAlexey Bataev 
654acb859fSAlexey Bataev public:
S6(const S6 & s6)664acb859fSAlexey Bataev   S6(const S6 &s6) : a(s6.a) {}
S6(int v)674acb859fSAlexey Bataev   S6(int v) : a(v) {}
684acb859fSAlexey Bataev };
694acb859fSAlexey Bataev 
704acb859fSAlexey Bataev S3 h;
714acb859fSAlexey Bataev #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
724acb859fSAlexey Bataev 
734acb859fSAlexey Bataev template <class I, class C>
foomain(int argc,char ** argv)744acb859fSAlexey Bataev int foomain(int argc, char **argv) {
754a5bb772SAlexey Bataev   I e(4);
764a5bb772SAlexey Bataev   C g(5);
77a914888bSAlexey Bataev   int i, z;
78bd9fec1eSAlexey Bataev   int &j = i;
794acb859fSAlexey Bataev #pragma omp parallel for firstprivate // expected-error {{expected '(' after 'firstprivate'}}
804acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
814acb859fSAlexey Bataev     ++k;
824acb859fSAlexey Bataev #pragma omp parallel for firstprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
834acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
844acb859fSAlexey Bataev     ++k;
854acb859fSAlexey Bataev #pragma omp parallel for firstprivate() // expected-error {{expected expression}}
864acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
874acb859fSAlexey Bataev     ++k;
884acb859fSAlexey Bataev #pragma omp parallel for firstprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
894acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
904acb859fSAlexey Bataev     ++k;
91c5970623SAlexey Bataev #pragma omp parallel for firstprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
924acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
934acb859fSAlexey Bataev     ++k;
944acb859fSAlexey Bataev #pragma omp parallel for firstprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
954acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
964acb859fSAlexey Bataev     ++k;
97e04483eeSAlexey Bataev #pragma omp parallel for 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 '('}}
984acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
994acb859fSAlexey Bataev     ++k;
1004acb859fSAlexey Bataev #pragma omp parallel for firstprivate(S1) // expected-error {{'S1' does not refer to a value}}
1014acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
1024acb859fSAlexey Bataev     ++k;
103a914888bSAlexey Bataev #pragma omp parallel for firstprivate(z, a, b) // expected-error {{firstprivate variable with incomplete type 'S1'}}
1044acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
1054acb859fSAlexey Bataev     ++k;
1064acb859fSAlexey Bataev #pragma omp parallel for firstprivate(argv[1]) // expected-error {{expected variable name}}
1074acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
1084acb859fSAlexey Bataev     ++k;
1094a5bb772SAlexey Bataev #pragma omp parallel for firstprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}
1104acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
1114acb859fSAlexey Bataev     ++k;
1124acb859fSAlexey Bataev #pragma omp parallel for firstprivate(h) // expected-error {{threadprivate or thread local variable cannot be firstprivate}}
1134acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
1144acb859fSAlexey Bataev     ++k;
1154acb859fSAlexey Bataev #pragma omp parallel
1164acb859fSAlexey Bataev   {
1174acb859fSAlexey Bataev     int v = 0;
1184acb859fSAlexey Bataev     int i;
1194acb859fSAlexey Bataev #pragma omp parallel for firstprivate(i)
1204acb859fSAlexey Bataev     for (int k = 0; k < argc; ++k) {
1214acb859fSAlexey Bataev       i = k;
1224acb859fSAlexey Bataev       v += i;
1234acb859fSAlexey Bataev     }
1244acb859fSAlexey Bataev   }
1254acb859fSAlexey Bataev #pragma omp parallel shared(i)
1264acb859fSAlexey Bataev #pragma omp parallel private(i)
127bd9fec1eSAlexey Bataev #pragma omp parallel for firstprivate(j)
1284acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
1294acb859fSAlexey Bataev     ++k;
1304acb859fSAlexey Bataev #pragma omp parallel for firstprivate(i)
1314acb859fSAlexey Bataev   for (int k = 0; k < argc; ++k)
1324acb859fSAlexey Bataev     ++k;
1334a5bb772SAlexey Bataev #pragma omp parallel for lastprivate(g) firstprivate(g) // expected-error {{calling a private constructor of class 'S5'}}
1344acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1354acb859fSAlexey Bataev     foo();
1364acb859fSAlexey Bataev #pragma omp parallel private(i)
13705be1da2SAlexey Bataev #pragma omp parallel for firstprivate(i) // expected-note 2 {{defined as firstprivate}}
13805be1da2SAlexey Bataev   for (i = 0; i < argc; ++i) // expected-error 2 {{loop iteration variable in the associated loop of 'omp parallel for' directive may not be firstprivate, predetermined as private}}
1394acb859fSAlexey Bataev     foo();
1404acb859fSAlexey Bataev #pragma omp parallel reduction(+ : i)
14105be1da2SAlexey Bataev #pragma omp parallel for firstprivate(i) // expected-note 2 {{defined as firstprivate}}
14205be1da2SAlexey Bataev   for (i = 0; i < argc; ++i) // expected-error 2 {{loop iteration variable in the associated loop of 'omp parallel for' directive may not be firstprivate, predetermined as private}}
1434acb859fSAlexey Bataev     foo();
1444acb859fSAlexey Bataev   return 0;
1454acb859fSAlexey Bataev }
1464acb859fSAlexey Bataev 
1476ddfe1a6SAlexey Bataev namespace A {
1486ddfe1a6SAlexey Bataev double x;
1496ddfe1a6SAlexey Bataev #pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}
1506ddfe1a6SAlexey Bataev }
1516ddfe1a6SAlexey Bataev namespace B {
1526ddfe1a6SAlexey Bataev using A::x;
1536ddfe1a6SAlexey Bataev }
1546ddfe1a6SAlexey Bataev 
main(int argc,char ** argv)1554acb859fSAlexey Bataev int main(int argc, char **argv) {
1564acb859fSAlexey Bataev   const int d = 5;
1574acb859fSAlexey Bataev   const int da[5] = {0};
1584a5bb772SAlexey Bataev   S4 e(4);
1594a5bb772SAlexey Bataev   S5 g(5);
1604acb859fSAlexey Bataev   S3 m;
1614acb859fSAlexey Bataev   S6 n(2);
1624acb859fSAlexey Bataev   int i;
163bd9fec1eSAlexey Bataev   int &j = i;
1644acb859fSAlexey Bataev #pragma omp parallel for firstprivate // expected-error {{expected '(' after 'firstprivate'}}
1654acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1664acb859fSAlexey Bataev     foo();
1674acb859fSAlexey Bataev #pragma omp parallel for firstprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
1684acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1694acb859fSAlexey Bataev     foo();
1704acb859fSAlexey Bataev #pragma omp parallel for firstprivate() // expected-error {{expected expression}}
1714acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1724acb859fSAlexey Bataev     foo();
1734acb859fSAlexey Bataev #pragma omp parallel for firstprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}
1744acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1754acb859fSAlexey Bataev     foo();
176c5970623SAlexey Bataev #pragma omp parallel for firstprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
1774acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1784acb859fSAlexey Bataev     foo();
1794acb859fSAlexey Bataev #pragma omp parallel for firstprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}
1804acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1814acb859fSAlexey Bataev     foo();
1824acb859fSAlexey Bataev #pragma omp parallel for firstprivate(argc)
1834acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1844acb859fSAlexey Bataev     foo();
1854acb859fSAlexey Bataev #pragma omp parallel for firstprivate(S1) // expected-error {{'S1' does not refer to a value}}
1864acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1874acb859fSAlexey Bataev     foo();
1884acb859fSAlexey Bataev #pragma omp parallel for firstprivate(a, b, c, d, f) // expected-error {{firstprivate variable with incomplete type 'S1'}}
1894acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1904acb859fSAlexey Bataev     foo();
1914acb859fSAlexey Bataev #pragma omp parallel for firstprivate(argv[1]) // expected-error {{expected variable name}}
1924acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1934acb859fSAlexey Bataev     foo();
1944acb859fSAlexey Bataev #pragma omp parallel for firstprivate(2 * 2) // expected-error {{expected variable name}}
1954acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1964acb859fSAlexey Bataev     foo();
1974acb859fSAlexey Bataev #pragma omp parallel for firstprivate(ba) // OK
1984acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
1994acb859fSAlexey Bataev     foo();
2004acb859fSAlexey Bataev #pragma omp parallel for firstprivate(ca) // OK
2014acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2024acb859fSAlexey Bataev     foo();
2034acb859fSAlexey Bataev #pragma omp parallel for firstprivate(da) // OK
2044acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2054acb859fSAlexey Bataev     foo();
2064acb859fSAlexey Bataev   int xa;
2074acb859fSAlexey Bataev #pragma omp parallel for firstprivate(xa) // OK
2084acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2094acb859fSAlexey Bataev     foo();
2104acb859fSAlexey Bataev #pragma omp parallel for firstprivate(S2::S2s) // OK
2114acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2124acb859fSAlexey Bataev     foo();
2134acb859fSAlexey Bataev #pragma omp parallel for firstprivate(S2::S2sc) // OK
2144acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2154acb859fSAlexey Bataev     foo();
2164acb859fSAlexey Bataev #pragma omp parallel for safelen(5) // expected-error {{unexpected OpenMP clause 'safelen' in directive '#pragma omp parallel for'}}
2174acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2184acb859fSAlexey Bataev     foo();
2194a5bb772SAlexey Bataev #pragma omp parallel for firstprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}}
2204acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2214acb859fSAlexey Bataev     foo();
2224acb859fSAlexey Bataev #pragma omp parallel for firstprivate(m) // OK
2234acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2244acb859fSAlexey Bataev     foo();
2256ddfe1a6SAlexey Bataev #pragma omp parallel for firstprivate(h, B::x) // expected-error 2 {{threadprivate or thread local variable cannot be firstprivate}}
2264acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2274acb859fSAlexey Bataev     foo();
2284acb859fSAlexey Bataev #pragma omp parallel for private(xa), firstprivate(xa) // expected-error {{private variable cannot be firstprivate}} expected-note {{defined as private}}
2294acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2304acb859fSAlexey Bataev     foo();
2314acb859fSAlexey Bataev #pragma omp parallel for firstprivate(i) // expected-note {{defined as firstprivate}}
2324acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)    // expected-error {{loop iteration variable in the associated loop of 'omp parallel for' directive may not be firstprivate, predetermined as private}}
2334acb859fSAlexey Bataev     foo();
2344acb859fSAlexey Bataev #pragma omp parallel shared(xa)
2354acb859fSAlexey Bataev #pragma omp parallel for firstprivate(xa) // OK: may be firstprivate
2364acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2374acb859fSAlexey Bataev     foo();
238bd9fec1eSAlexey Bataev #pragma omp parallel for firstprivate(j)
2394acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2404acb859fSAlexey Bataev     foo();
2414a5bb772SAlexey Bataev #pragma omp parallel for lastprivate(g) firstprivate(g) // expected-error {{calling a private constructor of class 'S5'}}
2424acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2434acb859fSAlexey Bataev     foo();
2444acb859fSAlexey Bataev #pragma omp parallel for lastprivate(n) firstprivate(n) // OK
2454acb859fSAlexey Bataev   for (i = 0; i < argc; ++i)
2464acb859fSAlexey Bataev     foo();
2474acb859fSAlexey Bataev #pragma omp parallel
2484acb859fSAlexey Bataev   {
2494acb859fSAlexey Bataev     int v = 0;
2504acb859fSAlexey Bataev     int i;
2514acb859fSAlexey Bataev #pragma omp parallel for firstprivate(i)
2524acb859fSAlexey Bataev     for (int k = 0; k < argc; ++k) {
2534acb859fSAlexey Bataev       i = k;
2544acb859fSAlexey Bataev       v += i;
2554acb859fSAlexey Bataev     }
2564acb859fSAlexey Bataev   }
2574acb859fSAlexey Bataev #pragma omp parallel private(i)
2584acb859fSAlexey Bataev #pragma omp parallel for firstprivate(i) // expected-note {{defined as firstprivate}}
2594acb859fSAlexey Bataev   for (i = 0; i < argc; ++i) // expected-error {{loop iteration variable in the associated loop of 'omp parallel for' directive may not be firstprivate, predetermined as private}}
2604acb859fSAlexey Bataev     foo();
2614acb859fSAlexey Bataev #pragma omp parallel reduction(+ : i)
2624acb859fSAlexey Bataev #pragma omp parallel for firstprivate(i) // expected-note {{defined as firstprivate}}
2634acb859fSAlexey Bataev   for (i = 0; i < argc; ++i) // expected-error {{loop iteration variable in the associated loop of 'omp parallel for' directive may not be firstprivate, predetermined as private}}
2644acb859fSAlexey Bataev     foo();
2654eea8c6bSKelvin Li   static int si;
2664eea8c6bSKelvin Li #pragma omp parallel for firstprivate(si) // OK
2674eea8c6bSKelvin Li   for (i = 0; i < argc; ++i)
2684eea8c6bSKelvin Li     si = i + 1;
2694acb859fSAlexey Bataev 
2704acb859fSAlexey Bataev   return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}
2714acb859fSAlexey Bataev }
272