2019-07-08 23:45:24 +08:00
// RUN: %clang_cc1 -fsyntax-only -fopenmp -verify %s -Wuninitialized
2014-02-27 16:29:12 +08:00
2019-07-08 23:45:24 +08:00
// RUN: %clang_cc1 -fsyntax-only -fopenmp-simd -verify %s -Wuninitialized
2017-12-30 02:07:07 +08:00
[OPENMP]Initial fix PR42392: Improve -Wuninitialized warnings for OpenMP programs.
Summary:
Some OpenMP clauses rely on the values of the variables. If the variable
is not initialized and used in OpenMP clauses that depend on the
variables values, it should be reported that the uninitialized variable
is used in the OpenMP clause expression.
This patch adds initial processing for uninitialized variables in OpenMP
constructs. Currently, it checks for use of the uninitialized variables
in the structured blocks.
Reviewers: NoQ, Szelethus, dcoughlin, xazax.hun, a.sidorin, george.karpenkov, szepet
Subscribers: rnkovacs, guansong, jfb, jdoerfert, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64356
llvm-svn: 365786
2019-07-11 22:54:17 +08:00
void xxx ( int argc ) {
int x ; // expected-note {{initialize the variable 'x' to silence this warning}}
# pragma omp simd
for ( int i = 0 ; i < 10 ; + + i )
argc = x ; // expected-warning {{variable 'x' is uninitialized when used here}}
}
2014-02-27 16:29:12 +08:00
// expected-error@+1 {{unexpected OpenMP directive '#pragma omp simd'}}
# pragma omp simd
// expected-error@+1 {{unexpected OpenMP directive '#pragma omp simd'}}
# pragma omp simd foo
// expected-error@+1 {{unexpected OpenMP directive '#pragma omp simd'}}
# pragma omp simd safelen(4)
2014-07-25 14:27:47 +08:00
void test_no_clause ( ) {
2014-02-27 16:29:12 +08:00
int i ;
2014-07-25 14:27:47 +08:00
# pragma omp simd
for ( i = 0 ; i < 16 ; + + i )
;
2014-02-27 16:29:12 +08:00
2014-07-25 14:27:47 +08:00
// expected-error@+2 {{statement after '#pragma omp simd' must be a for loop}}
# pragma omp simd
2014-02-27 16:29:12 +08:00
+ + i ;
}
2014-07-25 14:27:47 +08:00
void test_branch_protected_scope ( ) {
2014-02-27 16:29:12 +08:00
int i = 0 ;
L1 :
+ + i ;
int x [ 24 ] ;
2014-07-25 14:27:47 +08:00
# pragma omp simd
2014-02-27 16:29:12 +08:00
for ( i = 0 ; i < 16 ; + + i ) {
if ( i = = 5 )
goto L1 ; // expected-error {{use of undeclared label 'L1'}}
else if ( i = = 6 )
return ; // expected-error {{cannot return from OpenMP region}}
else if ( i = = 7 )
goto L2 ;
else if ( i = = 8 ) {
2014-07-25 14:27:47 +08:00
L2 :
2014-02-27 16:29:12 +08:00
x [ i ] + + ;
}
}
if ( x [ 0 ] = = 0 )
goto L2 ; // expected-error {{use of undeclared label 'L2'}}
else if ( x [ 1 ] = = 1 )
goto L1 ;
}
2014-07-25 14:27:47 +08:00
void test_invalid_clause ( ) {
2014-02-27 16:29:12 +08:00
int i ;
2014-07-25 14:27:47 +08:00
// expected-warning@+1 {{extra tokens at the end of '#pragma omp simd' are ignored}}
# pragma omp simd foo bar
for ( i = 0 ; i < 16 ; + + i )
;
2014-02-27 16:29:12 +08:00
}
2014-07-25 14:27:47 +08:00
void test_non_identifiers ( ) {
2014-02-27 16:29:12 +08:00
int i , x ;
2014-03-05 15:21:14 +08:00
2014-07-25 14:27:47 +08:00
// expected-warning@+1 {{extra tokens at the end of '#pragma omp simd' are ignored}}
# pragma omp simd;
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{unexpected OpenMP clause 'firstprivate' in directive '#pragma omp simd'}}
// expected-warning@+1 {{extra tokens at the end of '#pragma omp simd' are ignored}}
# pragma omp simd firstprivate(x);
for ( i = 0 ; i < 16 ; + + i )
;
// expected-warning@+1 {{extra tokens at the end of '#pragma omp simd' are ignored}}
# pragma omp simd private(x);
for ( i = 0 ; i < 16 ; + + i )
;
// expected-warning@+1 {{extra tokens at the end of '#pragma omp simd' are ignored}}
# pragma omp simd, private(x);
for ( i = 0 ; i < 16 ; + + i )
;
2014-02-27 16:29:12 +08:00
}
2014-03-21 12:51:18 +08:00
extern int foo ( ) ;
2014-07-25 14:27:47 +08:00
void test_safelen ( ) {
2014-03-21 12:51:18 +08:00
int i ;
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected '('}}
# pragma omp simd safelen
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd safelen()
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(,
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(, )
for ( i = 0 ; i < 16 ; + + i )
;
// expected-warning@+2 {{extra tokens at the end of '#pragma omp simd' are ignored}}
// expected-error@+1 {{expected '('}}
# pragma omp simd safelen 4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(4
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(4,
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(4, )
for ( i = 0 ; i < 16 ; + + i )
;
// xxpected-error@+1 {{expected expression}}
# pragma omp simd safelen(4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(4 4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(4, , 4)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd safelen(4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd safelen(4, 8)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expression is not an integer constant expression}}
# pragma omp simd safelen(2.5)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expression is not an integer constant expression}}
# pragma omp simd safelen(foo())
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'safelen' clause must be a strictly positive integer value}}
2014-07-25 14:27:47 +08:00
# pragma omp simd safelen(-5)
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'safelen' clause must be a strictly positive integer value}}
2014-07-25 14:27:47 +08:00
# pragma omp simd safelen(0)
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'safelen' clause must be a strictly positive integer value}}
2014-07-25 14:27:47 +08:00
# pragma omp simd safelen(5 - 5)
for ( i = 0 ; i < 16 ; + + i )
;
2014-03-21 12:51:18 +08:00
}
2015-08-21 19:14:16 +08:00
void test_simdlen ( ) {
int i ;
// expected-error@+1 {{expected '('}}
# pragma omp simd simdlen
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd simdlen()
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(,
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(, )
for ( i = 0 ; i < 16 ; + + i )
;
// expected-warning@+2 {{extra tokens at the end of '#pragma omp simd' are ignored}}
// expected-error@+1 {{expected '('}}
# pragma omp simd simdlen 4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(4
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(4,
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(4, )
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd simdlen(4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(4 4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(4, , 4)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd simdlen(4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}}
# pragma omp simd simdlen(4, 8)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expression is not an integer constant expression}}
# pragma omp simd simdlen(2.5)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expression is not an integer constant expression}}
# pragma omp simd simdlen(foo())
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'simdlen' clause must be a strictly positive integer value}}
2015-08-21 19:14:16 +08:00
# pragma omp simd simdlen(-5)
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'simdlen' clause must be a strictly positive integer value}}
2015-08-21 19:14:16 +08:00
# pragma omp simd simdlen(0)
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'simdlen' clause must be a strictly positive integer value}}
2015-08-21 19:14:16 +08:00
# pragma omp simd simdlen(5 - 5)
for ( i = 0 ; i < 16 ; + + i )
;
}
void test_safelen_simdlen ( ) {
int i ;
// expected-error@+1 {{the value of 'simdlen' parameter must be less than or equal to the value of the 'safelen' parameter}}
# pragma omp simd simdlen(6) safelen(5)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{the value of 'simdlen' parameter must be less than or equal to the value of the 'safelen' parameter}}
# pragma omp simd safelen(5) simdlen(6)
for ( i = 0 ; i < 16 ; + + i )
;
}
2014-07-25 14:27:47 +08:00
void test_collapse ( ) {
2014-05-27 23:12:19 +08:00
int i ;
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected '('}}
# pragma omp simd collapse
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd collapse(
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd collapse()
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd collapse(,
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd collapse(, )
for ( i = 0 ; i < 16 ; + + i )
;
// expected-warning@+2 {{extra tokens at the end of '#pragma omp simd' are ignored}}
// expected-error@+1 {{expected '('}}
# pragma omp simd collapse 4)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
# pragma omp simd collapse(4
for ( i = 0 ; i < 16 ; + + i )
; // expected-error {{expected 4 for loops after '#pragma omp simd', but found only 1}}
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
# pragma omp simd collapse(4,
for ( i = 0 ; i < 16 ; + + i )
; // expected-error {{expected 4 for loops after '#pragma omp simd', but found only 1}}
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
# pragma omp simd collapse(4, )
for ( i = 0 ; i < 16 ; + + i )
; // expected-error {{expected 4 for loops after '#pragma omp simd', but found only 1}}
// xxpected-error@+1 {{expected expression}} expected-note@+1 {{as specified in 'collapse' clause}}
# pragma omp simd collapse(4)
for ( i = 0 ; i < 16 ; + + i )
; // expected-error {{expected 4 for loops after '#pragma omp simd', but found only 1}}
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
# pragma omp simd collapse(4 4)
for ( i = 0 ; i < 16 ; + + i )
; // expected-error {{expected 4 for loops after '#pragma omp simd', but found only 1}}
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
# pragma omp simd collapse(4, , 4)
for ( i = 0 ; i < 16 ; + + i )
; // expected-error {{expected 4 for loops after '#pragma omp simd', but found only 1}}
# pragma omp simd collapse(4)
2014-05-27 23:12:19 +08:00
for ( int i1 = 0 ; i1 < 16 ; + + i1 )
for ( int i2 = 0 ; i2 < 16 ; + + i2 )
for ( int i3 = 0 ; i3 < 16 ; + + i3 )
for ( int i4 = 0 ; i4 < 16 ; + + i4 )
foo ( ) ;
2014-07-25 14:27:47 +08:00
// expected-error@+2 {{expected ')'}}
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
# pragma omp simd collapse(4, 8)
for ( i = 0 ; i < 16 ; + + i )
; // expected-error {{expected 4 for loops after '#pragma omp simd', but found only 1}}
// expected-error@+1 {{expression is not an integer constant expression}}
# pragma omp simd collapse(2.5)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expression is not an integer constant expression}}
# pragma omp simd collapse(foo())
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'collapse' clause must be a strictly positive integer value}}
2014-07-25 14:27:47 +08:00
# pragma omp simd collapse(-5)
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'collapse' clause must be a strictly positive integer value}}
2014-07-25 14:27:47 +08:00
# pragma omp simd collapse(0)
for ( i = 0 ; i < 16 ; + + i )
;
2015-12-01 18:17:31 +08:00
// expected-error@+1 {{argument to 'collapse' clause must be a strictly positive integer value}}
2014-07-25 14:27:47 +08:00
# pragma omp simd collapse(5 - 5)
for ( i = 0 ; i < 16 ; + + i )
;
2019-07-19 01:49:13 +08:00
// expected-note@+2 2 {{defined as reduction}}
2014-07-25 14:27:47 +08:00
# pragma omp parallel
# pragma omp simd collapse(2) reduction(+ : i)
2019-07-19 01:49:13 +08:00
for ( i = 0 ; i < 16 ; + + i ) // expected-error {{loop iteration variable in the associated loop of 'omp simd' directive may not be reduction, predetermined as lastprivate}}
2014-07-25 14:27:47 +08:00
// expected-note@+1 {{variable with automatic storage duration is predetermined as private; perhaps you forget to enclose 'omp for' directive into a parallel or another task region?}}
for ( int j = 0 ; j < 16 ; + + j )
2015-12-10 16:20:58 +08:00
// expected-error@+2 2 {{reduction variable must be shared}}
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{OpenMP constructs may not be nested inside a simd region}}
# pragma omp for reduction(+ : i, j)
for ( int k = 0 ; k < 16 ; + + k )
i + = j ;
2015-12-10 16:20:58 +08:00
# pragma omp parallel
# pragma omp for
for ( i = 0 ; i < 16 ; + + i )
for ( int j = 0 ; j < 16 ; + + j )
# pragma omp simd reduction(+ : i, j)
for ( int k = 0 ; k < 16 ; + + k )
i + = j ;
2014-05-27 23:12:19 +08:00
}
2014-07-25 14:27:47 +08:00
void test_linear ( ) {
2014-04-22 21:09:42 +08:00
int i ;
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd linear(
for ( i = 0 ; i < 16 ; + + i )
;
2016-04-01 16:43:42 +08:00
// expected-error@+2 {{expected expression}}
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd linear(,
for ( i = 0 ; i < 16 ; + + i )
;
2016-04-01 16:43:42 +08:00
// expected-error@+2 {{expected expression}}
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected expression}}
# pragma omp simd linear(, )
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd linear()
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd linear(int)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected variable name}}
# pragma omp simd linear(0)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{use of undeclared identifier 'x'}}
# pragma omp simd linear(x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{use of undeclared identifier 'x'}}
// expected-error@+1 {{use of undeclared identifier 'y'}}
# pragma omp simd linear(x, y)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+3 {{use of undeclared identifier 'x'}}
// expected-error@+2 {{use of undeclared identifier 'y'}}
// expected-error@+1 {{use of undeclared identifier 'z'}}
# pragma omp simd linear(x, y, z)
for ( i = 0 ; i < 16 ; + + i )
;
2014-04-22 21:09:42 +08:00
int x , y ;
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected expression}}
# pragma omp simd linear(x :)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd linear(x :, )
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd linear(x : 1)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd linear(x : 2 * 2)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd linear(x : 1, y)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd linear(x : 1, y, z : 1)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-note@+2 {{defined as linear}}
// expected-error@+1 {{linear variable cannot be linear}}
# pragma omp simd linear(x) linear(x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-note@+2 {{defined as private}}
// expected-error@+1 {{private variable cannot be linear}}
# pragma omp simd private(x) linear(x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-note@+2 {{defined as linear}}
// expected-error@+1 {{linear variable cannot be private}}
# pragma omp simd linear(x) private(x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-warning@+1 {{zero linear step (x and other variables in clause should probably be const)}}
# pragma omp simd linear(x, y : 0)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-note@+2 {{defined as linear}}
// expected-error@+1 {{linear variable cannot be lastprivate}}
# pragma omp simd linear(x) lastprivate(x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-note@+2 {{defined as lastprivate}}
// expected-error@+1 {{lastprivate variable cannot be linear}}
# pragma omp simd lastprivate(x) linear(x)
for ( i = 0 ; i < 16 ; + + i )
;
2014-04-22 21:09:42 +08:00
}
2014-07-25 14:27:47 +08:00
void test_aligned ( ) {
2014-05-29 22:36:25 +08:00
int i ;
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd aligned(
for ( i = 0 ; i < 16 ; + + i )
;
2016-04-01 16:43:42 +08:00
// expected-error@+2 {{expected expression}}
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd aligned(,
for ( i = 0 ; i < 16 ; + + i )
;
2016-04-01 16:43:42 +08:00
// expected-error@+2 {{expected expression}}
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected expression}}
# pragma omp simd aligned(, )
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd aligned()
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd aligned(int)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected variable name}}
# pragma omp simd aligned(0)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{use of undeclared identifier 'x'}}
# pragma omp simd aligned(x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{use of undeclared identifier 'x'}}
// expected-error@+1 {{use of undeclared identifier 'y'}}
# pragma omp simd aligned(x, y)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+3 {{use of undeclared identifier 'x'}}
// expected-error@+2 {{use of undeclared identifier 'y'}}
// expected-error@+1 {{use of undeclared identifier 'z'}}
# pragma omp simd aligned(x, y, z)
for ( i = 0 ; i < 16 ; + + i )
;
2014-05-29 22:36:25 +08:00
int * x , y , z [ 25 ] ; // expected-note 4 {{'y' defined here}}
2014-07-25 14:27:47 +08:00
# pragma omp simd aligned(x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd aligned(z)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd aligned(x :)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd aligned(x :, )
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd aligned(x : 1)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd aligned(x : 2 * 2)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd aligned(x : 1, y)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd aligned(x : 1, y, z : 1)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{argument of aligned clause should be array or pointer, not 'int'}}
# pragma omp simd aligned(x, y)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{argument of aligned clause should be array or pointer, not 'int'}}
# pragma omp simd aligned(x, y, z)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-note@+2 {{defined as aligned}}
// expected-error@+1 {{a variable cannot appear in more than one aligned clause}}
# pragma omp simd aligned(x) aligned(z, x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-note@+3 {{defined as aligned}}
// expected-error@+2 {{a variable cannot appear in more than one aligned clause}}
// expected-error@+1 2 {{argument of aligned clause should be array or pointer, not 'int'}}
# pragma omp simd aligned(x, y, z) aligned(y, z)
for ( i = 0 ; i < 16 ; + + i )
;
2014-05-29 22:36:25 +08:00
}
2014-07-25 14:27:47 +08:00
void test_private ( ) {
2014-03-05 15:21:14 +08:00
int i ;
2014-07-25 14:27:47 +08:00
// expected-error@+2 {{expected expression}}
// expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
# pragma omp simd private(
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}
2016-04-01 16:43:42 +08:00
// expected-error@+1 2 {{expected expression}}
2014-07-25 14:27:47 +08:00
# pragma omp simd private(,
for ( i = 0 ; i < 16 ; + + i )
;
2016-04-01 16:43:42 +08:00
// expected-error@+1 2 {{expected expression}}
2014-07-25 14:27:47 +08:00
# pragma omp simd private(, )
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd private()
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd private(int)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected variable name}}
# pragma omp simd private(0)
for ( i = 0 ; i < 16 ; + + i )
;
2014-03-05 15:21:14 +08:00
int x , y , z ;
2014-07-25 14:27:47 +08:00
# pragma omp simd private(x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd private(x, y)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd private(x, y, z)
2014-03-05 15:21:14 +08:00
for ( i = 0 ; i < 16 ; + + i ) {
x = y * i + z ;
}
}
2014-07-25 14:27:47 +08:00
void test_firstprivate ( ) {
2014-03-05 15:21:14 +08:00
int i ;
2014-07-25 14:27:47 +08:00
// expected-error@+3 {{expected ')'}} expected-note@+3 {{to match this '('}}
// expected-error@+2 {{unexpected OpenMP clause 'firstprivate' in directive '#pragma omp simd'}}
// expected-error@+1 {{expected expression}}
# pragma omp simd firstprivate(
for ( i = 0 ; i < 16 ; + + i )
;
2014-03-05 15:21:14 +08:00
}
2014-03-21 12:51:18 +08:00
2014-07-25 14:27:47 +08:00
void test_lastprivate ( ) {
2014-06-04 21:06:39 +08:00
int i ;
2014-07-25 14:27:47 +08:00
// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}
// expected-error@+1 {{expected expression}}
# pragma omp simd lastprivate(
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}
2016-04-01 16:43:42 +08:00
// expected-error@+1 2 {{expected expression}}
2014-07-25 14:27:47 +08:00
# pragma omp simd lastprivate(,
for ( i = 0 ; i < 16 ; + + i )
;
2016-04-01 16:43:42 +08:00
// expected-error@+1 2 {{expected expression}}
2014-07-25 14:27:47 +08:00
# pragma omp simd lastprivate(, )
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd lastprivate()
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd lastprivate(int)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected variable name}}
# pragma omp simd lastprivate(0)
for ( i = 0 ; i < 16 ; + + i )
;
2014-06-04 21:06:39 +08:00
int x , y , z ;
2014-07-25 14:27:47 +08:00
# pragma omp simd lastprivate(x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd lastprivate(x, y)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd lastprivate(x, y, z)
for ( i = 0 ; i < 16 ; + + i )
;
2014-06-04 21:06:39 +08:00
}
2014-07-25 14:27:47 +08:00
void test_reduction ( ) {
2014-07-08 19:33:21 +08:00
int i , x , y ;
2014-07-25 14:27:47 +08:00
// expected-error@+3 {{expected ')'}} expected-note@+3 {{to match this '('}}
// expected-error@+2 {{expected identifier}}
// expected-warning@+1 {{missing ':' after reduction identifier - ignoring}}
# pragma omp simd reduction(
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected identifier}}
// expected-warning@+1 {{missing ':' after reduction identifier - ignoring}}
# pragma omp simd reduction()
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+2 {{expected expression}}
// expected-warning@+1 {{missing ':' after reduction identifier - ignoring}}
# pragma omp simd reduction(x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected identifier}}
# pragma omp simd reduction( : x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+3 {{expected ')'}} expected-note@+3 {{to match this '('}}
// expected-error@+2 {{expected identifier}}
// expected-warning@+1 {{missing ':' after reduction identifier - ignoring}}
# pragma omp simd reduction(,
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+3 {{expected ')'}} expected-note@+3 {{to match this '('}}
// expected-error@+2 {{expected expression}}
// expected-warning@+1 {{missing ':' after reduction identifier - ignoring}}
# pragma omp simd reduction(+
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+3 {{expected ')'}} expected-note@+3 {{to match this '('}}
//
// expected-error@+1 {{expected expression}}
# pragma omp simd reduction(+:
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd reduction(+ :)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd reduction(+ :, y)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected expression}}
# pragma omp simd reduction(+ : x, + : y)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected identifier}}
# pragma omp simd reduction(% : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(+ : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(* : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(- : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(& : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(| : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(^ : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(&& : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(|| : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(max : x)
for ( i = 0 ; i < 16 ; + + i )
;
# pragma omp simd reduction(min : x)
for ( i = 0 ; i < 16 ; + + i )
;
struct X {
int x ;
} ;
2014-07-08 19:33:21 +08:00
struct X X ;
2014-07-25 14:27:47 +08:00
// expected-error@+1 {{expected variable name}}
# pragma omp simd reduction(+ : X.x)
for ( i = 0 ; i < 16 ; + + i )
;
// expected-error@+1 {{expected variable name}}
# pragma omp simd reduction(+ : x + x)
for ( i = 0 ; i < 16 ; + + i )
;
2014-07-08 19:33:21 +08:00
}
2014-07-25 14:27:47 +08:00
void test_loop_messages ( ) {
2014-06-03 18:16:47 +08:00
float a [ 100 ] , b [ 100 ] , c [ 100 ] ;
2014-07-25 14:27:47 +08:00
// expected-error@+2 {{variable must be of integer or pointer type}}
# pragma omp simd
2014-06-03 18:16:47 +08:00
for ( float fi = 0 ; fi < 10.0 ; fi + + ) {
c [ ( int ) fi ] = a [ ( int ) fi ] + b [ ( int ) fi ] ;
}
2014-07-25 14:27:47 +08:00
// expected-error@+2 {{variable must be of integer or pointer type}}
# pragma omp simd
2014-06-03 18:16:47 +08:00
for ( double fi = 0 ; fi < 10.0 ; fi + + ) {
c [ ( int ) fi ] = a [ ( int ) fi ] + b [ ( int ) fi ] ;
}
}
2015-08-20 18:54:39 +08:00
void linear_modifiers ( int argc ) {
int f ;
# pragma omp simd linear(f)
for ( int k = 0 ; k < argc ; + + k ) + + k ;
# pragma omp simd linear(val(f))
for ( int k = 0 ; k < argc ; + + k ) + + k ;
# pragma omp simd linear(uval(f)) // expected-error {{expected 'val' modifier}}
for ( int k = 0 ; k < argc ; + + k ) + + k ;
# pragma omp simd linear(ref(f)) // expected-error {{expected 'val' modifier}}
for ( int k = 0 ; k < argc ; + + k ) + + k ;
# pragma omp simd linear(foo(f)) // expected-error {{expected 'val' modifier}}
for ( int k = 0 ; k < argc ; + + k ) + + k ;
}