Clang Project

clang_source_code/test/OpenMP/declare_reduction_messages.cpp
1// RUN: %clang_cc1 -verify -fopenmp -ferror-limit 100 %s
2// RUN: %clang_cc1 -verify -fopenmp -ferror-limit 100 -std=c++98 %s
3// RUN: %clang_cc1 -verify -fopenmp -ferror-limit 100 -std=c++11 %s
4
5// RUN: %clang_cc1 -verify -fopenmp-simd -ferror-limit 100 %s
6// RUN: %clang_cc1 -verify -fopenmp-simd -ferror-limit 100 -std=c++98 %s
7// RUN: %clang_cc1 -verify -fopenmp-simd -ferror-limit 100 -std=c++11 %s
8
9int temp; // expected-note 7 {{'temp' declared here}}
10
11#pragma omp declare reduction                                              // expected-error {{expected '(' after 'declare reduction'}}
12#pragma omp declare reduction {                                            // expected-error {{expected '(' after 'declare reduction'}}
13#pragma omp declare reduction(                                             // expected-error {{expected identifier or one of the following operators: '+', '-', '*', '&', '|', '^', '&&', or '||'}}
14#pragma omp declare reduction(#                                            // expected-error {{expected identifier or one of the following operators: '+', '-', '*', '&', '|', '^', '&&', or '||'}}
15#pragma omp declare reduction(/                                            // expected-error {{expected identifier or one of the following operators: '+', '-', '*', '&', '|', '^', '&&', or '||'}}
16#pragma omp declare reduction(+                                            // expected-error {{expected ':'}}
17#pragma omp declare reduction(operator                                     // expected-error {{expected identifier or one of the following operators: '+', '-', '*', '&', '|', '^', '&&', or '||'}}
18#pragma omp declare reduction(operator:                                    // expected-error {{expected identifier or one of the following operators: '+', '-', '*', '&', '|', '^', '&&', or '||'}} expected-error {{expected a type}}
19#pragma omp declare reduction(oper:                                        // expected-error {{expected a type}}
20#pragma omp declare reduction(oper;                                        // expected-error {{expected ':'}} expected-error {{expected a type}}
21#pragma omp declare reduction(fun : int                                    // expected-error {{expected ':'}} expected-error {{expected expression}}
22#pragma omp declare reduction(+ : const int:                               // expected-error {{reduction type cannot be qualified with 'const', 'volatile' or 'restrict'}}
23#pragma omp declare reduction(- : volatile int:                            // expected-error {{reduction type cannot be qualified with 'const', 'volatile' or 'restrict'}}
24#pragma omp declare reduction(* : int;                                     // expected-error {{expected ','}} expected-error {{expected a type}}
25#pragma omp declare reduction(& : double char:                             // expected-error {{cannot combine with previous 'double' declaration specifier}} expected-error {{expected expression}}
26#pragma omp declare reduction(^ : double, char, :                          // expected-error {{expected a type}} expected-error {{expected expression}}
27#pragma omp declare reduction(&& : int, S:                                 // expected-error {{unknown type name 'S'}} expected-error {{expected expression}}
28#pragma omp declare reduction(|| : int, double : temp += omp_in)           // expected-error 2 {{only 'omp_in' or 'omp_out' variables are allowed in combiner expression}}
29#pragma omp declare reduction(| : char, float : omp_out += ::temp)         // expected-error 2 {{only 'omp_in' or 'omp_out' variables are allowed in combiner expression}}
30#pragma omp declare reduction(fun : long : omp_out += omp_in) {            // expected-warning {{extra tokens at the end of '#pragma omp declare reduction' are ignored}} expected-error {{expected 'initializer'}}
31#pragma omp declare reduction(fun : unsigned : omp_out += ::temp))         // expected-warning {{extra tokens at the end of '#pragma omp declare reduction' are ignored}} expected-error {{expected 'initializer'}} expected-error {{only 'omp_in' or 'omp_out' variables are allowed in combiner expression}}
32#pragma omp declare reduction(fun : long & : omp_out += omp_in)            // expected-error {{reduction type cannot be a reference type}}
33#pragma omp declare reduction(fun : long(void) : omp_out += omp_in)        // expected-error {{reduction type cannot be a function type}}
34#pragma omp declare reduction(fun : long[3] : omp_out += omp_in)           // expected-error {{reduction type cannot be an array type}}
35#pragma omp declare reduction(fun23 : long, int, long : omp_out += omp_in) // expected-error {{redefinition of user-defined reduction for type 'long'}} expected-note {{previous definition is here}}
36
37template <class T>
38class Class1 {
39 T a;
40public:
41  Class1() : a() {}
42#pragma omp declare reduction(fun : T : temp)               // expected-error {{only 'omp_in' or 'omp_out' variables are allowed in combiner expression}}
43#pragma omp declare reduction(fun1 : T : omp_out++)         // expected-note {{previous definition is here}} expected-error {{reduction type cannot be a reference type}}
44#pragma omp declare reduction(fun1 : T : omp_out += omp_in) // expected-error {{redefinition of user-defined reduction for type 'T'}}
45#pragma omp declare reduction(fun2 : T, T : omp_out++)      // expected-error {{reduction type cannot be a reference type}} expected-error {{redefinition of user-defined reduction for type 'T'}} expected-note {{previous definition is here}}
46#pragma omp declare reduction(foo : T : omp_out += this->a) // expected-error {{invalid use of 'this' outside of a non-static member function}}
47};
48
49Class1<char &> e; // expected-note {{in instantiation of template class 'Class1<char &>' requested here}}
50
51template <class T>
52class Class2 : public Class1<T> {
53#pragma omp declare reduction(fun : T : omp_out += omp_in)
54};
55
56#pragma omp declare reduction(fun222 : long : omp_out += omp_in)                                        // expected-note {{previous definition is here}}
57#pragma omp declare reduction(fun222 : long : omp_out += omp_in)                                        // expected-error {{redefinition of user-defined reduction for type 'long'}}
58#pragma omp declare reduction(fun1 : long : omp_out += omp_in) initializer                              // expected-error {{expected '(' after 'initializer'}}
59#pragma omp declare reduction(fun2 : long : omp_out += omp_in) initializer {                            // expected-error {{expected '(' after 'initializer'}} expected-error {{expected expression}} expected-warning {{extra tokens at the end of '#pragma omp declare reduction' are ignored}}
60#pragma omp declare reduction(fun3 : long : omp_out += omp_in) initializer[
61#if __cplusplus <= 199711L
62// expected-error@-2 {{expected '(' after 'initializer'}}
63// expected-error@-3 {{expected expression}}
64// expected-warning@-4 {{extra tokens at the end of '#pragma omp declare reduction' are ignored}}
65#else
66// expected-error@-6 {{expected '(' after 'initializer'}}
67// expected-error@-7 {{expected variable name or 'this' in lambda capture list}}
68// expected-error@-8 {{expected ')'}}
69// expected-note@-9 {{to match this '('}}
70#endif
71#pragma omp declare reduction(fun4 : long : omp_out += omp_in) initializer()                            // expected-error {{expected expression}}
72#pragma omp declare reduction(fun5 : long : omp_out += omp_in) initializer(temp)                        // expected-error {{only 'omp_priv' or 'omp_orig' variables are allowed in initializer expression}}
73#pragma omp declare reduction(fun6 : long : omp_out += omp_in) initializer(omp_orig                     // expected-error {{expected ')'}} expected-note {{to match this '('}}
74#pragma omp declare reduction(fun7 : long : omp_out += omp_in) initializer(omp_priv Class1 < int > ())  // expected-error {{expected ')'}} expected-note {{to match this '('}}
75#pragma omp declare reduction(fun77 : long : omp_out += omp_in) initializer(omp_priv Class2 < int > ()) // expected-error {{expected ')'}} expected-note {{to match this '('}}
76#pragma omp declare reduction(fun8 : long : omp_out += omp_in) initializer(omp_priv 23)                 // expected-error {{expected ')'}} expected-note {{to match this '('}}
77#pragma omp declare reduction(fun88 : long : omp_out += omp_in) initializer(omp_priv 23))               // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-warning {{extra tokens at the end of '#pragma omp declare reduction' are ignored}}
78#pragma omp declare reduction(fun9 : long : omp_out += omp_priv) initializer(omp_in = 23)               // expected-error {{use of undeclared identifier 'omp_priv'; did you mean 'omp_in'?}} expected-note {{'omp_in' declared here}}
79#pragma omp declare reduction(fun10 : long : omp_out += omp_in) initializer(omp_priv = 23)
80
81template <typename T>
82T fun(T arg) {
83#pragma omp declare reduction(red : T : omp_out++)
84  {
85#pragma omp declare reduction(red : T : omp_out++) // expected-note {{previous definition is here}}
86#pragma omp declare reduction(red : T : omp_out++) // expected-error {{redefinition of user-defined reduction for type 'T'}}
87#pragma omp declare reduction(fun : T : omp_out += omp_in) initializer(omp_priv = 23)
88  }
89  return arg;
90}
91
92template <typename T>
93T foo(T arg) {
94  T i;
95  {
96#pragma omp declare reduction(red : T : omp_out++)
97#pragma omp declare reduction(red1 : T : omp_out++)   // expected-note {{previous definition is here}}
98#pragma omp declare reduction(red1 : int : omp_out++) // expected-error {{redefinition of user-defined reduction for type 'int'}}
99  #pragma omp parallel reduction (red : i)
100  {
101  }
102  #pragma omp parallel reduction (red1 : i)
103  {
104  }
105  #pragma omp parallel reduction (red2 : i) // expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max' or declare reduction for type 'int'}}
106  {
107  }
108  }
109  {
110#pragma omp declare reduction(red1 : int : omp_out++) // expected-note {{previous definition is here}}
111#pragma omp declare reduction(red : T : omp_out++)
112#pragma omp declare reduction(red1 : T : omp_out++) // expected-error {{redefinition of user-defined reduction for type 'int'}}
113  #pragma omp parallel reduction (red : i)
114  {
115  }
116  #pragma omp parallel reduction (red1 : i)
117  {
118  }
119  #pragma omp parallel reduction (red2 : i) // expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max' or declare reduction for type 'int'}}
120  {
121  }
122  }
123  return arg;
124}
125
126#pragma omp declare reduction(foo : int : ({int a = omp_in; a = a * 2; omp_out += a; }))
127int main() {
128  Class1<int> c1;
129  int i;
130  #pragma omp parallel reduction (::fun : c1)
131  {
132  }
133  #pragma omp parallel reduction (::Class1<int>::fun : c1)
134  {
135  }
136  #pragma omp parallel reduction (::Class2<int>::fun : i) // expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max' or declare reduction for type 'int'}}
137  {
138  }
139  return fun(15) + foo(15); // expected-note {{in instantiation of function template specialization 'foo<int>' requested here}}
140}
141
142#if __cplusplus == 201103L
143struct A {
144  A() {}
145  A& operator=(A&&) = default;
146};
147
148int A_TEST() {
149  A test;
150#pragma omp declare reduction(+ : A : omp_out) initializer(omp_priv = A()) allocate(test) // expected-warning {{extra tokens at the end of '#pragma omp declare reduction' are ignored}}
151#pragma omp parallel reduction(+ : test)
152  {}
153  return 0;
154}
155
156struct U
157{
158  void foo(U&, bool);
159  U();
160};
161template <int N>
162struct S
163{
164  int s;
165  // expected-note@+1 {{'foo' declared here}}
166  void foo(S &x) {};
167  // expected-error@+1 {{too many arguments to function call, expected single argument 'x', have 2 arguments}}
168  #pragma omp declare reduction (foo : U, S : omp_out.foo(omp_in, false))
169};
170// expected-warning@+2 {{extra tokens at the end of '#pragma omp declare reduction' are ignored}}
171// expected-note@+1 {{in instantiation of template class 'S<1>' requested here}}
172#pragma omp declare reduction (bar : S<1> : omp_out.foo(omp_in))
173
174#endif
175