Alexey Bataev | 93dc40d | 2019-12-20 11:04:57 -0500 | [diff] [blame] | 1 | // RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp %s -Wuninitialized |
Saiyedul Islam | ff260ad | 2020-08-27 19:35:36 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -verify=expected,omp50 -fopenmp %s -Wuninitialized |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 3 | |
Alexey Bataev | 93dc40d | 2019-12-20 11:04:57 -0500 | [diff] [blame] | 4 | // RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-version=45 -fopenmp-simd %s -Wuninitialized |
Saiyedul Islam | ff260ad | 2020-08-27 19:35:36 +0000 | [diff] [blame] | 5 | // RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-simd %s -Wuninitialized |
Alexey Bataev | a8a9153a | 2017-12-29 18:07:07 +0000 | [diff] [blame] | 6 | |
Alexey Bataev | e04483e | 2019-03-27 14:14:31 +0000 | [diff] [blame] | 7 | extern int omp_default_mem_alloc; |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 8 | void foo() { |
| 9 | } |
| 10 | |
| 11 | bool foobool(int argc) { |
| 12 | return argc; |
| 13 | } |
| 14 | |
| 15 | struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}} |
| 16 | extern S1 a; |
| 17 | class S2 { |
| 18 | mutable int a; |
| 19 | |
| 20 | public: |
| 21 | S2() : a(0) {} |
| 22 | S2(S2 &s2) : a(s2.a) {} |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 23 | S2 &operator=(const S2 &); |
| 24 | const S2 &operator=(const S2 &) const; |
Alexey Bataev | dffa93a | 2015-12-10 08:20:58 +0000 | [diff] [blame] | 25 | static float S2s; // expected-note {{static data member is predetermined as shared}} |
Joel E. Denny | e6234d142 | 2019-01-04 22:11:31 +0000 | [diff] [blame] | 26 | static const float S2sc; // expected-note {{'S2sc' declared here}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 27 | }; |
Alexey Bataev | 4d4624c | 2017-07-20 16:47:47 +0000 | [diff] [blame] | 28 | const float S2::S2sc = 0; |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 29 | const S2 b; |
| 30 | const S2 ba[5]; |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 31 | class S3 { |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 32 | int a; |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 33 | S3 &operator=(const S3 &s3); // expected-note 2 {{implicitly declared private here}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 34 | |
| 35 | public: |
| 36 | S3() : a(0) {} |
| 37 | S3(S3 &s3) : a(s3.a) {} |
| 38 | }; |
Joel E. Denny | e6234d142 | 2019-01-04 22:11:31 +0000 | [diff] [blame] | 39 | const S3 c; // expected-note {{'c' defined here}} |
| 40 | const S3 ca[5]; // expected-note {{'ca' defined here}} |
| 41 | extern const int f; // expected-note {{'f' declared here}} |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 42 | class S4 { |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 43 | int a; |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 44 | S4(); // expected-note 3 {{implicitly declared private here}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 45 | S4(const S4 &s4); |
| 46 | |
| 47 | public: |
| 48 | S4(int v) : a(v) {} |
| 49 | }; |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 50 | class S5 { |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 51 | int a; |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 52 | S5() : a(0) {} // expected-note {{implicitly declared private here}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 53 | |
| 54 | public: |
| 55 | S5(const S5 &s5) : a(s5.a) {} |
| 56 | S5(int v) : a(v) {} |
| 57 | }; |
| 58 | class S6 { |
| 59 | int a; |
Alexey Bataev | 93dc40d | 2019-12-20 11:04:57 -0500 | [diff] [blame] | 60 | S6() : a(0) {} // omp45-note 2 {{implicitly declared private here}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 61 | |
| 62 | public: |
| 63 | S6(const S6 &s6) : a(s6.a) {} |
| 64 | S6(int v) : a(v) {} |
| 65 | }; |
| 66 | |
| 67 | S3 h; |
| 68 | #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}} |
| 69 | |
| 70 | template <class I, class C> |
| 71 | int foomain(int argc, char **argv) { |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 72 | I e(4); |
| 73 | I g(5); |
Alexey Bataev | a914888 | 2019-07-08 15:45:24 +0000 | [diff] [blame] | 74 | int i, z; |
Alexey Bataev | bd9fec1 | 2015-08-18 06:47:21 +0000 | [diff] [blame] | 75 | int &j = i; |
Alexey Bataev | 93dc40d | 2019-12-20 11:04:57 -0500 | [diff] [blame] | 76 | S6 s(0); // omp50-note {{'s' defined here}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 77 | #pragma omp parallel for lastprivate // expected-error {{expected '(' after 'lastprivate'}} |
| 78 | for (int k = 0; k < argc; ++k) |
| 79 | ++k; |
| 80 | #pragma omp parallel for lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} |
| 81 | for (int k = 0; k < argc; ++k) |
| 82 | ++k; |
| 83 | #pragma omp parallel for lastprivate() // expected-error {{expected expression}} |
| 84 | for (int k = 0; k < argc; ++k) |
| 85 | ++k; |
| 86 | #pragma omp parallel for lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}} |
| 87 | for (int k = 0; k < argc; ++k) |
| 88 | ++k; |
Alexey Bataev | c597062 | 2016-04-01 08:43:42 +0000 | [diff] [blame] | 89 | #pragma omp parallel for lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 90 | for (int k = 0; k < argc; ++k) |
| 91 | ++k; |
| 92 | #pragma omp parallel for lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}} |
| 93 | for (int k = 0; k < argc; ++k) |
| 94 | ++k; |
Alexey Bataev | e04483e | 2019-03-27 14:14:31 +0000 | [diff] [blame] | 95 | #pragma omp parallel for 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 '('}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 96 | for (int k = 0; k < argc; ++k) |
| 97 | ++k; |
Alexey Bataev | 93dc40d | 2019-12-20 11:04:57 -0500 | [diff] [blame] | 98 | #pragma omp parallel for lastprivate(conditional: argc,s) lastprivate(conditional: // omp50-error {{expected expression}} omp45-error 2 {{use of undeclared identifier 'conditional'}} expected-error {{expected ')'}} expected-note {{to match this '('}} omp45-error 2 {{calling a private constructor of class 'S6'}} omp50-error {{expected list item of scalar type in 'lastprivate' clause with 'conditional' modifier}} |
| 99 | for (int k = 0; k < argc; ++k) |
| 100 | ++k; |
Alexey Bataev | 87a004d | 2020-01-02 09:26:32 -0500 | [diff] [blame] | 101 | #pragma omp parallel for lastprivate(foo:argc) // omp50-error {{expected 'conditional' in OpenMP clause 'lastprivate'}} omp45-error {{expected ',' or ')' in 'lastprivate' clause}} omp45-error {{expected ')'}} omp45-error {{expected variable name}} omp45-note {{to match this '('}} |
| 102 | for (int k = 0; k < argc; ++k) |
| 103 | ++k; |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 104 | #pragma omp parallel for lastprivate(S1) // expected-error {{'S1' does not refer to a value}} |
| 105 | for (int k = 0; k < argc; ++k) |
| 106 | ++k; |
Alexey Bataev | a914888 | 2019-07-08 15:45:24 +0000 | [diff] [blame] | 107 | #pragma omp parallel for lastprivate(z, a, b) // expected-error {{lastprivate variable with incomplete type 'S1'}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 108 | for (int k = 0; k < argc; ++k) |
| 109 | ++k; |
| 110 | #pragma omp parallel for lastprivate(argv[1]) // expected-error {{expected variable name}} |
| 111 | for (int k = 0; k < argc; ++k) |
| 112 | ++k; |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 113 | #pragma omp parallel for lastprivate(e, g) // expected-error 2 {{calling a private constructor of class 'S4'}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 114 | for (int k = 0; k < argc; ++k) |
| 115 | ++k; |
| 116 | #pragma omp parallel for lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}} |
| 117 | for (int k = 0; k < argc; ++k) |
| 118 | ++k; |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 119 | #pragma omp parallel |
| 120 | { |
| 121 | int v = 0; |
| 122 | int i; |
| 123 | #pragma omp parallel for lastprivate(i) |
| 124 | for (int k = 0; k < argc; ++k) { |
| 125 | i = k; |
| 126 | v += i; |
| 127 | } |
| 128 | } |
| 129 | #pragma omp parallel shared(i) |
| 130 | #pragma omp parallel private(i) |
Alexey Bataev | bd9fec1 | 2015-08-18 06:47:21 +0000 | [diff] [blame] | 131 | #pragma omp parallel for lastprivate(j) |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 132 | for (int k = 0; k < argc; ++k) |
| 133 | ++k; |
| 134 | #pragma omp parallel for lastprivate(i) |
| 135 | for (int k = 0; k < argc; ++k) |
| 136 | ++k; |
| 137 | return 0; |
| 138 | } |
| 139 | |
Alexey Bataev | 6ddfe1a | 2015-04-16 13:49:42 +0000 | [diff] [blame] | 140 | namespace A { |
| 141 | double x; |
| 142 | #pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}} |
| 143 | } |
| 144 | namespace B { |
| 145 | using A::x; |
| 146 | } |
| 147 | |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 148 | int main(int argc, char **argv) { |
Joel E. Denny | e6234d142 | 2019-01-04 22:11:31 +0000 | [diff] [blame] | 149 | const int d = 5; // expected-note {{'d' defined here}} |
| 150 | const int da[5] = {0}; // expected-note {{'da' defined here}} |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 151 | S4 e(4); |
| 152 | S5 g(5); |
| 153 | S3 m; |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 154 | S6 n(2); |
Alexey Bataev | a914888 | 2019-07-08 15:45:24 +0000 | [diff] [blame] | 155 | int i, z; |
Alexey Bataev | bd9fec1 | 2015-08-18 06:47:21 +0000 | [diff] [blame] | 156 | int &j = i; |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 157 | #pragma omp parallel for lastprivate // expected-error {{expected '(' after 'lastprivate'}} |
| 158 | for (i = 0; i < argc; ++i) |
| 159 | foo(); |
| 160 | #pragma omp parallel for lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} |
| 161 | for (i = 0; i < argc; ++i) |
| 162 | foo(); |
| 163 | #pragma omp parallel for lastprivate() // expected-error {{expected expression}} |
| 164 | for (i = 0; i < argc; ++i) |
| 165 | foo(); |
| 166 | #pragma omp parallel for lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}} |
| 167 | for (i = 0; i < argc; ++i) |
| 168 | foo(); |
Alexey Bataev | c597062 | 2016-04-01 08:43:42 +0000 | [diff] [blame] | 169 | #pragma omp parallel for lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 170 | for (i = 0; i < argc; ++i) |
| 171 | foo(); |
| 172 | #pragma omp parallel for lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}} |
| 173 | for (i = 0; i < argc; ++i) |
| 174 | foo(); |
Alexey Bataev | a914888 | 2019-07-08 15:45:24 +0000 | [diff] [blame] | 175 | #pragma omp parallel for lastprivate(argc, z) |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 176 | for (i = 0; i < argc; ++i) |
| 177 | foo(); |
| 178 | #pragma omp parallel for lastprivate(S1) // expected-error {{'S1' does not refer to a value}} |
| 179 | for (i = 0; i < argc; ++i) |
| 180 | foo(); |
Joel E. Denny | e6234d142 | 2019-01-04 22:11:31 +0000 | [diff] [blame] | 181 | #pragma omp parallel for 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}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 182 | for (i = 0; i < argc; ++i) |
| 183 | foo(); |
| 184 | #pragma omp parallel for lastprivate(argv[1]) // expected-error {{expected variable name}} |
| 185 | for (i = 0; i < argc; ++i) |
| 186 | foo(); |
| 187 | #pragma omp parallel for lastprivate(2 * 2) // expected-error {{expected variable name}} |
| 188 | for (i = 0; i < argc; ++i) |
| 189 | foo(); |
| 190 | #pragma omp parallel for lastprivate(ba) |
| 191 | for (i = 0; i < argc; ++i) |
| 192 | foo(); |
Joel E. Denny | e6234d142 | 2019-01-04 22:11:31 +0000 | [diff] [blame] | 193 | #pragma omp parallel for lastprivate(ca) // expected-error {{const-qualified variable without mutable fields cannot be lastprivate}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 194 | for (i = 0; i < argc; ++i) |
| 195 | foo(); |
Joel E. Denny | e6234d142 | 2019-01-04 22:11:31 +0000 | [diff] [blame] | 196 | #pragma omp parallel for lastprivate(da) // expected-error {{const-qualified variable cannot be lastprivate}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 197 | for (i = 0; i < argc; ++i) |
| 198 | foo(); |
| 199 | int xa; |
| 200 | #pragma omp parallel for lastprivate(xa) // OK |
| 201 | for (i = 0; i < argc; ++i) |
| 202 | foo(); |
Alexey Bataev | dffa93a | 2015-12-10 08:20:58 +0000 | [diff] [blame] | 203 | #pragma omp parallel for lastprivate(S2::S2s) // expected-error {{shared variable cannot be lastprivate}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 204 | for (i = 0; i < argc; ++i) |
| 205 | foo(); |
Joel E. Denny | e6234d142 | 2019-01-04 22:11:31 +0000 | [diff] [blame] | 206 | #pragma omp parallel for lastprivate(S2::S2sc) // expected-error {{const-qualified variable cannot be lastprivate}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 207 | for (i = 0; i < argc; ++i) |
| 208 | foo(); |
| 209 | #pragma omp parallel for safelen(5) // expected-error {{unexpected OpenMP clause 'safelen' in directive '#pragma omp parallel for'}} |
| 210 | for (i = 0; i < argc; ++i) |
| 211 | foo(); |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 212 | #pragma omp parallel for lastprivate(e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{calling a private constructor of class 'S5'}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 213 | for (i = 0; i < argc; ++i) |
| 214 | foo(); |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 215 | #pragma omp parallel for lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 216 | for (i = 0; i < argc; ++i) |
| 217 | foo(); |
Alexey Bataev | 6ddfe1a | 2015-04-16 13:49:42 +0000 | [diff] [blame] | 218 | #pragma omp parallel for lastprivate(h, B::x) // expected-error 2 {{threadprivate or thread local variable cannot be lastprivate}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 219 | for (i = 0; i < argc; ++i) |
| 220 | foo(); |
| 221 | #pragma omp parallel for private(xa), lastprivate(xa) // expected-error {{private variable cannot be lastprivate}} expected-note {{defined as private}} |
| 222 | for (i = 0; i < argc; ++i) |
| 223 | foo(); |
| 224 | #pragma omp parallel for lastprivate(i) |
| 225 | for (i = 0; i < argc; ++i) |
| 226 | foo(); |
| 227 | #pragma omp parallel private(xa) |
| 228 | #pragma omp parallel for lastprivate(xa) |
| 229 | for (i = 0; i < argc; ++i) |
| 230 | foo(); |
| 231 | #pragma omp parallel reduction(+ : xa) |
| 232 | #pragma omp parallel for lastprivate(xa) |
| 233 | for (i = 0; i < argc; ++i) |
| 234 | foo(); |
Alexey Bataev | bd9fec1 | 2015-08-18 06:47:21 +0000 | [diff] [blame] | 235 | #pragma omp parallel for lastprivate(j) |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 236 | for (i = 0; i < argc; ++i) |
| 237 | foo(); |
Alexey Bataev | 38e8953 | 2015-04-16 04:54:05 +0000 | [diff] [blame] | 238 | #pragma omp parallel for firstprivate(m) lastprivate(m) // expected-error {{'operator=' is a private member of 'S3'}} |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 239 | for (i = 0; i < argc; ++i) |
| 240 | foo(); |
| 241 | #pragma omp parallel for lastprivate(n) firstprivate(n) // OK |
| 242 | for (i = 0; i < argc; ++i) |
| 243 | foo(); |
Kelvin Li | 4eea8c6 | 2015-09-15 18:56:58 +0000 | [diff] [blame] | 244 | static int si; |
| 245 | #pragma omp parallel for lastprivate(si) // OK |
| 246 | for (i = 0; i < argc; ++i) |
| 247 | si = i + 2; |
| 248 | |
Alexey Bataev | 4acb859 | 2014-07-07 13:01:15 +0000 | [diff] [blame] | 249 | return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}} |
| 250 | } |