test/OpenMP/for_simd_reduction_messages.cpp

   1 // RUN: %clang_cc1 -verify -fopenmp %s
   2 // RUN: %clang_cc1 -verify -fopenmp -std=c++98 %s
   3 // RUN: %clang_cc1 -verify -fopenmp -std=c++11 %s
   4
   5 void foo() {
   6 }
   7
   8 bool foobool(int argc) {
   9   return argc;
  10 }
  11
  12 struct S1; // expected-note {{declared here}} expected-note 4 {{forward declaration of 'S1'}}
  13 extern S1 a;
  14 class S2 {
  15   mutable int a;
  16   S2 &operator+(const S2 &arg) { return (*this); } // expected-note 3 {{implicitly declared private here}}
  17
  18 public:
  19   S2() : a(0) {}
  20   S2(S2 &s2) : a(s2.a) {}
  21   static float S2s; // expected-note 2 {{static data member is predetermined as shared}}
  22   static const float S2sc;
  23 };
  24 const float S2::S2sc = 0; // expected-note 2 {{'S2sc' defined here}}
  25 S2 b;                     // expected-note 3 {{'b' defined here}}
  26 const S2 ba[5];           // expected-note 2 {{'ba' defined here}}
  27 class S3 {
  28   int a;
  29
  30 public:
  31   int b;
  32   S3() : a(0) {}
  33   S3(const S3 &s3) : a(s3.a) {}
  34   S3 operator+(const S3 &arg1) { return arg1; }
  35 };
  36 int operator+(const S3 &arg1, const S3 &arg2) { return 5; }
  37 S3 c;               // expected-note 3 {{'c' defined here}}
  38 const S3 ca[5];     // expected-note 2 {{'ca' defined here}}
  39 extern const int f; // expected-note 4 {{'f' declared here}}
  40 class S4 {
  41   int a;
  42   S4(); // expected-note {{implicitly declared private here}}
  43   S4(const S4 &s4);
  44   S4 &operator+(const S4 &arg) { return (*this); }
  45
  46 public:
  47   S4(int v) : a(v) {}
  48 };
  49 S4 &operator&=(S4 &arg1, S4 &arg2) { return arg1; }
  50 class S5 {
  51   int a;
  52   S5() : a(0) {} // expected-note {{implicitly declared private here}}
  53   S5(const S5 &s5) : a(s5.a) {}
  54   S5 &operator+(const S5 &arg);
  55
  56 public:
  57   S5(int v) : a(v) {}
  58 };
  59 class S6 { // expected-note 3 {{candidate function (the implicit copy assignment operator) not viable: no known conversion from 'int' to 'const S6' for 1st argument}}
  60 #if __cplusplus >= 201103L // C++11 or later
  61 // expected-note@-2 3 {{candidate function (the implicit move assignment operator) not viable}}
  62 #endif
  63   int a;
  64
  65 public:
  66   S6() : a(6) {}
  67   operator int() { return 6; }
  68 } o;
  69
  70 S3 h, k;
  71 #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}
  72
  73 template <class T>       // expected-note {{declared here}}
  74 T tmain(T argc) {
  75   const T d = T();       // expected-note 4 {{'d' defined here}}
  76   const T da[5] = {T()}; // expected-note 2 {{'da' defined here}}
  77   T qa[5] = {T()};
  78   T i;
  79   T &j = i;                // expected-note 4 {{'j' defined here}}
  80   S3 &p = k;               // expected-note 2 {{'p' defined here}}
  81   const T &r = da[(int)i]; // expected-note 2 {{'r' defined here}}
  82   T &q = qa[(int)i];       // expected-note 2 {{'q' defined here}}
  83   T fl;
  84 #pragma omp parallel
  85 #pragma omp for simd reduction // expected-error {{expected '(' after 'reduction'}}
  86   for (int i = 0; i < 10; ++i)
  87     foo();
  88 #pragma omp parallel
  89 #pragma omp for simd reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp for simd' are ignored}}
  90   for (int i = 0; i < 10; ++i)
  91     foo();
  92 #pragma omp parallel
  93 #pragma omp for simd reduction( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}
  94   for (int i = 0; i < 10; ++i)
  95     foo();
  96 #pragma omp parallel
  97 #pragma omp for simd reduction(- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
  98   for (int i = 0; i < 10; ++i)
  99     foo();
 100 #pragma omp parallel
 101 #pragma omp for simd reduction() // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}
 102   for (int i = 0; i < 10; ++i)
 103     foo();
 104 #pragma omp parallel
 105 #pragma omp for simd reduction(*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}
 106   for (int i = 0; i < 10; ++i)
 107     foo();
 108 #pragma omp parallel
 109 #pragma omp for simd reduction(\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}
 110   for (int i = 0; i < 10; ++i)
 111     foo();
 112 #pragma omp parallel
 113 #pragma omp for simd reduction(& : argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{invalid operands to binary expression ('float' and 'float')}}
 114   for (int i = 0; i < 10; ++i)
 115     foo();
 116 #pragma omp parallel
 117 #pragma omp for simd reduction(| : argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{invalid operands to binary expression ('float' and 'float')}}
 118   for (int i = 0; i < 10; ++i)
 119     foo();
 120 #pragma omp parallel
 121 #pragma omp for simd reduction(|| : argc ? i : argc) // expected-error 2 {{expected variable name, array element or array section}}
 122   for (int i = 0; i < 10; ++i)
 123     foo();
 124 #pragma omp parallel
 125 #pragma omp for simd reduction(foo : argc) //expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max' or declare reduction for type 'float'}} expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max' or declare reduction for type 'int'}}
 126   for (int i = 0; i < 10; ++i)
 127     foo();
 128 #pragma omp parallel
 129 #pragma omp for simd reduction(&& : argc)
 130   for (int i = 0; i < 10; ++i)
 131     foo();
 132 #pragma omp parallel
 133 #pragma omp for simd reduction(^ : T) // expected-error {{'T' does not refer to a value}}
 134   for (int i = 0; i < 10; ++i)
 135     foo();
 136 #pragma omp parallel
 137 #pragma omp for simd reduction(+ : a, b, c, d, f) // expected-error {{a reduction list item with incomplete type 'S1'}} expected-error 3 {{const-qualified list item cannot be reduction}} expected-error 2 {{'operator+' is a private member of 'S2'}}
 138   for (int i = 0; i < 10; ++i)
 139     foo();
 140 #pragma omp parallel
 141 #pragma omp for simd reduction(min : a, b, c, d, f) // expected-error {{a reduction list item with incomplete type 'S1'}} expected-error 4 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 3 {{const-qualified list item cannot be reduction}}
 142   for (int i = 0; i < 10; ++i)
 143     foo();
 144 #pragma omp parallel
 145 #pragma omp for simd reduction(max : h.b) // expected-error {{expected variable name, array element or array section}}
 146   for (int i = 0; i < 10; ++i)
 147     foo();
 148 #pragma omp parallel
 149 #pragma omp for simd reduction(+ : ba) // expected-error {{const-qualified list item cannot be reduction}}
 150   for (int i = 0; i < 10; ++i)
 151     foo();
 152 #pragma omp parallel
 153 #pragma omp for simd reduction(* : ca) // expected-error {{const-qualified list item cannot be reduction}}
 154   for (int i = 0; i < 10; ++i)
 155     foo();
 156 #pragma omp parallel
 157 #pragma omp for simd reduction(- : da) // expected-error {{const-qualified list item cannot be reduction}} expected-error {{const-qualified list item cannot be reduction}}
 158   for (int i = 0; i < 10; ++i)
 159     foo();
 160 #pragma omp parallel
 161 #pragma omp for simd reduction(^ : fl) // expected-error {{invalid operands to binary expression ('float' and 'float')}}
 162   for (int i = 0; i < 10; ++i)
 163     foo();
 164 #pragma omp parallel
 165 #pragma omp for simd reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}
 166   for (int i = 0; i < 10; ++i)
 167     foo();
 168 #pragma omp parallel
 169 #pragma omp for simd reduction(&& : S2::S2sc) // expected-error {{const-qualified list item cannot be reduction}}
 170   for (int i = 0; i < 10; ++i)
 171     foo();
 172 #pragma omp parallel
 173 #pragma omp for simd reduction(+ : h, k) // expected-error {{threadprivate or thread local variable cannot be reduction}}
 174   for (int i = 0; i < 10; ++i)
 175     foo();
 176 #pragma omp parallel
 177 #pragma omp for simd reduction(+ : o) // expected-error 2 {{no viable overloaded '='}}
 178   for (int i = 0; i < 10; ++i)
 179     foo();
 180 #pragma omp parallel
 181 #pragma omp for simd private(i), reduction(+ : j), reduction(+ : q) // expected-error 4 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
 182   for (int i = 0; i < 10; ++i)
 183     foo();
 184 #pragma omp parallel private(k)
 185 #pragma omp for simd reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
 186   for (int i = 0; i < 10; ++i)
 187     foo();
 188 #pragma omp parallel
 189 #pragma omp for simd reduction(+ : p), reduction(+ : p) // expected-error 2 {{variable can appear only once in OpenMP 'reduction' clause}} expected-note 2 {{previously referenced here}}
 190   for (int i = 0; i < 10; ++i)
 191     foo();
 192 #pragma omp parallel
 193 #pragma omp for simd reduction(+ : r) // expected-error 2 {{const-qualified list item cannot be reduction}}
 194   for (int i = 0; i < 10; ++i)
 195     foo();
 196 #pragma omp parallel shared(i)
 197 #pragma omp parallel reduction(min : i)
 198 #pragma omp for simd reduction(max : j) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
 199   for (int i = 0; i < 10; ++i)
 200     foo();
 201 #pragma omp parallel private(fl)  // expected-note 2 {{defined as private}}
 202 #pragma omp for simd reduction(+ : fl) // expected-error 2 {{reduction variable must be shared}}
 203   for (int i = 0; i < 10; ++i)
 204     foo();
 205 #pragma omp parallel reduction(* : fl) // expected-note 2 {{defined as reduction}}
 206 #pragma omp for simd reduction(+ : fl)      // expected-error 2 {{reduction variable must be shared}}
 207   for (int i = 0; i < 10; ++i)
 208     foo();
 209
 210   return T();
 211 }
 212
 213 namespace A {
 214 double x;
 215 #pragma omp threadprivate(x) // expected-note {{defined as threadprivate or thread local}}
 216 }
 217 namespace B {
 218 using A::x;
 219 }
 220
 221 int main(int argc, char **argv) {
 222   const int d = 5;       // expected-note 2 {{'d' defined here}}
 223   const int da[5] = {0}; // expected-note {{'da' defined here}}
 224   int qa[5] = {0};
 225   S4 e(4);
 226   S5 g(5);
 227   int i;
 228   int &j = i;           // expected-note 2 {{'j' defined here}}
 229   S3 &p = k;            // expected-note 2 {{'p' defined here}}
 230   const int &r = da[i]; // expected-note {{'r' defined here}}
 231   int &q = qa[i];       // expected-note {{'q' defined here}}
 232   float fl;
 233 #pragma omp parallel
 234 #pragma omp for simd reduction // expected-error {{expected '(' after 'reduction'}}
 235   for (int i = 0; i < 10; ++i)
 236     foo();
 237 #pragma omp parallel
 238 #pragma omp for simd reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp for simd' are ignored}}
 239   for (int i = 0; i < 10; ++i)
 240     foo();
 241 #pragma omp parallel
 242 #pragma omp for simd reduction( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}
 243   for (int i = 0; i < 10; ++i)
 244     foo();
 245 #pragma omp parallel
 246 #pragma omp for simd reduction(- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
 247   for (int i = 0; i < 10; ++i)
 248     foo();
 249 #pragma omp parallel
 250 #pragma omp for simd reduction() // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}
 251   for (int i = 0; i < 10; ++i)
 252     foo();
 253 #pragma omp parallel
 254 #pragma omp for simd reduction(*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}
 255   for (int i = 0; i < 10; ++i)
 256     foo();
 257 #pragma omp parallel
 258 #pragma omp for simd reduction(\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}
 259   for (int i = 0; i < 10; ++i)
 260     foo();
 261 #pragma omp parallel
 262 #pragma omp for simd reduction(foo : argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}
 263   for (int i = 0; i < 10; ++i)
 264     foo();
 265 #pragma omp parallel
 266 #pragma omp for simd reduction(| : argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
 267   for (int i = 0; i < 10; ++i)
 268     foo();
 269 #pragma omp parallel
 270 #pragma omp for simd reduction(|| : argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name, array element or array section}}
 271   for (int i = 0; i < 10; ++i)
 272     foo();
 273 #pragma omp parallel
 274 #pragma omp for simd reduction(~ : argc) // expected-error {{expected unqualified-id}}
 275   for (int i = 0; i < 10; ++i)
 276     foo();
 277 #pragma omp parallel
 278 #pragma omp for simd reduction(&& : argc)
 279   for (int i = 0; i < 10; ++i)
 280     foo();
 281 #pragma omp parallel
 282 #pragma omp for simd reduction(^ : S1) // expected-error {{'S1' does not refer to a value}}
 283   for (int i = 0; i < 10; ++i)
 284     foo();
 285 #pragma omp parallel
 286 #pragma omp for simd reduction(+ : a, b, c, d, f) // expected-error {{a reduction list item with incomplete type 'S1'}} expected-error 2 {{const-qualified list item cannot be reduction}} expected-error {{'operator+' is a private member of 'S2'}}
 287   for (int i = 0; i < 10; ++i)
 288     foo();
 289 #pragma omp parallel
 290 #pragma omp for simd reduction(min : a, b, c, d, f) // expected-error {{a reduction list item with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 2 {{const-qualified list item cannot be reduction}}
 291   for (int i = 0; i < 10; ++i)
 292     foo();
 293 #pragma omp parallel
 294 #pragma omp for simd reduction(max : h.b) // expected-error {{expected variable name, array element or array section}}
 295   for (int i = 0; i < 10; ++i)
 296     foo();
 297 #pragma omp parallel
 298 #pragma omp for simd reduction(+ : ba) // expected-error {{const-qualified list item cannot be reduction}}
 299   for (int i = 0; i < 10; ++i)
 300     foo();
 301 #pragma omp parallel
 302 #pragma omp for simd reduction(* : ca) // expected-error {{const-qualified list item cannot be reduction}}
 303   for (int i = 0; i < 10; ++i)
 304     foo();
 305 #pragma omp parallel
 306 #pragma omp for simd reduction(- : da) // expected-error {{const-qualified list item cannot be reduction}}
 307   for (int i = 0; i < 10; ++i)
 308     foo();
 309 #pragma omp parallel
 310 #pragma omp for simd reduction(^ : fl) // expected-error {{invalid operands to binary expression ('float' and 'float')}}
 311   for (int i = 0; i < 10; ++i)
 312     foo();
 313 #pragma omp parallel
 314 #pragma omp for simd reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}
 315   for (int i = 0; i < 10; ++i)
 316     foo();
 317 #pragma omp parallel
 318 #pragma omp for simd reduction(&& : S2::S2sc) // expected-error {{const-qualified list item cannot be reduction}}
 319   for (int i = 0; i < 10; ++i)
 320     foo();
 321 #pragma omp parallel
 322 #pragma omp for simd reduction(& : e, g) // expected-error {{calling a private constructor of class 'S4'}} expected-error {{invalid operands to binary expression ('S4' and 'S4')}} expected-error {{calling a private constructor of class 'S5'}} expected-error {{invalid operands to binary expression ('S5' and 'S5')}}
 323   for (int i = 0; i < 10; ++i)
 324     foo();
 325 #pragma omp parallel
 326 #pragma omp for simd reduction(+ : h, k, B::x) // expected-error 2 {{threadprivate or thread local variable cannot be reduction}}
 327   for (int i = 0; i < 10; ++i)
 328     foo();
 329 #pragma omp parallel
 330 #pragma omp for simd reduction(+ : o) // expected-error {{no viable overloaded '='}}
 331   for (int i = 0; i < 10; ++i)
 332     foo();
 333 #pragma omp parallel
 334 #pragma omp for simd private(i), reduction(+ : j), reduction(+ : q) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
 335   for (int i = 0; i < 10; ++i)
 336     foo();
 337 #pragma omp parallel private(k)
 338 #pragma omp for simd reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
 339   for (int i = 0; i < 10; ++i)
 340     foo();
 341 #pragma omp parallel
 342 #pragma omp for simd reduction(+ : p), reduction(+ : p) // expected-error {{variable can appear only once in OpenMP 'reduction' clause}} expected-note {{previously referenced here}}
 343   for (int i = 0; i < 10; ++i)
 344     foo();
 345 #pragma omp parallel
 346 #pragma omp for simd reduction(+ : r) // expected-error {{const-qualified list item cannot be reduction}}
 347   for (int i = 0; i < 10; ++i)
 348     foo();
 349 #pragma omp parallel shared(i)
 350 #pragma omp parallel reduction(min : i)
 351 #pragma omp for simd reduction(max : j) // expected-error {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}
 352   for (int i = 0; i < 10; ++i)
 353     foo();
 354 #pragma omp parallel private(fl)  // expected-note {{defined as private}}
 355 #pragma omp for simd reduction(+ : fl) // expected-error {{reduction variable must be shared}}
 356   for (int i = 0; i < 10; ++i)
 357     foo();
 358 #pragma omp parallel reduction(* : fl) // expected-note {{defined as reduction}}
 359 #pragma omp for simd reduction(+ : fl)      // expected-error {{reduction variable must be shared}}
 360   for (int i = 0; i < 10; ++i)
 361     foo();
 362   static int m;
 363 #pragma omp for simd reduction(+ : m)
 364   for (int i = 0; i < 10; ++i)
 365     m++;
 366
 367   return tmain(argc) + tmain(fl); // expected-note {{in instantiation of function template specialization 'tmain<int>' requested here}} expected-note {{in instantiation of function template specialization 'tmain<float>' requested here}}
 368 }