mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 11:35:51 -04:00

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
139 lines
4.4 KiB
C++
139 lines
4.4 KiB
C++
// RUN: %clang_cc1 -verify -fopenmp -ferror-limit 100 -std=c++11 -o - %s -Wuninitialized
|
|
|
|
// RUN: %clang_cc1 -verify -fopenmp-simd -ferror-limit 100 -std=c++11 -o - %s -Wuninitialized
|
|
|
|
void foo() {
|
|
}
|
|
|
|
void xxx(int argc) {
|
|
int x; // expected-note {{initialize the variable 'x' to silence this warning}}
|
|
#pragma omp distribute parallel for
|
|
for (int i = 0; i < 10; ++i)
|
|
argc = x; // expected-warning {{variable 'x' is uninitialized when used here}}
|
|
}
|
|
|
|
#pragma omp distribute parallel for // expected-error {{unexpected OpenMP directive '#pragma omp distribute parallel for'}}
|
|
|
|
int main(int argc, char **argv) {
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for { // expected-warning {{extra tokens at the end of '#pragma omp distribute parallel for' are ignored}}
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for ( // expected-warning {{extra tokens at the end of '#pragma omp distribute parallel for' are ignored}}
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for[ // expected-warning {{extra tokens at the end of '#pragma omp distribute parallel for' are ignored}}
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for] // expected-warning {{extra tokens at the end of '#pragma omp distribute parallel for' are ignored}}
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for) // expected-warning {{extra tokens at the end of '#pragma omp distribute parallel for' are ignored}}
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for } // expected-warning {{extra tokens at the end of '#pragma omp distribute parallel for' are ignored}}
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for linear(argc) // expected-error {{unexpected OpenMP clause 'linear' in directive '#pragma omp distribute parallel for'}}
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for unknown() // expected-warning {{extra tokens at the end of '#pragma omp distribute parallel for' are ignored}}
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
L1:
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for
|
|
for (int i = 0; i < argc; ++i)
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for
|
|
for (int i = 0; i < argc; ++i) {
|
|
goto L1; // expected-error {{use of undeclared label 'L1'}}
|
|
argc++;
|
|
}
|
|
|
|
for (int i = 0; i < 10; ++i) {
|
|
switch (argc) {
|
|
case (0):
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for
|
|
for (int i = 0; i < argc; ++i) {
|
|
foo();
|
|
break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}
|
|
continue;
|
|
}
|
|
default:
|
|
break;
|
|
}
|
|
}
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for default(none) // expected-note {{explicit data sharing attribute requested here}}
|
|
for (int i = 0; i < 10; ++i)
|
|
++argc; // expected-error {{variable 'argc' must have explicitly specified data sharing attributes}}
|
|
|
|
goto L2; // expected-error {{use of undeclared label 'L2'}}
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for
|
|
for (int i = 0; i < argc; ++i)
|
|
L2:
|
|
foo();
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for
|
|
for (int i = 0; i < argc; ++i) {
|
|
return 1; // expected-error {{cannot return from OpenMP region}}
|
|
}
|
|
|
|
[[]] // expected-error {{an attribute list cannot appear here}}
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for
|
|
for (int n = 0; n < 100; ++n) {
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
void test_ordered() {
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for collapse(2) collapse(3) // expected-error {{directive '#pragma omp distribute parallel for' cannot contain more than one 'collapse' clause}}
|
|
for (int i = 0; i < 16; ++i)
|
|
for (int j = 0; j < 16; ++j)
|
|
;
|
|
}
|
|
|
|
void test_cancel() {
|
|
#pragma omp target
|
|
#pragma omp teams
|
|
#pragma omp distribute parallel for
|
|
for (int i = 0; i < 16; ++i)
|
|
for (int j = 0; j < 16; ++j) {
|
|
#pragma omp cancel for
|
|
;
|
|
}
|
|
}
|
|
|