745 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -fopenmp -fopenmp-version=45 -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify=expected,omp4 %s -Wuninitialized2// RUN: %clang_cc1 -fsyntax-only -fopenmp -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify=expected,omp5 %s -Wuninitialized3 4// RUN: %clang_cc1 -fsyntax-only -fopenmp-simd -fopenmp-version=45 -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify=expected,omp4 %s -Wuninitialized5// RUN: %clang_cc1 -fsyntax-only -fopenmp-simd -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify=expected,omp5 %s -Wuninitialized6 7class S {8 int a;9 S() : a(0) {}10 11public:12 S(int v) : a(v) {}13 S(const S &s) : a(s.a) {}14};15 16static int sii;17// expected-note@+1 {{defined as threadprivate or thread local}}18#pragma omp threadprivate(sii)19static int globalii;20 21// Currently, we cannot use "0" for global register variables.22// register int reg0 __asm__("0");23int reg0;24 25int test_iteration_spaces() {26 const int N = 100;27 float a[N], b[N], c[N];28 int ii, jj, kk;29 float fii;30 double dii;31 int tid = 0;32 register int reg; // expected-warning {{'register' storage class specifier is deprecated}}33#pragma omp parallel34#pragma omp masked taskloop simd filter(tid)35 for (int i = 0; i < 10; i += 1) {36 c[i] = a[i] + b[i];37 }38#pragma omp parallel39#pragma omp masked taskloop simd40 for (char i = 0; i < 10; i++) {41 c[i] = a[i] + b[i];42 }43#pragma omp parallel44#pragma omp masked taskloop simd45 for (char i = 0; i < 10; i += '\1') {46 c[i] = a[i] + b[i];47 }48#pragma omp parallel49#pragma omp masked taskloop simd50 for (long long i = 0; i < 10; i++) {51 c[i] = a[i] + b[i];52 }53#pragma omp parallel54// expected-error@+2 {{expression must have integral or unscoped enumeration type, not 'double'}}55#pragma omp masked taskloop simd56 for (long long i = 0; i < 10; i += 1.5) {57 c[i] = a[i] + b[i];58 }59#pragma omp parallel60#pragma omp masked taskloop simd61 for (long long i = 0; i < 'z'; i += 1u) {62 c[i] = a[i] + b[i];63 }64#pragma omp parallel65// expected-error@+2 {{variable must be of integer or random access iterator type}}66#pragma omp masked taskloop simd67 for (float fi = 0; fi < 10.0; fi++) {68 c[(int)fi] = a[(int)fi] + b[(int)fi];69 }70#pragma omp parallel71// expected-error@+2 {{variable must be of integer or random access iterator type}}72#pragma omp masked taskloop simd73 for (double fi = 0; fi < 10.0; fi++) {74 c[(int)fi] = a[(int)fi] + b[(int)fi];75 }76#pragma omp parallel77// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}78#pragma omp masked taskloop simd79 for (int &ref = ii; ref < 10; ref++) {80 }81#pragma omp parallel82// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}83#pragma omp masked taskloop simd84 for (int i; i < 10; i++)85 c[i] = a[i];86 87#pragma omp parallel88// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}89#pragma omp masked taskloop simd90 for (int i = 0, j = 0; i < 10; ++i)91 c[i] = a[i];92 93#pragma omp parallel94// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}95#pragma omp masked taskloop simd96 for (; ii < 10; ++ii)97 c[ii] = a[ii];98 99#pragma omp parallel100// expected-warning@+3 {{expression result unused}}101// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}102#pragma omp masked taskloop simd103 for (ii + 1; ii < 10; ++ii)104 c[ii] = a[ii];105 106#pragma omp parallel107// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}108#pragma omp masked taskloop simd109 for (c[ii] = 0; ii < 10; ++ii)110 c[ii] = a[ii];111 112#pragma omp parallel113// Ok to skip parenthesises.114#pragma omp masked taskloop simd115 for (((ii)) = 0; ii < 10; ++ii)116 c[ii] = a[ii];117 118#pragma omp parallel119// omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} omp5-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'i'}}120#pragma omp masked taskloop simd121 for (int i = 0; i; i++)122 c[i] = a[i];123 124#pragma omp parallel125// omp4-error@+3 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} omp5-error@+3 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'i'}}126// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'i'}}127#pragma omp masked taskloop simd128 for (int i = 0; jj < kk; ii++)129 c[i] = a[i];130 131#pragma omp parallel132// omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} omp5-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'i'}}133#pragma omp masked taskloop simd134 for (int i = 0; !!i; i++)135 c[i] = a[i];136 137#pragma omp parallel138// omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}}139#pragma omp masked taskloop simd140 for (int i = 0; i != 1; i++)141 c[i] = a[i];142 143#pragma omp parallel144// omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} omp5-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'i'}}145#pragma omp masked taskloop simd146 for (int i = 0;; i++)147 c[i] = a[i];148 149#pragma omp parallel150// Ok.151#pragma omp masked taskloop simd152 for (int i = 11; i > 10; i--)153 c[i] = a[i];154 155#pragma omp parallel156// Ok.157#pragma omp masked taskloop simd158 for (int i = 0; i < 10; ++i)159 c[i] = a[i];160 161#pragma omp parallel162// Ok.163#pragma omp masked taskloop simd164 for (ii = 0; ii < 10; ++ii)165 c[ii] = a[ii];166 167#pragma omp parallel168// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}169#pragma omp masked taskloop simd170 for (ii = 0; ii < 10; ++jj)171 c[ii] = a[jj];172 173#pragma omp parallel174// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}175#pragma omp masked taskloop simd176 for (ii = 0; ii < 10; ++++ii)177 c[ii] = a[ii];178 179#pragma omp parallel180// Ok but undefined behavior (in general, cannot check that incr181// is really loop-invariant).182#pragma omp masked taskloop simd183 for (ii = 0; ii < 10; ii = ii + ii)184 c[ii] = a[ii];185 186#pragma omp parallel187// expected-error@+2 {{expression must have integral or unscoped enumeration type, not 'float'}}188#pragma omp masked taskloop simd189 for (ii = 0; ii < 10; ii = ii + 1.0f)190 c[ii] = a[ii];191 192#pragma omp parallel193// Ok - step was converted to integer type.194#pragma omp masked taskloop simd195 for (ii = 0; ii < 10; ii = ii + (int)1.1f)196 c[ii] = a[ii];197 198#pragma omp parallel199// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}200#pragma omp masked taskloop simd201 for (ii = 0; ii < 10; jj = ii + 2)202 c[ii] = a[ii];203 204#pragma omp parallel205// expected-warning@+3 {{relational comparison result unused}}206// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}207#pragma omp masked taskloop simd208 for (ii = 0; ii<10; jj> kk + 2)209 c[ii] = a[ii];210 211#pragma omp parallel212// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}213#pragma omp masked taskloop simd214 for (ii = 0; ii < 10;)215 c[ii] = a[ii];216 217#pragma omp parallel218// expected-warning@+3 {{expression result unused}}219// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}220#pragma omp masked taskloop simd221 for (ii = 0; ii < 10; !ii)222 c[ii] = a[ii];223 224#pragma omp parallel225// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}226#pragma omp masked taskloop simd227 for (ii = 0; ii < 10; ii ? ++ii : ++jj)228 c[ii] = a[ii];229 230#pragma omp parallel231// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}232#pragma omp masked taskloop simd233 for (ii = 0; ii < 10; ii = ii < 10)234 c[ii] = a[ii];235 236#pragma omp parallel237// expected-note@+3 {{loop step is expected to be positive due to this condition}}238// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}239#pragma omp masked taskloop simd240 for (ii = 0; ii < 10; ii = ii + 0)241 c[ii] = a[ii];242 243#pragma omp parallel244// expected-note@+3 {{loop step is expected to be positive due to this condition}}245// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}246#pragma omp masked taskloop simd247 for (ii = 0; ii < 10; ii = ii + (int)(0.8 - 0.45))248 c[ii] = a[ii];249 250#pragma omp parallel251// expected-note@+3 {{loop step is expected to be positive due to this condition}}252// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}253#pragma omp masked taskloop simd254 for (ii = 0; (ii) < 10; ii -= 25)255 c[ii] = a[ii];256 257#pragma omp parallel258// expected-note@+3 {{loop step is expected to be positive due to this condition}}259// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}260#pragma omp masked taskloop simd261 for (ii = 0; (ii < 10); ii -= 0)262 c[ii] = a[ii];263 264#pragma omp parallel265// expected-note@+3 {{loop step is expected to be negative due to this condition}}266// expected-error@+2 {{increment expression must cause 'ii' to decrease on each iteration of OpenMP for loop}}267#pragma omp masked taskloop simd268 for (ii = 0; ii > 10; (ii += 0))269 c[ii] = a[ii];270 271#pragma omp parallel272// expected-note@+3 {{loop step is expected to be positive due to this condition}}273// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}274#pragma omp masked taskloop simd275 for (ii = 0; ii < 10; (ii) = (1 - 1) + (ii))276 c[ii] = a[ii];277 278#pragma omp parallel279// expected-note@+3 {{loop step is expected to be negative due to this condition}}280// expected-error@+2 {{increment expression must cause 'ii' to decrease on each iteration of OpenMP for loop}}281#pragma omp masked taskloop simd282 for ((ii = 0); ii > 10; (ii -= 0))283 c[ii] = a[ii];284 285#pragma omp parallel286// expected-note@+3 {{loop step is expected to be positive due to this condition}}287// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}288#pragma omp masked taskloop simd289 for (ii = 0; (ii < 10); (ii -= 0))290 c[ii] = a[ii];291 292#pragma omp parallel293// expected-note@+2 {{defined as firstprivate}}294// expected-error@+2 {{loop iteration variable in the associated loop of 'omp masked taskloop simd' directive may not be firstprivate, predetermined as linear}}295#pragma omp masked taskloop simd firstprivate(ii)296 for (ii = 0; ii < 10; ii++)297 c[ii] = a[ii];298 299#pragma omp parallel300#pragma omp masked taskloop simd linear(ii)301 for (ii = 0; ii < 10; ii++)302 c[ii] = a[ii];303 304// omp4-note@+3 {{defined as private}}305// omp4-error@+3 {{loop iteration variable in the associated loop of 'omp masked taskloop simd' directive may not be private, predetermined as linear}}306#pragma omp parallel307#pragma omp masked taskloop simd private(ii)308 for (ii = 0; ii < 10; ii++)309 c[ii] = a[ii];310 311// omp4-note@+3 {{defined as lastprivate}}312// omp4-error@+3 {{loop iteration variable in the associated loop of 'omp masked taskloop simd' directive may not be lastprivate, predetermined as linear}}313#pragma omp parallel314#pragma omp masked taskloop simd lastprivate(ii)315 for (ii = 0; ii < 10; ii++)316 c[ii] = a[ii];317 318#pragma omp parallel319 {320// expected-error@+2 {{loop iteration variable in the associated loop of 'omp masked taskloop simd' directive may not be threadprivate or thread local, predetermined as linear}}321#pragma omp masked taskloop simd322 for (sii = 0; sii < 10; sii += 1)323 c[sii] = a[sii];324 }325 326#pragma omp parallel327 {328#pragma omp masked taskloop simd329 for (reg0 = 0; reg0 < 10; reg0 += 1)330 c[reg0] = a[reg0];331 }332 333#pragma omp parallel334 {335#pragma omp masked taskloop simd336 for (reg = 0; reg < 10; reg += 1)337 c[reg] = a[reg];338 }339 340#pragma omp parallel341 {342#pragma omp masked taskloop simd343 for (globalii = 0; globalii < 10; globalii += 1)344 c[globalii] = a[globalii];345 }346 347#pragma omp parallel348 {349#pragma omp masked taskloop simd collapse(2)350 for (ii = 0; ii < 10; ii += 1)351 for (globalii = 0; globalii < 10; globalii += 1)352 c[globalii] += a[globalii] + ii;353 }354 355#pragma omp parallel356// omp4-error@+2 {{statement after '#pragma omp masked taskloop simd' must be a for loop}}357#pragma omp masked taskloop simd358 for (auto &item : a) {359 item = item + 1;360 }361 362#pragma omp parallel363// expected-note@+3 {{loop step is expected to be positive due to this condition}}364// expected-error@+2 {{increment expression must cause 'i' to increase on each iteration of OpenMP for loop}}365#pragma omp masked taskloop simd366 for (unsigned i = 9; i < 10; i--) {367 c[i] = a[i] + b[i];368 }369 370 int(*lb)[4] = nullptr;371#pragma omp parallel372#pragma omp masked taskloop simd373 for (int(*p)[4] = lb; p < lb + 8; ++p) {374 }375 376#pragma omp parallel377// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}378#pragma omp masked taskloop simd379 for (int a{0}; a < 10; ++a) {380 }381 382 return 0;383}384 385// Iterators allowed in openmp for-loops.386namespace std {387struct random_access_iterator_tag {};388template <class Iter>389struct iterator_traits {390 typedef typename Iter::difference_type difference_type;391 typedef typename Iter::iterator_category iterator_category;392};393template <class Iter>394typename iterator_traits<Iter>::difference_type395distance(Iter first, Iter last) { return first - last; }396}397class Iter0 {398public:399 Iter0() {}400 Iter0(const Iter0 &) {}401 Iter0 operator++() { return *this; }402 Iter0 operator--() { return *this; }403 bool operator<(Iter0 a) { return true; }404};405// expected-note@+2 {{candidate function not viable: no known conversion from 'GoodIter' to 'Iter0' for 1st argument}}406// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'Iter0' for 1st argument}}407int operator-(Iter0 a, Iter0 b) { return 0; }408class Iter1 {409public:410 Iter1(float f = 0.0f, double d = 0.0) {}411 Iter1(const Iter1 &) {}412 Iter1 operator++() { return *this; }413 Iter1 operator--() { return *this; }414 bool operator<(Iter1 a) { return true; }415 bool operator>=(Iter1 a) { return false; }416};417class GoodIter {418public:419 GoodIter() {}420 GoodIter(const GoodIter &) {}421 GoodIter(int fst, int snd) {}422 GoodIter &operator=(const GoodIter &that) { return *this; }423 GoodIter &operator=(const Iter0 &that) { return *this; }424 GoodIter &operator+=(int x) { return *this; }425 GoodIter &operator-=(int x) { return *this; }426 explicit GoodIter(void *) {}427 GoodIter operator++() { return *this; }428 GoodIter operator--() { return *this; }429 bool operator!() { return true; }430 bool operator<(GoodIter a) { return true; }431 bool operator<=(GoodIter a) { return true; }432 bool operator>=(GoodIter a) { return false; }433 typedef int difference_type;434 typedef std::random_access_iterator_tag iterator_category;435};436// expected-note@+2 {{candidate function not viable: no known conversion from 'const Iter0' to 'GoodIter' for 2nd argument}}437// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'GoodIter' for 1st argument}}438int operator-(GoodIter a, GoodIter b) { return 0; }439// expected-note@+1 3 {{candidate function not viable: requires single argument 'a', but 2 arguments were provided}}440GoodIter operator-(GoodIter a) { return a; }441// expected-note@+2 {{candidate function not viable: no known conversion from 'const Iter0' to 'int' for 2nd argument}}442// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'GoodIter' for 1st argument}}443GoodIter operator-(GoodIter a, int v) { return GoodIter(); }444// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter0' to 'GoodIter' for 1st argument}}445GoodIter operator+(GoodIter a, int v) { return GoodIter(); }446// expected-note@+2 {{candidate function not viable: no known conversion from 'GoodIter' to 'int' for 1st argument}}447// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'int' for 1st argument}}448GoodIter operator-(int v, GoodIter a) { return GoodIter(); }449// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter0' to 'int' for 1st argument}}450GoodIter operator+(int v, GoodIter a) { return GoodIter(); }451 452int test_with_random_access_iterator() {453 GoodIter begin, end;454 Iter0 begin0, end0;455#pragma omp parallel456#pragma omp masked taskloop simd457 for (GoodIter I = begin; I < end; ++I)458 ++I;459#pragma omp parallel460// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}461#pragma omp masked taskloop simd462 for (GoodIter &I = begin; I < end; ++I)463 ++I;464#pragma omp parallel465#pragma omp masked taskloop simd466 for (GoodIter I = begin; I >= end; --I)467 ++I;468#pragma omp parallel469// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}470#pragma omp masked taskloop simd471 for (GoodIter I(begin); I < end; ++I)472 ++I;473#pragma omp parallel474// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}475#pragma omp masked taskloop simd476 for (GoodIter I(nullptr); I < end; ++I)477 ++I;478#pragma omp parallel479// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}480#pragma omp masked taskloop simd481 for (GoodIter I(0); I < end; ++I)482 ++I;483#pragma omp parallel484// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}485#pragma omp masked taskloop simd486 for (GoodIter I(1, 2); I < end; ++I)487 ++I;488#pragma omp parallel489#pragma omp masked taskloop simd490 for (begin = GoodIter(0); begin < end; ++begin)491 ++begin;492// expected-error@+4 {{invalid operands to binary expression ('GoodIter' and 'const Iter0')}}493// expected-error@+3 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}494#pragma omp parallel495#pragma omp masked taskloop simd496 for (begin = begin0; begin < end; ++begin)497 ++begin;498#pragma omp parallel499// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}500#pragma omp masked taskloop simd501 for (++begin; begin < end; ++begin)502 ++begin;503#pragma omp parallel504#pragma omp masked taskloop simd505 for (begin = end; begin < end; ++begin)506 ++begin;507#pragma omp parallel508// omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} omp5-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'I'}}509#pragma omp masked taskloop simd510 for (GoodIter I = begin; I - I; ++I)511 ++I;512#pragma omp parallel513// omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} omp5-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'I'}}514#pragma omp masked taskloop simd515 for (GoodIter I = begin; begin < end; ++I)516 ++I;517#pragma omp parallel518// omp4-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} omp5-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', '>=', or '!=') of loop variable 'I'}}519#pragma omp masked taskloop simd520 for (GoodIter I = begin; !I; ++I)521 ++I;522#pragma omp parallel523// expected-note@+3 {{loop step is expected to be negative due to this condition}}524// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}525#pragma omp masked taskloop simd526 for (GoodIter I = begin; I >= end; I = I + 1)527 ++I;528#pragma omp parallel529#pragma omp masked taskloop simd530 for (GoodIter I = begin; I >= end; I = I - 1)531 ++I;532#pragma omp parallel533// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}}534#pragma omp masked taskloop simd535 for (GoodIter I = begin; I >= end; I = -I)536 ++I;537#pragma omp parallel538// expected-note@+3 {{loop step is expected to be negative due to this condition}}539// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}540#pragma omp masked taskloop simd541 for (GoodIter I = begin; I >= end; I = 2 + I)542 ++I;543#pragma omp parallel544// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}}545#pragma omp masked taskloop simd546 for (GoodIter I = begin; I >= end; I = 2 - I)547 ++I;548// In the following example, we cannot update the loop variable using '+='549// expected-error@+3 {{invalid operands to binary expression ('Iter0' and 'int')}}550#pragma omp parallel551#pragma omp masked taskloop simd552 for (Iter0 I = begin0; I < end0; ++I)553 ++I;554#pragma omp parallel555// Initializer is constructor without params.556// expected-error@+3 {{invalid operands to binary expression ('Iter0' and 'int')}}557// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}558#pragma omp masked taskloop simd559 for (Iter0 I; I < end0; ++I)560 ++I;561 Iter1 begin1, end1;562// expected-error@+4 {{invalid operands to binary expression ('Iter1' and 'Iter1')}}563// expected-error@+3 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}564#pragma omp parallel565#pragma omp masked taskloop simd566 for (Iter1 I = begin1; I < end1; ++I)567 ++I;568#pragma omp parallel569// expected-note@+3 {{loop step is expected to be negative due to this condition}}570// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}571#pragma omp masked taskloop simd572 for (Iter1 I = begin1; I >= end1; ++I)573 ++I;574#pragma omp parallel575// expected-error@+5 {{invalid operands to binary expression ('Iter1' and 'float')}}576// expected-error@+4 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}577// Initializer is constructor with all default params.578// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}579#pragma omp masked taskloop simd580 for (Iter1 I; I < end1; ++I) {581 }582 return 0;583}584 585template <typename IT, int ST>586class TC {587public:588 int dotest_lt(IT begin, IT end) {589#pragma omp parallel590// expected-note@+3 {{loop step is expected to be positive due to this condition}}591// expected-error@+2 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}}592#pragma omp masked taskloop simd593 for (IT I = begin; I < end; I = I + ST) {594 ++I;595 }596#pragma omp parallel597// expected-note@+3 {{loop step is expected to be positive due to this condition}}598// expected-error@+2 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}}599#pragma omp masked taskloop simd600 for (IT I = begin; I <= end; I += ST) {601 ++I;602 }603#pragma omp parallel604#pragma omp masked taskloop simd605 for (IT I = begin; I < end; ++I) {606 ++I;607 }608 }609 610 static IT step() {611 return IT(ST);612 }613};614template <typename IT, int ST = 0>615int dotest_gt(IT begin, IT end) {616#pragma omp parallel617// expected-note@+3 2 {{loop step is expected to be negative due to this condition}}618// expected-error@+2 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}619#pragma omp masked taskloop simd620 for (IT I = begin; I >= end; I = I + ST) {621 ++I;622 }623#pragma omp parallel624// expected-note@+3 2 {{loop step is expected to be negative due to this condition}}625// expected-error@+2 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}626#pragma omp masked taskloop simd627 for (IT I = begin; I >= end; I += ST) {628 ++I;629 }630 631#pragma omp parallel632// expected-note@+3 {{loop step is expected to be negative due to this condition}}633// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}634#pragma omp masked taskloop simd635 for (IT I = begin; I >= end; ++I) {636 ++I;637 }638 639#pragma omp parallel640#pragma omp masked taskloop simd641 for (IT I = begin; I < end; I += TC<int, ST>::step()) {642 ++I;643 }644}645 646void test_with_template() {647 GoodIter begin, end;648 TC<GoodIter, 100> t1;649 TC<GoodIter, -100> t2;650 t1.dotest_lt(begin, end);651 t2.dotest_lt(begin, end); // expected-note {{in instantiation of member function 'TC<GoodIter, -100>::dotest_lt' requested here}}652 dotest_gt(begin, end); // expected-note {{in instantiation of function template specialization 'dotest_gt<GoodIter, 0>' requested here}}653 dotest_gt<unsigned, 10>(0, 100); // expected-note {{in instantiation of function template specialization 'dotest_gt<unsigned int, 10>' requested here}}654}655 656void test_loop_break() {657 const int N = 100;658 float a[N], b[N], c[N];659#pragma omp parallel660#pragma omp masked taskloop simd661 for (int i = 0; i < 10; i++) {662 c[i] = a[i] + b[i];663 for (int j = 0; j < 10; ++j) {664 if (a[i] > b[j])665 break; // OK in nested loop666 }667 switch (i) {668 case 1:669 b[i]++;670 break;671 default:672 break;673 }674 if (c[i] > 10)675 break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}676 677 if (c[i] > 11)678 break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}679 }680 681#pragma omp parallel682#pragma omp masked taskloop simd683 for (int i = 0; i < 10; i++) {684 for (int j = 0; j < 10; j++) {685 c[i] = a[i] + b[i];686 if (c[i] > 10) {687 if (c[i] < 20) {688 break; // OK689 }690 }691 }692 }693}694 695void test_loop_eh() {696 const int N = 100;697 float a[N], b[N], c[N];698#pragma omp parallel699#pragma omp masked taskloop simd700 for (int i = 0; i < 10; i++) {701 c[i] = a[i] + b[i];702 try { // expected-error {{'try' statement cannot be used in OpenMP simd region}}703 for (int j = 0; j < 10; ++j) {704 if (a[i] > b[j])705 throw a[i]; // expected-error {{'throw' statement cannot be used in OpenMP simd region}}706 }707 throw a[i]; // expected-error {{'throw' statement cannot be used in OpenMP simd region}}708 } catch (float f) {709 if (f > 0.1)710 throw a[i]; // expected-error {{'throw' statement cannot be used in OpenMP simd region}}711 return; // expected-error {{cannot return from OpenMP region}}712 }713 switch (i) {714 case 1:715 b[i]++;716 break;717 default:718 break;719 }720 for (int j = 0; j < 10; j++) {721 if (c[i] > 10)722 throw c[i]; // expected-error {{'throw' statement cannot be used in OpenMP simd region}}723 }724 }725 if (c[9] > 10)726 throw c[9]; // OK727 728#pragma omp parallel729#pragma omp masked taskloop simd730 for (int i = 0; i < 10; ++i) {731 struct S {732 void g() { throw 0; }733 };734 }735}736 737void test_loop_firstprivate_lastprivate() {738 S s(4);739#pragma omp parallel740#pragma omp masked taskloop simd lastprivate(s) firstprivate(s)741 for (int i = 0; i < 16; ++i)742 ;743}744 745