gcc/testsuite/g++.dg/gomp/depend-iterator-2.C

   1 int a, b[64];
   2 struct S { int c; } *d, *e;
   3 struct T;
   4 struct T *f, *g;
   5 int *h;
   6
   7 template <typename U, typename V, typename W, W N>
   8 void
   9 f1 ()
  10 {
  11   #pragma omp task depend (iterator , in : a)   // { dg-error "expected" }
  12   ;
  13   #pragma omp task depend (iterator (for = 0 : 2) , in : a)     // { dg-error "expected" }
  14   ;
  15   #pragma omp task depend (iterator (5 = 0 : 2) , in : a)       // { dg-error "expected" }
  16   ;
  17   #pragma omp task depend (iterator (i : N : 2) , in : a)       // { dg-error "expected '='|name a type|expected" }
  18   ;
  19   #pragma omp task depend (iterator (i = 0, 1 : 2) , in : a)    // { dg-error "expected" }
  20   ;
  21   #pragma omp task depend (iterator (i = (0, 1) : 2) , in : a)
  22   ;
  23   #pragma omp task depend (iterator (i = 0 : 1 : 2 : 3) , in : a)       // { dg-error "expected '.'" }
  24   ;
  25   #pragma omp task depend (iterator (i = 0 : 2, 3) , in : a)    // { dg-error "expected" }
  26   ;
  27   #pragma omp task depend (iterator (i = N : 10 : 2, 3) , in : a)       // { dg-error "expected" }
  28   ;
  29   #pragma omp task depend (iterator (i = 0:1), iterator (j = 0:1) , in : a)     // { dg-error "invalid depend kind" }
  30   ;
  31   #pragma omp task depend (iterator (i = N:32) , in : b[i*2:2])
  32   ;
  33   #pragma omp task depend (iterator (void i = 0:1) , in : a)            // { dg-error "iterator 'i' has neither integral nor pointer type" }
  34   ;
  35   #pragma omp task depend (iterator (U *p = d:e:2) , in : a)
  36   ;
  37   #pragma omp task depend (iterator (W i = N:4, \
  38                                      struct U2 { W *p; } *p = 0:2) , in : a) // { dg-error "types may not be defined in iterator type" }
  39   ;
  40   #pragma omp task depend (iterator (i = 0:4, j = i:16) , in : a)       // { dg-error "begin expression refers to outer iterator 'i'" }
  41   ;
  42   #pragma omp task depend (iterator (i = N:4, j = 2:i:1) , in : a)      // { dg-error "end expression refers to outer iterator 'i'" }
  43   ;
  44   #pragma omp task depend (iterator (i = 0:4, j = 2:8:i) , in : a)      // { dg-error "step expression refers to outer iterator 'i'" }
  45   ;
  46   #pragma omp task depend (iterator (i = 1.25:2.5:3) , in : a)
  47   ;
  48   #pragma omp task depend (iterator (i = 1:2:3.5) , in : a)             // { dg-error "iterator step with non-integral type" }
  49   ;
  50   #pragma omp task depend (iterator (W *p = 23 : h) , in : a)
  51   ;
  52   #pragma omp task depend (iterator (const int i = N : 2) , in : a)     // { dg-error "const qualified" }
  53   ;
  54   #pragma omp task depend (iterator (const long long unsigned i = 0 : 2) , in : a)      // { dg-error "const qualified" }
  55   ;
  56 }
  57
  58 template <typename W, int N>
  59 void
  60 f2 ()
  61 {
  62   int i, j;
  63   #pragma omp for ordered(2)
  64   for (i = 0; i < 64; i++)
  65     for (j = 0; j < 64; j++)
  66       {
  67       #pragma omp ordered depend (iterator (k=0:N) , sink: i - 1, j - 1)        // { dg-error "'iterator' modifier incompatible with 'sink'" }
  68       #pragma omp ordered depend (iterator (W l = 0:2:3) , source)              // { dg-error "'iterator' modifier incompatible with 'source'" }
  69       }
  70 }
  71
  72 template <typename U, typename V, typename W, W N, typename X, typename Y>
  73 void
  74 f3 ()
  75 {
  76   #pragma omp task depend (iterator (U i = 0:1), in : a)                // { dg-error "iterator 'i' has neither integral nor pointer type" }
  77   ;
  78   #pragma omp task depend (iterator (V f = 0.2:0.4) , in : a)   // { dg-error "iterator 'f' has neither integral nor pointer type" }
  79   ;
  80   #pragma omp task depend (iterator (struct T *p = f:g) , in : a)       // { dg-error "invalid use of" }
  81   ;
  82   #pragma omp task depend (iterator (i = *d:2) , in : a)        // { dg-error "invalid cast from type 'S' to type 'int'" }
  83   ;
  84   #pragma omp task depend (iterator (i = 2:*d:2) , in : a)      // { dg-error "invalid cast from type 'S' to type 'int'" }
  85   ;
  86   #pragma omp task depend (iterator (i = 2:4:*d) , in : a)      // { dg-error "iterator step with non-integral type" }
  87   ;
  88   #pragma omp task depend (iterator (i = 1.25:2.5:3) , in : a)
  89   ;
  90   #pragma omp task depend (iterator (i = 1:2:3.5) , in : a)     // { dg-error "iterator step with non-integral type" }
  91   ;
  92   #pragma omp task depend (iterator (W *p = 23 : h) , in : a)
  93   ;
  94   #pragma omp task depend (iterator (short i=1:3:N) , in : a)   // { dg-error "iterator 'i' has zero step" }
  95   ;
  96   #pragma omp task depend (iterator (i = 1 : 3 : N + 3 - 3) , in : a)   // { dg-error "iterator 'i' has zero step" }
  97   ;
  98   #pragma omp task depend (iterator (int *p = &b[6]:&b[9]:4 - 4) , in : a)      // { dg-error "iterator 'p' has zero step" }
  99   ;
 100   #pragma omp task depend (iterator (X i = N : 2) , in : a)     // { dg-error "const qualified" }
 101   ;
 102   #pragma omp task depend (iterator (Y i = 0 : 2) , in : a)     // { dg-error "const qualified" }
 103   ;
 104 }
 105
 106 template <int N>
 107 void
 108 f4 ()
 109 {
 110   #pragma omp task depend (iterator (i = 0:1), iterator (j = 0:1) , in : a)     // { dg-error "invalid depend kind" }
 111   ;
 112 }
 113
 114 void
 115 f5 ()
 116 {
 117   f1 <struct S, float, int, 0> ();
 118   f2 <int, 1> ();
 119   f3 <struct S, float, int, 0, const int, const long long unsigned> ();
 120   f4 <0> ();
 121 }