0c6f2f629c
The default version of OpenMP is updated from 5.0 to 5.1 which means if -fopenmp is specified but -fopenmp-version is not specified with clang, the default version of OpenMP is taken to be 5.1. After modifying the Frontend for that, various LIT tests were updated. This patch contains all such changes. At a high level, these are the patterns of changes observed in LIT tests - # RUN lines which mentioned `-fopenmp-version=50` need to kept only if the IR for version 5.0 and 5.1 are different. Otherwise only one RUN line with no version info(i.e. default version) needs to be there. # Test cases of this sort already had the RUN lines with respect to the older default version 5.0 and the version 5.1. Only swapping the version specification flag `-fopenmp-version` from newer version RUN line to older version RUN line is required. # Diagnostics: Remove the 5.0 version specific RUN lines if there was no difference in the Diagnostics messages with respect to the default 5.1. # Diagnostics: In case there was any difference in diagnostics messages between 5.0 and 5.1, mention version specific messages in tests. # If the test contained version specific ifdef's e.g. "#ifdef OMP5" but there were no RUN lines for any other version than 5.X, then bring the code guarded by ifdef's outside and remove the ifdef's. # Some tests had RUN lines for both 5.0 and 5.1 versions, but it is found that the IR for 5.0 is not different from the 5.1, therefore such RUN lines are redundant. So, such duplicated lines are removed. # To generate CHECK lines automatically, use the script llvm/utils/update_cc_test_checks.py Reviewed By: saiislam, ABataev Differential Revision: https://reviews.llvm.org/D129635 (cherry picked from commit 9dd2999907dc791136a75238a6000f69bf67cf4e)
965 lines
49 KiB
C++
965 lines
49 KiB
C++
// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp -fopenmp-version=45 -ferror-limit 150 %s -Wuninitialized
|
|
// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp -fopenmp-version=50 -ferror-limit 150 %s -Wuninitialized
|
|
// RUN: %clang_cc1 -DOMP51 -verify=expected,omp50,omp51 -fopenmp -ferror-limit 150 %s -Wuninitialized
|
|
|
|
// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-simd -fopenmp-version=45 -ferror-limit 150 %s -Wuninitialized
|
|
// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-simd -fopenmp-version=50 -ferror-limit 150 %s -Wuninitialized
|
|
// RUN: %clang_cc1 -DOMP51 -verify=expected,omp50,omp51 -fopenmp-simd -ferror-limit 150 %s -Wuninitialized
|
|
|
|
int foo() {
|
|
L1:
|
|
foo();
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
{
|
|
foo();
|
|
goto L1;
|
|
}
|
|
goto L2;
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
{
|
|
foo();
|
|
L2:
|
|
foo();
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
struct S {
|
|
int a;
|
|
S &operator=(int v) {
|
|
a = v;
|
|
return *this;
|
|
}
|
|
S &operator+=(const S &s) {
|
|
a += s.a;
|
|
return *this;
|
|
}
|
|
};
|
|
|
|
template <class T>
|
|
T read() {
|
|
T a = T(), b = T();
|
|
// Test for atomic read
|
|
#pragma omp atomic read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
#pragma omp atomic read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
foo();
|
|
#pragma omp atomic read
|
|
// expected-error@+2 2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 2 {{expected built-in assignment operator}}
|
|
a += b;
|
|
#pragma omp atomic read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected lvalue expression}}
|
|
a = 0;
|
|
#pragma omp atomic read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
a = b;
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'read' clause}}
|
|
#pragma omp atomic read read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
a = b;
|
|
|
|
return a;
|
|
}
|
|
|
|
int read() {
|
|
int a = 0, b = 0;
|
|
// Test for atomic read
|
|
#pragma omp atomic read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
#pragma omp atomic read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
foo();
|
|
#pragma omp atomic read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
a += b;
|
|
#pragma omp atomic read
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected lvalue expression}}
|
|
a = 0;
|
|
#pragma omp atomic read
|
|
a = b;
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'read' clause}}
|
|
#pragma omp atomic read read
|
|
a = b;
|
|
|
|
// expected-note@+2 {{in instantiation of function template specialization 'read<S>' requested here}}
|
|
// expected-note@+1 {{in instantiation of function template specialization 'read<int>' requested here}}
|
|
return read<int>() + read<S>().a;
|
|
}
|
|
|
|
template <class T>
|
|
T write() {
|
|
T a, b = 0;
|
|
// Test for atomic write
|
|
#pragma omp atomic write
|
|
// expected-error@+2 {{the statement for 'atomic write' must be an expression statement of form 'x = expr;', where x is a lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'write' clause}}
|
|
#pragma omp atomic write write
|
|
a = b;
|
|
#pragma omp atomic write
|
|
// expected-error@+2 {{the statement for 'atomic write' must be an expression statement of form 'x = expr;', where x is a lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
foo();
|
|
#pragma omp atomic write
|
|
// expected-error@+2 {{the statement for 'atomic write' must be an expression statement of form 'x = expr;', where x is a lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
a += b;
|
|
#pragma omp atomic write
|
|
a = 0;
|
|
#pragma omp atomic write
|
|
a = b;
|
|
|
|
return T();
|
|
}
|
|
|
|
int write() {
|
|
int a, b = 0;
|
|
// Test for atomic write
|
|
#pragma omp atomic write
|
|
// expected-error@+2 {{the statement for 'atomic write' must be an expression statement of form 'x = expr;', where x is a lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'write' clause}}
|
|
#pragma omp atomic write write
|
|
a = b;
|
|
#pragma omp atomic write
|
|
// expected-error@+2 {{the statement for 'atomic write' must be an expression statement of form 'x = expr;', where x is a lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
foo();
|
|
#pragma omp atomic write
|
|
// expected-error@+2 {{the statement for 'atomic write' must be an expression statement of form 'x = expr;', where x is a lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected built-in assignment operator}}
|
|
a += b;
|
|
#pragma omp atomic write
|
|
a = 0;
|
|
#pragma omp atomic write
|
|
a = foo();
|
|
|
|
// expected-note@+1 {{in instantiation of function template specialization 'write<int>' requested here}}
|
|
return write<int>();
|
|
}
|
|
|
|
template <class T>
|
|
T update() {
|
|
T a = 0, b = 0, c = 0;
|
|
// Test for atomic update
|
|
#pragma omp atomic update
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'update' clause}}
|
|
#pragma omp atomic update update
|
|
a += b;
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected built-in binary operator}}
|
|
a = b;
|
|
#pragma omp atomic update
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected one of '+', '*', '-', '/', '&', '^', '|', '<<', or '>>' built-in operations}}
|
|
a = b || a;
|
|
#pragma omp atomic update
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected one of '+', '*', '-', '/', '&', '^', '|', '<<', or '>>' built-in operations}}
|
|
a = a && b;
|
|
#pragma omp atomic update
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
a = float(a) + b;
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
a = 2 * b;
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
a = b + *&a;
|
|
#pragma omp atomic
|
|
*&a = b * *&a;
|
|
#pragma omp atomic update
|
|
a++;
|
|
#pragma omp atomic
|
|
++a;
|
|
#pragma omp atomic update
|
|
a--;
|
|
#pragma omp atomic
|
|
--a;
|
|
#pragma omp atomic update
|
|
a += b;
|
|
#pragma omp atomic
|
|
a %= b;
|
|
#pragma omp atomic update
|
|
a *= b;
|
|
#pragma omp atomic
|
|
a -= b;
|
|
#pragma omp atomic update
|
|
a /= b;
|
|
#pragma omp atomic
|
|
a &= b;
|
|
#pragma omp atomic update
|
|
a ^= b;
|
|
#pragma omp atomic
|
|
a |= b;
|
|
#pragma omp atomic update
|
|
a <<= b;
|
|
#pragma omp atomic
|
|
a >>= b;
|
|
#pragma omp atomic update
|
|
a = b + a;
|
|
#pragma omp atomic
|
|
a = a * b;
|
|
#pragma omp atomic update
|
|
a = b - a;
|
|
#pragma omp atomic
|
|
a = a / b;
|
|
#pragma omp atomic update
|
|
a = b & a;
|
|
#pragma omp atomic
|
|
a = a ^ b;
|
|
#pragma omp atomic update
|
|
a = b | a;
|
|
#pragma omp atomic
|
|
a = a << b;
|
|
#pragma omp atomic
|
|
a = b >> a;
|
|
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return T();
|
|
}
|
|
|
|
int update() {
|
|
int a, b = 0;
|
|
// Test for atomic update
|
|
#pragma omp atomic update
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'update' clause}}
|
|
#pragma omp atomic update update
|
|
a += b;
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected built-in binary operator}}
|
|
a = b;
|
|
#pragma omp atomic update
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected one of '+', '*', '-', '/', '&', '^', '|', '<<', or '>>' built-in operations}}
|
|
a = b || a;
|
|
#pragma omp atomic update
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected one of '+', '*', '-', '/', '&', '^', '|', '<<', or '>>' built-in operations}}
|
|
a = a && b;
|
|
#pragma omp atomic update
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
a = float(a) + b;
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
a = 2 * b;
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
a = b + *&a;
|
|
#pragma omp atomic update
|
|
a++;
|
|
#pragma omp atomic
|
|
++a;
|
|
#pragma omp atomic update
|
|
a--;
|
|
#pragma omp atomic
|
|
--a;
|
|
#pragma omp atomic update
|
|
a += b;
|
|
#pragma omp atomic
|
|
a %= b;
|
|
#pragma omp atomic update
|
|
a *= b;
|
|
#pragma omp atomic
|
|
a -= b;
|
|
#pragma omp atomic update
|
|
a /= b;
|
|
#pragma omp atomic
|
|
a &= b;
|
|
#pragma omp atomic update
|
|
a ^= b;
|
|
#pragma omp atomic
|
|
a |= b;
|
|
#pragma omp atomic update
|
|
a <<= b;
|
|
#pragma omp atomic
|
|
a >>= b;
|
|
#pragma omp atomic update
|
|
a = b + a;
|
|
#pragma omp atomic
|
|
a = a * b;
|
|
#pragma omp atomic update
|
|
a = b - a;
|
|
#pragma omp atomic
|
|
a = a / b;
|
|
#pragma omp atomic update
|
|
a = b & a;
|
|
#pragma omp atomic
|
|
a = a ^ b;
|
|
#pragma omp atomic update
|
|
a = b | a;
|
|
#pragma omp atomic
|
|
a = a << b;
|
|
#pragma omp atomic
|
|
a = b >> a;
|
|
#pragma omp atomic
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return update<int>();
|
|
}
|
|
|
|
template <class T>
|
|
T capture() {
|
|
T a = 0, b = 0, c = 0;
|
|
// Test for atomic capture
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected compound statement}}
|
|
;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
foo();
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected built-in binary or unary operator}}
|
|
a = b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
a = b || a;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected one of '+', '*', '-', '/', '&', '^', '|', '<<', or '>>' built-in operations}}
|
|
b = a = a && b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
a = (float)a + b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
a = 2 * b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
a = b + *&a;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected exactly two expression statements}}
|
|
{ a = b; }
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected exactly two expression statements}}
|
|
{}
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of the first expression}}
|
|
{a = b;a = b;}
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of the first expression}}
|
|
{a = b; a = b || a;}
|
|
#pragma omp atomic capture
|
|
{b = a; a = a && b;}
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
b = a = (float)a + b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
b = a = 2 * b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
b = a = b + *&a;
|
|
#pragma omp atomic capture
|
|
c = *&a = *&a + 2;
|
|
#pragma omp atomic capture
|
|
c = a++;
|
|
#pragma omp atomic capture
|
|
c = ++a;
|
|
#pragma omp atomic capture
|
|
c = a--;
|
|
#pragma omp atomic capture
|
|
c = --a;
|
|
#pragma omp atomic capture
|
|
c = a += b;
|
|
#pragma omp atomic capture
|
|
c = a %= b;
|
|
#pragma omp atomic capture
|
|
c = a *= b;
|
|
#pragma omp atomic capture
|
|
c = a -= b;
|
|
#pragma omp atomic capture
|
|
c = a /= b;
|
|
#pragma omp atomic capture
|
|
c = a &= b;
|
|
#pragma omp atomic capture
|
|
c = a ^= b;
|
|
#pragma omp atomic capture
|
|
c = a |= b;
|
|
#pragma omp atomic capture
|
|
c = a <<= b;
|
|
#pragma omp atomic capture
|
|
c = a >>= b;
|
|
#pragma omp atomic capture
|
|
c = a = b + a;
|
|
#pragma omp atomic capture
|
|
c = a = a * b;
|
|
#pragma omp atomic capture
|
|
c = a = b - a;
|
|
#pragma omp atomic capture
|
|
c = a = a / b;
|
|
#pragma omp atomic capture
|
|
c = a = b & a;
|
|
#pragma omp atomic capture
|
|
c = a = a ^ b;
|
|
#pragma omp atomic capture
|
|
c = a = b | a;
|
|
#pragma omp atomic capture
|
|
c = a = a << b;
|
|
#pragma omp atomic capture
|
|
c = a = b >> a;
|
|
#pragma omp atomic capture
|
|
{ c = *&a; *&a = *&a + 2;}
|
|
#pragma omp atomic capture
|
|
{ *&a = *&a + 2; c = *&a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a++;}
|
|
#pragma omp atomic capture
|
|
{c = a; (a)++;}
|
|
#pragma omp atomic capture
|
|
{++a;c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a;a--;}
|
|
#pragma omp atomic capture
|
|
{--a;c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a += b;}
|
|
#pragma omp atomic capture
|
|
{c = a; (a) += b;}
|
|
#pragma omp atomic capture
|
|
{a %= b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a *= b;}
|
|
#pragma omp atomic capture
|
|
{a -= b;c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a /= b;}
|
|
#pragma omp atomic capture
|
|
{a &= b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a ^= b;}
|
|
#pragma omp atomic capture
|
|
{a |= b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a <<= b;}
|
|
#pragma omp atomic capture
|
|
{a >>= b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b + a;}
|
|
#pragma omp atomic capture
|
|
{a = a * b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b - a;}
|
|
#pragma omp atomic capture
|
|
{a = a / b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b & a;}
|
|
#pragma omp atomic capture
|
|
{a = a ^ b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b | a;}
|
|
#pragma omp atomic capture
|
|
{a = a << b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b >> a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = foo();}
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'capture' clause}}
|
|
#pragma omp atomic capture capture
|
|
b = a /= b;
|
|
|
|
return T();
|
|
}
|
|
|
|
int capture() {
|
|
int a = 0, b = 0, c = 0;
|
|
// Test for atomic capture
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected compound statement}}
|
|
;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
foo();
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected built-in binary or unary operator}}
|
|
a = b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
a = b || a;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected one of '+', '*', '-', '/', '&', '^', '|', '<<', or '>>' built-in operations}}
|
|
b = a = a && b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
a = (float)a + b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
a = 2 * b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected assignment expression}}
|
|
a = b + *&a;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected exactly two expression statements}}
|
|
{ a = b; }
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected exactly two expression statements}}
|
|
{}
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of the first expression}}
|
|
{a = b;a = b;}
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be a compound statement of form '{v = x; x binop= expr;}', '{x binop= expr; v = x;}', '{v = x; x = x binop expr;}', '{v = x; x = expr binop x;}', '{x = x binop expr; v = x;}', '{x = expr binop x; v = x;}' or '{v = x; x = expr;}', '{v = x; x++;}', '{v = x; ++x;}', '{++x; v = x;}', '{x++; v = x;}', '{v = x; x--;}', '{v = x; --x;}', '{--x; v = x;}', '{x--; v = x;}' where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of the first expression}}
|
|
{a = b; a = b || a;}
|
|
#pragma omp atomic capture
|
|
{b = a; a = a && b;}
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
b = a = (float)a + b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
b = a = 2 * b;
|
|
#pragma omp atomic capture
|
|
// expected-error@+2 {{the statement for 'atomic capture' must be an expression statement of form 'v = ++x;', 'v = --x;', 'v = x++;', 'v = x--;', 'v = x binop= expr;', 'v = x = x binop expr' or 'v = x = expr binop x', where x and v are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected in right hand side of expression}}
|
|
b = a = b + *&a;
|
|
#pragma omp atomic capture
|
|
c = *&a = *&a + 2;
|
|
#pragma omp atomic capture
|
|
c = a++;
|
|
#pragma omp atomic capture
|
|
c = ++a;
|
|
#pragma omp atomic capture
|
|
c = a--;
|
|
#pragma omp atomic capture
|
|
c = --a;
|
|
#pragma omp atomic capture
|
|
c = a += b;
|
|
#pragma omp atomic capture
|
|
c = a %= b;
|
|
#pragma omp atomic capture
|
|
c = a *= b;
|
|
#pragma omp atomic capture
|
|
c = a -= b;
|
|
#pragma omp atomic capture
|
|
c = a /= b;
|
|
#pragma omp atomic capture
|
|
c = a &= b;
|
|
#pragma omp atomic capture
|
|
c = a ^= b;
|
|
#pragma omp atomic capture
|
|
c = a |= b;
|
|
#pragma omp atomic capture
|
|
c = a <<= b;
|
|
#pragma omp atomic capture
|
|
c = a >>= b;
|
|
#pragma omp atomic capture
|
|
c = a = b + a;
|
|
#pragma omp atomic capture
|
|
c = a = a * b;
|
|
#pragma omp atomic capture
|
|
c = a = b - a;
|
|
#pragma omp atomic capture
|
|
c = a = a / b;
|
|
#pragma omp atomic capture
|
|
c = a = b & a;
|
|
#pragma omp atomic capture
|
|
c = a = a ^ b;
|
|
#pragma omp atomic capture
|
|
c = a = b | a;
|
|
#pragma omp atomic capture
|
|
c = a = a << b;
|
|
#pragma omp atomic capture
|
|
c = a = b >> a;
|
|
#pragma omp atomic capture
|
|
{ c = *&a; *&a = *&a + 2;}
|
|
#pragma omp atomic capture
|
|
{ *&a = *&a + 2; c = *&a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a++;}
|
|
#pragma omp atomic capture
|
|
{++a;c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a;a--;}
|
|
#pragma omp atomic capture
|
|
{--a;c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a += b;}
|
|
#pragma omp atomic capture
|
|
{a %= b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a *= b;}
|
|
#pragma omp atomic capture
|
|
{a -= b;c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a /= b;}
|
|
#pragma omp atomic capture
|
|
{a &= b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a ^= b;}
|
|
#pragma omp atomic capture
|
|
{a |= b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a <<= b;}
|
|
#pragma omp atomic capture
|
|
{a >>= b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b + a;}
|
|
#pragma omp atomic capture
|
|
{a = a * b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b - a;}
|
|
#pragma omp atomic capture
|
|
{a = a / b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b & a;}
|
|
#pragma omp atomic capture
|
|
{a = a ^ b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b | a;}
|
|
#pragma omp atomic capture
|
|
{a = a << b; c = a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = b >> a;}
|
|
#pragma omp atomic capture
|
|
{c = a; a = foo();}
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'capture' clause}}
|
|
#pragma omp atomic capture capture
|
|
b = a /= b;
|
|
|
|
// expected-note@+1 {{in instantiation of function template specialization 'capture<int>' requested here}}
|
|
return capture<int>();
|
|
}
|
|
|
|
template <class T>
|
|
T seq_cst() {
|
|
T a, b = 0;
|
|
// Test for atomic seq_cst
|
|
#pragma omp atomic seq_cst
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst' clause}}
|
|
#pragma omp atomic seq_cst seq_cst
|
|
a += b;
|
|
|
|
#pragma omp atomic update seq_cst
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return T();
|
|
}
|
|
|
|
int seq_cst() {
|
|
int a, b = 0;
|
|
// Test for atomic seq_cst
|
|
#pragma omp atomic seq_cst
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst' clause}}
|
|
#pragma omp atomic seq_cst seq_cst
|
|
a += b;
|
|
|
|
#pragma omp atomic update seq_cst
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return seq_cst<int>();
|
|
}
|
|
|
|
template <class T>
|
|
T acq_rel() {
|
|
T a = 0, b = 0;
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'acq_rel' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic' cannot be used with 'acq_rel' clause}} omp50-note@+1 {{'acq_rel' clause used here}}
|
|
#pragma omp atomic acq_rel
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// omp50-error@+1 2 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst', 'relaxed', 'acq_rel', 'acquire' or 'release' clause}} omp50-note@+1 2 {{'acq_rel' clause used here}} omp45-error@+1 {{unexpected OpenMP clause 'acq_rel' in directive '#pragma omp atomic'}} omp50-error@+1 2 {{directive '#pragma omp atomic read' cannot be used with 'acq_rel' clause}} omp50-note@+1 2 {{'acq_rel' clause used here}}
|
|
#pragma omp atomic read acq_rel seq_cst
|
|
a = b;
|
|
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'acq_rel' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic update' cannot be used with 'acq_rel' clause}} omp50-note@+1 {{'acq_rel' clause used here}}
|
|
#pragma omp atomic update acq_rel
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return T();
|
|
}
|
|
|
|
int acq_rel() {
|
|
int a = 0, b = 0;
|
|
// Test for atomic acq_rel
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'acq_rel' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic write' cannot be used with 'acq_rel' clause}} omp50-note@+1 {{'acq_rel' clause used here}}
|
|
#pragma omp atomic acq_rel write
|
|
// expected-error@+2 {{the statement for 'atomic write' must be an expression statement of form 'x = expr;', where x is a lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// omp50-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst', 'relaxed', 'acq_rel', 'acquire' or 'release' clause}} omp50-note@+1 {{'seq_cst' clause used here}} omp45-error@+1 {{unexpected OpenMP clause 'acq_rel' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic seq_cst acq_rel
|
|
a += b;
|
|
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'acq_rel' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic update' cannot be used with 'acq_rel' clause}} omp50-note@+1 {{'acq_rel' clause used here}}
|
|
#pragma omp atomic update acq_rel
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return acq_rel<int>(); // omp50-note {{in instantiation of function template specialization 'acq_rel<int>' requested here}}
|
|
}
|
|
|
|
template <class T>
|
|
T acquire() {
|
|
T a = 0, b = 0;
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'acquire' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic' cannot be used with 'acquire' clause}} omp50-note@+1 {{'acquire' clause used here}}
|
|
#pragma omp atomic acquire
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// omp50-error@+1 2 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst', 'relaxed', 'acq_rel', 'acquire' or 'release' clause}} omp50-note@+1 2 {{'acquire' clause used here}} omp45-error@+1 {{unexpected OpenMP clause 'acquire' in directive '#pragma omp atomic'}} omp50-error@+1 2 {{directive '#pragma omp atomic' cannot be used with 'acquire' clause}} omp50-note@+1 2 {{'acquire' clause used here}}
|
|
#pragma omp atomic acquire seq_cst
|
|
a += b;
|
|
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'acquire' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic update' cannot be used with 'acquire' clause}} omp50-note@+1 {{'acquire' clause used here}}
|
|
#pragma omp atomic update acquire
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return T();
|
|
}
|
|
|
|
int acquire() {
|
|
int a = 0, b = 0;
|
|
// Test for atomic acquire
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'acquire' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic write' cannot be used with 'acquire' clause}} omp50-note@+1 {{'acquire' clause used here}}
|
|
#pragma omp atomic write acquire
|
|
// expected-error@+2 {{the statement for 'atomic write' must be an expression statement of form 'x = expr;', where x is a lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// omp50-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst', 'relaxed', 'acq_rel', 'acquire' or 'release' clause}} omp50-note@+1 {{'seq_cst' clause used here}} omp45-error@+1 {{unexpected OpenMP clause 'acquire' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic seq_cst acquire
|
|
a += b;
|
|
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'acquire' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic update' cannot be used with 'acquire' clause}} omp50-note@+1 {{'acquire' clause used here}}
|
|
#pragma omp atomic update acquire
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return acquire<int>(); // omp50-note {{in instantiation of function template specialization 'acquire<int>' requested here}}
|
|
}
|
|
|
|
template <class T>
|
|
T release() {
|
|
T a = 0, b = 0;
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'release' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic release
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// omp50-error@+1 2 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst', 'relaxed', 'acq_rel', 'acquire' or 'release' clause}} omp50-note@+1 2 {{'release' clause used here}} omp45-error@+1 {{unexpected OpenMP clause 'release' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic release seq_cst
|
|
a += b;
|
|
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'release' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic update release
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return T();
|
|
}
|
|
|
|
int release() {
|
|
int a = 0, b = 0;
|
|
// Test for atomic release
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'release' in directive '#pragma omp atomic'}} omp50-error@+1 {{directive '#pragma omp atomic read' cannot be used with 'release' clause}} omp50-note@+1 {{'release' clause used here}}
|
|
#pragma omp atomic read release
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// omp50-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst', 'relaxed', 'acq_rel', 'acquire' or 'release' clause}} omp50-note@+1 {{'seq_cst' clause used here}} omp45-error@+1 {{unexpected OpenMP clause 'release' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic seq_cst release
|
|
a += b;
|
|
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'release' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic update release
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return release<int>(); // omp50-note {{in instantiation of function template specialization 'release<int>' requested here}}
|
|
}
|
|
|
|
template <class T>
|
|
T relaxed() {
|
|
T a = 0, b = 0;
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'relaxed' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic relaxed
|
|
// expected-error@+2 {{the statement for 'atomic' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// omp50-error@+1 2 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst', 'relaxed', 'acq_rel', 'acquire' or 'release' clause}} omp50-note@+1 2 {{'relaxed' clause used here}} omp45-error@+1 {{unexpected OpenMP clause 'relaxed' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic relaxed seq_cst
|
|
a += b;
|
|
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'relaxed' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic update relaxed
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return T();
|
|
}
|
|
|
|
int relaxed() {
|
|
int a = 0, b = 0;
|
|
// Test for atomic relaxed
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'relaxed' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic read relaxed
|
|
// expected-error@+2 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both lvalue expressions with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
// omp50-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'seq_cst', 'relaxed', 'acq_rel', 'acquire' or 'release' clause}} omp50-note@+1 {{'seq_cst' clause used here}} omp45-error@+1 {{unexpected OpenMP clause 'relaxed' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic seq_cst relaxed
|
|
a += b;
|
|
|
|
// omp45-error@+1 {{unexpected OpenMP clause 'relaxed' in directive '#pragma omp atomic'}}
|
|
#pragma omp atomic update relaxed
|
|
// expected-error@+2 {{the statement for 'atomic update' must be an expression statement of form '++x;', '--x;', 'x++;', 'x--;', 'x binop= expr;', 'x = x binop expr' or 'x = expr binop x', where x is an lvalue expression with scalar type}}
|
|
// expected-note@+1 {{expected an expression statement}}
|
|
;
|
|
|
|
return relaxed<int>(); // omp50-note {{in instantiation of function template specialization 'relaxed<int>' requested here}}
|
|
}
|
|
|
|
template <class T>
|
|
T mixed() {
|
|
T a, b = T();
|
|
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 2 {{'read' clause used here}}
|
|
#pragma omp atomic read write
|
|
a = b;
|
|
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 2 {{'write' clause used here}}
|
|
#pragma omp atomic write read
|
|
a = b;
|
|
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 2 {{'update' clause used here}}
|
|
#pragma omp atomic update read
|
|
a += b;
|
|
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 2 {{'capture' clause used here}}
|
|
#pragma omp atomic capture read
|
|
a = ++b;
|
|
#ifdef OMP51
|
|
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 2 {{'write' clause used here}}
|
|
#pragma omp atomic write compare
|
|
a = b;
|
|
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 2 {{'read' clause used here}}
|
|
#pragma omp atomic read compare
|
|
a = b;
|
|
#endif
|
|
return T();
|
|
}
|
|
|
|
int mixed() {
|
|
int a, v, b = 0;
|
|
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 {{'read' clause used here}}
|
|
#pragma omp atomic read write
|
|
a = b;
|
|
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 {{'write' clause used here}}
|
|
#pragma omp atomic write read
|
|
a = b;
|
|
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 {{'write' clause used here}}
|
|
#pragma omp atomic write update
|
|
a = b;
|
|
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 {{'write' clause used here}}
|
|
#pragma omp atomic write capture
|
|
a = b;
|
|
#ifdef OMP51
|
|
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 {{'write' clause used here}}
|
|
#pragma omp atomic write compare
|
|
a = b;
|
|
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
|
// expected-note@+1 {{'read' clause used here}}
|
|
#pragma omp atomic read compare
|
|
a = b;
|
|
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'compare' clause}}
|
|
// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'capture' clause}}
|
|
#pragma omp atomic compare compare capture capture
|
|
{ v = a; if (a > b) a = b; }
|
|
#endif
|
|
// expected-note@+1 {{in instantiation of function template specialization 'mixed<int>' requested here}}
|
|
return mixed<int>();
|
|
}
|