gcc/testsuite/g++.dg/gomp/udr-1.C

   1 // { dg-do compile }
   2 // { dg-options "-fopenmp" }
   3
   4 namespace N1
   5 {
   6   #pragma omp declare reduction (| : long int : omp_out |= omp_in)      // { dg-error "predeclared arithmetic type" }
   7   #pragma omp declare reduction (+ : char : omp_out += omp_in)          // { dg-error "predeclared arithmetic type" }
   8   typedef short T;
   9   #pragma omp declare reduction (min : T : omp_out += omp_in)           // { dg-error "predeclared arithmetic type" }
  10   #pragma omp declare reduction (* : _Complex double : omp_out *= omp_in)// { dg-error "predeclared arithmetic type" }
  11 }
  12 namespace N2
  13 {
  14   template <typename T1, typename T2, typename T3, typename T4>
  15   struct S
  16   {
  17     #pragma omp declare reduction (| : T1 : omp_out |= omp_in)          // { dg-error "predeclared arithmetic type" }
  18     #pragma omp declare reduction (+ : T2 : omp_out += omp_in)          // { dg-error "predeclared arithmetic type" }
  19     typedef T3 T;
  20     #pragma omp declare reduction (min : T : omp_out += omp_in)         // { dg-error "predeclared arithmetic type" }
  21     #pragma omp declare reduction (* : T4 : omp_out *= omp_in)          // { dg-error "predeclared arithmetic type" }
  22   };
  23   S<long int, char, short, _Complex double> s;
  24   template <typename T1, typename T2, typename T3, typename T4>
  25   int foo ()
  26   {
  27     #pragma omp declare reduction (| : T1 : omp_out |= omp_in)          // { dg-error "predeclared arithmetic type" }
  28     #pragma omp declare reduction (+ : T2 : omp_out += omp_in)          // { dg-error "predeclared arithmetic type" }
  29     typedef T3 T;
  30     #pragma omp declare reduction (min : T : omp_out += omp_in)         // { dg-error "predeclared arithmetic type" }
  31     #pragma omp declare reduction (* : T4 : omp_out *= omp_in)          // { dg-error "predeclared arithmetic type" }
  32     return 0;
  33   }
  34   int x = foo <long int, char, short, _Complex double> ();
  35 }
  36 namespace N3
  37 {
  38   void bar ();
  39   #pragma omp declare reduction (| : __typeof (bar) : omp_out |= omp_in)// { dg-error "function or array type" }
  40   #pragma omp declare reduction (+ : char () : omp_out += omp_in)       // { dg-error "function or array type" }
  41   typedef short T;
  42   #pragma omp declare reduction (min : T[2] : omp_out += omp_in)        // { dg-error "function or array type" }
  43   #pragma omp declare reduction (baz : char & : omp_out *= omp_in)      // { dg-error "reference type" }
  44 }
  45 namespace N4
  46 {
  47   void bar ();
  48   template <typename T1, typename T2, typename T3, typename T4>
  49   struct S
  50   {
  51     #pragma omp declare reduction (| : T1 : omp_out |= omp_in)          // { dg-error "function or array type" }
  52     #pragma omp declare reduction (+ : T2 : omp_out += omp_in)          // { dg-error "function or array type" }
  53     typedef T3 T;
  54     #pragma omp declare reduction (min : T : omp_out += omp_in)         // { dg-error "function or array type" }
  55     #pragma omp declare reduction (baz : T4 : omp_out *= omp_in)        // { dg-error "function or array type" }
  56   };
  57   S<__typeof (bar), char (), short [3], char []> s;
  58   template <typename T1, typename T2, typename T3, typename T4>
  59   int foo ()
  60   {
  61     #pragma omp declare reduction (| : T1 : omp_out |= omp_in)          // { dg-error "function or array type" }
  62     #pragma omp declare reduction (+ : T2 : omp_out += omp_in)          // { dg-error "function or array type" }
  63     typedef T3 T;
  64     #pragma omp declare reduction (min : T : omp_out += omp_in)         // { dg-error "function or array type" }
  65     #pragma omp declare reduction (baz : T4 : omp_out *= omp_in)        // { dg-error "function or array type" }
  66     return 0;
  67   }
  68   int x = foo <__typeof (bar), char (), short[], char [2]> ();
  69 }
  70 namespace N5
  71 {
  72   template <typename T>
  73   struct S
  74   {
  75     #pragma omp declare reduction (baz : T : omp_out *= omp_in)         // { dg-error "reference type" }
  76   };
  77   S<char &> s;
  78   template <typename T>
  79   int foo ()
  80   {
  81     #pragma omp declare reduction (baz : T : omp_out *= omp_in)         // { dg-error "reference type" }
  82     return 0;
  83   }
  84   int x = foo <char &> ();
  85 }
  86 namespace N6
  87 {
  88   struct A { int a; A () : a (0) {} };
  89   #pragma omp declare reduction (| : const A : omp_out.a |= omp_in.a)   // { dg-error "'const', 'volatile' or '__restrict'" }
  90   #pragma omp declare reduction (+ : __const A : omp_out.a += omp_in.a) // { dg-error "'const', 'volatile' or '__restrict'" }
  91   typedef volatile A T;
  92   #pragma omp declare reduction (min : T : omp_out.a += omp_in.a)       // { dg-error "'const', 'volatile' or '__restrict'" }
  93   #pragma omp declare reduction (* : A *__restrict : omp_out->a *= omp_in->a)// { dg-error "'const', 'volatile' or '__restrict'" }
  94 }
  95 namespace N7
  96 {
  97   struct A { int a; A () : a (0) {} };
  98   template <typename T1, typename T2, typename T3, typename T4>
  99   struct S
 100   {
 101     #pragma omp declare reduction (| : T1 : omp_out |= omp_in)          // { dg-error "'const', 'volatile' or '__restrict'" }
 102     #pragma omp declare reduction (+ : T2 : omp_out += omp_in)          // { dg-error "'const', 'volatile' or '__restrict'" }
 103     typedef T3 T;
 104     #pragma omp declare reduction (min : T : omp_out += omp_in)         // { dg-error "'const', 'volatile' or '__restrict'" }
 105     #pragma omp declare reduction (* : T4 : omp_out *= omp_in)          // { dg-error "'const', 'volatile' or '__restrict'" }
 106   };
 107   S<const A, __const A, volatile A, A *__restrict> s;
 108   template <typename T1, typename T2, typename T3, typename T4>
 109   int foo ()
 110   {
 111     #pragma omp declare reduction (| : T1 : omp_out |= omp_in)          // { dg-error "'const', 'volatile' or '__restrict'" }
 112     #pragma omp declare reduction (+ : T2 : omp_out += omp_in)          // { dg-error "'const', 'volatile' or '__restrict'" }
 113     typedef T3 T;
 114     #pragma omp declare reduction (min : T : omp_out += omp_in)         // { dg-error "'const', 'volatile' or '__restrict'" }
 115     #pragma omp declare reduction (* : T4 : omp_out *= omp_in)          // { dg-error "'const', 'volatile' or '__restrict'" }
 116     return 0;
 117   }
 118   int x = foo <const A, __const A, volatile A, A *__restrict> ();
 119 }